arXiv research

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 …

Researchers describe a new Thom form for mapping cones.

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…

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

Study primitive cohomology in symplectic manifolds.

Constructs differential characters on nonlinear Graßmannians.

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.

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, …

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.

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…

In this paper we compute explicit formulas for the holonomy map for a gerbe with connection over an orbifold. We show that the holonomy descends to a transgression map in Deligne cohomology. We prove that this recovers both the inner local systems in Ruan's theory of twisted orbifold cohomology and the local system of …

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 …

Differential forms on the Fréchet manifold F(S,M) of smooth functions on a compact k-dimensional manifold S can be obtained in a natural way from pairs of differential forms on M and S by the hat pairing. Special cases are the transgression map associating (p-k)-forms on F(S,M) to p-forms on M (hat pairing with a const…

We study Cheeger-Simons differential characters and provide geometric descriptions of the ring structure and of the fiber integration map. The uniqueness of differential cohomology (up to unique natural transformation) is proved by deriving an explicit formula for any natural transformation between a differential cohom…

Note on new cancellation formulas for manifolds.

For a smooth family F of admissible elliptic pseudodifferential operators with differential form coefficients associated to a geometric fibration of manifolds M--> B we show that there is a natural zeta-form z(F,s) and zeta-determinant- form det(F) in the de-Rham algebra of smooth differential forms, generalizing the c…

In the paper [1] (arXiv:math/0408333) the authors discuss two possible definitions of the relative Cheeger-Simons characters, the second one fitting into a long exact sequence. Here we relate that picture to the one of the relative Deligne cohomology groups, defined via the mapping cone: we show that there are three me…

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…

Cyclification of orbifolds explained in cohesive higher topos theory.

Develops differential K-theory for noncommutative algebras.

This paper is a systematic approach to the construction of coronas (i.e. Higson dominated boundaries at infinity) of combable spaces. We introduce three additional properties for combings: properness, coherence and expandingness. Properness is the condition under which our construction of the corona works. Under the as…

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…

Given a vector field on a manifold M, we define a globally conserved quantity to be a differential form whose Lie derivative is exact. Integrals of conserved quantities over suitable submanifolds are constant under time evolution, the Kelvin circulation theorem being a well-known special case. More generally, conserved…

Let G be a compact, connected Lie group, acting smoothly on a manifold M. Goresky-Kottwitz-MacPherson described a small Cartan model for the equivariant cohomology of M, quasi-isomorphic to the standard Cartan complex of equivariant differential forms. In this paper, we construct an explicit cochain map from the small …

We give a definition of differentiable cohomology of a Lie group G (possibly infinite-dimensional) with coefficients in any abelian Lie group. This differentiable cohomology maps both to the cohomology of the group made discrete and to Lie algebra cohomology. We show that the secondary characteristic classes of Beilins…

We study two notions of relative differential cohomology, using the model of differential characters. The two notions arise from the two options to construct relative homology, either by cycles of a quotient complex or of a mapping cone complex. We discuss the relation of the two notions of relative differential cohomo…

We define the transgression functor which associates to a (higher-dimensional) Courant algebroid on a manifold a Lie algebroid on the shifted tangent bundle of the manifold.

We use the mapping cone for the relative deRham cohomology of a manifold with boundary in order to show that the Chern-Gauss-Bonnet Theorem for oriented Riemannian vector bundles over such manifolds is a manifestation of Lefschetz Duality in any of the two embodiments of the latter. We explain how Thom isomorphism fits…

A degree 1 non-negative graded super manifold equipped with a degree 1 vector field Q satisfying [Q, Q]=1, namely a so-called NQ-1 manifold is, in plain differential geometry language, a Lie algebroid. We introduce a notion of fibration for such super manifols, that essentially involves a complete Ehresmann connection.…

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 …

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

We show that the universal odd Chern form, defined on the stable unitary group $U$, extends to the loop group $LU$ in a way that is closed with respect to an equivariant-type differential. This provides an odd analogue to the Bismut-Chern form. We also describe the associated transgression form, the so-called Bismut-Ch…

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

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…

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…

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 …

For a manifold with boundary, the restriction of Chern's transgression form of the Euler curvature form over the boundary is closed. Its cohomology class is called the secondary Chern-Euler class and used by Sha to formulate a relative Poincaré-Hopf theorem, under the condition that the metric on the manifold is locall…

We compute explicit transgression forms for the Euler and Pontrjagin classes of a Riemannian manifold $M$ of dimension 4 under a conformal change of the metric, or a change to a Riemannian connection with torsion. These formulae describe the singular set of some connections with singularities on compact manifolds as a …

This is the sequel of the first part math.DG/0611281. Here, the procedure of transgressing the families index theorem (the so-called $η$-form) is adapted to take in account the case of Dirac type operators with kernels of varying dimension. The constructed form is then used to define the direct image under proper subme…

For even dimensional manifolds, we prove some twisted anomaly cancellation formulas which generalize some well-known cancellation formulas. For odd dimensional manifolds, we obtain some modularly invariant characteristic forms by the Chern-Simons transgression and we also get some twisted anomaly cancellation formulas.

Closed strings can be seen either as one-dimensional objects in a target space or as points in the free loop space. Correspondingly, a B-field can be seen either as a connection on a gerbe over the target space, or as a connection on a line bundle over the loop space. Transgression establishes an equivalence between th…