[논문 리뷰] Standard monomials and invariant theory for arc spaces III: special linear group

Andrew R. Linshaw, Bailin Song|arXiv (Cornell University)|2021. 08. 20.

Algebraic structures and combinatorial models참고 문헌 29인용 수 4

한 줄 요약

이 논문은 대수적으로 닫힌 체 위의 특수선형군에 대한 불변량 이론의 첫 번째 및 두 번째 기본정리에 대한 아크 공간 해석을 수립한다. 표준 단항식 이론을 사용하여, 아크 공간이 비환원적일 경우에도, 약산의 약산의 불변량 환은 특정 표준 단항식들에 의해 생성됨을 증명한다. 이는 GL_h 및 Sp_h의 경우와 비교해 복잡한 점을 해결한다.

ABSTRACT

This is the third in a series of papers on standard monomial theory and invariant theory of arc spaces. For any algebraically closed field $K$, we prove the arc space analogue of the first and second fundamental theorems of invariant theory for the special linear group. This is more subtle than the results for the general linear and symplectic groups obtained in the first two papers because the arc space of the corresponding affine quotients can be nonreduced.

연구 동기 및 목표

• 특수선형군 SL_h에 대한 표준 단항식 이론을 아크 공간으로 확장한다.
• 아크 공간 설정에서 SL_h에 대한 불변량 이론의 첫 번째 및 두 번째 기본정리를 수립한다.
• 아크 공간의 약산이 비환원적일 수 있다는 과제를 다스린다. 이는 GL_h 및 Sp_h의 경우와는 다릅니다.
• SL_h 표현 다양체의 아크 공간 불변량 환에 대한 표준 단항식 기저를 제공한다.
• 고전적 불변량 이론 결과를 아크 공간의 무한차원 설정으로 일반화한다.

제안 방법

• K[[t]] 위의 점의 함의를 사용하여, J_n(V)의 제트 스킴의 역극한으로 아크 공간 J_∞(V)을 구성한다.
• 생성자 X^{(k)}_{u;v}, Y^{(k)}_u, Z^{(k)}_v에 대한 부분순서를 정의하여 아크 공간에 표준 단항식 이론을 적응시킨다.
• 정규화된 도함수 ∂̄^i를 사용하여 미분관계를 유도하고 아크 공간 내 표준 단항식을 정의한다.
• 불변량 환의 관계를 제어하기 위해 미분 아이디얼 이론과 미분적으로 유한생성된 아이디얼 이론을 적용한다.
• 재귀적 감소 기법과 가중치 분석(wt, R(E,·))을 사용하여 비표준 단항식이 0이 됨을 증명한다.
• 기존의 고전적 결과(FIT 및 SFT for SL_h)를 기본 사례로 삼고, 제트 필터링을 통해 아크 공간으로 옮긴다.

실험 결과

연구 질문

• RQ1 SL_h에 대한 불변량 이론의 첫 번째 기본정리는 어떻게 아크 공간 설정으로 옮길 수 있는가?
• RQ2 특히 몫이 비환원적일 경우, 아크 공간 J_∞(V) 내에서 K[V]^{SL_h}의 불변량 환의 구조는 어떠한가?
• RQ3 SL_h 표현의 아크 공간에 표준 단항식 이론을 확장하여 불변량 환의 기저를 만들 수 있는가?
• RQ4 아크 공간 불변량 환의 정의 관계(SFT)는 무엇이며, 고전적 경우와 어떻게 다를까?
• RQ5 미분 연산자와 제트 구조는 아크 공간 내 표준 단항식 기저에 어떻게 영향을 미치는가?

주요 결과

• 첫 번째 기본정리의 아크 공간 해석이 성립한다: 불변량 환 K[J_∞(V)]^{SL_h}는 표준 단항식 X^{(k)}_{u;v}, Y^{(k)}_u, Z^{(k)}_v에 의해 생성된다.
• 두 번째 기본정리의 아크 공간 해석이 성립한다: 관계의 아이디얼은 제트 도함수를 통해 아크 공간으로 옮겨낸 동일한 관계들(1.2)–(1.4)에 의해 생성된다.
• 비환원적 아크 공간일지라도, 정의된 부분순서에 따라 생성자의 순서적 곱으로 이루어진 표준 단항식 기저가 K[J_∞(V)]^{SL_h}를 형성한다.
• 비표준 단항식이 ∂̄-리스트의 가중치와 질량 분석을 통해 미분관계에서 상쇄되어 0이 됨을 증명한다.
• 비환원적 아크 공간 몫의 성격을 성공적으로 다루었으며, 이는 GL_h 및 Sp_h의 경우에 존재하지 않는 핵심 과제이다.
• 결과는 고전적 불변량 이론을 무한 제트 공간으로 일반화하여, 아크 공간 내 SL_h 불변량의 완전한 대수적 기술을 제공한다.