Searcharxiv⌕ Search

arXiv subjects

Ron Donagi

Publications and source records attributed to Ron Donagi.

At least 19 recordsLinked to original sources
arXiv2026

Genus 4 Supermoduli Space Is Not Projected

The supermoduli stack ${\mathfrak M}_g$, parametrizing smooth unpunctured super Riemann surfaces of genus $g$, is known to be non-projected for $g \ge 5$. We extend this result to the even-spin component of ${\mathfrak M}_4$. This is done by exhibiting an appropriate compact curve in the spin moduli space ${\mathcal S\mathcal M}_4^{+}$, and computing the restriction to it of the class obstructing the projectedness of ${\mathfrak M}_4^{+}$. This restriction turns out to be non-zero, proving that ${\mathfrak M}_4^{+}$ is non-projected.

math.AG↗
arXiv2025

Extra-Dimensional \eta-Invariants and Anomaly Theories

Anomalies of a quantum field theory (QFT) constitute fundamental non-perturbatively robust data. In this paper we extract anomalies of 5D superconformal field theories (SCFTs) directly from the underlying extra-dimensional geometry. We show that all of this information can be efficiently extracted from extra-dimensional $\eta$-invariants, bypassing previously established approaches based on computationally cumbersome blowup / resolution techniques. We illustrate these considerations for 5D SCFTs engineered in M-theory by non-compact geometries $X=\mathbb{C}^3/\Gamma$ with finite subgroup $\Gamma\subset SU(3)$, where the anomalies are determined by the $\eta$-invariants of the asymptotic boundary $\partial X=S^5/\Gamma$. Our results apply equally to Abelian and non-Abelian $\Gamma$, as well as isolated and non-isolated singularities. In the setting of non-isolated singularities we further analyze the interplay of anomaly structures across different strata of the singular locus. Our considerations extend readily to backgrounds which are not global orbifolds, as well as those which do not preserve supersymmetry.

hep-th↗
arXiv2025

Families of Hitchin Systems in Type-D

The Coulomb branch geometry of a 4d $\mathcal{N}=2$ SCFT is encoded in the data of a complex integrable system. In class-S, this is the Hitchin System (of ADE type) on the punctured curves $C$ on which we compactified from 6d to 4d. As we vary the complex structure of $C$, these fit together to form a (nontrivial!) bundle of Hitchin systems over the moduli space of complex structures of $C$ (the ``conformal manifold'' of the family of SCFTs). We carry out that construction for type-D. Compared to the type-A case, the construction is much more complicated because of local constraints at the punctures. Those local constraints were studied in [1]. Here, we work out their implications for the global bundle of spectral (Seiberg-Witten) curves.

hep-th↗
arXiv2024

The meromorphic Hitchin fibration over stable pointed curves: moduli spaces

We construct a universal partial compactification of the relative moduli space of semistable meromorphic Higgs bundles over the stack of stable pointed curves. It parametrizes meromorphic Gieseker Higgs bundles, and is equipped with a flat and proper extension of the usual Hitchin morphism. Over an open subset of the Hitchin base parametrizing allowable nodal spectral covers, we describe the relation of the fibers to compactified Jacobians, thus establishing an analogue of the BNR correspondence. We also construct a version of the moduli space where we require the residues of the meromorphic Higgs bundle to lie in a given set of nilpotent conjugacy classes. In this latter case, we show that there is a flat and proper Hitchin morphism to the flat degeneration of the corresponding family of Hitchin bases constructed in previous physics work.

math.AG↗
arXiv2024

On Generalized Pfaffians

The determinant of an anti-symmetric matrix $g$ is the square of its Pfaffian, which like the determinant is a polynomial in the entries of $g$. Studies of certain super conformal field theories (of class S) suggested a conjectural generalization of this, predicting that each of a series of other polynomials in the entries of $g$ also admit polynomial square roots. Among other consequences, this conjecture led to a characterization of the local Hitchin image for type D. Several important special cases had been established previously. In this paper we prove the conjecture in full.

math.AG↗
arXiv2024

Cornering Relative Symmetry Theories

The symmetry data of a $d$-dimensional quantum field theory (QFT) can often be captured in terms of a higher-dimensional symmetry topological field theory (SymTFT). In top down (i.e., stringy) realizations of this structure, the QFT in question is localized in a higher-dimensional bulk. In many cases of interest, however, the associated $(d+1)$-dimensional bulk is not fully gapped and one must instead consider a filtration of theories to reach a gapped bulk in $D = d+m$ dimensions. Overall, this leads us to a nested structure of relative symmetry theories which descend to coupled edge modes, with the original QFT degrees of freedom localized at a corner of this $D$-dimensional bulk system. We present a bottom up characterization of this structure and also show how it naturally arises in a number of string-based constructions of QFTs with both finite and continuous symmetries.

hep-th↗
arXiv2024

Twistor Hecke eigensheaves in genus 2

