Geometric vertex decomposition, Gr\"obner bases, and Frobenius splittings for regular nilpotent Hessenberg varieties

DOI10.1007/S00031-023-09808-1arXiv2207.08573MaRDI QIDQ6405320FDOQ6405320

Publication date: 18 July 2022

Abstract: We initiate a study of the Gr"obner geometry of local defining ideals of Hessenberg varieties by studying the special case of regular nilpotent Hessenberg varieties in Lie type A, and focusing on the affine coordinate chart on

m a t h r m F l a g s (m a t h b b C^{n}) c o n g G L_{n} (m a t h b b C) / B

corresponding to the longest element

w_{0}

of the Weyl group

S_{n}

of

G L_{n} (m a t h b b C)

. Our main results are as follows. Let

h

be an indecomposable Hessenberg function. We prove that the local defining ideal

I_{w_{0}, h}

in the

w_{0}

-chart of the regular nilpotent Hessenberg variety

m a t h r m H e s s (m a t h s f N, h)

associated to

h

has a Gr"obner basis with respect to a suitably chosen monomial order. Our Gr"obner basis consists of a collection

f_{k, e l l}^{w_{0}}

of generators of

I_{w_{0}, h}

obtained by Abe, DeDieu, Galetto, and the second author. We also prove that

I_{w_{0}, h}

is geometrically vertex decomposable in the sense of Klein and Rajchgot (building on work of Knutson, Miller, and Yong). We give two distinct proofs of the above results. We make this unconventional choice of exposition because our first proof introduces and utilizes a notion of a triangular complete intersection which is of independent interest, while our second proof using liaison theory is more likely to be generalizable to the general

w

-charts for

w e q w_{0}

. Finally, using our Gr"obner analysis of the

f_{k, e l l}^{w_{0}}

above and for

p > 0

any prime, we construct an explicit Frobenius splitting of the

w_{0}

-chart of

m a t h r m F l a g s (m a t h b b C^{n})

which simultaneously compatibly splits all the local defining ideals of

I_{w_{0}, h}

, as

h

ranges over the set of indecomposable Hessenberg functions. This last result is a local Hessenberg analogue of a classical result known for

m a t h r m F l a g s (m a t h b b C^{n})

and the collection of Schubert and opposite Schubert varieties in

m a t h r m F l a g s (m a t h b b C^{n})

.

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Homogeneous spaces and generalizations (14M17) Linkage (14M06)

This page was built for publication: Geometric vertex decomposition, Gr\"obner bases, and Frobenius splittings for regular nilpotent Hessenberg varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6405320)