[논문 리뷰] On vector-valued twisted conjugate invariant functions on a group

Liang Xiao, Xinwen Zhu|arXiv (Cornell University)|2018. 02. 14.

Advanced Algebra and Geometry참고 문헌 22인용 수 7

한 줄 요약

이 논문은 대수적으로 닫힌 체 k 위의 연결 재수성 군 G에서의 벡터 값 스트레스터드 콘jugation-불변 함수를 연구하며, 양호한 필터링 조건 하에서 이러한 함수들의 공간이 동치 함수의 환 위에서 유한 자유임을 증명한다. 핵심 결과는 J(V)와 J(V*) 사이의 자연스러운 쌍대화의 행렬식을 루트에 대한 곱으로 계산하며, 이는 무게 다중도와 특징 함수를 포함하여 고전적인 코스타너트의 결과를 스트레스터드 군 설정으로 확장하며, 사타케 동치를 통해 시무라 다양체에 응용된다.

ABSTRACT

We study the space of vector-valued (twisted) conjugate invariant functions on a connected reductive group.

연구 동기 및 목표

• 재수성 군에서의 불변 다항식에 대한 코스타너트의 정리를, 벡터 값 콘jugation-불변 함수의 설정으로 일반화하는 것.
• 모듈러 p 섬유의 시무라 다양체에 대한 응용을 동기로 삼아, 군의 자기동형사상에 의한 스트레스터드 콘jugation 작용으로 이론을 확장하는 것.
• 기하학적 및 표현 이론적 방법을 사용하여 무게 다중도 생성 함수의 다변수 버전을 구성하는 것.
• J(V)와 J(V*) 사이의 자연스러운 쌍대화의 행렬식을 루트 자료와 무게 다중도로 표현하는 것.

제안 방법

• 플래그 다양체의 기하학과 기하학적 사타케 대응을 이용하여 표현에 다중 필터링을 도입한다.
• 필터링된 벡터 공간에 Rees 구성법을 적용하여 관련 그레이드 모듈의 평탄성과 자유성 문제를 연구한다.
• 자기동형사상 τ에 의한 군 G의 스트레스터드 콘jugation 불변 함수를 정의하여 표준 콘jugation 작용을 일반화한다.
• 빈브르그 모노이드와 점점 가까워지는 원뿔을 사용하여 군 작용의 열화를 분석한다.
• G-대수와 무게의 포화된 부분집합의 맥락에서 양호한 필터링 이론과 불변 이론을 활용한다.
• 그로스한 부분군과 불변 이론의 결과를 적용하여 불변 환 위에서의 모듈의 유한 생성성과 자유성 증명.

실험 결과

연구 질문

• RQ1 V가 양호한 필터링을 갖는 조건 하에서, V-값 스트레스터드 콘jugation-불변 함수의 모듈이 동치 함수의 환 위에서 유한 자유가 되는 조건은 무엇인가?
• RQ2 J(V)와 J(V*) 사이의 자연스러운 쌍대화의 행렬식은 V의 루트 체계와 무게 다중도에 따라 어떻게 달라지는가?
• RQ3 기하학적 또는 표현 이론적 방법을 사용하여, 기하학적 또는 표현 이론적 방법으로 무게 공간에 대한 코스타너트–브릴린스키 필터링의 다변수 버전을 구성할 수 있는가?
• RQ4 J(V) × J(V*) → J의 쌍대화의 정확한 대수적 표현은 루트 특징과 무게 다중도로 어떻게 기술되는가?
• RQ5 이러한 결과는 대칭 쌍이나 양자 군의 경우로 어떻게 일반화되는가?

주요 결과

• V가 양호한 필터링을 갖는 한, V-값 스트레스터드 콘jugation-불변 함수의 공간 J(V)는 J 위에서 유한 자유이며, 그 계수는 V의 영 무게 공간 V(0)의 차원과 같다.
• 만약 char k = 0 이면, V(0)의 기저에 의해 유도되는 자연스러운 기저가 J(V), J+(V), J0(V)에 존재하며, 코스타너트의 조화 다항식 기저를 일반화한다.
• 쌍대화 J(V) × J(V*) → J의 행렬식은 c · ∏_{α∈Φ(G,T)} (e_α − 1)^ζ_α 로 주어지며, 여기서 c는 0이 아닌 상수이고 ζ_α = ∑_{n≥1} dim V(nα) 이다.
• J(V)의 J 위에서의 자유성은 체발리 맵의 평탄성에서 유도되며, 이는 주요 결과로부터 도출되며 리처드슨과 도크린의 정리에 대한 새로운 증명을 제공한다.
• 이러한 결과는 군 G의 자기동형사상 τ에 의한 스트레스터드 콘jugation의 경우로 확장되며, 사타케 동치를 통해 시무라 다양체의 모듈러 p 섬유에서의 교차 행렬에 응용된다.
• 성분 인자가 포화된 집합 π에 속하는 부분모듈의 모듈 O_π(M)은 불변 환 C = AG 위에서 유한 생성되며, 양호한 필터링과 불변 이론에 관한 결과를 일반화한다.