BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Alberto S. Cattaneo contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
An explicit, geometric description of the first-class constraints and their Poisson brackets for gravity in the Palatini-Cartan formalism (in space-time dimension greater than three) is given. The corresponding Batalin- Fradkin-Vilkovisky (BFV) formulation is also developed.
Mechanical systems (i.e., one-dimensional field theories) with constraints are the focus of this paper. In the classical theory, systems with infinite-dimensional targets are considered as well (this then encompasses also higher-dimensional field theories in the hamiltonian formalism). The properties of the Hamilton-Jacobi (HJ) action are described in details and several examples are explicitly computed (including nonabelian Chern-Simons theory, where the HJ action turns out to be the gauged Wess-Zumino-Witten action). Perturbative quantization, limited in this note to finite-dimensional targets, is performed in the framework of the Batalin-Vilkovisky (BV) formalism in the bulk and of the Batalin-Fradkin-Vilkovisky (BFV) formalism at the endpoints. As a sanity check of the method, it is proved that the semiclassical contribution of the physical part of the evolution operator is still given by the HJ action. Several examples are computed explicitly. In particular, it is shown that the toy model for nonabelian Chern-Simons theory and the toy model for 7D Chern-Simons theory with nonlinear Hitchin polarization do not have quantum corrections in the physical part (the extension of these results to the actual cases is discussed in the companion paper [arXiv:2012.13983]). Background material for both the classical part (symplectic geometry, generalized generating functions, HJ actions, and the extension of these concepts to infinite-dimensional manifolds) and the quantum part (BV-BFV formalism) is provided.
We present a construction of cellular BF theory (in both abelian and non-abelian variants) on cobordisms equipped with cellular decompositions. Partition functions of this theory are invariant under subdivisions, satisfy a version of the quantum master equation, and satisfy Atiyah-Segal-type gluing formula with respect to composition of cobordisms.
We study an equivariant extension of the Batalin-Vilkovisky formalism for quantizing gauge theories. Namely, we introduce a general framework to encompass failures of the quantum master equation, and we apply it to the natural equivariant extension of AKSZ solutions of the classical master equation (CME). As examples of the construction, we recover the equivariant extension of supersymmetric Yang-Mills in 2d and of Donaldson-Witten theory.
We show that the Palatini--Cartan--Holst formulation of General Relativity in tetrad variables must be complemented with additional requirements on the fields when boundaries are taken into account for the associated BV theory to induce a compatible BFV theory on the boundary.
We construct a formal global quantization of the Poisson Sigma Model in the BV-BFV formalism using the perturbative quantization of AKSZ theories on manifolds with boundary and analyze the properties of the boundary BFV operator. Moreover, we consider mixed boundary conditions and show that they lead to quantum anomalies, i.e. to a failure of the (modified differential) Quantum Master Equation. We show that it can be restored by adding boundary terms to the action, at the price of introducing corner terms in the boundary operator. We also show that the quantum GBFV operator on the total space of states is a differential, i.e. squares to zero, which is necessary for a well-defined BV cohomology.
The goal of this paper is to investigate the Theta invariant --- an invariant of framed 3-manifolds associated with the lowest order contribution to the Chern-Simons partition function --- in the context of the quantum BV-BFV formalism. Namely, we compute the state on the solid torus to low degree in $\hbar$, and apply the gluing procedure to compute the Theta invariant of lens spaces. We use a distributional propagator which does not extend to a compactified configuration space, so to compute loop diagrams we have to define a regularization of the product of the distributional propagators, which is done in an \emph{ad hoc} fashion. Also, a polarization has to be chosen for the quantization process. Our results agree with results in the literature for one type of polarization, but for another type of polarization there are extra terms.
In this paper we outline the construction of semiclassical eigenfunctions of integrable models in terms of the semiclassical path integral for the Poisson sigma model with the target space being the phase space of the integrable system. The semiclassical path integral is defined as a formal power series with coefficients being Feynman diagrams. We also argue that in a similar way one can obtain irreducible semiclassical representations of Kontsevich's star product.
We show that the non-Abelian nature of geometric fluxes---the corner-stone in the definition of quantum geometry in the framework of loop quantum gravity (LQG)---follows directly form the continuum canonical commutations relations of gravity in connection variables and the validity of the Gauss law. The present treatment simplifies previous formulations and thus identifies more clearly the root of the discreteness of geometric operators in LQG. Our statement generalizes to arbitrary gauge theories and relies only on the validity of the Gauss law.
This note describes the restoration of time in one-dimensional parameterization-invariant (hence timeless) models, namely the classically-equivalent Jacobi action and gravity coupled to matter. It also serves as a timely introduction by examples to the classical and quantum BV-BFV formalism as well as to the AKSZ method.
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.
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 as a new example.
The wave equation (free boson) problem is studied from the viewpoint of the relations on the symplectic manifolds associated to the boundary induced by solutions. Unexpectedly there is still something to say on this simple, well-studied problem. In particular, boundaries which do not allow for a meaningful Hamiltonian evolution are not problematic from the viewpoint of relations. In the two-dimensional Minkowski case, these relations are shown to be Lagrangian. This result is then extended to a wide class of metrics and is conjectured to be true also in higher dimensions for nice enough metrics. A counterexample where the relation is not Lagrangian is provided by the Misner space.
The Poisson sigma model is a widely studied two-dimensional topological field theory. This note shows that boundary conditions for the Poisson sigma model are related to coisotropic submanifolds (a result announced in [math.QA/0309180]) and that the corresponding reduced phase space is a (possibly singular) dual pair between the reduced spaces of the given two coisotropic submanifolds. In addition the generalization to a more general tensor field is considered and it is shown that the theory produces Lagrangian evolution relations if and only if the tensor field is Poisson.
These lectures are an introduction to formal semiclassical quantization of classical field theory. First we develop the Hamiltonian formalism for classical field theories on space time with boundary. It does not have to be a cylinder as in the usual Hamiltonian framework. Then we outline formal semiclassical quantization in the finite dimensional case. Towards the end we give an example of such a quantization in the case of Abelian Chern-Simons theory.
The biquantization of symmetric pairs was studied in Cattaneo and Torossian in terms of Kontsevich-like graphs. This paper, also in view of recent results in Calaque et al, amends a minor mistake that did not spoil the main results of the paper. The mistake consisted in ignoring a regular term in the boundary contribution of some propagators. On the other hand, its correction brings back the quantum shift, present in the approaches by the orbit method, that was otherwise puzzlingly missing. In addition a detailed comparison of the two, equivalent, ways of defining biquantization working on the upper half plane or on one quadrant is presented, as well as a more conceptual approach to biquantization and the due corrections of some results of Cattaneo and Torossian in view of the aforementioned correction by the quantum shift. Finally, we review the triquantization construction developed for the treatment of characters by taking into accounts the same boundary problem as for the biquantization.
This note gives an overview on the construction of symplectic groupoids as reduced phase spaces of Poisson sigma models and its generalization in the infinite dimensional setting (before reduction).
We show that the path construction integration of Lie algebroids by Lie groupoids is an actual equivalence from the category of integrable Lie algebroids and complete Lie algebroid comorphisms to the category of source 1-connected Lie groupoids and Lie groupoid comorphisms. This allows us to construct an actual symplectization functor in Poisson geometry. We include examples to show that the integrability of comorphisms and Poisson maps may not hold in the absence of a completeness assumption.
Using methods of formal geometry, the Poisson sigma model on a closed surface is studied in perturbation theory. The effective action, as a function on vacua, is shown to have no quantum corrections if the surface is a torus or if the Poisson structure is regular and unimodular (e.g., symplectic). In the case of a Kahler structure or of a trivial Poisson structure, the partition function on the torus is shown to be the Euler characteristic of the target; some evidence is given for this to happen more generally. The methods of formal geometry introduced in this paper might be applicable to other sigma models, at least of the AKSZ type.
We adapt the notion of generating functions for lagrangian submanifolds to symplectic microgeometry. We show that a symplectic micromorphism always admits a global generating function. As an application, we describe hamiltonian flows as special symplectic micromorphisms whose local generating functions are the solutions of Hamilton-Jacobi equations. We obtain a purely categorical formulation of the temporal evolution in classical mechanics.
We show that the category of Poisson manifolds and Poisson maps, the category of symplectic microgroupoids and lagrangian submicrogroupoids (as morphisms), and the category of monoids and monoid morphisms in the microsymplectic category are equivalent symmetric monoidal categories.
We previously extended the Marsden-Ratiu reduction theorem in Poisson geometry by means of graded geometry (see Part I of Arxiv:1009.0948) . In this note we provide the background material about graded geometry necessary for the proof. Further, we provide an alternative algebraic proof.
These notes are based on a series of lectures given by the first author at the school of `Poisson 2010', held at IMPA, Rio de Janeiro. They contain an exposition of the theory of super- and graded manifolds, cohomological vector fields, graded symplectic structures, reduction and the AKSZ-formalism.
We introduce the notion of symplectic microfolds and symplectic micromorphisms between them. They form a monoidal category, which is a version of the "category" of symplectic manifolds and canonical relations obtained by localizing them around lagrangian submanifolds in the spirit of Milnor's microbundles.
Kontsevich's formality theorem states that the differential graded Lie algebra of multidifferential operators on a manifold M is L-infinity-quasi-isomorphic to its cohomology. The construction of the L-infinity map is given in terms of integrals of differential forms on configuration spaces of points in the upper half-plane. Here we consider configuration spaces of points in the disk and work equivariantly with respect to the rotation group. This leads to considering the differential graded Lie algebra of multivector fields endowed with a divergence operator. In the case of R^d with standard volume form, we obtain an L-infinity morphism of modules over this differential graded Lie algebra from cyclic chains of the algebra of functions to multivector fields. As a first application we give a construction of traces on algebras of functions with star-products associated with unimodular Poisson structures. The construction is based on the Batalin--Vilkovisky quantization of the Poisson sigma model on the disk and in particular on the treatment of its zero modes.
This note elaborates on Th. Voronov's construction [math/0304038,math/0412202] of $L_\infty$-structures via higher derived brackets with a Maurer-Cartan element. It is shown that gauge equivalent Maurer-Cartan elements induce $L_\infty$-isomorphic structures. Applications in symplectic, Poisson and Dirac geometry are discussed.
Recently the first two authors constructed an L-infinity morphism using the S^1-equivariant version of the Poisson Sigma Model (PSM). Its role in deformation quantization was not entirely clear. We give here a "good" interpretation and show that the resulting formality statement is equivalent to formality on cyclic chains as conjectured by Tsygan and proved recently by several authors.
In this article we use the expansion for biquantization described in Cattaneo-Felder [math.QA/0309180] for the case of symmetric spaces. We introduce a function of two variables $E(X,Y)$ for any symmetric pairs. This function has an expansion in terms of Kontsevich's diagrams. We recover most of the known results though in a more systematic way by using some elementary properties of this $E$ function. We prove that Cattaneo and Felder's star product coincides with Rouviere's for any symmetric pairs. We generalize some of Lichnerowicz's results for the commutativity of the algebra of invariant differential operators and solve a long standing problem posed by M. Duflo for the expression of invariant differential operators on any symmetric spaces in exponential coordinates. We describe the Harish-Chandra homomorphism in the case of symmetric spaces by using all these constructions. We develop a new method to construct characters for algebras of invariant differential operators. We apply these methods in the case of $σ$-stable polarizations.
This note is an overview of the Poisson sigma model (PSM) and its applications in deformation quantization. Reduction of coisotropic and pre-Poisson submanifolds, their appearance as branes of the PSM, quantization in terms of L-infinity and A-infinity algebras, and bimodule structures are recalled. As an application, an "almost" functorial quantization of Poisson maps is presented if no anomalies occur. This leads in principle to a novel approach for the quantization of Poisson-Lie groups.
Given a symplectic manifold $M$, we may define an operad structure on the the spaces $\op^k$ of the Lagrangian submanifolds of $(\bar{M})^k\times M$ via symplectic reduction. If $M$ is also a symplectic groupoid, then its multiplication space is an associative product in this operad. Following this idea, we provide a deformation theory for symplectic groupoids analog to the deformation theory of algebras. It turns out that the semi-classical part of Kontsevich's deformation of $C^\infty(\R^d)$ is a deformation of the trivial symplectic groupoid structure of $T^*\R^d$.
These notes, based on the mini-course given at the PQR2003 Euroschool held in Brussels in 2003, aim to review Kontsevich's formality theorem together with his formula for the star product on a given Poisson manifold. A brief introduction to the employed mathematical tools and physical motivations is also given.
Poisson manifolds may be regarded as the infinitesimal form of symplectic groupoids. Twisted Poisson manifolds considered by Severa and Weinstein [math.SG/0107133] are a natural generalization of the former which also arises in string theory. In this note it is proved that twisted Poisson manifolds are in bijection with a (possibly singular) twisted version of symplectic groupoids.
We review our construction of star-products on Poisson manifolds and discuss some examples. In particular, we work out the relation with Fedosov's original construction in the symplectic case.
We consider the Poisson sigma model associated to a Poisson manifold. The perturbative quantization of this model yields the Kontsevich star product formula. We study here the classical model in the Hamiltonian formalism. The phase space is the space of leaves of a Hamiltonian foliation and has a natural groupoid structure. If it is a manifold then it is a symplectic groupoid for the given Poisson manifold. We study various families of examples. In particular, a global symplectic groupoid for a general class of two-dimensional Poisson domains is constructed.
This note is a sequel to our earlier paper of the same title [dg-ga/9710001] and describes invariants of rational homology 3-spheres associated to acyclic orthogonal local systems. Our work is in the spirit of the Axelrod-Singer papers, generalizes some of their results, and furnishes a new setting for the purely topological implications of their work.