[논문 리뷰] The equivariant Orlik-Solomon algebra

Nicholas Proudfoot|ArXiv.org|2003. 06. 02.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 5

한 줄 요약

이 논문은 실수 초평면 배치의 보완의 Z₂-등변(cohomology) 링으로서 등변 Orlik-Solomon 대수를 도입하며, 점이 있는 방향 있는 매트로이드를 사용한 조합적 표현을 제공한다. 이 대수는 동일한 등변이 아닌 호모토피 유형을 가진 배열들을 구별함으로써, 등변 위상수학이 비방향성 매트로이드에 의해 결정되지 않음을 보여주며, Varchenko-Gelfand 링을 일반 Orlik-Solomon 대수의 변형으로서의 위상적 해석을 제공한다.

ABSTRACT

Given a real arrangement $A$, the complement $M(A)$ of the complexification of $A$ admits an action of $\mathbb{Z}_2$ by complex conjugation. We define the equivariant Orlik-Solomon algebra of $A$ to be the $\mathbb{Z}_2$-equivariant cohomology ring of $M(A)$ with coefficients in $\mathbb{Z}_2$. We give a combinatorial presentation of this ring, and interpret it as a deformation of the ordinary Orlik-Solomon algebra into the Varchenko-Gel'fand ring of locally constant $\mattbb{Z}_2$-valued functions on the complement $C(A)$ of $A$ in $\mathbb{R}^n$. We also show that the $\mathbb{Z}_2$-equivariant homotopy type of $M(A)$ is determined by the oriented matroid of $A$. As an application, we give two examples of pairs of arrangements $A$ and $A'$ such that $M(A)$ and $M(A')$ have the same nonequivariant homotopy type, but are distinguished by the equivariant Orlik-Solomon algebra.

연구 동기 및 목표

• 실수 초평면 배열의 보완의 Z₂-등변(cohomology) 링을 정의하고 연구하는 것.
• 점이 있는 방향 있는 매트로이드를 사용하여 이 등변(cohomology) 링의 조합적 표현을 제공하는 것.
• 등변 Orlik-Solomon 대수를 일반 Orlik-Solomon 대수에서 국소적으로 일정한 Z₂-값 함수의 Varchenko-Gelfand 링으로의 변형으로 해석하는 것.
• 보완 M(A)의 Z₂-등변 호모토피 유형이 방향 있는 매트로이드에 의해 결정됨을 보이는 것.
• 등변이 아닌 보완이 서로 이sov형이지만 등변 Orlik-Solomon 대수가 이sov형이 아닌 배열의 예를 구성하는 것.

제안 방법

• 보완의 복소화된 배열에 대한 Z₂-등변(cohomology) H*_{Z₂}(M(A); Z₂)로 등변 Orlik-Solomon 대수를 정의한다.
• 점이 있는 방향 있는 매트로이드에서 유도된 관계를 사용하여 생성자 e₁,…,eₙ과 새로운 변수 x를 가진 대수의 표현을 구성한다.
• 세 가지 유형의 관계를 식별한다: (1) eᵢ² = 0, (2) ∩_{i∈S} Hᵢ = ∅ 이면 ∏_{i∈S} eᵢ = 0, (3) codim(∩_{i∈S} Hᵢ) > |S| 이면 ∂(∏_{i∈S} eᵢ) = 0.
• 복소수 켤리함수의 작용을 사용하여 M(A)에 Z₂-작용을 정의하며, 고정점 집합은 M_R(A), 즉 실수 보완이다.
• Macaulay 2를 사용하여 링 내 선형 형식의 영환자를 계산하여 등변 Orlik-Solomon 대수 간의 이sov형이 아니음을 탐지한다.
• 두 쌍의 배열을 구성한다: 하나는 등급 3 배열의 일반적인 등급 2 절단을 통해, 다른 하나는 선 배열의 플립을 통해.

실험 결과

연구 질문

• RQ1 실수 초평면 배열의 보완에 대한 Z₂-등변(cohomology) 링은 점이 있는 방향 있는 매트로이드를 사용하여 조합적으로 표현될 수 있는가?
• RQ2 등변 Orlik-Solomon 대수는 일반 Orlik-Solomon 대수에서 국소적으로 일정한 Z₂-값 함수의 Varchenko-Gelfand 링으로의 변형인가?
• RQ3 M(A)의 Z₂-등변 호모토피 유형은 배열 A의 방향 있는 매트로이드에 의존하는가?
• RQ4 두 배열이 보완이 호모토피 동치이지만 등변 Orlik-Solomon 대수가 이sov형이 아닌가?
• RQ5 Pendergrass의 매트로이드 절단이 Orlik-Solomon 대수를 유지한다는 정리가 등변 설정으로 확장되는가?

주요 결과

• 등변 Orlik-Solomon 대수는 Z₂[e₁,…,eₙ,x]/J 와 이sov형이며, J는 점이 있는 방향 있는 매트로이드에서 유도된 관계로 생성되며, eᵢ² = 0 및 codim(∩_{i∈S} Hᵢ) > |S| 이면 ∂(∏_{i∈S} eᵢ) = 0 를 포함한다.
• 이 대수는 일반 Orlik-Solomon 대수에서 Varchenko-Gelfand 링 VG(A; Z₂)로의 변형으로서, 후자의 위상적 해석을 제공한다.
• M(A)의 Z₂-등변 호모토피 유형은 A의 방향 있는 매트로이드에 의해 결정되며, 등변 호모토피 동치성은 등변(cohomology) 링의 이sov형을 암시함으로써 이를 보여준다.
• 등급 3 배열의 등급 2 절단을 통해 얻은 두 배열 A와 A′는 보완이 미분동치이지만, Macaulay 2를 통한 영환자 계산으로 인해 등변 Orlik-Solomon 대수가 이sov형이 아니라는 것이 입증되었다.
• 두 실수 선 배열의 플립은 Falk의 결과에 따라 보완이 호모토피 동치이지만, 등변 Orlik-Solomon 대수는 이sov형이 아니며, A(A; Z₂)에서 e₂의 영환자는 두 개의 선형 원소로 생성되며, A(A′; Z₂)에서는 이러한 성질이 존재하지 않는다.
• 이 예는 등변 Orlik-Solomon 대수가 점이 있는 비방향성 매트로이드에 의해 결정되지 않으며, Pendergrass의 정리가 등변 설정으로 확장되지 않음을 보여준다.