arXiv research

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…

Stacky Lie groupoids are generalizations of Lie groupoids in which the "space of arrows" of the groupoid is a differentiable stack. In this paper, we consider actions of stacky Lie groupoids on differentiable stacks and their associated quotients. We provide a characterization of principal actions of stacky Lie groupoi…

In this work we introduce the category of multiplicative sections of an $\la$-groupoid. We prove that this category carries natural strict Lie 2-algebra structures, which are Morita invariant. As applications, we study the algebraic structure underlying multiplicative vector fields on a Lie groupoid and in particular v…

This is the writeup of a lecture given at the May Wisconsin workshop on mathematical aspects of orbifold string theory. In the first part of this lecture, we review recent work on discrete torsion, and outline how it is currently understood in terms of the B field. In the second part of this lecture, we discuss the rel…

We study super parallel transport around super loops in a quotient stack, and show that this geometry constructs a global version of the equivariant Chern character.

Study of foliations' geometric and topological structures.

Normal forms and moduli stacks for flat connections on complex manifolds.

Geometric compactification for complex structures on Lie groups.

For G a complex reductive group and X a smooth projective or convex quasi-projective polarized G-variety we construct a formal map in quantum K-theory from the equivariant quantum K-theory $QK^G(X)$ to the quantum K-theory of the git quotient $QK(X//G)$ assuming the quotient $X//G$ is a smooth Deligne-Mumford stack wit…

We give a new interpretation of the Faddeev-Mickelsson anomaly in certain Yang-Mills theories in terms of S^1-central extensions of Lie groupoids.

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 …

In this note, we consider a Lie group G acting on a manifold M. We prove that the category of bundles with connection on the differential quotient stack is equivalent to the category of G-equivariant bundles on M with G-invariant connection.

A new mathematical approach to general covariance using stacks and Lie algebras.

The paper studies higher geometric structures and connections on manifolds, constructing moduli stacks and proving equivalence criteria.

Reductive quotients preserve klt singularities in algebraic geometry.

For a compact Lie group acting on a smooth manifold, we define the differential cohomology of a certain quotient stack involving principal bundles with connection. This produces differential equivariant cohomology groups that map to the Cartan-Weil equivariant forms and to Borel's equivariant integral cohomology. We sh…

An arbitrary Lie groupoid gives rise to a groupoid of germs of local diffeomorphisms over its base manifold, known as its effect. The effect of any bundle of Lie groups is trivial. All quotients of a given Lie groupoid determine the same effect. It is natural to regard the effects of any two Morita equivalent Lie group…

It is well-known that an effective orbifold M (one for which the local stabilizer groups act effectively) can be presented as a quotient of a smooth manifold P by a locally free action of a compact lie group K. We use the language of groupoids to provide a partial answer to the question of whether a noneffective orbifo…

Moduli spaces of semi-stable real and quaternionic vector bundles of a fixed topological type admit a presentation as Lagrangian quotients, and can be embedded into the symplectic quotient corresponding to the moduli variety of semi-stable holomorphic vector bundles of fixed rank and degree on a smooth complex projecti…

Let G be a compact Lie group acting on a smooth manifold M. In this paper, we consider Meinrenken's G-equivariant bundle gerbe connections on M as objects in a 2-groupoid. We prove this 2-category is equivalent to the 2-groupoid of gerbe connections on the differential quotient stack associated to M, and isomorphism cl…

Lie groupoids and their orbit spaces are linked through equivalence classes.

In this paper we prove that every proper Lie groupoid admits a desingularization to a regular proper Lie groupoid. When equipped with a Riemannian metric, we show that it admits a desingularization to a regular Riemannian proper Lie groupoid, arbitrarily close to the original one in the Gromov-Hausdorff distance betwee…

Affine deformations of cotangent groupoids

Cyclification of orbifolds explained in cohesive higher topos theory.

The set SL(n) of n-string links has a monoid structure, given by the stacking product. When considered up to concordance, SL(n) becomes a group, which is known to be abelian only if n=1. In this paper, we consider two families of equivalence relations which endow SL(n) with a group structure, namely the C_k-equivalence…

Study Lie 2-group actions on Riemannian groupoids, proving existence and developing geometric Killing vector fields.

Introduces a new method for symplectic reduction along submanifolds.

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).

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…

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 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.

Study connections on Lie groupoids and stacks using Atiyah sequences.

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…

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

New potentials found for sheaves on Calabi-Yau 4-folds.

We study compositional generalization, viz., the problem of zero-shot generalization to novel compositions of concepts in a domain. Standard neural networks fail to a large extent on compositional learning. We propose Tree Stack Memory Units (Tree-SMU) to enable strong compositional generalization. Tree-SMU is a recurs…

This thesis is divided into four chapters. The first chapter discusses the relationship between stacks on a site and groupoids internal to the site. It includes a rigorous proof of the folklore result that there is an equivalence between the bicategory of internal groupoids and the bicategory of geometric stacks. The s…

Stacked LSTM networks improve traffic volume forecasting.

Studies geometric structures on Lie groupoids and differentiable stacks.

Stacking improves deep neural network training efficiency.

A theory of dg schemes is developed so that it becomes a homotopy site, and the corresponding infinity category of stacks is equivalent to the infinity category of stacks, as constructed by Toen and Vezzosi, on the site of dg algebras whose cohomologies have finitely many generators in each degree. Stacks represented b…