[일반] 대수 검색하다가 대단한걸 찾아버렷다

[익명(125.177)]

환 이름이 brave new ring 이라고 함

[익명(182.227)]

저거보니까 복소 교수님이 FTA 증명할 때 들려준 썰 생각나네. 자기가 아는 사람 중 하나는 자기 논문에서 증명하는거마다 전부 Fundamental Theorem이라고 쓴다고

[익명(220.121)]

새로운 오브젝트에 진달래 넘버 붙이는 좆같은 것도 잇는데 뭘 비비냐

[카카오(73.146)]

링 이름이 brave new ring은 아니고,, ring spectra를 그냥 brave new ring이라고 불러요. Ring은 category of abelian group에서 monoid object가 되는데, 이걸 일반화해서 임의의 closed symmetric monoidal category에서 algebra같은걸 잘 정의하고 module이야기를 할 수 있어요.

[카카오(73.146)]

내가 공부하는거 나와서 좀 반가운데 혹시 저 논문 읽을 예정?

[익명(125.177)]

ㄴㄴ 읽을 레벨 안됨 그냥 검색하다 눈에 띄인거임

[익명(125.177)]

근데 혹시 대수기하에서 가환환 A에 SpecA 대응시키는거를 A가 (ring) spectrum일때로 확장하거나 그런 비슷한게 있음?

[카카오(73.146)]

일단 내가 아는 범위 내에서는 없고, ring spectrum으로 대수기하 하는걸 Spectral algebraic geometry 또는 Derived algebraic geometry라고 부르는데 여기서 있을지도 모르겠어요.

[카카오(73.146)]

https://ncatlab.org/nlab/show/prime+spectrum+of+a+symmetric+monoidal+stable+%28%E2%88%9E%2C1%29-category
이런거 있는거보면, infinity-category language로 정의할 수 있는거같아요