[논문 리뷰] Symmetric subvarieties of infinite affine space

Rohit Nagpal, Andrew Snowden|arXiv (Cornell University)|2020. 11. 18.

Commutative Algebra and Its Applications참고 문헌 13인용 수 7

한 줄 요약

이 논문은 무한차원 아핀 공간 $\chi = \mathbf{A}^\infty$의 $\sigma$-기약이고 닫힌 부분다양체를, 무한대칭군 $\mathfrak{S}$에 대해 안정적인 것으로 분류한다. 이러한 부분다양체와 자연스러운 전단사 사상이 존재하며, 이는 $\infty$-분할 $\lambda$와 $\mathbf{A}^{[r]}$ 공간의 서로 다른 좌표를 가진 점들의 $\operatorname{Aut}(\lambda)$-기약 닫힌 부분다양체 $Z$의 쌍 $(\lambda, Z)$에 대응한다. 주요 기여는 유형 분할과 군 작용 불변량을 통한 대칭 부분다양체의 완전한 분류이다.

ABSTRACT

We classify the subvarieties of infinite dimensional affine space that are stable under the infinite symmetric group. We determine the defining equations and point sets of these varieties as well as the containments between them.

연구 동기 및 목표

• 무한차원 아핀 공간 $\mathfrak{X} = \mathbf{A}^\infty$ 위에서 $\mathbf{C}$에 대한 모든 $\mathfrak{S}$-안정적인 자리키 닫힌 부분집합을 분류하는 것.
• 무한다항식환 $R = \mathbf{C}[\xi_1, \xi_2, \ldots]$ 내의 루트 $\mathfrak{S}$-이데알의 구조를 이해하는 것.
• 유한점과 유형 분할을 통해 대칭 부분다양체의 포함 관계와 정의 방정식을 특징짓는 것.
• $\mathfrak{S}$-기약 부분다양체 $\mathfrak{X}$와 $\infty$-분할의 자동사상군의 기약 닫힌 부분다양체 사이의 대응관계를 확립하는 것.
• 미래의 $\mathfrak{S}$--equivariant 교환대수 이론을 위한 기초를 마련하는 것, 특히 주요 분해와 일반 $\mathfrak{S}$-이데알의 구조에 대해

제안 방법

• 좌표가 유한히 많은 서로 다른 값을 가지는 점들인 유한점(finitary points)을 도입하며, 이는 $\lambda = (\lambda_1, \ldots, \lambda_r)$ 형태의 $\infty$-분할에 대응한다. 여기서 $\lambda_1 = \infty$이다.
• 유한점의 유형 $\lambda$에 따라 정의된 유형 분할 $\mathfrak{X}_{[\lambda]}$를 정의하며, 이는 유한점의 집합 $\mathfrak{X}_{\mathrm{fin}}$를 분해한다.
• 무한대칭군 $\mathfrak{S}$의 작용을 이용해 $\mathfrak{S}$-기약 부분다양체를 정의한다. 이는 더 이상 더 작은 $\mathfrak{S}$-안정적인 닫힌 부분집합으로 분해될 수 없는 최소의 $\mathfrak{S}$-안정적인 닫힌 부분다양체이다.
• $\mathfrak{S}$-기약 부분다양체와 쌍 $(\lambda, Z)$ 사이의 전단사 사상을 구성한다. 여기서 $Z$는 $\mathbf{A}^{[r]}$ 공간의 서로 다른 좌표를 가진 점들의 $\operatorname{Aut}(\lambda)$-기약 닫힌 부분다양체이다.
• Cohen의 $\mathfrak{S}$-noetherian 정리를 적용하여 $\mathfrak{S}$-안정적인 이데알이 상승사슬 조건을 만족함을 보이고, 이로 인해 대칭 부분다양체의 유한한 분해가 가능함을 보장한다.
• $\Pi$-닫힘과 $\mathrm{I}$-닫힘 연산을 도입하여 $\mathfrak{S}$--equivariant 모듈의 지지부를 분석하고, 이를 자리를키 닫힘과 대칭 부분다양체의 관계로 연결한다.

실험 결과

연구 질문

• RQ1 무한차원 아핀 공간의 $\mathfrak{S}$-기약 닫힌 부분다양체의 완전한 분류는 무엇인가?
• RQ2 대칭 부분다양체는 유한점의 $\infty$-분할 유형에 따라 어떻게 분할되는가?
• RQ3 무한차원 공간 $\mathfrak{X}$의 대칭 부분다양체와 유한차원 공간 $\mathbf{A}^{[r]}$의 기약 부분다양체 사이의 정확한 대응관계는 무엇인가?
• RQ4 부드럽고 유한히 $\mathfrak{S}$-생성된 모듈의 지지부는 자리를키 닫힘과 어떻게 관련되는가?
• RQ5 $\Pi$-닫힘 연산을 사용하여 모듈의 지지부가 그 소멸자 다양체의 밀도를 가지는지 특징지을 수 있는가?

주요 결과

• 무한차원 아핀 공간 $\mathfrak{X}$의 $\mathfrak{S}$-기약 진부분다양체의 집합은 $\infty$-분할 $\lambda$와 $\mathbf{A}^{[r]}$ 공간의 $\operatorname{Aut}(\lambda)$-기약 닫힌 부분다양체 $Z$의 쌍 $(\lambda, Z)$에 자연스럽게 전단사이다.
• 모든 $\mathfrak{S}$-안정적인 닫힌 부분다양체는 $\mathfrak{S}$-기약 부분다양체의 유한한 합집합이며, 이는 Cohen의 $\mathfrak{S}$-noetherian 성질의 결과이다.
• 부드럽고 유한히 $\mathfrak{S}$-생성된 $\mathfrak{S}$--equivariant $R$-모듈 $M$의 지지부는 어떤 닫힌 $\mathfrak{S}_{\geq n}$-부분다양체 $\mathfrak{Z}$에 대해 $\mathrm{I}(\mathfrak{Z})$와 같다. 또한 $V(\operatorname{Ann}(M)) = \overline{\mathrm{I}}(\mathfrak{Z})$이다.
• 지지부 $\operatorname{Supp}(M)$는 $V(\operatorname{Ann}(M))$에 자리를키 밀도를 가지며, $\operatorname{Supp}(M)$이 유계이면 그 최고차원 성분은 $\operatorname{Supp}(M)$ 내부에 존재한다.
• 일부 $\mathfrak{S}$-equivariant 모듈의 지지부는 자리를키 닫혀 있지 않으며, $\operatorname{Supp}(M)$이 $\Pi$-닫혀 있지 않은 예시를 통해 $\mathrm{I}(\mathfrak{Z})$가 $\overline{\mathrm{I}}(\mathfrak{Z})$보다 엄밀히 작을 수 있음을 보였다.
• $\mathrm{I}(\mathfrak{Z})$의 $\Pi$-닫힘은 $\mathrm{I}(\mathfrak{Z})$보다 엄밀히 클 수 있으며, 일부 경우에선 $\overline{\mathrm{I}}(\mathfrak{Z}) = \mathfrak{X}$가 되지만 $\mathrm{I}(\mathfrak{Z})$는 진부분집합일 수 있다.