arXiv research

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

We develop further the approach to derived differential geometry introduced in Costello's work on the Witten genus. In particular, we introduce several new examples of L-infinity spaces, discuss vector bundles and shifted symplectic structures on L-infinity spaces, and examine in some detail the example of derived loop…

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.

Proves a generalized vanishing theorem for quasi-smooth stacks, with applications in K-theory and birational geometry.

Résumé. Nous définissons un groupoïde de Fréchet-Lie Map(S^1,X) d'ana-foncteurs du cercle vers un groupoïde de Lie X. Ceci fournit une présentation du Hom-champ Hom(S^1,\cX), où \cX est le champ différentiable associé à X. Nous appliquons cette construction au groupoïde de Lie sous-jacent au `gerbe fibré' d'une variété…

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

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

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

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

Training-free looped transformers improve model performance without additional training.

Establishes equivalence between models of derived stacks.

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…

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…

Study vector fields and derivations on differentiable stacks.

Bayesian stacking improves model performance with varying model weights.

Analyzes quantization of flux observables in gauge theories.

We construct and analyse models of equivariant cohomology for differentiable stacks with Lie group actions extending classical results for smooth manifolds due to Borel, Cartan and Getzler. We also derive various spectral sequences for the equivariant cohomology of a differentiable stack generalising among others Bott'…

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…

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

New concept of coisotropic structures for differentiable stacks defined.

The paper establishes a Lagrangian correspondence linking different geometric structures on complex varieties.

Formulates a new connection between topological and geometric categories.

Study on Čech-de Rham obstruction in diffeological spaces.

New theory proves representability of PDE solutions without complex machinery.

The first part of this text is a gentle exposition of some basic constructions and results in the extended prequantum theory of Chern-Simons-type gauge field theories. We explain in some detail how the action functional of ordinary 3d Chern-Simons theory is naturally localized ("extended", "multi-tiered") to a map on t…

Maps vector fields between stacks and orbit spaces.

Explains model structures for higher orbifolds and applies them to quantum cohomology.

Study flat connections with logarithmic singularities on complex plane curves.

Introduces new connections in higher geometry.

In this paper, we develop twisted $K$-theory for stacks, where the twisted class is given by an $S^1$-gerbe over the stack. General properties, including the Mayer-Vietoris property, Bott periodicity, and the product structure $K^i_α\otimes K^j_β\to K^{i+j}_{α+β}$ are derived. Our approach provides a uniform framework …

We explain how to translate several recent results in derived algebraic geometry to derived differential geometry. These concern shifted Poisson structures on NQ-manifolds, Lie groupoids, smooth stacks and derived generalisations, and include existence and classification of various deformation quantisations.

Cyclification of orbifolds explained in cohesive higher topos theory.

We consider the general problem of constructing the structure of a smooth manifold on a given space of loops in a smooth finite dimensional manifold. By generalising the standard construction for smooth loops, we derive a list of conditions for the model space which, if satisfied, mean that a smooth structure exists. W…

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 hep-th/9805025, a result for the symmetric 3-loop massive tetrahedron in 3 dimensions was found, using the lattice algorithm PSLQ. Here we give a more general formula, involving 3 distinct masses. A proof is devised, though it cannot be accounted as a derivation; rather it certifies that an Ansatz found by PSLQ sati…

Framework learns robust control policies from expert demonstrations.

Recently, a set of tools has been developed with the purpose of the study of Quantum Gravity. Until now, there have been very few attempts to put these tools into a rigorous mathematical framework. This is the case, for example, of the so called path bundle of a manifold. It is well known that this topological principa…

New insights into choosing between two data integration methods based on SVD.

Stochastic representation for determinants derived from Brownian loop soups.

We study Riemannian metrics on Lie groupoids in the relative setting. We show that any split fibration between proper groupoids can be made Riemannian, and we use these metrics to linearize proper groupoid fibrations. As an application, we derive rigidity theorems for Lie groupoids, which unify, simplify and improve si…

The Witten class is derived from equivariant cohomology of a conformal loop space.

We derive Verlinde's formula from the fixed point formula for loop groups proved in the companion paper "A fixed point formula for loop group actions", and extend it to compact, connected groups that are not necessarily simply-connected.

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

The abstract theorem is extended to higher genus surfaces.

In an abstract Wiener space setting, we constract a rigorous mathematical model of the one-loop approximation of the perturbative Chern-Simons integral, and derive its explicit asymptotic expansion for stochastic Wilson lines.

Flat connections derived from Poisson brackets on loop spaces.

pRSL combines probabilistic rules to improve multi-label classification.