[논문 리뷰] On Ideal Generators for Affine Schubert Varieties

Victor Kreiman, V. Lakshmibai외 2명|ArXiv.org|2004. 11. 06.

Advanced Algebra and Geometry참고 문헌 23인용 수 5

한 줄 요약

이 논문은 A형 아핀 그라스만이의 아핀 슈부르트 다양체 위의 선다발의 분할을 제한된 플루커 좌표를 사용하여 명시적으로 구성한다. 이러한 다양체를 유한차원 그라스만이에 매장함으로써, 그 정의 아이디얼의 차수 1 부분에 대한 명시적 생성자를 도출하며, 이들이 무한 그라스만이 안에서 아핀 그라스만이의 아이디얼 생성자로 완전한 집합을 이룬다고 추측한다. 이는 닮은 특성의 없는 노름 궤도 닫힘의 필터링과 그들의 SL(n)-모듈 구조에 대한 추측으로 이어진다.

ABSTRACT

We consider a certain class of Schubert varieties of the affine Grassmannian of type A. By embedding a Schubert variety into a finite-dimensional Grassmannian, we construct an explicit basis of sections of the basic line bundle by restricting certain Plücker co-ordinates. As a consequence, we write an explicit set of generators for the degree-one part of the ideal of the finite-dimensional embedding. This in turn gives a set of generators for the degree-one part of the ideal defining the affine Grassmannian inside the infinite Grassmannian which we conjecture to be a complete set of ideal generators. We apply our results to the orbit closures of nilpotent matrices. We describe (in a characteristic-free way) a filtration for the coordinate ring of a nilpotent orbit closure and state a conjecture on the SL(n)-module structures of the constituents of this filtration.

연구 동기 및 목표

• 아핀 그라스만이의 A형에 속하는 일정한 아핀 슈부르트 다양체 위의 선다발에 대한 분할의 명시적 기저를 구성하는 것.
• 유한차원 그라스만이에서 이러한 슈부르트 다양체를 정의하는 아이디얼의 차수 1 부분에 대한 명시적 생성자를 도출하는 것.
• 이 생성자들이 무한 그라스만이 안에서 아핀 그라스만이의 아이디얼 생성자로 완전한 집합을 이룬다는 추측을 제기하는 것.
• 결과를 노름 궤도 닫힘에 적용하여 그 좌표환의 특성에 관계없이 필터링을 구성하는 것.
• 이 필터링의 각 성분의 SL(n)-모듈 구조에 대한 추측을 제시하고 그 동기를 밝히는 것.

제안 방법

• F = K((t))에서 SL_n(F)의 원소에 대한 행렬 표현을 사용하여 아핀 그라스만이를 무한 그라스만이에 매장하는 것.
• 이 매장에 의해 아핀 슈부르트 다양체를 유한차원 그라스만이 안의 닫힌 부분다양체로 실현하는 것.
• 슈부르트 다양체 X에 제한된 '허용 가능한' 플루커 좌표를 사용하여 H⁰(X, L)의 기저를 정의하는 것.
• 차수 1 정규화 관계('셔플')와 행렬 표현으로부터 유도된 차수 2 관계를 통해 선형 독립성과 생성성을 확립하는 것.
• 행렬 표현을 활용하여 유한차원 그라스만이 안에서 X의 아이디얼의 차수 1 부분에 대한 명시적 생성자를 도출하는 것.
• 루스지츠의 동형사상과 플루커 좌표의 차수에 따른 필터링을 정의함으로써 결과를 노름 궤도 닫힘에 적용하는 것.

실험 결과

연구 질문

• RQ1 플루커 좌표를 사용하여 아핀 슈부르트 다양체 위의 선다발에 대한 명시적 기저를 구성할 수 있는가?
• RQ2 제한된 플루커 좌표가 그 유한차원 매장에서 슈부르트 다양체의 아이디얼을 생성하는가?
• RQ3 무한 그라스만이 안에서 아핀 그라스만이의 아이디얼에 대한 차수 1 생성자 집합이 완전한가?
• RQ4 노름 궤도 닫힘의 좌표환의 각 성분의 SL(n)-모듈 구조는 어떠한가?
• RQ5 플루커 좌표의 차수에 따라 노름 궤도 닫힘의 좌표환에 특성에 관계없이 필터링을 정의할 수 있는가?

주요 결과

• 저자는 '셔플'—차수 1 정규화 관계—를 통해 생성성을 증명함으로써 제한된 플루커 좌표를 사용하여 H⁰(X, L)에 대한 명시적 기저를 구성한다.
• 차수 2 플루커 좌표 관계를 이용하여 더 작은 슈부르트 다양체로 제한함으로써 기저의 선형 독립성을 귀납적으로 확립한다.
• 유한차원 그라스만이 안에서 X의 아이디얼의 차수 1 부분은 특정한 제한된 플루커 좌표에 의해 명시적으로 생성된다.
• 저자는 이러한 생성자들이 무한 그라스만이 안에서 아핀 그라스만이의 아이디얼 생성자로 완전한 집합을 이룬다고 추측한다.
• 노름 궤도 닫힘의 좌표환에 대해 플루커 좌표의 차수에 따라 특성에 관계없이 필터링을 정의한다.
• 논문은 이 필터링의 각 성분이 Weyl 모듈 L_{λ_i^m}E의 텐서곱과 동형임을 추측하며, 이 추측은 특성 0에서 검증된다.