arXiv research

Extended equivariant BV formalism to manifolds with boundaries.

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…

This paper reinterprets Khovanov-Sano symmetries using BV formalism.

Paper constructs observables using multisymplectic geometry and algebraic methods.

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…

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…

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.

Explains BV Laplacian on half-densities in simple terms.

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…

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.

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…

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.

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.

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

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.

Study quantum aspects of 1-form symmetries using BV-BRST cohomology.

Generic level sets in mean curvature flow are BV solutions.

Study quantum aspects of 1-form symmetries using BV-BRST cohomology and gerbes.

Survey on quantization methods on Kähler manifolds.

We define a jet-space analog of the BV-Laplacian, avoiding delta-functions and infinite constants; instead we show that the main properties of the BV-Laplacian and its relation to the Schouten bracket originate from the underlying jet-space geometry.

New bin-wise scaling methods improve prediction uncertainty calibration for machine learning.

New family of braided Thompson groups introduced using recursive braids.

We give a notion of BV function on an oriented manifold where a volume form and a family of lower semicontinuous quadratic forms $G_p: T_pM \to [0,\infty]$ are given. When we consider sub-Riemannian manifolds, our definition coincide with the one given in the more general context of metric measure spaces which are doub…

Paper approximates BV functions using neural networks with ReLU activation.

The Poisson--Weil sigma model, worked out by us recently, stems from gauging a Hamiltonian Lie group symmetry of the target space of the Poisson sigma model. Upon gauge fixing of the BV master action, it yields interesting topological field theories such as the 2--dimensional Donaldson-Witten topological gauge theory a…

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…

Let $M$ be a compact one--manifold, and let $\mathrm{Diff}^{1+\mathrm{bv}}(M)$ denote the group of $C^1$ orientation preserving diffeomorphisms of $M$ whose first derivatives have bounded variation. We prove that if $G$ is a group which is not virtually metabelian, then $(G\times\mathbb{Z})*\mathbb{Z}$ is not realized …

The purpose of this paper is to establish an explicit correspondence between various geometric structures on a vector bundle with some well-known algebraic structures such as Gerstenhaber algebras and BV-algebras. Some applications are discussed. In particular, we found an explicit connection between the Koszul-Brylins…

In the popular approach of "Bayesian variable selection" (BVS), one uses prior and posterior distributions to select a subset of candidate variables to enter the model. A completely new direction will be considered here to study BVS with a Gibbs posterior originating in statistical mechanics. The Gibbs posterior is con…

Since the discovery of differential calculus by Newton and Leibniz and the subsequent continuous growth of its applications to physics, mechanics, geometry, etc, it was observed that partial derivatives in the study of various natural problems are (self-)organized in certain structures usually called geometric. Tensors…