-
Combinatorial 2d higher topological quantum field theory from a local cyclic $A_\infty$ algebra
Authors:
Justin Beck,
Andrey Losev,
Pavel Mnev
Abstract:
We construct combinatorial analogs of 2d higher topological quantum field theories. We consider triangulations as vertices of a certain CW complex $Ξ$. In the "flip theory," cells of $Ξ_\mathrm{flip}$ correspond to polygonal decompositions obtained by erasing the edges in a triangulation. These theories assign to a cobordism $Σ$ a cochain $Z$ on $Ξ_\mathrm{flip}$ constructed as a contraction of st…
▽ More
We construct combinatorial analogs of 2d higher topological quantum field theories. We consider triangulations as vertices of a certain CW complex $Ξ$. In the "flip theory," cells of $Ξ_\mathrm{flip}$ correspond to polygonal decompositions obtained by erasing the edges in a triangulation. These theories assign to a cobordism $Σ$ a cochain $Z$ on $Ξ_\mathrm{flip}$ constructed as a contraction of structure tensors of a cyclic $A_\infty$ algebra $V$ assigned to polygons. The cyclic $A_\infty$ equations imply the closedness equation $(δ+Q)Z=0$. In this context we define combinatorial BV operators and give examples with coefficients in $\mathbb{Z}_2$. In the "secondary polytope theory," $Ξ_\mathrm{sp}$ is the secondary polytope (due to Gelfand-Kapranov-Zelevinsky) and the cyclic $A_\infty$ algebra has to be replaced by an appropriate refinement that we call an $\widehat{A}_\infty$ algebra. We conjecture the existence of a good Pachner CW complex $Ξ$ for any cobordism, whose local combinatorics is descibed by secondary polytopes and the homotopy type is that of Zwiebach's moduli space of complex structures. Depending on this conjecture, one has an "ideal model" of combinatorial 2d HTQFT determined by a local $\widehat{A}_\infty$ algebra.
△ Less
Submitted 25 March, 2024; v1 submitted 6 February, 2024;
originally announced February 2024.
-
TQFT, Homological Algebra and elements of K.Saito's Theory of Primitive Form: an attempt of mathematical text written by mathematical physicist
Authors:
Andrey Losev
Abstract:
The text is devoted to explanation of the concept of Topological Quantum Field Theory (TQFT), its application to homological algebra and to the relation with the theory of good section from K.Saito's theory of Primitive forms. TQFT is explained in Dirac-Segal framework, one-dimensional examples are explained in detail. As a first application we show how it can be used in explicit construction of r…
▽ More
The text is devoted to explanation of the concept of Topological Quantum Field Theory (TQFT), its application to homological algebra and to the relation with the theory of good section from K.Saito's theory of Primitive forms. TQFT is explained in Dirac-Segal framework, one-dimensional examples are explained in detail. As a first application we show how it can be used in explicit construction of reduction of infinity-structure after contraction of a subcomplex. Then we explain Associativity and Commutativity equations using this language. We use these results to construct solutions to Commutativity equations and find a new proof of for the fact that tree level BCOV theory solved Oriented Associativity equations.
△ Less
Submitted 3 January, 2023;
originally announced January 2023.
-
Instantons beyond topological theory II
Authors:
E. Frenkel,
A. Losev,
N. Nekrasov
Abstract:
The present paper is the second part of our project in which we describe quantum field theories with instantons in a novel way by using the "infinite radius limit" (rather than the limit of free field theory) as the starting point. The theory dramatically simplifies in this limit, because the correlation functions of all, not only topological (or BPS), observables may be computed explicitly in t…
▽ More
The present paper is the second part of our project in which we describe quantum field theories with instantons in a novel way by using the "infinite radius limit" (rather than the limit of free field theory) as the starting point. The theory dramatically simplifies in this limit, because the correlation functions of all, not only topological (or BPS), observables may be computed explicitly in terms of integrals over finite-dimensional moduli spaces of instanton configurations. In Part I (arXiv:hep-th/0610149) we discussed in detail the one-dimensional (that is, quantum mechanical) models of this type. Here we analyze the supersymmetric two-dimensional sigma models and four-dimensional Yang--Mills theory, using the one-dimensional models as a prototype. We go beyond the topological (or BPS) sectors of these models and consider them as full-fledged quantum field theories. We study in detail the space of states and find that the Hamiltonian is not diagonalizable, but has Jordan blocks. This leads to the appearance of logarithms in the correlation functions. We find that our theories are in fact logarithmic conformal field theories (theories of this type are of interest in condensed matter physics). We define jet-evaluation observables and consider in detail their correlation functions. They are given by integrals over the moduli spaces of holomorphic maps, which generalize the Gromov--Witten invariants. These integrals generally diverge and require regularization, leading to an intricate logarithmic mixing of the operators of the sigma model. A similar structure arises in the four-dimensional Yang--Mills theory as well.
△ Less
Submitted 23 March, 2008;
originally announced March 2008.
-
Materializing Superghosts
Authors:
Victor Alexandrov,
Dmitry Krotov,
Andrei Losev,
Vyacheslav Lysov
Abstract:
We construct the off-shell BV realization of N=1, d=10 SYM with 7 auxillary fields. This becomes possible due to materialized ghost phenomenon. Namely, supersymmetry ghosts are coordinates on a manifold B of 10-dimensional spinors with pure spinors cut out. Auxillary fields are sections of a bundle over B, and supersymmetry transformations are nonlinear in ghosts. By integrating out axillary fie…
▽ More
We construct the off-shell BV realization of N=1, d=10 SYM with 7 auxillary fields. This becomes possible due to materialized ghost phenomenon. Namely, supersymmetry ghosts are coordinates on a manifold B of 10-dimensional spinors with pure spinors cut out. Auxillary fields are sections of a bundle over B, and supersymmetry transformations are nonlinear in ghosts. By integrating out axillary fields we obtain on-shell supersymmetric BV action with terms quadratic in antifields. Exactly this on-shell BV action was obtained in our previous paper after integration out of auxiliary fields in the framework of Pure Spinor Superfield Formalism.
△ Less
Submitted 13 July, 2007;
originally announced July 2007.
-
On Pure Spinor Superfield Formalism
Authors:
Victor Alexandrov,
Dmitry Krotov,
Andrey Losev,
Vyacheslav Lysov
Abstract:
We show that a certain superfield formalism can be used to find an off-shell supersymmetric description for some supersymmetric field theories where conventional superfield formalism does not work. This "new" formalism contains even auxiliary variables in addition to conventional odd super-coordinates. The idea of this construction is similar to the pure spinor formalism developed by N.Berkovits…
▽ More
We show that a certain superfield formalism can be used to find an off-shell supersymmetric description for some supersymmetric field theories where conventional superfield formalism does not work. This "new" formalism contains even auxiliary variables in addition to conventional odd super-coordinates. The idea of this construction is similar to the pure spinor formalism developed by N.Berkovits. It is demonstrated that using this formalism it is possible to prove that the certain Chern-Simons-like (Witten's OSFT-like) theory can be considered as an off-shell version for some on-shell supersymmetric field theories. We use the simplest non-trivial model found in [2] to illustrate the power of this pure spinor superfield formalism. Then we redo all the calculations for the case of 10-dimensional Super-Yang-Mills theory. The construction of off-shell description for this theory is more subtle in comparison with the model of [2] and requires additional Z_2 projection. We discover experimentally (through a direct explicit calculation) a non-trivial Z_2 duality at the level of Feynman diagrams. The nature of this duality requires a better investigation.
△ Less
Submitted 31 May, 2007; v1 submitted 15 May, 2007;
originally announced May 2007.
-
Tautological relations in Hodge field theory
Authors:
A. Losev,
S. Shadrin,
I. Shneiberg
Abstract:
We propose a Hodge field theory construction that captures algebraic properties of the reduction of Zwiebach invariants to Gromov-Witten invariants. It generalizes the Barannikov-Kontsevich construction to the case of higher genera correlators with gravitational descendants.
We prove the main theorem stating that algebraically defined Hodge field theory correlators satisfy all tautological rel…
▽ More
We propose a Hodge field theory construction that captures algebraic properties of the reduction of Zwiebach invariants to Gromov-Witten invariants. It generalizes the Barannikov-Kontsevich construction to the case of higher genera correlators with gravitational descendants.
We prove the main theorem stating that algebraically defined Hodge field theory correlators satisfy all tautological relations. From this perspective the statement that Barannikov-Kontsevich construction provides a solution of the WDVV equation looks as the simplest particular case of our theorem. Also it generalizes the particular cases of other low-genera tautological relations proven in our earlier works; we replace the old technical proofs by a novel conceptual proof.
△ Less
Submitted 7 April, 2007;
originally announced April 2007.
-
Notes on instantons in topological field theory and beyond
Authors:
E. Frenkel,
A. Losev,
N. Nekrasov
Abstract:
This is a brief summary of our studies of quantum field theories in a special limit in which the instantons are present, the anti-instantons are absent, and the perturbative corrections are reduced to one-loop. We analyze the corresponding models as full-fledged quantum field theories, beyond their topological sector. We show that the correlation functions of all, not only topological (or BPS),…
▽ More
This is a brief summary of our studies of quantum field theories in a special limit in which the instantons are present, the anti-instantons are absent, and the perturbative corrections are reduced to one-loop. We analyze the corresponding models as full-fledged quantum field theories, beyond their topological sector. We show that the correlation functions of all, not only topological (or BPS), observables may be studied explicitly in these models, and the spectrum may be computed exactly. An interesting feature is that the Hamiltonian is not always diagonalizable, but may have Jordan blocks, which leads to the appearance of logarithms in the correlation functions. We also find that in the models defined on Kahler manifolds the space of states exhibits holomorphic factorization. In particular, in dimensions two and four our theories are logarithmic conformal field theories.
△ Less
Submitted 19 February, 2007;
originally announced February 2007.
-
Instantons beyond topological theory I
Authors:
E. Frenkel,
A. Losev,
N. Nekrasov
Abstract:
Many quantum field theories in one, two and four dimensions possess remarkable limits in which the instantons are present, the anti-instantons are absent, and the perturbative corrections are reduced to one-loop. We analyze the corresponding models as full quantum field theories, beyond their topological sector. We show that the correlation functions of all, not only topological (or BPS), observ…
▽ More
Many quantum field theories in one, two and four dimensions possess remarkable limits in which the instantons are present, the anti-instantons are absent, and the perturbative corrections are reduced to one-loop. We analyze the corresponding models as full quantum field theories, beyond their topological sector. We show that the correlation functions of all, not only topological (or BPS), observables may be studied explicitly in these models, and the spectrum may be computed exactly. An interesting feature is that the Hamiltonian is not always diagonalizable, but may have Jordan blocks, which leads to the appearance of logarithms in the correlation functions. We also find that in the models defined on Kahler manifolds the space of states exhibits holomorphic factorization. We conclude that in dimensions two and four our theories are logarithmic conformal field theories.
△ Less
Submitted 12 October, 2006;
originally announced October 2006.
-
On First Order Formalism in String Theory
Authors:
Andrei S. Losev,
Andrei Marshakov,
Anton M. Zeitlin
Abstract:
We consider the first order formalism in string theory, providing a new off-shell description of the nontrivial backgrounds around an "infinite metric". The OPE of the vertex operators, corresponding to the background fields in some "twistor representation", and conditions of conformal invariance results in the quadratic equation for the background fields, which appears to be equivalent to the E…
▽ More
We consider the first order formalism in string theory, providing a new off-shell description of the nontrivial backgrounds around an "infinite metric". The OPE of the vertex operators, corresponding to the background fields in some "twistor representation", and conditions of conformal invariance results in the quadratic equation for the background fields, which appears to be equivalent to the Einstein equations with a Kalb-Ramond B-field and a dilaton. Using a new representation for the Einstein equations with B-field and dilaton we find a new class of solutions including the plane waves for metric (graviton) and the B-field. We discuss the properties of these background equations and main features of the BRST operator in this approach.
△ Less
Submitted 3 January, 2006; v1 submitted 8 October, 2005;
originally announced October 2005.
-
From Zwiebach invariants to Getzler relation
Authors:
A. Losev,
S. Shadrin
Abstract:
We introduce the notion of Zwiebach invariants that generalize Gromov-Witten invariants and homotopical algebra structures. We outline the induction procedure that induces the structure of Zwiebach on the subbicomplex, that gives the structure of Gromov-Witten invariants on subbicomplex with zero diffferentials. We propose to treat Hodge dGBV with 1/12 axiom as the simplest set of Zwiebach invar…
▽ More
We introduce the notion of Zwiebach invariants that generalize Gromov-Witten invariants and homotopical algebra structures. We outline the induction procedure that induces the structure of Zwiebach on the subbicomplex, that gives the structure of Gromov-Witten invariants on subbicomplex with zero diffferentials. We propose to treat Hodge dGBV with 1/12 axiom as the simplest set of Zwiebach invariants, and explicitely prove that it induces WDVV and Getzler equations in genera 0 and 1 respectively.
△ Less
Submitted 2 April, 2006; v1 submitted 2 June, 2005;
originally announced June 2005.
-
Mirror symmetry in two steps: A-I-B
Authors:
Edward Frenkel,
Andrei Losev
Abstract:
We suggest an interpretation of mirror symmetry for toric varieties via an equivalence of two conformal field theories. The first theory is the twisted sigma model of a toric variety in the infinite volume limit (the A-model). The second theory is an intermediate model, which we call the I-model. The equivalence between the A-model and the I-model is achieved by realizing the former as a deforma…
▽ More
We suggest an interpretation of mirror symmetry for toric varieties via an equivalence of two conformal field theories. The first theory is the twisted sigma model of a toric variety in the infinite volume limit (the A-model). The second theory is an intermediate model, which we call the I-model. The equivalence between the A-model and the I-model is achieved by realizing the former as a deformation of a linear sigma model with a complex torus as the target and then applying to it a version of the T-duality. On the other hand, the I-model is closely related to the twisted Landau-Ginzburg model (the B-model) that is mirror dual to the A-model. Thus, the mirror symmetry is realized in two steps, via the I-model. In particular, we obtain a natural interpretation of the superpotential of the Landau-Ginzburg model as the sum of terms corresponding to the components of a divisor in the toric variety. We also relate the cohomology of the supercharges of the I-model to the chiral de Rham complex and the quantum cohomology of the underlying toric variety.
△ Less
Submitted 26 December, 2005; v1 submitted 16 May, 2005;
originally announced May 2005.
-
Riemann-Roch-Hirzebruch theorem and Topological Quantum Mechanics
Authors:
Boris Feigin,
Andrey Losev,
Boris Shoikhet
Abstract:
In the present paper we discuss an independent on the Grothendieck-Sato isomorphism approach to the Riemann-Roch-Hirzebruch formula for an arbitrary differential operator. Instead of the Grothendieck-Sato isomorphism, we use the Topological Quantum Mechanics (more or less equivalent to the well-known constructions with the Massey operations from [KS], [P], [Me]). The statement that the Massey op…
▽ More
In the present paper we discuss an independent on the Grothendieck-Sato isomorphism approach to the Riemann-Roch-Hirzebruch formula for an arbitrary differential operator. Instead of the Grothendieck-Sato isomorphism, we use the Topological Quantum Mechanics (more or less equivalent to the well-known constructions with the Massey operations from [KS], [P], [Me]). The statement that the Massey operations can "produce" the integral in some set-up, has an independent from the RRH theorem interest.
We finish the paper by some open questions arising when the main construction is applied to the cyclic homology (instead of the Hochschild homology).
△ Less
Submitted 28 January, 2004;
originally announced January 2004.
-
Extended modular operad
Authors:
A. Losev,
Yu. Manin
Abstract:
This paper is a sequel to [LoMa] where moduli spaces of painted stable curves were introduced and studied. We define the extended modular operad of genus zero, algebras over this operad, and study the formal differential geometric structures related to these algebras: pencils of flat connections and Frobenius manifolds without metric. We focus here on the combinatorial aspects of the picture. Al…
▽ More
This paper is a sequel to [LoMa] where moduli spaces of painted stable curves were introduced and studied. We define the extended modular operad of genus zero, algebras over this operad, and study the formal differential geometric structures related to these algebras: pencils of flat connections and Frobenius manifolds without metric. We focus here on the combinatorial aspects of the picture. Algebraic geometric aspects are treated in [Ma2].
△ Less
Submitted 16 January, 2003; v1 submitted 1 January, 2003;
originally announced January 2003.
-
New moduli spaces of pointed curves and pencils of flat connections
Authors:
A. Losev,
Yu. Manin
Abstract:
It is well known that formal solutions to the Associativity Equations are the same as cyclic algebras over the homology operad $(H_*(\bar{M}_{0,n+1}))$ of the moduli spaces of $n$--pointed stable curves of genus zero. In this paper we establish a similar relationship between the pencils of formal flat connections (or solutions to the Commutativity Equations) and homology of a new series…
▽ More
It is well known that formal solutions to the Associativity Equations are the same as cyclic algebras over the homology operad $(H_*(\bar{M}_{0,n+1}))$ of the moduli spaces of $n$--pointed stable curves of genus zero. In this paper we establish a similar relationship between the pencils of formal flat connections (or solutions to the Commutativity Equations) and homology of a new series $\bar{L}_n$ of pointed stable curves of genus zero. Whereas $\bar{M}_{0,n+1}$ parametrizes trees of $\bold{P}^1$'s with pairwise distinct nonsingular marked points, $\bar{L}_n$ parametrizes strings of $\bold{P}^1$'s stabilized by marked points of two types. The union of all $\bar{L}_n$'s forms a semigroup rather than operad, and the role of operadic algebras is taken over by the representations of the appropriately twisted homology algebra of this union.
△ Less
Submitted 20 March, 2000; v1 submitted 1 January, 2000;
originally announced January 2000.
-
Central Extensions of Gauge Groups Revisited
Authors:
A. Losev,
G. Moore,
N. Nekrasov,
S. Shatashvili
Abstract:
We present an explicit construction for the central extension of the group $\Map(X, G)$ where $X$ is a compact manifold and $G$ is a Lie group. If $X$ is a complex curve we obtain a simple construction of the extension by the Picard variety $\Pic(X)$. The construction is easily adapted to the extension of $\Aut(E)$, the gauge group of automorphisms of a nontrivial vector bundle $E$.
We present an explicit construction for the central extension of the group $\Map(X, G)$ where $X$ is a compact manifold and $G$ is a Lie group. If $X$ is a complex curve we obtain a simple construction of the extension by the Picard variety $\Pic(X)$. The construction is easily adapted to the extension of $\Aut(E)$, the gauge group of automorphisms of a nontrivial vector bundle $E$.
△ Less
Submitted 20 December, 1995; v1 submitted 26 November, 1995;
originally announced November 1995.
-
Four-Dimensional Avatars of Two-Dimensional RCFT
Authors:
A. Losev,
G. Moore,
N. Nekrasov,
S. Shatashvili
Abstract:
We investigate a 4D analog of 2D WZW theory. The theory turns out to have surprising finiteness properties and an infinite-dimensional current algebra symmetry. Some correlation functions are determined by this symmetry. One way to define the theory systematically proceeds by the quantization of moduli spaces of holomorphic vector bundles over algebraic surfaces. We outline how one can define ve…
▽ More
We investigate a 4D analog of 2D WZW theory. The theory turns out to have surprising finiteness properties and an infinite-dimensional current algebra symmetry. Some correlation functions are determined by this symmetry. One way to define the theory systematically proceeds by the quantization of moduli spaces of holomorphic vector bundles over algebraic surfaces. We outline how one can define vertex operators in the theory. Finally, we define four-dimensional ``conformal blocks'' and present an analog of the Verlinde formula.
△ Less
Submitted 20 December, 1995; v1 submitted 27 September, 1995;
originally announced September 1995.