arXiv research

Extended equivariant BV formalism to manifolds with boundaries.

This paper reinterprets Khovanov-Sano symmetries using BV formalism.

A BV algebra is a formal framework within which the BV quantization algorithm is implemented. In addition to the gauge symmetry, encoded in the BV master equation, the master action often exhibits further global symmetries, which may be in turn gauged. We show how to carry this out in a BV algebraic set up. Depending o…

Study of nonlinear PDEs using derived geometry and BV formalism.

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

New algebraic structures for Hermitian geometry cohomologies.

The goal of this note is to give a brief overview of the BV-BFV formalism developed by the first two authors and Reshetikhin in [arXiv:1201.0290], [arXiv:1507.01221] in order to perform perturbative quantisation of Lagrangian field theories on manifolds with boundary, and present a special case of Chern-Simons theory a…

Paper constructs observables using multisymplectic geometry and algebraic methods.

This is a paper about geometry of (iterated) variations. We explain why no sources of divergence are built into the Batalin-Vilkovisky (BV) Laplacian, whence there is no need to postulate any ad hoc conventions such as "$δ(0)=0$" and "$\logδ(0)=0$" within BV-approach to quantisation of gauge systems. Remarkably, the ge…

The string bracket introduced by Chas and Sullivan [math.GT/9911159] is reinterpreted from the point of view of topological field theories in the Batalin-Vilkovisky or BRST formalisms. Namely, topological action functionals for gauge fields (generalizing Chern-Simons and BF theories) are considered together with genera…

We investigate the perturbative aspects of Rozansky-Witten's 3d $σ$-model using Costello's approach to the Batalin-Vilkovisky (BV) formalism. We show that the BV quantization (in Costello's sense) of the model, which produces a perturbative quantum field theory, can be obtained via the configuration space method of reg…

In this paper we define Grassmann odd analogues of Jacobi structures on supermanifolds. We then examine their potential use in the Batalin-Vilkovisky formalism of classical gauge theories.

The paper connects higher-dimensional mechanics to Lie n-algebroids.

Introduces a new operator generating higher Koszul brackets on differential forms.

This paper introduces a general perturbative quantization scheme for gauge theories on manifolds with boundary, compatible with cutting and gluing, in the cohomological symplectic (BV-BFV) formalism. Explicit examples, like abelian BF theory and its perturbations, including nontopological ones, are presented.

This paper shows hypercommutative algebras on Calabi-Yau manifolds are formal.

The isotropy action on certain symmetric spaces is shown to be equivariantly formal.

Derives localization formulas in Batalin-Vilkovisky formalism.

Explains BV Laplacian on half-densities in simple terms.

In this short note we prove an equivariant version of the formality of multidiffirential operators for a proper Lie group action. More precisely, we show that the equivariant Hochschild-Kostant-Rosenberg quasi-isomorphism between the cohomology of the equivariant multidifferential operators and the complex of equivaria…

This is a survey of our program of perturbative quantization of gauge theories on manifolds with boundary compatible with cutting/pasting and with gauge symmetry treated by means of a cohomological resolution (Batalin-Vilkovisky) formalism. We also give two explicit quantum examples -- abelian BF theory and the Poisson…

For a closed Kähler manifold with a Hamiltonian action of a connected compact Lie group by holomorphic isometries, we construct a formal Frobenius manifold structure on the equivariant cohomology by exploiting a natural DGBV algebra structure on the Cartan model.

Generalizes momentum map to Courant algebroid for constrained mechanics.

This paper is devoted to a geometric-measure-theoretic study of the brand new affine BV-capacity which is essentially different from the classic BV-capacity in dimension greater than one.

This paper analyzes in details the Batalin-Vilkovisky quantization procedure for BF theories on n-dimensional manifolds and describes a suitable superformalism to deal with the master equation and the search of observables. In particular, generalized Wilson loops for BF theories with additional polynomial B-interaction…

Study BV operators on holomorphic polyvector fields on toric varieties.

Study knot Floer homology to create concordance invariants and slice genus bounds.

The study confirms that certain symmetric spaces are formal.

An action of a compact Lie group is called equivariantly formal, if the Leray--Serre spectral sequence of its Borel fibration degenerates at the E_2-term. This term is as prominent as it is restrictive. In this article, also motivated by the lack of junction between the notion of equivariant formality and the concept o…

We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is that it is based on the use of covariant tensors unlike Kontsevich's original p…

Let $A=A^0+A^1+A^2+...$ be a Gerstenhaber algebra generated by $A^0$ and $A^1$. Given a degree -1 operator $D$ on $A^0 + A^1$, we find the condition on $D$ that makes $A$ a BV-algebra. Subsequently, we apply it to the Gerstenhaber or BV algebra associated to a Lie algebroid and obtain a global proof of the corresponden…

Global group laws connect equivariant bordism rings to formal group laws.

Volumetric analysis of brain ventricle (BV) structure is a key tool in the study of central nervous system development in embryonic mice. High-frequency ultrasound (HFU) is the only non-invasive, real-time modality available for rapid volumetric imaging of embryos in utero. However, manual segmentation of the BV from H…

Proves sufficiency of countable test plans for BV functions on metric spaces.

This is a survey on the equivariant cohomology of Lie group actions on manifolds, from the point of view of de Rham theory. Emphasis is put on the notion of equivariant formality, as well as on applications to ordinary cohomology and to fixed points.

Integral currents with boundary of finite mass are integral.

The geometric approach [1312.1262] to iterated variations of local functionals -- e.g., of the (master-)action functional -- resulted in an extension of the deformation quantisation technique to the set-up of Poisson models of field theory [IHES/M/15/13]. It also allowed of a rigorous proof ([1312.1262],[1210.0726]) fo…

Study of quasimorphisms and bounded cohomology in braided Thompson groups.

We investigate an equivariant generalization of Morse theory for a general class of integrable models. In particular, we derive equivariant versions of the classical Poincaré-Hopf and Gauss-Bonnet-Chern theorems and present the corresponding path integral generalizations. Our approach is based on equivariant cohomology…

A classical theorem due to Quillen (1969) identifies the unitary bordism ring with the Lazard ring, which classifies the universal one-dimensional commutative formal group law. We prove an equivariant generalization of this result by identifying the homotopy theoretic $\mathbb{Z}/2$-equivariant unitary bordism ring, in…

We formalize an equivariant version of Bestvina-Brady discrete Morse theory, and apply it to Vietoris-Rips complexes in order to exhibit finite universal spaces for proper actions for all asymptotically CAT(0) groups.

New heat semigroup characterizes Sobolev and BV spaces in Carnot groups.

This work proposes a geometric approach to equivariant message passing on Riemannian manifolds.

Characterizes a specific type of Courant algebroid with a Calabi-Yau structure.

We define and study the degeneration property for BV-infinity algebras and show that it implies that the underlying L-infinity algebras are homotopy abelian. The proof is based on a generalisation of the well-known identity Δ(e^x)=e^x(Δ(x)+[x,x]/2) which holds in all BV algebras. As an application we show that the high…

Study quantization schemes on Kähler manifolds linking star products and BV quantizations.

Study proves a new flow method for mean curvature with volume change analysis.

Study cohomology of odd symplectic manifolds, linking to Lagrangian submanifolds and BV Laplacians.