arXiv research

A quantum field theory for Spin(7)-instantons derived from moduli spaces.

We establish a generic counting formula for the Euler number of a flat vector bundle of rank $2n$ over a $2n$ dimensional closed manifold, in terms of vertices of transversal open coverings of the underlying manifold. We use the Mathai-Quillen formalism to prove our result.

In this paper, we establish an intrinsic Gauss-Bonnet-Chern formula for Finsler manifolds by using the Mathai-Quillen's superconnection formalism, in which no extra vector field is involved. Furthermore, we prove a more general Lichnerowicz formula in this direction through a geometric localization procedure.

We present an equivariant extension of the Thom form with respect to a vector field action, in the framework of the Mathai-Quillen formalism. The associated Topological Quantum Field Theories correspond to twisted $N=2$ supersymmetric theories with a central charge. We analyze in detail two different cases: topological…

This expository paper contains a detailed introduction to some important works concerning the Gauss-Bonnet-Chern theorem. The study of this theorem has a long history dating back to Gauss's Theorema Egregium (Latin: Remarkable Theorem) and culminated in Chern's groundbreaking work [14] in 1944, which is a deep and wond…

We give an alternative proof for the Mathai-Quillen formula for a Thom form using its natural behaviour with respect to fiberwise integration. We also study this phenomenon in general context.

We review the relations between (twisted) supersymmetric gauge theories in four dimensions and moduli problems in four-dimensional topology, and we study in detail the non-abelian monopole equations from this point of view. The relevance of exact results in N=1 and N=2 supersymmetric gauge theories to the computation o…

In these lectures we present a general introduction to topological quantum field theories. These theories are discussed in the framework of the Mathai-Quillen formalism and in the context of twisted N=2 supersymmetric theories. We discuss in detail the recent developments in Donaldson-Witten theory obtained from the ap…

We review localization techniques for functional integrals which have recently been used to perform calculations in and gain insight into the structure of certain topological field theories and low-dimensional gauge theories. These are the functional integral counterparts of the Mathai-Quillen formalism, the Duistermaa…

Mathai-Quillen forms are used to give an integral formula for the Lefschetz number of a smooth map of a closed manifold. Applied to the identity map, this formula reduces to the Chern-Gauss-Bonnet theorem. The formula is computed explicitly for constant curvature metrics. There is in fact a one-parameter family of inte…

Researchers describe a new Thom form for mapping cones.

A Q-algebroid is a Lie superalgebroid equipped with a compatible homological vector field and is the infinitesimal object corresponding to a Q-groupoid. We associate to every Q-algebroid a double complex. As a special case, we define the BRST model of a Lie algebroid, which generalizes the BRST model for equivariant co…

We construct a new equivariant cohomology theory for a certain class of differential vertex algebras, which we call the chiral equivariant cohomology. A principal example of a differential vertex algebra in this class is the chiral de Rham complex of Malikov-Schechtman-Vaintrob of a manifold with a group action. The ma…

We prove that the moduli space of holonomy G_2-metrics on a closed 7-manifold is in general disconnected by presenting a number of explicit examples. We detect different connected components of the G_2-moduli space by defining an integer-valued analytic refinement of the nu-invariant, a Z/48-valued defect invariant of …

We present a cocycle model for elliptic cohomology with complex coefficients in which methods from 2-dimensional quantum field theory can be used to rigorously construct cocycles. For example, quantizing a theory of vector bundle-valued fermions yields a cocycle representative of the elliptic Thom class. This construct…

Researchers compute the ν-invariant for specific G2-structures on nilmanifolds.

Establishes Poincaré's lemma for formal manifolds.

Foundations laid for formal manifolds in differential geometry.

Explores local structure of morphisms and formal submanifolds in formal manifolds theory.

Study non-formal pseudo-differential operators over formal ones.

Strong formal properties for toric and homogeneous Kähler manifolds.

A metric is formal if all products of harmonic forms are again harmonic. The existence of a formal metric implies Sullivan formality of the manifold, and hence formal metrics can exist only in presence of a very restricted topology. We show that a warped product metric is formal if and only if the warping function is c…

The study shows strong formality in certain complex manifolds.

Formal manifolds with non-negative Ricci curvature have formal covers.

Compact symmetric spaces are probably one of the most prominent class of formal spaces, i.e. of spaces where the rational homotopy type is a formal consequence of the rational cohomology algebra. As a generalisation, it is even known that their isotropy action is equivariantly formal. In this article we show that $(\ma…

New hierarchies derived from KP hierarchy using non-formal operators and Yang-Mills action.

Extended equivariant BV formalism to manifolds with boundaries.

We define the notion of a formal connection for a smooth family of star products with fixed underlying symplectic structure. Such a formal connection allows one to relate star products at different points in the family. This generalizes the formal Hitchin connection introduced by the first author. We establish a necess…

Defines formal exponentials for graded manifolds and linearizes QP-manifolds.

Formality of Dolbeault DGAs on complex nilmanifolds restricted to tori.

Study on geometrically formal metrics on complex manifolds.

Research on formality problem for special holonomy manifolds.

Defines formal vertex laws related to Lie conformal algebras.

Deform quantization recovers scalar curvature in complex structures.

Formal methods verify continuous auctions at exchanges.

We describe a canonical form for linear differential operators that are formally self-adjoint or formally skew-adjoint.

There are solved standard problems related to Formal (Holomorphic) Segre preserving Mappings of non-trivial Real-Formal Hypersurfaces in $\mathbb{C}^{2}$.

Derives localization formulas in Batalin-Vilkovisky formalism.

Proves formal self-adjointness of certain differential operators.

New findings on complex manifold properties under deformations.

A Riemannian manifold is called geometrically formal if the wedge product of harmonic forms is again harmonic, which implies in the compact case that the manifold is topologically formal in the sense of rational homotopy theory. A manifold admitting a Riemannian metric of positive sectional curvature is conjectured to …

We prove that for a fibration of simply-connected spaces of finite type $F\hookrightarrow E\to B$ with $F$ being positively elliptic and $H^*(F,\qq)$ not possessing non-trivial derivations of negative degree, the base $B$ is formal if and only if the total space $E$ is formal. Moreover, in this case the fibration map i…

Zeta invariants study Morse forms on Riemannian manifolds, proving smoothness and convergence.

This paper formalizes manifolds in positive characteristic varieties.

In this paper, we study the formal solution space of a nonlinear PDE in a fiber bundle. To this end, we start with foundational material and introduce the notion of a pfd structure to build up a new concept of profinite dimensional manifolds. We show that the infinite jet space of the fiber bundle is a profinite dimens…

This paper explores formal verification for autonomous systems, identifying limitations and proposing improvements.

We investigate harmonic forms of geometrically formal metrics, which are defined as those having the exterior product of any two harmonic forms still harmonic. We prove that a formal Sasakian metric can exist only on a real cohomology sphere and that holomorphic forms of a formal Kähler metric are parallel w.r.t. the L…

We discuss the question of geometric formality for rationally elliptic manifolds of dimension $6$ and $7$. We prove that a geometrically formal six-dimensional biquotient with $b_{2}=3$ has the real cohomology of a symmetric space. We also show that a rationally hyperbolic six-dimensional manifold with $b_2\leq 2$ and …