[논문 리뷰] K-classes of Brill-Noether loci and a determinantal formula

Dave Anderson, Linda Chen외 1명|arXiv (Cornell University)|2017. 05. 08.

Advanced Combinatorial Mathematics참고 문헌 32인용 수 10

한 줄 요약

이 논문은 321-피回避 순열과 관련된 분열 위치의 K-이론 클래스에 대한 새로운 행렬식 공식을 수립하며, 이를 통해 최대 두 개의 마킹된 점을 가진 브릴-노에르 위치의 정수형 특성수(산술 종수)를 계산하는 데 응용한다. 주요 기여는 클래식한 캐스텔누오보(ρ=0) 및 아이젠부르크-하리스/피롤라/찬-마르틴-플루거-테이크시도르 공식(ρ=1)을 복원하는 통합된 공식이며, 파이프 드림 비유를 통해 더블 그로텐디크 다항식과 플래그된 스케우 테이블로의 일반화를 이룬다.

ABSTRACT

We compute the Euler characteristic of the structure sheaf of the Brill-Noether locus of linear series with special vanishing at up to two marked points. When the Brill-Noether number $ρ$ is zero, we recover the Castelnuovo formula for the number of special linear series on a general curve; when $ρ=1$, we recover the formulas of Eisenbud-Harris, Pirola, and Chan-Martín-Pflueger-Teixidor for the arithmetic genus of a Brill-Noether curve of special divisors. These computations are obtained as applications of a new determinantal formula for the K-theory class of certain degeneracy loci. Our degeneracy locus formula also specializes to new determinantal expressions for the double Grothendieck polynomials corresponding to 321-avoiding permutations, and gives double versions of the flagged skew Grothendieck polynomials recently introduced by Matsumura. Our result extends the formula of Billey-Jockusch-Stanley expressing Schubert polynomials for 321-avoiding permutations as generating functions for flagged skew tableaux.

연구 동기 및 목표

• 321-피回避 순열에서 유래하는 분열 위치의 K-이론 클래스에 대한 일반적인 행렬식 공식을 개발하는 것.
• 이 공식을 사용하여 곡선 위의 한 개 또는 두 개의 마킹된 점에서 특별한 소멸 조건을 갖는 브릴-노에르 위치의 정수형 오일러 특성수를 계산하는 것.
• 영차원 및 일차원 경우(ρ=0 및 ρ=1)에서 브릴-노에르 위치의 산술 종수에 대한 기존 공식을 통합하고 일반화하는 것.
• 321-피回避 순열과 관련된 더블 슈부르트 다항식 및 더블 그로텐디크 다항식에 대한 새로운 행렬식 표현을 수립하는 것.
• 스체버트 다항식과 플래그된 스케우 테이블 간의 빌리-조크류슈탄리에르 대응을 그로텐디크 다항식 설정으로 확장하는 것.

제안 방법

• 321-피回避 순열 데이터를 가진 벡터 번들의 사상으로 정의된 분열 위치의 K-이론 클래스에 대한 새로운 행렬식 공식을 유도하는 것.
• 극한 선형 시리즈의 기하학과 이중 마킹된 브릴-노에르 정리의 응용을 통해 일반적인 이중 마킹된 곡선 위에서 이들 위치를 분열 위치로 모델링하는 것.
• 321-피回避 순열에 대해 플래그된 세트-밸류드 테이블과 파이프 드림 사이의 무게를 유지하는 이분기함수를 구성하여 기존 결과를 일반화하는 것.
• 이 이분기함수를 활용하여 플래그된 세트-밸류드 테이블의 생성함수와 파이프 드림 단항식을 통한 더블 그로텐디크 다항식을 연결하는 것.
• 일반 공식을 특수화하여 ρ=0 및 ρ=1의 경우에 기존의 종수 공식을 복원하고, 더블 그로텐디크 다항식에 대한 새로운 표현을 도출하는 것.
• 이 공식을 적용하여 특정 마킹된 점에서 소멸 조건이 주어진 브릴-노에르 위치의 정수형 특성수를 계산하는 것.

실험 결과

연구 질문

• RQ1 321-피回避 순열과 관련된 분열 위치의 K-이론 클래스는 어떻게 행렬식 공식으로 표현될 수 있는가?
• RQ2 일반 곡선 위의 한 개 또는 두 개의 마킹된 점에서 특정 소멸 조건을 갖는 브릴-노에르 위치의 정수형 특성수는 무엇인가?
• RQ3 새로운 행렬식 공식은 ρ=0일 때 고전적인 캐스텔누오보 공식과 ρ=1일 때 아이젠부르크-하리스/피롤라/찬-마르틴-플루거-테이크시도르 공식을 복원할 수 있는가?
• RQ4 플래그된 세트-밸류드 테이블과 파이프 드림 사이의 이분기함수는 빌리-조크류슈탄리에르 결과를 어떻게 그로텐디크 다항식 설정으로 확장하는가?
• RQ5 이 틀에서 더블 그로텐디크 다항식에 대해 어떤 새로운 행렬식 표현이 도출되는가?

주요 결과

• 논문은 321-피回避 순열로 정의된 분열 위치의 K-이론 클래스에 대한 새로운 행렬식 공식을 제공하며, 이는 스체버트 계산 이론에서 이전 결과를 일반화한다.
• 브릴-노에르 수치 ρ=0일 때, 일반 곡선 위의 특수 선형 시리즈의 수를 위한 캐스텔누오보 공식을 복원한다.
• ρ=1일 때, 아이젠부르크-하리스, 피롤라, 찬-마르틴-플루거-테이크시도르의 브릴-노에르 곡선의 산술 종수에 대한 공식을 재현한다.
• 321-피回避 순열에 대해 플래그된 세트-밸류드 테이블과 파이프 드림 사이의 무게를 유지하는 이분기함수를 수립하였으며, 이는 빌리-조크류슈탄리에르 대응을 그로텐디크 다항식 설정으로 확장한다.
• 이 틀은 321-피回避 순열과 관련된 더블 그로텐디크 다항식에 대한 새로운 행렬식 표현을 도출하며, 일반 행렬식 공식에 대한 기하학적 증명을 제공한다.
• 결과들은 K-이론과 분열 위치 기법을 활용하여 옵스마어의 특수 선형 시리즈 존재 기준에 대한 새로운 증명을 제공한다.