arXiv research

We extend the formality theorem of M. Kontsevich from deformations of the structure sheaf on a manifold to deformations of gerbes.

Introduces a new geometric framework for non-perturbative BV-theory.

This article constructs the moduli stack of torsionfree $G$-jet-structures in homotopy type theory with one monadic modality. This yields a construction of this moduli stack for any $\infty$-topos equipped with any stable factorization systems. In the intended applications of this theory, the factorization systems are …

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

Study moduli spaces of elliptic PDEs using derived $C^{\infty}$-geometry.

In this paper we study the topological T-dual of spaces with a non-free circle action mainly using the stack theory method of Bunke and co-workers \cite{Bunke1}. We first compare three formalisms for obtaining the Topological T-dual of a semi-free $S^1$-space in a simple example. Then, we calculate the T-dual of genera…

The higher gauge field in 11-dimensional supergravity -- the C-field -- is constrained by quantum effects to be a cocycle in some twisted version of differential cohomology. We argue that it should indeed be a cocycle in a certain twisted nonabelian differential cohomology. We give a simple and natural characterization…

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

We prove a Darboux theorem for formal deformations of Hamiltonian operators of hydrodynamic type (Dubrovin-Novikov). Not all deformations are equivalent to the original operator: there is a moduli 2-stack of normal forms. The paper utilizes three main concepts: 1) dg Lie algebras concentrated in degrees [-1,\infty) suc…

Study flat connections with logarithmic singularities on complex plane curves.

A new framework for robot block-stacking tasks using causal probabilistic models.

We use Morse theory of the Yang-Mills functional to compute the Betti numbers of the moduli stack of flat U(3)-bundles over a compact nonorientable surface. Our result establishes the antiperfection conjecture of Ho-Liu, and provides evidence for the equivariant formality conjecture of the author.

In this short note, we compute the Betti numbers of the moduli stack of flat SU(3)-bundles over a Klein bottle. We also handle the general compact group case over RP^2. In all cases the cohomology is found to be equivariantly formal, supporting a conjecture from the author's doctoral thesis. Our results also verify con…

Develops a new approach to study nonlinear PDEs and their singularities.

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…

Classifies singular foliations of a specific type and studies their extensions.

Introduces new connections in higher geometry.

The Liouville symplectic form connects various moduli spaces in algebraic geometry.

Abstract: New geometric incarnation of isomonodromy functors.

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…

Solves differentiation for Lie ∞-groups using formal groupoids.

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…

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

Stacked conformal prediction simplifies model validation.

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…

Stacking methods improve the prediction performance of regression models. A simple way to stack base regressions estimators is by combining them linearly, as done by \citet{breiman1996stacked}. Even though this approach is useful from an interpretative perspective, it often does not lead to high predictive power. We pr…

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…

For a compact manifold M and a differentiable stack \cX presented by a Lie groupoid X, we show the Hom-stack Hom(M,\cX) is presented by a Fréchet-Lie groupoid Map(M,X) and so is an infinite-dimensional differentiable stack. We further show that if \cX is an orbifold, presented by a proper étale Lie groupoid, then Map(M…

We propose a novel stacked generalization (stacking) method as a dynamic ensemble technique using a pool of heterogeneous classifiers for node label classification on networks. The proposed method assigns component models a set of functional coefficients, which can vary smoothly with certain topological features of a n…

Paper proves stacking ensembling is effective and proposes a new family of stacked generalizations.

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

Researchers compute differential K-theory for moduli stacks.