Gröbner geometry for regular nilpotent Hessenberg Schubert cells

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Cummings, Mike, Da Silva, Sergio, Harada, Megumi, Rajchgot, Jenna
Format: Preprint
Veröffentlicht: 2023
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866917604703076352
author Cummings, Mike
Da Silva, Sergio
Harada, Megumi
Rajchgot, Jenna
author_facet Cummings, Mike
Da Silva, Sergio
Harada, Megumi
Rajchgot, Jenna
contents A regular nilpotent Hessenberg Schubert cell is the intersection of a regular nilpotent Hessenberg variety with a Schubert cell. In this paper, we describe a set of minimal generators of the defining ideal of a regular nilpotent Hessenberg Schubert cell in the type $A$ setting. We show that these minimal generators are a Gröbner basis for an appropriate lexicographic monomial order. As a consequence, we obtain a new computational-algebraic proof, in type $A$, of Tymoczko's result that regular nilpotent Hessenberg varieties are paved by affine spaces. In addition, we prove that these defining ideals are complete intersections, are geometrically vertex decomposable, and compute their Hilbert series. We also produce a Frobenius splitting of each Schubert cell that compatibly splits all of the regular nilpotent Hessenberg Schubert cells contained in it. This work builds on, and extends, work of the second and third author on defining ideals of intersections of regular nilpotent Hessenberg varieties with the (open) Schubert cell associated to the Bruhat-longest permutation.
format Preprint
id arxiv_https___arxiv_org_abs_2305_19335
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle Gröbner geometry for regular nilpotent Hessenberg Schubert cells
Cummings, Mike
Da Silva, Sergio
Harada, Megumi
Rajchgot, Jenna
Algebraic Geometry
Commutative Algebra
14M17, 13P10
A regular nilpotent Hessenberg Schubert cell is the intersection of a regular nilpotent Hessenberg variety with a Schubert cell. In this paper, we describe a set of minimal generators of the defining ideal of a regular nilpotent Hessenberg Schubert cell in the type $A$ setting. We show that these minimal generators are a Gröbner basis for an appropriate lexicographic monomial order. As a consequence, we obtain a new computational-algebraic proof, in type $A$, of Tymoczko's result that regular nilpotent Hessenberg varieties are paved by affine spaces. In addition, we prove that these defining ideals are complete intersections, are geometrically vertex decomposable, and compute their Hilbert series. We also produce a Frobenius splitting of each Schubert cell that compatibly splits all of the regular nilpotent Hessenberg Schubert cells contained in it. This work builds on, and extends, work of the second and third author on defining ideals of intersections of regular nilpotent Hessenberg varieties with the (open) Schubert cell associated to the Bruhat-longest permutation.
title Gröbner geometry for regular nilpotent Hessenberg Schubert cells
topic Algebraic Geometry
Commutative Algebra
14M17, 13P10
url https://arxiv.org/abs/2305.19335