Searcharxiv⌕ Search

arXiv · 2610.07164

Schubert compactifications of matrix pencils

Abstract

The Schubert compactification of a linear space of matrices $L \subseteq \textrm{Mat}_{n\times m}$ is a natural compactification of $L$ in the Grassmannian $\textrm{Gr}(n, n+m)$. This construction generalises classical Schubert varieties and matroid Schubert varieties, and it turns invariants of linear matrix spaces into projective and intersection-theoretic invariants of the associated variety. We develop this geometry completely in the case of matrix pencils, that is $\dim L=2$. The resulting Schubert surfaces are singular analogues of rational surfaces obtained as blow-ups of $\mathbb{P}^2$. We show that they are normal with quotient singularities, compute their degree, cohomology ring, and describe the distinguished rational curves and their intersection pairing in terms of the Kronecker invariants of the matrix pencil. Remarkably, this dictionary can be reversed: the invariants of the pencil are read off from intersection numbers and other invariants of the variety. In particular, we prove that the Schubert surface determines the regular component of the pencil, up to the natural action of $\mathrm{GL}_2 \times \mathrm{GL}_n \times\mathrm{GL}_m$. Finally, we prove that the ideal of Schubert surfaces of matrix pencils in the Plücker embedding is generated in degree $2$ and satisfies Green's property $N_p$ in a certain range.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Vincenzo Galgano, Fulvio Gesmundo, Hanieh Keneshlou. 2026-10-05. Schubert compactifications of matrix pencils. https://arxiv.org/abs/2610.07164

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Bloch-Ogus theory for smooth and semi-stable schemes in mixed characteristic

We study Bloch-Ogus theory and the Gersten conjecture for homology theories with duality satisfying certain properties, in particular for étale cohomology with finite coefficients coprime to the residue characteristic of the base, for smooth and semi-stable schemes in mixed characteristic. We prove the Gersten conjecture in the smooth case and prove a special case in the semi-stable situation. As a corollary of the smooth case, we obtain the surjectivity of the Galois symbol map for arbitrary local rings over an excellent discrete valuation ring.

math.AG↗

Gauge origami on broken lines

In analogy to Nekrasov's theory of gauge origami on intersecting branes, we introduce the gauge origami moduli space on broken lines. We realize this moduli space as a Quot scheme parametrising zero-dimensional quotients of a torsion sheaf on two intersecting affine lines, and describe it as a moduli space of quiver representations. We construct a virtual fundamental class and virtual structure sheaf, by which we define $K$-theoretic invariants. We compute its associated partition function for all ranks, and show that it reproduces the generating series of equivariant $χ_{y}$-genus when the moduli space is smooth. Finally, we relate our partition function with the virtual invariants of the Quot schemes of the affine plane and Nekrasov's partition function.

math.AG↗

Foundations of superstack theory

In view of applications to the construction of moduli spaces of objects in algebraic supergeometry, we start a systematic study of stacks in that context. After defining a superstack as a stack over the étale site of superschemes, we define quotient superstacks, and, based on previous literature, we see that, in analogy with superschemes, every superstack has an underlying ordinary stack, which we call its bosonic reduction. Then we progressively introduce more structure, considering algebraic superspaces, Deligne-Mumford superstacks and algebraic superstacks. We study the topology of algebraic superstacks and several properties of morphisms between them. We introduce quasi-coherent sheaves, and the sheaves of relative differentials. An important issue is how to check that an algebraic superstack is Deligne-Mumford, and we generalize to this setting the usual criteria in terms of the unramifiedness of the diagonal of the stack. We study principal bundles in the category of algebraic superspaces. Two appendices are devoted to collecting the basic definitions of group superschemes and principal superbundles, and to stating and analyzing some properties of morphisms of superschemes, that are at the basis of the study of morphisms of superstacks in the main text.

math.AG↗