The commuting scheme of $\mathfrak{g}_2$

Pallav Goyal

Home/Archive/arXiv

arXiv · 2610.05018

The commuting scheme of $\mathfrak{g}_2$

Pallav Goyal

View original source ↗Read source document ↗Export metadata ↓

Abstract

We study the commuting scheme of the exceptional Lie algebra $\mathfrak{g}_2$ via computational methods. Over a field of characteristic zero, we show that the commuting scheme of $\mathfrak{g}_2$ is reduced, Cohen-Macaulay and normal. Our computations give an explicit homogeneous system of parameters, determine the Hilbert series and degree, identify the first syzygies of the commuting ideal and show that it is not Gorenstein. We extend some of the above results to positive characteristic.

Explore related subjects

math.AG math.RT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Pallav Goyal. 2026-10-04. The commuting scheme of $\mathfrak{g}_2$. https://arxiv.org/abs/2610.05018

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

KEEP EXPLORING

Related papers

arXiv2026

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↗

arXiv2026

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↗

arXiv2026

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↗