[논문 리뷰] Field of U-invariants of adjoint representation of the group GL(n,K)

K. A. Vyatkina, А. Н. Панов|arXiv (Cornell University)|2012. 12. 05.

Advanced Algebra and Geometry인용 수 3

한 줄 요약

이 논문은 특성 0인 체 K에 대한 GL(n,K)의 고정 표현의 U-불변량 분야가 유리적임을 증명하며, 행렬의 소수와 그 수반행렬에서 유도된 특정 대수적 체계인 행렬 소수 J_{k,i}에 의해 생성됨을 보여준다. L의 밀도가 높은 열린 부분집합에 대한 임bedding과 순서된 좌표 함수에 대한 귀납법을 사용하여, 이러한 불변량들이 초월 기저를 이룬다는 것을 증명함으로써, 높은 조르당-횔러 길이(n²)에도 불구하고 U-불변량 분야의 유리성을 해결한다.

ABSTRACT

We obtain system of generators of the field of U-invariants of ajoint representation of the group GL(n,K).

연구 동기 및 목표

• 특성 0인 체 K에 대해 GL(n,K)의 고정 표현에 대한 U-불변량 분야의 구조를 규명하는 것.
• U-불변량 분야의 유리성을 해결하기 위해, 길이 n²인 긴 조르당-횔러 분해로 인해 표준적 불변이론 알고리즘을 적용하는 데 어려움이 있다는 것을 극복하는 것.
• K(M)^U의 U-불변 유리 함수 분야에 대한 명시적 대수적으로 독립적인 생성자 체계를 구성하는 것.
• 이 체계가 전체 분야를 생성함을 증명함으로써, K(M)^U의 유리성을 확립하는 것.

제안 방법

• GL(n,K) 내의 유니포텐트 상삼각 행렬의 부분군 U를 정의하고, n×n 행렬의 좌표환 K[M] 위에서 ρ_g(f)(A) = f(g⁻¹Ag)로 주어진 고정 작용 ρ_g를 고려한다.
• 행렬 𝕏 = (x_{ij})와 그 수반행렬 𝕏* = (x*_{ij})를 구성하며, 항등식 𝕏𝕏* = 𝕏*𝕏 = det(𝕏)E를 사용한다.
• 모든 1 ≤ k ≤ n 및 0 ≤ i ≤ k−1에 대해, 𝕏의 마지막 k−i행과 𝕏*의 처음 i행을 조합한 혼합 소수 J_{k,i}를 정의하여 크기가 k인 왼쪽 아래 모서리 소수를 형성한다.
• ρ_u(𝕏) = u⁻¹𝕏u 및 ρ_u(𝕏*) = u⁻¹𝕏*u 변환을 사용하여, 각 J_{k,i}가 유니포텐트 작용에 대해 불변임을 블록 행렬의 공액 불변성에 의해 보여준다.
• 모든 소수 J_k ≠ 0인 조건을 만족하는 조르당-조밀한 열린 부분집합 Ω과 b_{j,0} ≠ 0인 비영인 항을 가진 하삼각형 유사 행렬의 부분집합 ℒ로 제한한다.
• K(M)^U → K(ℒ)로의 임베딩 π를 정의하여 불변량을 ℒ에 제한하고, ℒ 위의 좌표 함수 {s_{k,i}}가 대수적으로 독립적임을 보이며 K(ℒ)를 생성함을 증명한다.

실험 결과

연구 질문

• RQ1 GL(n,K)의 고정 표현에 대한 U-불변량 분야는 명시적으로 유리 함수 분야로 기술될 수 있는가?
• RQ2 유니포텐트 군 작용의 복잡성에도 불구하고, K(M)^U에 대한 대수적으로 독립적인 생성자 체계는 어떻게 구성할 수 있는가?
• RQ3 K(M)^U는 유리적이고, 만약 그렇다면 어떤 명시적 유리 함수들이 이를 생성하는가?
• RQ4 행렬 소수와 수반행렬 성분은 U-불변 유리 함수를 구성하는 데 어떤 역할을 하는가?

주요 결과

• U-불변량 분야 K(M)^U는 유리적이다. 즉, K에 대한 순수 초월 확장과 동형이다.
• 집합 {J_{k,i} | 1 ≤ k ≤ n, 0 ≤ i ≤ k−1}는 K(M)^U의 초월 기저를 이룬다.
• 각 J_{k,i}는 행렬 𝕏와 그 수반행렬 𝕏*에서 유도된 U-불변 유리 함수이다.
• 제한 사상 π: K(M)^U → K(ℒ)는 임베딩이며, π(J_{k,i})는 π(J_{k,i}) = φ_{k,i} s_{k,i} + ψ_{k,i} 형태의 선형 표현을 만족하며, 여기서 φ_{k,i} ≠ 0 이고 ψ_{k,i}는 더 작은 좌표 함수들만 포함한다.
• ℒ 위의 좌표 함수 {s_{k,i}}는 대수적으로 독립적이고 K(ℒ)를 생성하며, π에 의한 J_{k,i}의 상들은 동일한 분야를 생성한다.
• K(M)^U의 유리성은 π에 의한 생성자들의 상이 K(ℒ)의 초월 기저를 이룬다는 사실에서 유추되며, 따라서 이 분야는 유리적이다.