arXiv research

Generalizes double transgression formulas on complex manifolds.

This is the final part of the work started in math.DG/0611281 and math.DG/0703916. Here the question of double fibration ois adressed both for relative k-theory and free multiplicative K-theory. In the case of relative and ``nonfree'' multiplicative K-theory, the direct image is proved to be functorial for double subme…

Cyclification of orbifolds explained in cohesive higher topos theory.

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…

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.

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…

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.

Researchers describe a new Thom form for mapping cones.

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

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.

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.

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…

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…

A new formula connects supersymmetric path integrals to Chern-Simons theory.

For an embedded conformal hypersurface with boundary, we construct critical order local invariants and their canonically associated differential operators. These are obtained holographically in a construction that uses a singular Yamabe problem and a corresponding minimal hypersurface with boundary. They include an ext…

We generalize the transgression formula for the eta form of Bismut, Cheeger and Berline, Getzler, Vergne for vertical Dirac operators on a fibre bundle with odd dimensional fibres where the Dirac operators have locally at most one eigenvalue of multiplicity one crossing zero transversally.

We develop a general regulated volume expansion for the volume of a manifold with boundary whose measure is suitably singular along a separating hypersurface. The expansion is shown to have a regulator independent anomaly term and a renormalized volume term given by the primitive of an associated anomaly operator. Thes…

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…

We establish several Witten type rigidity and vanishing theorems for twisted Toeplitz operators on odd dimensional manifolds. We obtain our results by combining the modular method, modular transgression and some careful analysis of odd Chern classes for cocycles in odd $K$-theory. Moreover we discover that in odd dimen…

We review the caloron correspondence between $G$-bundles on $M \times S^1$ and $ΩG$-bundles on $M$, where $ΩG$ is the space of smooth loops in the compact Lie group $G$. We use the caloron correspondence to define characteristic classes for $ΩG$-bundles, called string classes, by transgression of characteristic classes…

We extend the AKSZ formulation of the Poisson sigma model to more general target spaces, and we develop the general theory of graded geometry for poly-symplectic and poly-Poisson structures. In particular we prove a Schwarz-type theorem and transgression for graded poly-symplectic structures, recovering the action func…

Recently, for a family of ungraded Dirac operators over some space $B$ J. Lott constructed an index gerbe. In the present paper we show (in analogy to the holonomy formula for the determinant bundle in the graded case) that the holonomy of the index gerbe (a priori a hermitean line bundle with connection over the free …

We present a new proof, as well as a ${\bf C/Q}$ extension, of the Riemann-Roch-Grothendieck theorem of Bismut-Lott for flat vector bundles. The main techniques used are the computations of the adiabatic limits of $η$-invariants associated to the so-called sub-signature operators. We further show that the Bismut-Lott a…

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…

We develop an algebro-analytic framework for the systematic study of the continuous bounded cohomology of Lie groups in large degree. As an application, we examine the continuous bounded cohomology of PSL(2,R) with trivial real coefficients in all degrees greater than two. We prove a vanishing result for strongly reduc…

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 …