Cuerpos de Newton–Okounkov desde solitones de la

ecuación de KP

Lara Bossinger

Universidad Nacional Autónoma de México, IM-Oaxaca

Encuentro conjunto de la SMM y la RSME 2021

Sesión “Poliedros de Newton y métodos tropicales en ecuaciones diferenciales”

Lara Bossinger 0/ 10
Ecuación de KP

La ecuación de Kadomtsev y Petviashvili (KP) es una ecuación diferencial

parcial para describir el movimiento de onda no lineal. Para u = u(x, y , t)

(−4ut + uxxx + 6uux )x + 3uyy = 0

Generaliza la ecuación Korteweg-de Vries (KdV) que es unidimensional

(para u = u(x, t) es ut + uxxx + 6uux = 0).
Una clase de soluciones muy curiosa es la de ondas solitarias. Son ondas
que viajan preservando su forma y su energı́a.

Lara Bossinger 1/ 10
Ondas solitarias en agua de poca profundidad

De Mark J. Ablowitz en Nuevo Vallarta, Nayarit, México,

[Link]
El cuento dice que fueron observados por primera vez de John Scott
Russel en un canal de agua de poca profundidad en 1834 en Escocia y los
describió en [Rus].

Lara Bossinger 2/ 10
Soluciones de ondas solitarias

Un dato de un solitón es una matriz A ∈ Rk×n y κ1 < κ2 < · · · < κn en

R. La función τ asociada es
X Y
τA (x, y , t) = ∆I (A) (κij − κik )e ΘI (x,y ,t) ,
I ∈([n] j<k
k)

con ∆I (A) la Pdeterminante de la submatriz de A con columnas en I y

ΘI (x, y , t) = i∈I κi x + κ2i y + κ3i t. Cada dato de un solitón da una
solución de solitón que es la función

u(x, y , t) = 2∂x2 ln(τA ).

La solución es regualr si ∆I (A) ≥ 0 para cada I ∈ [n]

k . En este caso A
corresponde a un elemento en la Grassmanniana totalmente no negativa.

Lara Bossinger 3/ 10
La gráfica de un solitón
y
Substituimos x → x , y →  yt→ t
 para un  > 0 muy pequeño. El
limite tropical es

fA (x, y , t) := lim ( ln(τA )) = max (ΘI (x, y , t)).

→0 I ∈([n]
k)

Las lı́neas de nivel del solitón son capturadas en el conjunto

Ct (A) = {locos en el plano de xy donde fA no es lineal} .

La gráfica del solitón es Ct (A) encajada en un disco, olvidando su

estructura métrica pero preservando su estructura topológica.

Lara Bossinger 4/ 10
La Grassmanniana totalmente positiva
Sea Grk (Cn ) la Grassmanniana de k-espacios en Cn . Sus elementos se
pueden representar como matrices k × n y los menores ∆I para I ∈ [n]


k
dan las coordenadas de Plücker del encaje

([n])−1
Grk (Cn ) ,→ PCk .

Sea Ak,n el anillo de coordenadas homogéneas. Toma [A] ∈ Grk (Rn )

totalmente positiva (i.e. pI ([A]) > 0 ∀I ∈ [n]


k ) y A ∈ [A] en RREF.
Fijamos κ1 < · · · < κn y t  0.
[KW14]&[Pos] Entonces la gráfica del solitón Ct (A)
1 es plana, bicolorido and trivalente ( plabic graph [Pos]),
2 tiene k(n − k) + 1 caras de los cuales n son no acotadas,
3 el conjunto {pI : ΘI es máximo local de fA } genera Ak,n ,
4 define una carta ΦC : (C∗ )k(n−k)+1 → Grk (Cn ) que restringida a
(R>0 )k(n−k)+1 parametriza la Grassmanniana totalmente positiva.
Lara Bossinger 5/ 10
La valuación de flujos

[Pos] Etiqueta las aristas infinitas 1, . . . , n

en sentido horario y orienta las aristas de Ct (A)
tal que 1, . . . , k son fuentes y k + 1, . . . , n pozos.
Por ejemplo, A = 10 01 −11 −21 −31 da esta gráfica:
 

[RW19] definen la valuación de flujos νC : Ak,n \ {0} → Zk(n−k)+1 para

cada gráfica C := Ct (A). Un flujo para I ∈ [n]


k en C es una colección de k
caminos {pi : ji → i}i∈I sin intersecciones y νC (pI ) corresponde al flujo
minimal con respeto del número de caras de su lado izquierda.

Por ejemplo, para I = {3, 5} el flujo minimal es:

νC (pI ) = 2e12 + e15 + e25 + e23 + e34 ∈ Z7 .

Lara Bossinger 6/ 10
Cuerpos de Newton–Okounkov
Nota que Ak,n es Z≥0 -graduada. Definimos el cuerpo de
Newton–Okounkov
 