Following the strategy outlined in [DP09] arXiv:math/0604617 and [DP22] arXiv:math/0604617 for bundles of rank 2 on a smooth projective curve of genus $2$, we construct flat connections over the moduli of stable bundles, with singularities along the wobbly locus. We verify that the associated $D$-modules are Hecke eigensheaves. The local systems are constructed by the nonabelian Hodge correspondence from Higgs bundles. The spectral varieties of the Higgs bundles are the Hitchin fibers corresponding to the Hecke eigenvalues.

math.AG↗
arXiv2023

The Hitchin Image in Type-D

Motivated by their appearance as Coulomb branch geometries of Class S theories, we study the image of the local Hitchin map in tame Hitchin systems of type-D with residue in a special nilpotent orbit $\mathcal{O}_H$. We describe two important features which distinguish it from the type A case studied in arXiv:2008.01020. The first feature, which we term even type constraints, arise iff the partition label $[\mathcal{O}_H]$ has even parts. In this case, our Hitchin image is non-singular and thus different from the one studied by Baraglia and Kamgarpour. We argue that our Hitchin image always globalizes to being the Hitchin base of an integrable system. The second feature, which we term odd type constraints, is related to a particular finite group $\overline{A}_b(\mathcal{O}_H)$ being non-trivial. When this finite group is non-trivial, we have $\mid \overline{A}_b \mid$ choices for the local Hitchin base. Additionally, we also show that the finite group $\overline{A}_b(\mathcal{O}_H)$ encodes the size of the dual special piece.

hep-th↗
arXiv2023

Improved statistics for F-theory standard models

Much of the analysis of F-theory-based Standard Models boils down to computing cohomologies of line bundles on matter curves. By varying parameters one can degenerate such matter curves to singular ones, typically with many nodes, where the computation is combinatorial and straightforward. The question remains to relate the (a priori possibly smaller) value on the original curve to the singular one. In this work, we introduce some elementary techniques (pruning trees and removing interior edges) for simplifying the resulting nodal curves to a small collection of terminal ones that can be handled directly. When applied to the QSMs, these techniques yield optimal results in the sense that obtaining more precise answers would require currently unavailable information about the QSM geometries. This provides us with an opportunity to enhance the statistical bounds established in earlier research regarding the absence of vector-like exotics on the quark-doublet curve.

hep-th↗
arXiv2022

The bad locus in the moduli of super Riemann surfaces with Ramond punctures

The bad locus in the moduli of super Riemann surfaces with Ramond punctures parametrizes those super Riemann surfaces that have more than the expected number of independent closed holomorphic 1-forms. There is a super period map that depends on certain discrete choices. For each such choice, the period map blows up along a divisor that contains the bad locus. Our main result is that away from the bad locus, at least one of these period maps remains finite. In other words, we identify the bad locus as the intersection of the blowup divisors. The proof abstracts the situation into a question in linear algebra, which we then solve. We also give some bounds on the dimension of the bad locus.

hep-th↗
arXiv2022

Brill-Noether-general Limit Root Bundles: Absence of vector-like Exotics in F-theory Standard Models

Root bundles appear prominently in studies of vector-like spectra of 4d F-theory compactifications. Of particular importance to phenomenology are the Quadrillion F-theory Standard Models (F-theory QSMs). In this work, we analyze a superset of the physical root bundles whose cohomologies encode the vector-like spectra for the matter representations $(\mathbf{3}, \mathbf{2})_{1/6}$, $(\mathbf{\overline{3}}, \mathbf{1})_{-2/3}$ and $(\mathbf{1}, \mathbf{1})_{1}$. For the family $B_3( \Delta_4^\circ )$ consisting of $\mathcal{O}(10^{11})$ F-theory QSM geometries, we argue that more than $99.995\%$ of the roots in this superset have no vector-like exotics. This indicates that absence of vector-like exotics in those representations is a very likely scenario. The QSM geometries come in families of toric 3-folds $B_3( \Delta^\circ )$ obtained from triangulations of certain 3-dimensional polytopes $\Delta^\circ$. The matter curves in $X_\Sigma \in B_3( \Delta^\circ )$ can be deformed to nodal curves which are the same for all spaces in $B_3( \Delta^\circ )$. Therefore, one can probe the vector-like spectra on the entire family $B_3( \Delta^\circ )$ from studies of a few nodal curves. We compute the cohomologies of all limit roots on these nodal curves. In our applications, for the majority of limit roots the cohomologies are determined by line bundle cohomology on rational tree-like curves. For this, we present a computer algorithm. The remaining limit roots, corresponding to circuit-like graphs, are handled by hand. The cohomologies are independent of the relative position of the nodes, except for a few circuits. On these \emph{jumping circuits}, line bundle cohomologies can jump if nodes are specially aligned. This mirrors classical Brill-Noether jumps. $B_3( \Delta_4^\circ )$ admits a jumping circuit, but the root bundle constraints pick the canonical bundle and no jump happens.

hep-th↗
arXiv2021

