arXiv research

Defines a transgression functor for higher-dimensional Courant algebroids.

Combinatorial transgressions are secondary invariants of a space admitting triangulations. They arise from subdivisions and are analogous to transgressive forms such as those arising in Chern-Weil theory. Unlike combinatorial characteristic classes, combinatorial transgressions have not been previously studied. First, …

We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from category theory and differential geometry. We show that smooth 2-functors appear in se…

We prove that the category of abelian gerbes with connection over a smooth manifold is equivalent to a certain category of principal bundles over the free loop space. These bundles are equipped with a connection and with a "fusion" product with respect to triples of paths. The equivalence is established by explicit fun…

Extends T-duality to more general fibrations, proving isomorphic cohomology and algebroids.

We formulate and prove a formula for transgressing characteristic forms in general associated bundles following a method of Chern. As applications, we derive D. Johnson's explicit formula for such general transgression and Chern's first transgression formula for the Euler class.

Constructs 2-Hilbert space for line bundle gerbes.

A central extension of the loop group of a Lie group is called transgressive, if it corresponds under transgression to a degree four class in the cohomology of the classifying space of the Lie group. Transgressive loop group extensions are those that can be explored by finite-dimensional, higher-categorical geometry ov…

Generalizes double transgression formulas on complex manifolds.

We show that the category of abelian gerbes over a smooth manifold is equivalent to a certain category of principal bundles over the free loop space. These principal bundles are equipped with fusion products and are equivariant with respect to thin homotopies between loops. The equivalence is established by a functor c…

We discuss various lifting and reduction problems for bundles and gerbes in the context of a strict Lie 2-group. We obtain a geometrical formulation (and a new proof) for the exactness of Breen's long exact sequence in non-abelian cohomology. We use our geometrical formulation in order to define a transgression map in …

In this paper we continue our study of the fourth order transgression on hyperähler manifolds introduced in the previous paper. We give a local construction for the fourth-order transgression of the Chern character form of an arbitrary vector bundle supplied with a self-dual connection on a four dimensional hyperkähler…

Formula for transgressions on polyhedral manifolds, linking face volumes and outer angles.

We propose a generalization of the Hodge $dd_c$-lemma to the case of hyperkähler manifolds. As an application of this result we derive the global construction of the fourth order transgression of the Chern character forms of hyperholomorphic bundles over compact hyperkähler manifolds. At the second part of the paper we…

Study primitive cohomology in symplectic manifolds.

We compute the transgressed forms of some modularly invariant characteristic forms,which are related to the twisted elliptic genera. We study the modularity properties of these secondary characteristic forms and relations among them. We also get some twisted anomaly cancellation formulas on some odd dimensional manifol…

We compute the Chern-Simons transgressed forms of some modularly invariant characteristic forms, which are related to the elliptic genera. We study the modularity properties of these secondary characteristic forms and the relations among them. We also compute the Chern-Simons forms of some vector bundles over free loop…

Paper constructs a cohomology class related to McDuff's secondary class, proving it transgresses to the Euler class of foliated sphere bundles.

`Loop-fusion cohomology' is defined on the continuous loop space of a manifold in terms of \vCech cochains satisfying two multiplicative conditions with respect to the fusion and figure-of-eight products on loops. The main result is that these cohomology groups, with coefficients in an abelian group, are isomorphic to …

Note on new cancellation formulas for manifolds.

Cyclification of orbifolds explained in cohesive higher topos theory.

We prove that isomorphism classes of principal bundles over a diffeological space are in bijection to certain maps on its free loop space, both in a setup with and without connections on the bundles. The maps on the loop space are smooth and satisfy a "fusion" property with respect to triples of paths. Our bijections a…

Develops differential K-theory for noncommutative algebras.

We generalize some of the results of Harvey, Lawson and Latschev about transgression formulas. The focus here is on flowing forms via vertical vector fields, especially Morse-Bott-Smale vector fields. We prove a very general transgression formula including also a version covering non-compact situations. Among applicati…

Constructs differential characters on nonlinear Graßmannians.

Extends AKSZ to poly-symplectic structures for more complex spaces.

Manifold calculus of functors, due to M. Weiss, studies contravariant functors from the poset of open subsets of a smooth manifold to topological spaces. We introduce "multivariable" manifold calculus of functors which is a generalization of this theory to functors whose domain is a product of categories of open sets. …

Researchers describe a new Thom form for mapping cones.

Study on polynomiality and outer nature of functors from Jacobi diagrams to group homomorphisms.

New duality found between harmonic maps and self-dual solutions.

A modular functor is constructed from non-semisimple 3d TFTs.

Paper constructs infinitely many tangent functors on diffeological spaces.

The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure. In this paper we construct various localizations of the projective model structure and also give a variant for functors from simplicial sets to spectra. We apply these model categories in the study …

Let $E$ be a principle bundle over a compact manifold $M$ with compact structural group $G$. For any $G$-invariant polynomial $P$, The transgressive forms $TP(ω)$ defined by Chern and Simons are shown to extend to forms $ΦP(ω)$ on associated bundles $B$ with fiber a quotient $F=G/H$ of the group. These forms satisfy a …

Three functors link Lorentzian geometry concepts.

Extends Kostant's results to symmetric pairs in Clifford algebras.

The study explores how different Grothendieck topologies and functors between categories preserve locality.

Analytic torsion form constructed for non-commutative spaces.

Constructs a 2-functor for tangles extending Burau and Alexander.

We study the functor of points and the local functor of points (here called the Weil--Berezin functor) for smooth and holomorphic supermanifolds, providing characterization theorems and fully discussing the representability issues. In the end we examine applications to differential calculus including the transitivity t…

Derives an index formula for families of end-periodic Dirac operators.

In terms of category theory, the Gromov homotopy principle for a set valued functor $F$ asserts that the functor $F$ can be induced from a homotopy functor. Similarly, we say that the bordism principle for an abelian group valued functor $F$ holds if the functor $F$ can be induced from a (co)homology functor. We examin…

Develops theory of Cartan geometries on skeletons and morphisms induced by extension functors.

In this note we present a new construction of the string group that ends optionally in two different contexts: strict diffeological 2-groups or finite-dimensional Lie 2-groups. It is canonical in the sense that no choices are involved; all the data is written down and can be looked up (at least somewhere). The basis of…

Parity functors assign labels to knot diagrams based on crossing parity.

The theory of product preserving functors and Weil functors is partly extended to infinite dimensional manifolds, using the theory of $C^\infty$-algebras.

We provide local expressions for Chern-Weil type forms built from superconnections associated with families of Dirac operators previously investigated in work by S. Scott and later work by S. Scott and the second author. When the underlying fibration of manifolds is trivial, the even degree forms can be interpreted as …

We construct the Weil functor $T^A$ corresponding to a general Weil algebra $A = K \oplus N$: this is a functor from the category of manifolds over a general topological base field or ring $K$ (of arbitrary characteristic) to the category of manifolds over $A$. This result simultaneously generalizes results known for o…