arXiv research

We develop a universal framework to study smooth higher orbifolds on the one hand and higher Deligne-Mumford stacks (as well as their derived and spectral variants) on the other, and use this framework to obtain a completely categorical description of which stacks arise as the functor of points of such objects. We choo…

This work characterizes global quotient stacks---smooth stacks associated to a finite group acting a manifold---among smooth quotient stacks $[M/G]$, where $M$ is a smooth manifold equipped with a smooth proper action by a Lie group $G$. The characterization is described in terms of the action of the connected componen…

New homotopy theory reveals the structure of stable curves.

Computes infinitesimal automorphisms for $L$-valued Higgs bundles, leading to DM stacks.

This paper begins the study of Morse theory for orbifolds, or more precisely for differentiable Deligne-Mumford stacks. The main result is an analogue of the Morse inequalities that relates the orbifold Betti numbers of an almost-complex orbifold to the critical points of a Morse function on the orbifold. We also show …

Quantum Kirwan maps between K-theories of G-varieties and GIT quotients.

We prove that K-polystable degenerations of Q-Fano varieties are unique. Furthermore, we show that the moduli stack of K-stable Q-Fano varieties is separated. Together with [Jia17,BL18], the latter result yields a separated Deligne-Mumford stack parametrizing all uniformly K-stable Q-Fano varieties of fixed dimension a…

The classical Brody's theorem asserts the equivalence between two notions of hyperbolicity for compact complex spaces, one named after Kobayashi and one expressed in terms of lack of non constant holomorphic entire functions (compactness is only used to prove the harder implication). We extend this theorem to Deligne-M…

Studies geometric structures on Lie groupoids and differentiable stacks.

We use Morse theory to prove that the Lefschetz Hyperplane Theorem holds for compact smooth Deligne-Mumford stacks over the site of complex manifolds. For $Z \subset X$ a hyperplane section, $X$ can be obtained from $Z$ by a sequence of deformation retracts and attachments of high-dimensional finite disc quotients. We …

Using stable log maps, we introduce log twisted differentials extending the notion of abelian differentials to the Deligne-Mumford boundary of stable curves. The moduli stack of log twisted differentials provides a compactification of the strata of abelian differentials. The open strata can have up to three connected c…

The paper proves a new version of dimensional reduction in cohomological Donaldson-Thomas theory.

In this article, we derive many properties of étale stacks in various contexts, and prove that étale stacks may be characterized categorically as those stacks that arise as prolongations of stacks on a site of spaces and local homeomorphisms. Moreover, we show that the bicategory of étale differentiable stacks and loca…

For a gerbe $\Y$ over a smooth proper Deligne-Mumford stack $\B$ banded by a finite group $G$, we prove a structure result on the Gromov-Witten theory of $\Y$, expressing Gromov-Witten invariants of $\Y$ in terms of Gromov-Witten invariants of $\B$ twisted by various flat $U(1)$-gerbes on $\B$. This is interpreted as a…

The first goal of this survey paper is to argue that if orbifolds are groupoids, then the collection of orbifolds and their maps has to be thought of as a 2-category. Compare this with the classical definition of Satake and Thurston of orbifolds as a 1-category of sets with extra structure and/or with the "modern" defi…

This is a survey of the author's paper arXiv:1001.0023 on "Algebraic Geometry over C-infinity rings". If X is a smooth manifold then the R-algebra C^\infty(X) of smooth functions c : X --> R is a "C-infinity ring". That is, for each smooth function f : R^n --> R there is an n-fold operation Φ_f : C^\infty(X)^n --> C^\i…

We introduce the stack of r-spin maps. These are stable maps into a variety V from n-pointed algebraic curves of genus g, with the additional data of an r-spin structure on the curve. We prove that this stack is a Deligne-Mumford stack, and we define analogs of the Gromov-Witten classes associated to these spaces. We s…

We construct a triangulation of a compactification of the Moduli space of a surface with at least one puncture that is closely related to the Deligne-Mumford compactification. Specifically, there is a surjective map from the compactification we construct to the Deligne-Mumford compactification so that the inverse image…

Let $S$ be a closed, oriented surface with a finite (possibly empty) set of points removed. In this paper we relate two important but disparate topics in the study of the moduli space $\M(S)$ of Riemann surfaces: Teichmüller geometry and the Deligne-Mumford compactification. We reconstruct the Deligne-Mumford compactif…

We describe a bicategory $(\mathcal{R}ed\,\mathcal{O}rb)$ of reduced orbifolds in the framework of classical differential geometry (i.e. without any explicit reference to notions of Lie groupoids or differentiable stacks, but only using orbifold atlases, local lifts and changes of charts). In order to construct such a …