Hodge classes on the moduli space of W(E_6)-covers and the geometry of A_6

In previous work we showed that the Hurwitz space of W(E_6)-covers of the projective line branched over 24 points dominates via the Prym-Tyurin map the moduli space A_6 of principally polarized abelian 6-folds. Here we determine the 25 Hodge classes on the Hurwitz space of W(E_6)-covers corresponding to the 25 irreducible representations of the Weyl group W(E_6). This result has direct implications to the intersection theory of the toroidal compactification A_6. In the final part of the paper, we present an alternative, elementary proof of our uniformization result on A_6 via Prym-Tyurin varieties of type W(E_6).

math.AG↗
arXiv2021

Root Bundles and Towards Exact Matter Spectra of F-theory MSSMs

Motivated by the appearance of fractional powers of line bundles in studies of vector-like spectra in 4d F-theory compactifications, we analyze the structure and origin of these bundles. Fractional powers of line bundles are also known as root bundles and can be thought of as generalizations of spin bundles. We explain how these root bundles are linked to inequivalent F-theory gauge potentials of a $G_4$-flux. While this observation is interesting in its own right, it is particularly valuable for F-theory Standard Model constructions. In aiming for MSSMs, it is desired to argue for the absence of vector-like exotics. We work out the root bundle constraints on all matter curves in the largest class of currently-known F-theory Standard Model constructions without chiral exotics and gauge coupling unification. On each matter curve, we conduct a systematic "bottom"-analysis of all solutions to the root bundle constraints and all spin bundles. Thereby, we derive a lower bound for the number of combinations of root bundles and spin bundles whose cohomologies satisfy the physical demand of absence of vector-like pairs. On a technical level, this systematic study is achieved by a well-known diagrammatic description of root bundles on nodal curves. We extend this description by a counting procedure, which determines the cohomologies of so-called limit root bundles on full blow-ups of nodal curves. By use of deformation theory, these results constrain the vector-like spectra on the smooth matter curves in the actual F-theory geometry.

hep-th↗
arXiv2020

Families of Hitchin systems and N=2 theories

Motivated by the connection to 4d $\mathcal{N}=2$ theories, we study the global behavior of families of tamely-ramified $SL_N$ Hitchin integrable systems as the underlying curve varies over the Deligne-Mumford moduli space of stable pointed curves. In particular, we describe a flat degeneration of the Hitchin system to a nodal base curve and show that the behaviour of the integrable system at the node is partially encoded in a pair $(O,H)$ where $O$ is a nilpotent orbit and $H$ is a simple Lie subgroup of $F_{O}$, the flavour symmetry group associated to $O$. The family of Hitchin systems is nontrivially-fibered over the Deligne-Mumford moduli space. We prove a non-obvious result that the Hitchin bases fit together to form a vector bundle over the compactified moduli space. For the particular case of $\overline{\mathcal{M}}_{0,4}$, we compute this vector bundle explicitly. Finally, we give a classification of the allowed pairs $(O,H)$ that can arise for any given $N$.

hep-th↗
arXiv2020

Machine Learning and Algebraic Approaches towards Complete Matter Spectra in 4d F-theory

Motivated by engineering vector-like (Higgs) pairs in the spectrum of 4d F-theory compactifications, we combine machine learning and algebraic geometry techniques to analyze line bundle cohomologies on families of holomorphic curves. To quantify jumps of these cohomologies, we first generate 1.8 million pairs of line bundles and curves embedded in $dP_3$, for which we compute the cohomologies. A white-box machine learning approach trained on this data provides intuition for jumps due to curve splittings, which we use to construct additional vector-like Higgs-pairs in an F-Theory toy model. We also find that, in order to explain quantitatively the full dataset, further tools from algebraic geometry, in particular Brill--Noether theory, are required. Using these ingredients, we introduce a diagrammatic way to express cohomology jumps across the parameter space of each family of matter curves, which reflects a stratification of the F-theory complex structure moduli space in terms of the vector-like spectrum. Furthermore, these insights provide an algorithmically efficient way to estimate the possible cohomology dimensions across the entire parameter space.

hep-th↗
arXiv2020

Folding of Hitchin systems and crepant resolutions

Folding of ADE-Dynkin diagrams according to graph automorphisms yields irreducible Dynkin diagrams of ABCDEFG-types. This folding procedure allows to trace back the properties of the corresponding simple Lie algebras or groups to those of ADE-type. In this article, we implement the techniques of folding by graph automorphisms for Hitchin integrable systems. We show that the fixed point loci of these automorphisms are isomorphic as algebraic integrable systems to the Hitchin systems of the folded groups away from singular fibers. The latter Hitchin systems are isomorphic to the intermediate Jacobian fibrations of Calabi--Yau orbifold stacks constructed by the first author. We construct simultaneous crepant resolutions of the associated singular quasi-projective Calabi--Yau threefolds and compare the resulting intermediate Jacobian fibrations to the corresponding Hitchin systems.

math.AG↗