우리는 Jacob Lurie의 형식적 스펙트럴 대수기하학(formal spectral algebraic geometry) 이론과 유사한 방식으로 형식적 유도 대수기하학(formal derived algebraic geometry) 이론의 몇 가지 기반을 정립한다. 이를 위해 유도(derived) 및 스펙트럴(spectral) 설정에서의 대수기하학적 대상들 사이에 밀접한 연관성을 확립한다. 우리는 이러한 구성을 적용하여 유도 설정에서의 형식적 GAGA 정리(formal GAGA theorem) 버전을 증명한다.
*본 초록은 AI를 통해 원문을 번역한 내용입니다. 정확한 내용은 하기 원문에서 확인해주세요.