[ νC (f )
∆(Ak,n , νC ) := conv  : f ∈ A, deg(f ) = d  ⊂ Rk(n−k)+1
d
d≥0

[KK12]&[LM09]: ∆(Ak,n , νC ) es convexo (no necesariamente politopal ni

acotado) y su volumen es el grado de Grk (Cn ).
[And13]&[RW19]: ∆(Ak,n , νC ) es un politopo, y entonces define una
degeneración tórica de Grk (Cn ) a la variedad tórica X∆ (A, νC ).

Theorem (B.20)
∆(Ak,n , νC ) es un politopo integral si y solo si la degeneración viene de un
punto en la Grassmanniana tropical.

Lara Bossinger 7/ 10
La Grassmanniana tropical
Sea Jk,n ⊂ C[pI : I ∈ [n] ∼


k ] el ideal de Plücker, entonces Ak,n = C[pI ]/Jk,n .
La Grassmanniana tropical es
n n
o
Trop(Jk,n ) := w ∈ R(k ) : inw (Jk,n ) 63 monomios .
Es un abanico bajo la relación: v , w ∈ C ◦ ⇔ inv (Jk,n ) = inw (Jk,n ). Un
cono maximal C ∈ Trop(Jk,n ) es primo si inw (Jk,n ) es primo ∀w ∈ C ◦ .
[SS04]: Para k = 2 cada cono maximal C es primo y da una degeneración
tórica de Gr2 (Cn ) a la varidad tórica V (inC (J2,n )).
Teorema (B.–Fang–Fourier–Hering–Lanini 18)
Bajo isomorfismo tenemos la biyección
  
 degeneraciones tóricas   degeneraciones tóricas 
X∆(A2,n ,νC ) V (inC (J2,n )) de conos
de gráficas de solitón C maximales C ∈ Trop(J2,n )
  

En particular, ∆(A2,n , νC ) es integral para cada C.

Lara Bossinger 8/ 10
Criterio para (no) integralidad
Para k 6= 2 hay ejemplos de ∆(Ak,n , νC ) que no son integrales (en [RW19]
hay uno para k = 3 y n = 6).

Teorema (B.20)
Si la gráfica del solitón C contiene el patrón

...

entonces ∆(Ak,n , νC ) no es integral.

Lara Bossinger 9/ 10
 ¡Muchas gracias por su atención!

L.B., Ghislain Fourier, Martina Lanini, Xin Fang, Milena Hering, Peter Littelmann
De Tatjana Ruf, Mini-Workshop: PBW Structures in Representation Theory 2016,
Oberwolfach Photo Collection, [Link]

Lara Bossinger 9/ 10
And13 Anderson, Dave. Okounkov bodies and toric degenerations. Math. Ann. 356 (2013), no.
3, 1183–1202.
Bos20 Bossinger, Lara. Full-Rank Valuations and Toric Initial Ideals. Int. Math. Res. Not.
rnaa071, (2020)
B+18 Bossinger, Lara; Fang, Xin; Fourier, Ghislain; Hering, Milena; Lanini, Martina. Toric
degenerations of Gr(2,n) and Gr(3,6) via plabic graphs. Ann. Comb. 22 (2018), no. 3,
491–512.
KK12 Kaveh, Kiumars; Khovanskii, Askold G. Newton-Okounkov bodies, semigroups of integral
points, graded algebras and intersection theory. Ann. of Math. (2) 176 (2012), no. 2,
925–978.
Kod17 Kodama, Yuji. KP solitons and the Grassmannians. Combinatorics and geometry of
two-dimensional wave patterns. Springer Briefs in Mathematical Physics, 22. Springer,
Singapore, (2017).
KW14 Kodama, Yuji; Williams, Lauren. KP solitons and total positivity for the Grassmannian.
Invent. Math. 198 (2014), no. 3, 637–699.
LM09 Lazarsfeld, Robert; Mustaţă, Mircea. Convex bodies associated to linear series. Ann. Sci.
Éc. Norm. Supér. (4) 42 (2009), no. 5, 783–835.
Pos Postnikov, Alexander. Total positivity, Grassmannians, and networks.
arXiv:math/0609764 [[Link]] (2006).
RW19 Rietsch, Konstanze; Williams, Lauren. Newton-Okounkov bodies, cluster duality, and
mirror symmetry for Grassmannians. Duke Math. J. 168 (2019), no. 18, 3437–3527.
Rus44 Russell, John S. Report on waves. Rept. Fourteenth Meeting of the British Association
for the Advancement of Science, pp. 311–390. John Murray, London (1844)
SS04 Speyer, David; Sturmfels, Bernd. The tropical Grassmannian. Adv. Geom. 4 (2004), no.
3, 389–411.

Lara Bossinger 10/ 10