Compactifies moduli spaces of abelian differentials with specific zeroes and poles.

The systole function has a universal index gap on moduli spaces.

For a finite group G acting on a smooth projective variety X, we construct two new G-equivariant rings: first the stringy K-theory of X, and second the stringy cohomology of X. For a smooth Deligne-Mumford stack Y we also construct a new ring called the full orbifold K-theory of Y. For a global quotient Y=[X/G], the ri…

In 1969, P. Deligne and D. Mumford compactified the moduli space of curves. Their compactification is a projective algebraic variety, and as such, it has an underlying analytic structure. Alternatively, the quotient of the augmented Teichmueller space by the action of the mapping class group gives a compactification of…

Study rational homology of moduli space via Morse functions, proving stability phenomena.

In the moduli space M_g of genus g Riemann surfaces, consider the locus RM_O of Riemann surfaces whose Jacobians have real multiplication by the order O in a totally real number field F of degree g. If g = 2 or 3, we compute the closure of RM_O in the Deligne-Mumford compactification of M_g and the closure of the locus…

If $X$ is a smooth manifold then the $\mathbb R$-algebra $C^\infty(X)$ of smooth functions $c:X\to\mathbb R$ is a $C^\infty$-$ring$. That is, for each smooth function $f:{\mathbb R}^n\to\mathbb R$ there is an $n$-fold operation $Φ_f:C^\infty(X)^n\to C^\infty(X)$ acting by $Φ_f:(c_1,\ldots,c_n)\mapsto f(c_1,...,c_n)$, a…

Study the boundary of Riemann surfaces with abelian automorphisms.

The paper provides a uniform lower bound for intersection numbers of psi-classes on moduli spaces.

This note is devoted to the definition of moduli spaces of rational tropical curves with n marked points. We show that this space has a structure of a smooth tropical variety of dimension n-3. We define the Deligne-Mumford compactification of this space and tropical $ψ$-class divisors.

Using the the theory of FS^op modules, we study the asymptotic behavior of the homology of $\overline M_{g,n}$, the Deligne--Mumford compactification of the moduli space of curves, for $n >> 0$. An FS^op module is a contravariant functor from the category of finite sets and surjections to vector spaces. Via maps that g…

We prove that a certain series defines a constant function using Wolpert's formula for the variation of the length of a geodesic along a Fenchel Nielsen twist. Subsequently we determine the value viewing it as function on the the Deligne Mumford compactification and evaluating it at the stable curve at infinity.

Stacking is a general approach for combining multiple models toward greater predictive accuracy. It has found various application across different domains, ensuing from its meta-learning nature. Our understanding, nevertheless, on how and why stacking works remains intuitive and lacking in theoretical insight. In this …

We review the basic definition of a stack and apply it to the topological and smooth settings. We then address two subtleties of the theory: the correct definition of a ``stack over a stack'' and the distinction between small stacks (which are algebraic objects) and large stacks (which are generalized spaces).

Constructs cohomology decompositions for symmetric stacks.

New neural stack and Turing Machine architectures prove stability and computational power.

Bayesian stacking improves model performance with varying model weights.

Paper combines machine learning and model averaging for robust parameter estimation.

We consider the Riemann moduli space $\mathcal M_γ$ of conformal structures on a compact surface of genus $γ>1$ together with its Weil-Petersson metric $g_{\mathrm{WP}}$. Our main result is that $g_{\mathrm{WP}}$ admits a complete polyhomogeneous expansion in powers of the lengths of the short geodesics up to the singu…

We generalize the notion of a small sheaf of sets over a topological space or manifold to define the notion of a small stack of groupoids over an étale topological or differentiable stack. We then provide a construction analogous to the étalé space construction in this context, establishing an equivalence of 2-categori…

The BPS decomposition theorem splits cohomology of symmetric stacks into invariant parts.

Stacked conformal prediction simplifies model validation.

Constructs moduli stacks for quiver connections and extends non-Abelian Hodge theory.

Constructs equivariant cohomology models for differentiable stacks.

Constructs a family to handle unstable fibers on complex surfaces.

In this paper, we consider diffeological spaces as stacks over the site of smooth manifolds, as well as the "underlying" diffeological space of any stack. More precisely, we consider diffeological spaces as so-called concrete sheaves and show that the Grothendieck construction sending these sheaves to stacks has a left…

Study connections on Lie groupoids and stacks using Atiyah sequences.

Constructs moduli stacks of quiver bundles and applies to Higgs bundles.