[논문 리뷰] Exact sequences for equivariantly formal spaces

Matthias Franz, Volker Puppe|arXiv (Cornell University)|2003. 07. 09.

Algebraic structures and combinatorial models참고 문헌 8인용 수 24

한 줄 요약

이 논문은 유리수 이외의 계수 환, 특히 정수와 소수 체를 포함한 일반적인 계수 환으로까지 일반화된 등변 형식 공간에 대한 Atiyah–Bredon 정확수열을 제시하며, 유리수 계수를 넘어서 Chang–Skjelbred 보조정리를 확장한다. 고정점이 없는 작용에 대해서도 최소 궤도 차원을 기반으로 수정된 수열을 통해 등변 코homology를 계산할 수 있도록, 등변 이중수열의 정확성 조건을 약화된 등변 이중군 조건으로 일반화한다.

ABSTRACT

Let T be a torus. We present an exact sequence relating the relative equivariant cohomologies of the skeletons of an equivariantly formal T-space. This sequence, which goes back to Atiyah and Bredon, generalizes the so-called Chang-Skjelbred lemma. As coefficients, we allow prime fields and subrings of the rationals, including the integers. We extend to the same coefficients a generalization of this "Atiyah-Bredon sequence" for actions without fixed points which has recently been obtained by Goertsches and Toeben.

연구 동기 및 목표

• 유리수 이외의 계수 환, 특히 정수와 소수 체를 포함한 일반적인 계수 환으로 Atiyah–Bredon 정확수열을 확장하는 것.
• 등변 이중군에 대한 제약 조건을 두고 정수 계수로 Chang–Skjelbred 보조정리를 일반화하는 것.
• Goertsches와 Töben의 고정점이 없는 작용 결과를 동일한 계수 환과 더 넓은 공간의 범주로 확장하는 것.
• 일반화된 계수를 가진 등변 코homology에서 Atiyah의 정리에 해당하는 코homological 형태를 제공하는 것.
• 작용이 고정점을 가지 않더라도 Atiyah–Bredon 수열이 여전히 정확한 조건을 확립하는 것.

제안 방법

• 유리수의 부분환 또는 유한체 𝔽p를 계수로 하는 Alexander–Spanier 코homology를 사용한다.
• 등변 스키마 Xi를 차원 ≤ i인 궤도의 합집합으로 정의하며, X−1 = ∅ 및 X0 = XT로 둔다.
• 정수 및 mod p 계수를 다루기 위해 p- torsion 부분군을 고려한 Tp,i 스키마를 도입한다.
• 쌍 (Xi, Xi−1) 및 (Xi+1, Xi−1)에 대해 등변 코homology의 장정 정확수열을 적용한다.
• 정확성의 증명을 위해 깊이 이론과 Cohen–Macaulay 모듈러 이론을 활용한다.
• 정규성 및 깊이 조건에 중점을 두고, Atiyah의 원래 증명을 코homology 및 일반 계수로 일반화한다.

실험 결과

연구 질문

• RQ1 Atiyah–Bredon 수열은 ℚ 이외의 계수 환, 예를 들어 ℤ 또는 𝔽p로 일반화될 수 있는가?
• RQ2 고정점이 없는 작용에 대해 Atiyah–Bredon 수열이 정확한 조건은 무엇인가?
• RQ3 등변 이중군에 대한 제약 조건을 두고 Chang–Skjelbred 보조정리를 정수 계수로 어떻게 확장할 수 있는가?
• RQ4 고정점이 없는 작용에서 등변 코homology 환의 차원과 최소 궤도 차원 간의 관계는 무엇인가?
• RQ5 H*T(X)가 H*(BT)에 대해 Cohen–Macaulay일 경우, X가 고정점을 가지지 않더라도 수정된 Atiyah–Bredon 수열이 정확한가?

주요 결과

• 계수 환 R ⊂ ℚ 또는 R = 𝔽p일 때, Tp,i 스키마에 대한 조건 (2.3a) 또는 (2.3b)를 만족하면 Atiyah–Bredon 수열이 정확하다.
• 등변 이중군에 대한 제약 조건을 두고 정수 계수의 Chang–Skjelbred 보조정리의 버전을 확립하였으며, 이는 R = ℤ일 때 유효하다.
• 고정점이 없는 작용의 경우, 최소 궤도 차원 k에 해당하는 k-스키마에서 시작할 때 수열이 여전히 정확하다.
• H*T(X)의 차원이 d + n − k임을 증명하였으며, 여기서 d는 H*(BT)의 Krull 차원이고 k는 최소 궤도 차원이다.
• H*T(X)가 H*(BT)에 대해 Cohen–Macaulay일 경우, Xk에서 시작하는 수정된 Atiyah–Bredon 수열이 정확하다.
• 증명은 깊이 이론에 기반하며, H*T(Xi, Xi−1)의 깊이가 적어도 n−i임을 이용하여 정확성에 필요한 정규성 조건을 확보한다.