By work of Knutson and Miller [KM05], Weigandt [Wei17], and Knutson [Knu09] the Fulton generators of an ASM ideal form a Gröbner basis with respect to any antidiagonal term order. However, Gröbner bases for ASM ideals with respect to other term orders, including diagonal ones, remain largely mysterious.
Given a permutation or a partial ASM, one may compute its antidiagonal initial ideal. By [KM05] and [Wei17] or [Knu09], the Fulton generators form a Gröbner basis for any ASM ideal with respect to any antidiagonal term order.
|
|
|
|
By work of Conca and Varbaro [CV21], we know that the extremal Betti numbers (which encode regularity and projective dimension) of an ASM ideal and its antidiagonal initial ideal must coincide because the antidiagonal initial ideal is squarefree. For this running example, all of the Betti numbers coincide (not just the extremal ones).
|
By work of Knutson and Miller [KM05], building off of work of Bergeron and Billey [BB93], the prime components of the antidiagonal initial ideal of a Schubert determinantal ideal for a permutation w are in bijection with the pipe dreams associated to w. See [BB93] for a detailed description of pipe dreams, there called RC-graphs.
|
To read off an associated prime of the antidiagonal initial ideal from a pipe dream, one reads off the + tiles from the grid. When there is a + in location $(i,j)$, then $z_{i,j}$ is a generator of the associated prime in question.
|
|
Initial ideals of Schubert determinantal ideals and ASM ideals under diagonal term orders are must less well understood. They have been studied in [KMY09],[HPW22], [Kle23], and [KW21]. This package provides functionality for investigating three diagonal term orders: One which uses lex and orders the variables reading right-to-left across rows starting from the southeast corner diagLexInitSE, one which uses lex and orders the variables reading left-to-right across rows starting from the northwest corner diagLexInitNW, and one which uses revlex and orders the variables smallest to largest reading left-to-right across rows starting from the southwest corner diagRevLexInit.
Two diagonal term orders may give two distinct initial ideals.
|
|
|
|
|
In this example, diagRevLexInit and diagLexInitSE give the same initial ideal. It is unknown if this is the case in general.
|