[논문 리뷰] (Non-)formality of the extended Swiss Cheese operads

Thomas Willwacher|arXiv (Cornell University)|2017. 06. 09.

Advanced Topics in Algebra참고 문헌 20인용 수 11

한 줄 요약

이 논문은 중심이 n차원 단위 원판 내의 m차원 평면에 제한된 두 색상의 디스크 구성으로 일반화된 little disks operad를 일반화한 확장된 스위스 펜션 작도의 유리수 호모토피 유형을 조사한다. 유리수 호모토피 이론과 포함 사상 Dₘ → Dₙ에의한 연결고리를 통해, 저자들은 n > m−1일 때 이러한 작도가 유리수적으로 형식적임을 증명하지만, n = m−1일 때는 형식적이지 않음을 보이며, 작도적 유리수 호모토피 이론 분야의 핵심 질문을 해결한다.

ABSTRACT

We study two colored operads of configurations of little $n$-disks in a unit $n$-disk, with the centers of the small disks of one color restricted to an $m$-plane, $m

연구 동기 및 목표

• 두 색상의 n차원 디스크 구성으로, 한 색상의 중심이 m차원 평면에 제한된 확장된 스위스 펜션 작도 ESCₘ,ₙ의 유리수 호모토플리 타입을 결정하는 것.
• ESCₘ,ₙ의 유리수 호모토플리 타입이 little disks 작도의 포함 사상 Dₘ → Dₙ과 어떻게 관련되어 있는지 이해하는 것.
• 특히 임계 경우 n = m−1에서 ESCₘ,ₙ이 Q 또는 R 위에서 형식적인지 여부를 해결하는 것.
• Fresse의 함자 Ωₚₗ과 dgca 값을 갖는 코어퍼레이드를 사용하여 작도에 대한 유리수 호모토피 이론의 프레임워크를 확장하는 것.
• 그들의 코homology와 quasi-isomorphism을 통한 호모토플리 분류를 통해 확장된 스위스 펜션 작도를 분류하는 것.

제안 방법

• 저자들은 Sullivan의 유리수 호모토플리 이론, 특히 위상공간에서 dg 가환대수로의 함자 Ωₚₗ을 사용하여 작도 ESCₘ,ₙ에 대해 dgca를 할당한다.
• Fresse의 구축을 적용하여 Ωₚₗ을 ESCₘ,ₙ의 유리수 체인에 대한 dg Λ-Hopf 코어퍼레이드 구조로 올리는 방법을 사용한다.
• 핵심 기법은 ESCₘ,ₙ의 유리수 호모토플리 타입을 포함 사상 Dₘ → Dₙ의 유리수 호모토플리 타입과 연결하기 위한 quasi-isomorphism의 zigzag을 활용하는 것이다.
• 증명은 [11]과 [22]에서 알려진 Dₘ → Dₙ 사상의 (비)형식성에 관한 기존 결과에 의존하며, 이러한 사상의 형식성이 ESCₘ,ₙ의 형식성을 지배함을 보여준다.
• 형식성은 polynomial forms의 dgca와 그 코homology 사이의 zigzag quasi-isomorphism의 존재와 동치임을 이용한다.
• Budney와 Turchin의 구성에서 영감을 얻어, 프레임드 임베딩과 임베딩에 대한 little disks 작도의 작용을 통한 작도 구조 분석을 수행한다.

실험 결과

연구 질문

• RQ1 확장된 스위스 펜션 작도 ESCₘ,ₙ가 어떤 조건에서 유리수적으로 형식적일까?
• RQ2 ESCₘ,ₙ의 유리수 호모토플리 타입은 포함 사상 Dₘ → Dₙ와 어떻게 관련되어 있는가?
• RQ3 n = m−1의 경우 형식성의 정확한 호모토플리 장벽은 무엇인가?
• RQ4 제약된 구성이 있는 두 색상의 작도에 대해 유리수 호모토플리 이론을 확장할 수 있는가?
• RQ5 ESCₘ,ₙ 위의 polynomial forms의 dgca와 그 코homology 사이에 표준적인 zigzag quasi-isomorphism이 존재하는가?

주요 결과

• 모든 m ≥ 1 및 n > m−1에 대해 확장된 스위스 펜션 작도 ESCₘ,ₙ는 유리수적으로 형식적이다.
• 실수 체인의 작도 C(ESCₘ,ₙ)는 n = m−1 이며 m ≥ 1일 때 형식적이지 않다.
• ESCₘ,ₙ의 형식성은 Dₘ → Dₙ 사상의 (비)형식성에 의해 결정되며, 이는 이전 연구에서 알려진 linе이다.
• ESCₘ,ₙ의 유리수 호모토플리 타입은 포함 사상 Dₘ → Dₙ의 코homology에 의해 지배되며, 구성 공간과 작도적 형식성 사이의 깊은 연결고리를 확립한다.
• Ωₚₗ(ESCₘ,ₙ)와 그 코homology 사이에 표준적인 zigzag quasi-isomorphism을 제공하는 구성으로, 지정된 범위 내에서 유리수 형식성이 확인된다.
• 결과는 특히 프레임드 임베딩과 임베딩의 맥락에서, 색상이 있는 작도에 대한 유리수 호모토플리 이론의 더 넓은 프레임워크로 일반화된다.