[논문 리뷰] Real regular KP divisors on $\mathtt M$-curves and totally non-negative Grassmannians

Simonetta Abenda, P. G. Grinevich|arXiv (Cornell University)|2020. 02. 12.

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

한 줄 요약

이 논문은 전체적으로 음이 아닌 그라스만ian $\mathrm{Gr}^{\mathrm{TNN}}(k,n)$의 기약 양의 매트로이드 셀을 나타내는 평면 이색 삼차 그래프(플라빅 네트워크)에서 $\mathtt{M}$-곡선 위의 실수 정규 KP 나열으로의 명시적 사상 구축을 통해 유한 갭 해와 다중 선형 솔리톤 해 사이의 기하학적 다리를 완성한다. 이 구성은 그래프의 이중 스펙트럼 곡선을 사용하며, 네트워크 상의 관계 체계를 통한 게이지 변환과 포스트니코프 이동, 감소에 대한 불변성을 확립한다. 나열의 정규성은 전체적으로 음이 아닌 조합 구조에 의해 규정된다.

ABSTRACT

In this paper we construct an explicit map from planar bicolored (plabic) trivalent graphs representing a given irreducible positroid cell $S$ in the totally non-negative Grassmannian $Gr^{\mbox{TNN}}(k,n)$ to the spectral data for the relevant class of real regular Kadomtsev-Petviashvili II (KP) solutions, thus completing search of real algebraic-geometric data for the KP equation started in [4,6]. The spectral curve is modeled on Krichever construction for degenerate finite-gap solutions, and is a rationally degenerate $M$-curve, $Γ$, dual to the graph. The divisors are real regular KP divisors in the ovals of $Γ$, i.e. they fulfill the conditions for selecting real regular finite--gap solutions KPII solutions in [25]. Since the soliton data are described by points in $S$, we establish a bridge between real regular finite-gap KP solutions [25] and real regular multi-line KP solitons which are known to be parameterized by points in $Gr^{\mbox{TNN}}(k,n)$ [18,43]. We use the geometric characterization of spaces of relations on plabic networks introduced in [7] to prove the invariance of this construction with respect to the many gauge freedoms on the network. Such systems of relations were proposed in [53] for the computation of scattering amplitudes on on--shell diagrams $N=4$ SYM \cite{AGP1} and govern the totally non--negative amalgamation of the little positive Grassmannians, $Gr^{\mbox{TP}}(1,3)$ and $Gr^{\mbox{TP}}(2,3)$, into any given positroid cell $S$. In our setting they rule the reality and regularity properties of the KP divisor. Finally, we explain the transformation of the curve and the divisor both under Postnikov moves and reductions and under amalgamation of positroid cells, and apply our construction to some examples.

연구 동기 및 목표

• 실수 정규 유한 갭 KP 해와 실수 정규 다중 선형 솔리톤 해 사이의 기하학적 대응을 완성하기 위해.
• 기본적으로 음이 아닌 그라스만ian $\mathrm{Gr}^{\mathrm{TNN}}(k,n)$의 기약 양의 매트로이드 셀에서 $\mathtt{M}$-곡선 위의 실수 정규 KP 나열으로의 사상 수립을 위해.
• 플라빅 네트워크 상의 관계 체계를 사용하여 게이지 자유도와 포스트니코프 이동에 대한 나열 구성의 불변성을 증명하기 위해.
• 나열의 정규성과 조합 및 곡선의 비특이화 과정에서의 행동을 특성화하기 위해.
• 파동 함수가 노드에서 식별적으로 0이 되는 열화된 경우의 특이점 해결을 위해 게이지 자유도와 극한 구성 기법을 사용하기 위해.

제안 방법

• 기본적으로 음이 아닌 그라스만ian $\mathrm{Gr}^{\mathrm{TNN}}(k,n)$의 양의 매트로이드 셀을 나타내는 삼차 플라빅 그래프에 이중적인 유리적으로 분해된 $\mathtt{M}$-곡선 $\Gamma$ 구축.
• KP 파동 함수의 극과 구조를 사용하여 $\Gamma$ 위에 차수 $g$의 나열 정의.
• 이전에 [7]에서 소개된 플라빅 네트워크 상의 관계 체계를 사용하여 게이지 변환과 포스트니코프 이동에 대한 불변성 확보.
• Sato 나열과 국소 좌표를 적용하여 곡선의 땅 위와 구성 요소 위의 나열 점 특성화.
• 비환원 그래프에서 게이지 자유도를 활용하여 식별적으로 0인 파동 함수 제거 및 특이점 방지.
• 양의 매트로이드 셀의 조합 및 곡선 변환을 통한 나열 행동 분석, 비특이화 및 극한 과정 활용.

실험 결과

연구 질문

• RQ1 기본적으로 음이 아닌 그라스만ian $\mathrm{Gr}^{\mathrm{TNN}}(k,n)$의 솔리톤 자료로부터 $\mathtt{M}$-곡선 위의 실수 정규 KP 나열을 어떻게 명시적으로 구성할 수 있는가?
• RQ2 플라빅 네트워크 상의 관계 체계가 게이지 자유도와 포스트니코프 이동에 대한 나열 구성의 불변성을 확보하는 데 어떤 역할을 하는가?
• RQ3 양의 매트로이드 셀의 조합 및 네트워크 감소 과정에서 나열과 스펙트럼 곡선은 어떻게 변환되는가?
• RQ4 파동 함수가 선분이나 노드에서 식별적으로 0이 되면 나열은 어떻게 되며, 이러한 특이점은 어떻게 해결할 수 있는가?
• RQ5 극한 과정과 게이지 선택을 사용하여 기약 또는 열화된 플라빅 네트워크로의 나열 구성 확장을 가능하게 할 수 있는가?

주요 결과

• 이 구성은 $\mathrm{Gr}^{\mathrm{TNN}}(k,n)$의 기약 양의 매트로이드 셀에서 $\mathtt{M}$-곡선 위의 실수 정규 KP 나열으로의 완전하고 명시적인 사상 제공.
• 네트워크 상의 기본 관계 체계 덕분에 포스트니코프 이동과 감소에 대해 나열가 불변이며, 이는 실수성과 정규성을 규정한다.
• 기본적으로 음이 아닌 그라스만ian $\mathrm{Gr}^{\mathrm{TP}}(1,2)$의 예에서 보듯, 비환원 그래프에서 게이지 자유도를 사용하지 않으면 나열은 변형된 선분 가중치에 의존한다.
• 파동 함수가 선분에서 식별적으로 0이 되는 경우(예: $a=1$), 나열 점은 이중점에 일치하며, 이는 기약 경우와 유사한 특이점의 해소가 필요하다.
• 식별적으로 0인 파동 함수가 존재하는 경우, 나열의 구조는 매개변수 선택에 따라 달라지지만, 비환원 그래프에서는 게이지 자유도를 통해 이러한 열화를 제거할 수 있다.
• Sato 나열 점 $\gamma_S$ 는 KP 시간에 영향을 받지 않으며, 오вал $\Omega_1$ 과 구성 요소 $\Gamma_0$ 의 교차점에 위치한다. 나머지 나열 점은 가중치와 네트워크 구조에 따라 달라진다.