Showing 1–40 of 40 results for author: Lian, B H

Non-commutative resolutions as mirrors of singular Calabi--Yau varieties

Authors: Tsung-Ju Lee, Bong H. Lian, Mauricio Romo

Abstract: It has been conjectured that the hemisphere partition function arXiv:1308.2217, arXiv:1308.2438 in a gauged linear sigma model (GLSM) computes the central charge arXiv:math/0212237 of an object in the bounded derived category of coherent sheaves for Calabi--Yau (CY) manifolds. There is also evidence in arXiv:alg-geom/ 9511001, arXiv:hep-th/0007071. On the other hand, non-commutative resolutions of… ▽ More It has been conjectured that the hemisphere partition function arXiv:1308.2217, arXiv:1308.2438 in a gauged linear sigma model (GLSM) computes the central charge arXiv:math/0212237 of an object in the bounded derived category of coherent sheaves for Calabi--Yau (CY) manifolds. There is also evidence in arXiv:alg-geom/ 9511001, arXiv:hep-th/0007071. On the other hand, non-commutative resolutions of singular CY varieties have been studied in the context of abelian GLSMs arXiv:0709.3855. In this paper, we study an analogous construction of abelian GLSMs for non-commutative resolutions and propose they can be used to study a class of recently discovered mirror pairs of singular CY varieties. Our main result shows that the hemisphere partition functions (a.k.a.~$A$-periods) in the new GLSM are in fact period integrals (a.k.a.~$B$-periods) of the singular CY varieties. We conjecture that the two are completely equivalent: $B$-periods are the same as $A$-periods. We give some examples to support this conjecture and formulate some expected homological mirror symmetry (HMS) relation between the GLSM theory and the CY. As shown in arXiv:2003.07148, the $B$-periods in this case are precisely given by a certain fractional version of the $B$-series of arXiv:alg-geom/9511001. Since a hemisphere partition function is defined as a contour integral in a cone in the complexified secondary fan (or FI-theta parameter space) arXiv:1308.2438, it can be reduced to a sum of residues (by theorems of Passare-Tsikh-Zhdanov and Tsikh-Zhdanov). Our conjecture shows that this residue sum may now be amenable to computations in terms of the $B$-series. △ Less

Submitted 5 July, 2023; originally announced July 2023.

Comments: 39 pages, LaTeX

Vertex Algebras and Commutative Algebras

Authors: Bong H. Lian, Andrew R. Linshaw

Abstract: This paper begins with a brief survey of the period prior to and soon after the creation of the theory of vertex operator algebras (VOAs). This survey is intended to highlight some of the important developments leading to the creation of VOA theory. The paper then proceeds to describe progress made in the field of VOAs in the last 15 years which is based on fruitful analogies and connections betwe… ▽ More This paper begins with a brief survey of the period prior to and soon after the creation of the theory of vertex operator algebras (VOAs). This survey is intended to highlight some of the important developments leading to the creation of VOA theory. The paper then proceeds to describe progress made in the field of VOAs in the last 15 years which is based on fruitful analogies and connections between VOAs and commutative algebras. First, there are several functors from VOAs to commutative algebras that allow methods from commutative algebra to be used to solve VOA problems. To illustrate this, we present a method for describing orbifolds and cosets using methods of classical invariant theory. This was essential in the recent solution of a conjecture of Gaiotto and Rapčák that is of current interest in physics. We also recast some old conjectures in the subject in terms of commutative algebra and give some generalizations of these conjectures. We also give an overview of the theory of topological VOAs (TVOAs), with applications to BRST cohomology theory and conformal string theory, based on work in the 90's. We construct a functor from TVOAs to Batalin-Vilkovisky algebras -- supercommutative algebras equipped with a certain odd Poisson structure realized by a second order differential operator -- and present a number of interesting applications. This paper is based in part on the lecture given by the first author at the Harvard CMSA Math-Science Literature Lecture Series on May 22, 2020. △ Less

Submitted 13 November, 2024; v1 submitted 7 July, 2021; originally announced July 2021.

Comments: 77 pages, based in part on the lecture given by the first author at the Harvard CMSA Math-Science Literature Lecture Series on May 22, 2020. Minor corrections and references updated

On Calabi--Yau fractional complete intersections

Authors: Tsung-Ju Lee, Bong H. Lian, Shing-Tung Yau

Abstract: In this article, we study mirror symmetry for pairs of singular Calabi--Yau manifolds which are double covers of toric manifolds. Their period integrals can be seen as certain `fractional' analogues of those of ordinary complete intersections. This new structure can then be used to solve their Riemann--Hilbert problems. The latter can then be used to answer definitively questions about mirror symm… ▽ More In this article, we study mirror symmetry for pairs of singular Calabi--Yau manifolds which are double covers of toric manifolds. Their period integrals can be seen as certain `fractional' analogues of those of ordinary complete intersections. This new structure can then be used to solve their Riemann--Hilbert problems. The latter can then be used to answer definitively questions about mirror symmetry for this class of Calabi--Yau manifolds. △ Less

Submitted 15 February, 2022; v1 submitted 10 August, 2020; originally announced August 2020.

Comments: 21 pages. Comments are welcome! In this version, we fix some statements: (1) the statement in Theorem 0.2 was too strong; our argument shows the dimension of the solution space is equal to the dimension of the relevant cohomology group; (2) Section 1.5 is slightly modified without significant changes: we fixed the argument in Remark 1.3; (3) Corollaries in Section 2.4 are re-ordered

Mirror symmetry for double cover Calabi--Yau varieties

Authors: Shinobu Hosono, Tsung-Ju Lee, Bong H. Lian, Shing-Tung Yau

Abstract: The presented paper is a continuation of the series of papers arXiv:1810.00606 and arXiv:1903.09373. In this paper, utilizing Batyrev and Borisov's duality construction on nef-partitions, we generalize the recipe in arXiv:1810.00606 and arXiv:1903.09373 to construct a pair of singular double cover Calabi--Yau varieties $(Y,Y^{\vee})$ over toric manifolds and compute their topological Euler charact… ▽ More The presented paper is a continuation of the series of papers arXiv:1810.00606 and arXiv:1903.09373. In this paper, utilizing Batyrev and Borisov's duality construction on nef-partitions, we generalize the recipe in arXiv:1810.00606 and arXiv:1903.09373 to construct a pair of singular double cover Calabi--Yau varieties $(Y,Y^{\vee})$ over toric manifolds and compute their topological Euler characteristics and Hodge numbers. In the $3$-dimensional cases, we show that $(Y,Y^{\vee})$ forms a topological mirror pair, i.e., $h^{p,q}(Y)=h^{3-p,q}(Y^{\vee})$ for all $p,q$. △ Less

Submitted 30 November, 2020; v1 submitted 16 March, 2020; originally announced March 2020.

Comments: 22 pages. References updated. Contents in Appendix B are revised; results are unchanged. Comments are welcome!

K3 surfaces from configurations of six lines in $\mathbb{P}^2$ and mirror symmetry I

Authors: Shinobu Hosono, Bong H. Lian, Hiromichi Takagi, Shing-Tung Yau

Abstract: From the viewpoint of mirror symmetry, we revisit the hypergeometric system $E(3,6)$ for a family of K3 surfaces. We construct a good resolution of the Baily-Borel-Satake compactification of its parameter space, which admits special boundary points (LCSLs) given by normal crossing divisors. We find local isomorphisms between the $E(3,6)$ systems and the associated GKZ systems defined locally on th… ▽ More From the viewpoint of mirror symmetry, we revisit the hypergeometric system $E(3,6)$ for a family of K3 surfaces. We construct a good resolution of the Baily-Borel-Satake compactification of its parameter space, which admits special boundary points (LCSLs) given by normal crossing divisors. We find local isomorphisms between the $E(3,6)$ systems and the associated GKZ systems defined locally on the parameter space and cover the entire parameter space. Parallel structures are conjectured in general for hypergeometric system $E(n,m)$ on Grassmannians. Local solutions and mirror symmetry will be described in a companion paper \cite{HLTYpartII}, where we introduce a K3 analogue of the elliptic lambda function in terms of genus two theta functions. △ Less

Submitted 22 March, 2019; v1 submitted 1 October, 2018; originally announced October 2018.

Comments: 34 pages, 5 figures; minor changes in the notation

Differential zeros of period integrals and generalized hypergeometric functions

Authors: Jingyue Chen, An Huang, Bong H. Lian, Shing-Tung Yau

Abstract: In this paper, we study the zero loci of local systems of the form $δΠ$, where $Π$ is the period sheaf of the universal family of CY hypersurfaces in a suitable ambient space $X$, and $δ$ is a given differential operator on the space of sections $V^\vee=Γ(X,K_X^{-1})$. Using earlier results of three of the authors and their collaborators, we give several different descriptions of the zero locus of… ▽ More In this paper, we study the zero loci of local systems of the form $δΠ$, where $Π$ is the period sheaf of the universal family of CY hypersurfaces in a suitable ambient space $X$, and $δ$ is a given differential operator on the space of sections $V^\vee=Γ(X,K_X^{-1})$. Using earlier results of three of the authors and their collaborators, we give several different descriptions of the zero locus of $δΠ$. As applications, we prove that the locus is algebraic and in some cases, non-empty. We also give an explicit way to compute the polynomial defining equations of the locus in some cases. This description gives rise to a natural stratification to the zero locus. △ Less

Submitted 4 November, 2018; v1 submitted 3 September, 2017; originally announced September 2017.

Comments: 35 pages, minor corrections made

On the hyperplane conjecture for periods of Calabi-Yau hypersurfaces in $\mathbb P^n$

Authors: Bong H. Lian, Minxian Zhu

Abstract: In [HLY1], Hosono, Lian, and Yau posed a conjecture characterizing the set of solutions to certain Gelfand-Kapranov-Zelevinsky hypergeometric equations which are realized as periods of Calabi-Yau hypersurfaces in a Gorenstein Fano toric variety $X$. We prove this conjecture in the case where $X$ is a complex projective space. In [HLY1], Hosono, Lian, and Yau posed a conjecture characterizing the set of solutions to certain Gelfand-Kapranov-Zelevinsky hypergeometric equations which are realized as periods of Calabi-Yau hypersurfaces in a Gorenstein Fano toric variety $X$. We prove this conjecture in the case where $X$ is a complex projective space. △ Less

Submitted 23 October, 2016; originally announced October 2016.

Comments: 30 pages

MSC Class: 14M25; 14J33

Holonomic Systems for Period Mappings

Authors: Jingyue Chen, An Huang, Bong H. Lian

Abstract: Period mappings were introduced in the sixties [G] to study variation of complex structures of families of algebraic varieties. The theory of tautological systems was introduced recently [LSY,LY] to understand period integrals of algebraic manifolds. In this paper, we give an explicit construction of a tautological system for each component of a period mapping. Period mappings were introduced in the sixties [G] to study variation of complex structures of families of algebraic varieties. The theory of tautological systems was introduced recently [LSY,LY] to understand period integrals of algebraic manifolds. In this paper, we give an explicit construction of a tautological system for each component of a period mapping. △ Less

Submitted 3 September, 2017; v1 submitted 16 December, 2015; originally announced December 2015.

Comments: 15 pages

Journal ref: Nuc. Phys. B. Vol 898, 693-706, 2015

Chain Integral Solutions to Tautological Systems

Authors: An Huang, Bong H. Lian, Shing-Tung Yau, Xinwen Zhu

Abstract: We give a new geometrical interpretation of the local analytic solutions to a differential system, which we call a tautological system $τ$, arising from the universal family of Calabi-Yau hypersurfaces $Y_a$ in a $G$-variety $X$ of dimension $n$. First, we construct a natural topological correspondence between relative cycles in $H_n(X-Y_a,\cup D-Y_a)$ bounded by the union of $G$-invariant divisor… ▽ More We give a new geometrical interpretation of the local analytic solutions to a differential system, which we call a tautological system $τ$, arising from the universal family of Calabi-Yau hypersurfaces $Y_a$ in a $G$-variety $X$ of dimension $n$. First, we construct a natural topological correspondence between relative cycles in $H_n(X-Y_a,\cup D-Y_a)$ bounded by the union of $G$-invariant divisors $\cup D$ in $X$ to the solution sheaf of $τ$, in the form of chain integrals. Applying this to a toric variety with torus action, we show that in addition to the period integrals over cycles in $Y_a$, the new chain integrals generate the full solution sheaf of a GKZ system. This extends an earlier result for hypersurfaces in a projective homogeneous variety, whereby the chains are cycles. In light of this result, the mixed Hodge structure of the solution sheaf is now seen as the MHS of $H_n(X-Y_a,\cup D-Y_a)$. In addition, we generalize the result on chain integral solutions to the case of general type hypersurfaces. This chain integral correspondence can also be seen as the Riemann-Hilbert correspondence in one homological degree. Finally, we consider interesting cases in which the chain integral correspondence possibly fails to be bijective. △ Less

Submitted 5 August, 2015; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: Revision made and references added

MSC Class: 14D07

CY Principal Bundles over Compact Kähler Manifolds

Authors: Jingyue Chen, Bong H. Lian

Abstract: A CY bundle on a connected compact complex manifold $X$ was a crucial ingredient in constructing differential systems for period integrals in [LY], by lifting line bundles from the base $X$ to the total space. A question was therefore raised as to whether there exists such a bundle that supports the liftings of all line bundles from $X$, simultaneously. This was a key step for giving a uniform con… ▽ More A CY bundle on a connected compact complex manifold $X$ was a crucial ingredient in constructing differential systems for period integrals in [LY], by lifting line bundles from the base $X$ to the total space. A question was therefore raised as to whether there exists such a bundle that supports the liftings of all line bundles from $X$, simultaneously. This was a key step for giving a uniform construction of differential systems for arbitrary complete intersections in $X$. In this paper, we answer the existence question in the affirmative if $X$ is assumed to be Kähler, and also in general if the Picard group of $X$ is assumed to be discrete. Furthermore, we prove a rigidity property of CY bundles if the principal group is an algebraic torus, showing that such a CY bundle is essentially determined by its character map. △ Less

Submitted 11 November, 2016; v1 submitted 10 November, 2014; originally announced November 2014.

Comments: 29 pages

Period Integrals and the Riemann-Hilbert Correspondence

Authors: An Huang, Bong H. Lian, Xinwen Zhu

Abstract: A tautological system, introduced in [16][17], arises as a regular holonomic system of partial differential equations that govern the period integrals of a family of complete intersections in a complex manifold $X$, equipped with a suitable Lie group action. A geometric formula for the holonomic rank of such a system was conjectured in [4], and was verified for the case of projective homogeneous s… ▽ More A tautological system, introduced in [16][17], arises as a regular holonomic system of partial differential equations that govern the period integrals of a family of complete intersections in a complex manifold $X$, equipped with a suitable Lie group action. A geometric formula for the holonomic rank of such a system was conjectured in [4], and was verified for the case of projective homogeneous space under an assumption. In this paper, we prove this conjecture in full generality. By means of the Riemann-Hilbert correspondence and Fourier transforms, we also generalize the rank formula to an arbitrary projective manifold with a group action. △ Less

Submitted 25 October, 2014; v1 submitted 11 March, 2013; originally announced March 2013.

Comments: 44 pages; revisions made, new results added

MSC Class: 14D07

On the Holonomic Rank Problem

Authors: Spencer Bloch, An Huang, Bong H. Lian, Vasudevan Srinivas, Shing-Tung Yau

Abstract: A tautological system, introduced in \cite{LSY}\cite{LY}, arises as a regular holonomic system of partial differential equations that govern the period integrals of a family of complete intersections in a complex manifold $X$, equipped with a suitable Lie group action. In this article, we introduce two formulas -- one purely algebraic, the other geometric -- to compute the rank of the solution she… ▽ More A tautological system, introduced in \cite{LSY}\cite{LY}, arises as a regular holonomic system of partial differential equations that govern the period integrals of a family of complete intersections in a complex manifold $X$, equipped with a suitable Lie group action. In this article, we introduce two formulas -- one purely algebraic, the other geometric -- to compute the rank of the solution sheaf of such a system for CY hypersurfaces in a generalized flag variety. The algebraic version gives the local solution space as a Lie algebra homology group, while the geometric one as the middle de Rham cohomology of the complement of a hyperplane section in $X$. We use both formulas to find certain degenerate points for which the rank of the solution sheaf becomes 1. These rank 1 points appear to be good candidates for the so-called large complex structure limits in mirror symmetry. The formulas are also used to prove a conjecture of Hosono, Lian and Yau on the completeness of the extended GKZ system when $X$ is $¶^n$. △ Less

Submitted 18 February, 2013; originally announced February 2013.

Comments: 36 pages

MSC Class: 14D07

Period Integrals of CY and General Type Complete Intersections

Authors: Bong H. Lian, Shing-Tung Yau

Abstract: We develop a global Poincaré residue formula to study period integrals of families of complex manifolds. For any compact complex manifold $X$ equipped with a linear system $V^*$ of generically smooth CY hypersurfaces, the formula expresses period integrals in terms of a canonical global meromorphic top form on $X$. Two important ingredients of our construction are the notion of a CY principal bund… ▽ More We develop a global Poincaré residue formula to study period integrals of families of complex manifolds. For any compact complex manifold $X$ equipped with a linear system $V^*$ of generically smooth CY hypersurfaces, the formula expresses period integrals in terms of a canonical global meromorphic top form on $X$. Two important ingredients of our construction are the notion of a CY principal bundle, and a classification of such rank one bundles. We also generalize our construction to CY and general type complete intersections. When $X$ is an algebraic manifold having a sufficiently large automorphism group $G$ and $V^*$ is a linear representation of $G$, we construct a holonomic D-module that governs the period integrals. The construction is based in part on the theory of tautological systems we have developed in the paper \cite{LSY1}, joint with R. Song. The approach allows us to explicitly describe a Picard-Fuchs type system for complete intersection varieties of general types, as well as CY, in any Fano variety, and in a homogeneous space in particular. In addition, the approach provides a new perspective of old examples such as CY complete intersections in a toric variety or partial flag variety. △ Less

Submitted 22 April, 2019; v1 submitted 24 May, 2011; originally announced May 2011.

Comments: An erratum is included to correct Theorem 3.12 (Uniqueness of CY structure)

MSC Class: 37K30

Journal ref: Invent. Math. Vol. 191, 1 (2013) 35-89

Period Integrals and Tautological Systems

Authors: Bong H. Lian, Ruifang Song, Shing-Tung Yau

Abstract: We study period integrals of CY hypersurfaces in a partial flag variety. We construct a holonomic system of differential equations which govern the period integrals. By means of representation theory, a set of generators of the system can be described explicitly. The results are also generalized to CY complete intersections. The construction of these new systems of differential equations have lead… ▽ More We study period integrals of CY hypersurfaces in a partial flag variety. We construct a holonomic system of differential equations which govern the period integrals. By means of representation theory, a set of generators of the system can be described explicitly. The results are also generalized to CY complete intersections. The construction of these new systems of differential equations have lead us to the notion of a tautological system. △ Less

Submitted 15 May, 2012; v1 submitted 15 May, 2011; originally announced May 2011.

Comments: 34 pages; minor mistakes corrected; an example added; Theorem 3.4 is sharpened; a brief discussion of holonomic rank is added in section 7

Picard-Fuchs Equations for Relative Periods and Abel-Jacobi Map for Calabi-Yau Hypersurfaces

Authors: Si Li, Bong H. Lian, Shing-Tung Yau

Abstract: We study the variation of relative cohomology for a pair consisting of a smooth projective hypersurface and an algebraic subvariety in it. We construct an inhomogeneous Picard-Fuchs equation by applying a Picard-Fuchs operator to the holomorphic top form on a toric Calabi-Yau hypersurface, and deriving a general formula for the $d$-exact form on one side of the equation. We also derive a double… ▽ More We study the variation of relative cohomology for a pair consisting of a smooth projective hypersurface and an algebraic subvariety in it. We construct an inhomogeneous Picard-Fuchs equation by applying a Picard-Fuchs operator to the holomorphic top form on a toric Calabi-Yau hypersurface, and deriving a general formula for the $d$-exact form on one side of the equation. We also derive a double residue formula, giving a purely algebraic way to compute the inhomogeneous Picard-Fuchs equations for Abel-Jacobi map, which has played an important role in recent study of D-branes [25]. Using the variation formalism, we prove that the relative periods of toric B-branes on a toric Calabi-Yau hypersurface satisfy the enhanced GKZ-hypergeometric system proposed in physics literature [6], and discuss the relations between the works [25] [21] [6] in recent study of open string mirror symmetry. We also give the general solutions to the enhanced hypergeometric system. △ Less

Submitted 21 October, 2009; originally announced October 2009.

Comments: 31 pages

MSC Class: 14M25

Chiral Equivariant Cohomology III

Authors: Bong H. Lian, Andrew R. Linshaw, Bailin Song

Abstract: This is the third of a series of papers on a new equivariant cohomology that takes values in a vertex algebra, and contains and generalizes the classical equivariant cohomology of a manifold with a Lie group action a la H. Cartan. In this paper, we compute this cohomology for spheres and show that for any simple connected group G, there is a sphere with infinitely many actions of G which have dist… ▽ More This is the third of a series of papers on a new equivariant cohomology that takes values in a vertex algebra, and contains and generalizes the classical equivariant cohomology of a manifold with a Lie group action a la H. Cartan. In this paper, we compute this cohomology for spheres and show that for any simple connected group G, there is a sphere with infinitely many actions of G which have distinct chiral equivariant cohomology, but identical classical equivariant cohomology. Unlike the classical case, the description of the chiral equivariant cohomology of spheres requires a substantial amount of new structural theory, which we fully develop in this paper. This includes a quasi-conformal structure, equivariant homotopy invariance, and the values of this cohomology on homogeneous spaces. These results rely on crucial features of the underlying vertex algebra valued complex that have no classical analogues. △ Less

Submitted 26 August, 2010; v1 submitted 2 May, 2007; originally announced May 2007.

Comments: Final version

Journal ref: American J. Math. vol. 132, no. 6 (2010), 1549-1590

Genus Zero Modular Functions

Authors: Bong H. Lian, Joshua L. Wiczer

Abstract: This project was sponsored through the Schiff Fellowship program of Brandeis University. This project involved using the power series method to construct a third order nonlinear ordinary differential equation, a Schwarzian equation, for each of the "genus zero" modular functions, described in the Conway-Norton paper. We first use the Borcherd recursion formuli to generate, in each case, a modula… ▽ More This project was sponsored through the Schiff Fellowship program of Brandeis University. This project involved using the power series method to construct a third order nonlinear ordinary differential equation, a Schwarzian equation, for each of the "genus zero" modular functions, described in the Conway-Norton paper. We first use the Borcherd recursion formuli to generate, in each case, a modular function up to whatever degree we desire, and then use the fact that there is a Schwarzian equation, determined by a single rational function we call a Q-value. By similar power series methods, we compute the coefficients of our rational function, and hence have all the necessary data to create a Schwarzian differential equation for each modular function. This equation can, in turn, be used to recover the modular function itself. △ Less

Submitted 9 November, 2006; originally announced November 2006.

Comments: 22 pages, LaTeX

MSC Class: 11F03

Chiral Equivariant Cohomology II

Authors: Bong H. Lian, Andrew R. Linshaw, Bailin Song

Abstract: This is the second in a series of papers on a new equivariant cohomology that takes values in a vertex algebra. In an earlier paper, the first two authors gave a construction of the cohomology functor on the category of O(sg) algebras. The new cohomology theory can be viewed as a kind of "chiralization'' of the classical equivariant cohomology, the latter being defined on the category of G^* alg… ▽ More This is the second in a series of papers on a new equivariant cohomology that takes values in a vertex algebra. In an earlier paper, the first two authors gave a construction of the cohomology functor on the category of O(sg) algebras. The new cohomology theory can be viewed as a kind of "chiralization'' of the classical equivariant cohomology, the latter being defined on the category of G^* algebras a la H. Cartan. In this paper, we further develop the chiral theory by first extending it to allow a much larger class of algebras which we call sg[t] algebras. In the geometrical setting, our principal example of an O(sg) algebra is the chiral de Rham complex Q(M) of a G manifold M. There is an interesting subalgebra of Q(M) which does not admit a full O(sg) algebra structure but retains the structure of an sg[t] algebra, enough for us to define its chiral equivariant cohomology. The latter then turns out to have many surprising features that allows us to delineate a number of interesting geometric aspects of the G manifold M, sometimes in ways that are quite different from the classical theory. △ Less

Submitted 9 April, 2008; v1 submitted 9 July, 2006; originally announced July 2006.

Comments: A few typos corrected, final version

Journal ref: Trans. Am. Math. Soc. 360 (2008), 4739-4776

Howe Pairs in the Theory of Vertex Algebras

Authors: Bong H. Lian, Andrew R. Linshaw

Abstract: For any vertex algebra V and any subalgebra A of V, there is a new subalgebra of V known as the commutant of A in V. This construction was introduced by Frenkel-Zhu, and is a generalization of an earlier construction due to Kac-Peterson and Goddard-Kent-Olive known as the coset construction. In this paper, we interpret the commutant as a vertex algebra notion of invariant theory. We present an a… ▽ More For any vertex algebra V and any subalgebra A of V, there is a new subalgebra of V known as the commutant of A in V. This construction was introduced by Frenkel-Zhu, and is a generalization of an earlier construction due to Kac-Peterson and Goddard-Kent-Olive known as the coset construction. In this paper, we interpret the commutant as a vertex algebra notion of invariant theory. We present an approach to describing commutant algebras in an appropriate category of vertex algebras by reducing the problem to a question in commutative algebra. We give an interesting example of a Howe pair (ie, a pair of mutual commutants) in the vertex algebra setting. △ Less

Submitted 26 November, 2007; v1 submitted 7 May, 2006; originally announced May 2006.

Comments: A few typos corrected, final version

Journal ref: J. Algebra 317, 111-152 (2007)

A Convexity Theorem and Reduced Delzant Spaces

Authors: Bong H. Lian, Bailin Song

Abstract: The convexity theorem of Atiyah and Guillemin-Sternberg says that any connected compact manifold with Hamiltonian torus action has a moment map whose image is the convex hull of the image of the fixed point set. Sjamaar-Lerman proved that the Marsden-Weinstein reduction of a connected Hamitonian $G$-manifold is a stratified symplectic space. Suppose $1\ra A\ra G\ra T\ra 1$ is an exact sequence o… ▽ More The convexity theorem of Atiyah and Guillemin-Sternberg says that any connected compact manifold with Hamiltonian torus action has a moment map whose image is the convex hull of the image of the fixed point set. Sjamaar-Lerman proved that the Marsden-Weinstein reduction of a connected Hamitonian $G$-manifold is a stratified symplectic space. Suppose $1\ra A\ra G\ra T\ra 1$ is an exact sequence of compact Lie groups and $T$ is a torus. Then the reduction of a Hamiltonian $G$-manifold with respect to $A$ yields a Hamiltonian $T$-space. We show that if the $A$-moment map is proper, then the convexity theorem holds for such a Hamiltonian $T$-space, even when it is singular. We also prove that if, furthermore, the $T$-space has dimension $2dim T$ and $T$ acts effectively, then the moment polytope is sufficient to essentially distinguish their homeomorphism type, though not their diffeomorphism types. This generalizes a theorem of Delzant in the smooth case. △ Less

Submitted 27 February, 2007; v1 submitted 19 September, 2005; originally announced September 2005.

Comments: 43 pages; a few corrections made

MSC Class: 53D20 (Primary); 14M25 (Secondary)

Chiral Equivariant Cohomology I

Authors: Bong H. Lian, Andrew R. Linshaw

Abstract: 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 main idea in this paper is to synthesize the algebraic approach to classical equ… ▽ More 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 main idea in this paper is to synthesize the algebraic approach to classical equivariant cohomology due to H. Cartan, with the theory of differential vertex algebras, by using an appropriate notion of invariant theory. We also construct the vertex algebra analogues of the Mathai-Quillen isomorphism, the Weil and the Cartan models for equivariant cohomology, and the Chern-Weil map. We give interesting cohomology classes in the new theory that have no classical analogues. △ Less

Submitted 10 July, 2006; v1 submitted 6 January, 2005; originally announced January 2005.

Comments: 76 pages, final version, to appear in Advances in Mathematics

Journal ref: Adv. Math. 209, 99-161 (2007)

Counting Unimodular Lattices in $\R^{r,s}$

Authors: Shinobu Hosono, Bong H. Lian, Keiji Oguiso, Shing-Tung Yau

Abstract: Narain lattices are unimodular lattices {\it in} $\R^{r,s}$, subject to certain natural equivalence relation and rationality condition. The problem of describing and counting these rational equivalence classes of Narain lattices in $\R^{2,2}$ has led to an interesting connection to binary forms and their Gauss products, as shown in [HLOYII]. As a sequel, in this paper, we study arbitrary rationa… ▽ More Narain lattices are unimodular lattices {\it in} $\R^{r,s}$, subject to certain natural equivalence relation and rationality condition. The problem of describing and counting these rational equivalence classes of Narain lattices in $\R^{2,2}$ has led to an interesting connection to binary forms and their Gauss products, as shown in [HLOYII]. As a sequel, in this paper, we study arbitrary rational Narain lattices and generalize some of our earlier results. In particular in the case of $\R^{2,2}$, a new interpretation of the Gauss product of binary forms brings new light to a number of related objects -- rank 4 rational Narain lattices, over-lattices, rank 2 primitive sublattices of an abstract rank 4 even unimodular lattice $U^2$, and isomorphisms of discriminant groups of rank 2 lattices. △ Less

Submitted 9 January, 2003; originally announced January 2003.

Comments: TeX, 10pp; uncomment \listtoc and \writetoc to get table of contents

Fourier-Mukai partners of a K3 surface of Picard number one

Authors: Shinobu Hosono, Bong H. Lian, Keiji Oguiso, Shing-Tung Yau

Abstract: We shall give a complete geometrical description of the FM partners of a K3 surface of Picard number 1 and its applications. We shall give a complete geometrical description of the FM partners of a K3 surface of Picard number 1 and its applications. △ Less

Submitted 22 November, 2002; v1 submitted 16 November, 2002; originally announced November 2002.

Comments: AMS-TeX, 13pages, contribution to the proceedings for Conference On Hilbert Schemes, Vector Bundles And Their Interplay With Representation Theory, Columbia, Missouri. Contemp. Math. (to apear); a reference added

MSC Class: 14J28

c=2 Rational Toroidal Conformal Field Theories via the Gauss Product

Authors: Shinobu Hosono, Bong H. Lian, Keiji Oguiso, Shing-Tung Yau

Abstract: We find a concise relation between the moduli $τ, ρ$ of a rational Narain lattice $Γ(τ,ρ)$ and the corresponding momentum lattices of left and right chiral algebras via the Gauss product. As a byproduct, we find an identity which counts the cardinality of a certain double coset space defined for isometries between the discriminant forms of rank two lattices. We find a concise relation between the moduli $τ, ρ$ of a rational Narain lattice $Γ(τ,ρ)$ and the corresponding momentum lattices of left and right chiral algebras via the Gauss product. As a byproduct, we find an identity which counts the cardinality of a certain double coset space defined for isometries between the discriminant forms of rank two lattices. △ Less

Submitted 2 May, 2003; v1 submitted 24 November, 2002; originally announced November 2002.

Comments: AMS-TeX, 45 pages; title changed, minor errors corrected, acknowledgement added

Journal ref: Commun.Math.Phys.241:245-286,2003

Kummer structures on a K3 surface - An old question of T. Shioda

Authors: Shinobu Hosono, Bong H. Lian, Keiji Oguiso, Shing-Tung Yau

Abstract: We apply our earlier results on Fourier-Mukai partners to answer definitively a question about Kummer surface structures, posed by T. Shioda 25 years ago. We apply our earlier results on Fourier-Mukai partners to answer definitively a question about Kummer surface structures, posed by T. Shioda 25 years ago. △ Less

Submitted 18 October, 2002; v1 submitted 9 February, 2002; originally announced February 2002.

Comments: AMS-LaTeX 10 pages; appendix added

MSC Class: 14J28

Fourier-Mukai number of a K3 surface

Authors: Shinobu Hosono, Bong H. Lian, Keiji Oguiso, Shing-Tung Yau

Abstract: We shall give a Counting Formula for the number of Fourier-Mukai partners of a K3 surface and consider three applications. We shall give a Counting Formula for the number of Fourier-Mukai partners of a K3 surface and consider three applications. △ Less

Submitted 3 November, 2003; v1 submitted 1 February, 2002; originally announced February 2002.

Comments: AMS LaTeX, 16 pages; title changed, submitted to the proceedings of "Workshop on Algebraic Structures and Moduli Spaces" (Jul.14-20,2003 at CRM, Montreal)

MSC Class: 14J28; 11R29; 11A41

Autoequivalences of Derived Category of A K3 Surface and Monodromy Transformations

Authors: Shinobu Hosono, Bong H. Lian, Keiji Oguiso, Shing-Tung Yau

Abstract: We consider autoequivalences of the bounded derived category of coherent sheaves on a K3 surface. We prove that the image of the autoequivalences has index at most two in the group of the Hodge isometries of the Mukai lattice. Motivated by homological mirror symmetry we also consider the mirror counterpart, i.e. symplectic version of it. In the case of $ρ(X)=1$, we find an explicit formula which… ▽ More We consider autoequivalences of the bounded derived category of coherent sheaves on a K3 surface. We prove that the image of the autoequivalences has index at most two in the group of the Hodge isometries of the Mukai lattice. Motivated by homological mirror symmetry we also consider the mirror counterpart, i.e. symplectic version of it. In the case of $ρ(X)=1$, we find an explicit formula which reproduces the number of Fourier-Mukai (FM) partners from the monodromy problem of the mirror K3 family. We present an explicit example in which a monodromy action does not come from an autoequivalence of the mirror side. △ Less

Submitted 9 February, 2002; v1 submitted 7 January, 2002; originally announced January 2002.

Comments: AMSTeX, 27 pages, 2 figures; reference added, and minor corrections made

MSC Class: 14J28

The $S^1$ fixed points in Quot-schemes and mirror principle computations

Authors: Bong H. Lian, Chien-Hao Liu, Kefeng Liu, Shing-Tung Yau

Abstract: We describe the $S^1$-action on the Quot-scheme $\Quot({\cal E}^n)$ associated to the trivial bundle ${\cal E}^n=CP^1\times{\smallBbb C}^n$. In particlular, the topology of the $S^1$-fixed-point components in $\Quot({\cal E}^n)$ and the $S^1$-weights of the normal bundle of these components are worked out. Mirror Principle, as developed by three of the current authors in the series of work [L-L-… ▽ More We describe the $S^1$-action on the Quot-scheme $\Quot({\cal E}^n)$ associated to the trivial bundle ${\cal E}^n=CP^1\times{\smallBbb C}^n$. In particlular, the topology of the $S^1$-fixed-point components in $\Quot({\cal E}^n)$ and the $S^1$-weights of the normal bundle of these components are worked out. Mirror Principle, as developed by three of the current authors in the series of work [L-L-Y1, I, II, III, IV], is a method for studying certain intersection numbers on a stable map moduli space. As an application, in Mirror Principle III, Sec 5.4, an outline was given in the case of genus zero with target a flag manifold. The results on $S^1$ fixed points in this paper are used here to do explicit Mirror Principle computations in the case of Grassmannian manifolds. In fact, Mirror Principle computations involve only a certain distinguished subcollection of the $S^1$-fixed-point components. These components are identified and are labelled by Young tableaus. The $S^1$-equivariant Euler class $e_{S^1}$ of the normal bundle to these components is computed. A diagrammatic rule that allows one to write down $e_{S^1}$ directly from the Young tableau is given. From this, the aforementioned intersection numbers on the moduli space of stable maps can be worked out. Two examples are given to illustrate our method. Using our method, the A-model for Calabi-Yau complete intersections in a Grassmannian manifold can now also be computed explicitly. This work is motivated by the intention to provide further details of mirror principle and to understand the relation to physical theory. Some related questions are listed for further study. △ Less

Submitted 23 November, 2001; originally announced November 2001.

Comments: 39 pages with 6 figures

A Survey of Mirror Principle

Authors: Bong H. Lian, Kefeng Liu, Shing-Tung Yau

Abstract: This note briefly reviews the {\it Mirror Principle} as developed in the series of papers \LLYI\LLYII\LLYIII\LLYIV\LCHY. We illustrate this theory with a few new examples. One of them gives an intriguing connection to a problem of counting holomorphic disks and annuli. This note has been submitted for the proceedings of the Workshop on Strings, Duality and Geometry the C.R.M. in Montreal of Marc… ▽ More This note briefly reviews the {\it Mirror Principle} as developed in the series of papers \LLYI\LLYII\LLYIII\LLYIV\LCHY. We illustrate this theory with a few new examples. One of them gives an intriguing connection to a problem of counting holomorphic disks and annuli. This note has been submitted for the proceedings of the Workshop on Strings, Duality and Geometry the C.R.M. in Montreal of March 2000. △ Less

Submitted 6 October, 2000; originally announced October 2000.

Comments: 11 pages plain TeX

Maximal Unipotent Monodromy for Complete Intersection CY Manifolds

Authors: Bong H. Lian, Andrey Todorov, Shing-Tung Yau

Abstract: The computations that are suggested by String Theory in the B model requires the existence of degenerations of CY manifolds with maximum unipotent monodromy. In String Theory such a point in the moduli space is called a large radius limit (or large complex structure limit). In this paper we are going to construct one parameter families of $n$ dimensional Calabi-Yau manifolds, which are complete… ▽ More The computations that are suggested by String Theory in the B model requires the existence of degenerations of CY manifolds with maximum unipotent monodromy. In String Theory such a point in the moduli space is called a large radius limit (or large complex structure limit). In this paper we are going to construct one parameter families of $n$ dimensional Calabi-Yau manifolds, which are complete intersections in toric varieties and which have a monodromy operator $T$ such that (T$^{N}-id)^{n+1}=0$ but (T$^{N}-id)^{n}\neq0,$ i.e the monodromy operator is maximal unipotent. △ Less

Submitted 8 August, 2000; originally announced August 2000.

Comments: Latex 33 pages

Mirror Principle IV

Authors: Bong H. Lian, Kefeng Liu, Shing-Tung Yau

Abstract: This is a continuation of "Mirror Principle III"(math.AG/9912038). This is a continuation of "Mirror Principle III"(math.AG/9912038). △ Less

Submitted 2 May, 2001; v1 submitted 17 July, 2000; originally announced July 2000.

Comments: 23 pages, plain tex; uncomment listtoc and writetoc to get table of content; typos corrected

A reconstruction of Euler data

Authors: Bong H. Lian, Chien-Hao Liu, Shing-Tung Yau

Abstract: We apply the mirror principle of [L-L-Y] to reconstruct the Euler data $Q=\{Q_d\}_{d\in{\tinyBbb N}\cup\{0\}}$ associated to a vector bundle $V$ on ${\smallBbb C}{\rm P}^n$ and a multiplicative class $b$. This gives a direct way to compute the intersection number $K_d$ without referring to any other Euler data linked to $Q$. Here $K_d$ is the integral of the cohomology class $b(V_d)$ of the indu… ▽ More We apply the mirror principle of [L-L-Y] to reconstruct the Euler data $Q=\{Q_d\}_{d\in{\tinyBbb N}\cup\{0\}}$ associated to a vector bundle $V$ on ${\smallBbb C}{\rm P}^n$ and a multiplicative class $b$. This gives a direct way to compute the intersection number $K_d$ without referring to any other Euler data linked to $Q$. Here $K_d$ is the integral of the cohomology class $b(V_d)$ of the induced bundle $V_d$ on a stable map moduli space. A package '{\tt \verb+EulerData_MP.m+}' in Maple V that carries out the actual computation is provided. For $b$ the Chern polynomial, the computation of $K_1$ for the bundle $V=T_{\ast}{\smallBbb C}{\rm P}^2$, and $K_d$, $d=1,2,3$, for the bundles ${\cal O}_{{\tinyBbb C}{\rm P}^4}(l)$ with $6\le l\le 10$ done using the code are also included. △ Less

Submitted 12 March, 2000; originally announced March 2000.

Comments: 41 pages; a Maple code is included

Mirror Principle II

Authors: Bong H. Lian, Kefeng Liu, S. T. Yau

Abstract: We generalize our theorems in "Mirror Principle I" to a class of balloon manifolds. Many of the results are proved for convex projective manifolds. In a subsequent paper, Mirror Principle III, we will extend the results to projective manifolds without the convexity assumption. We generalize our theorems in "Mirror Principle I" to a class of balloon manifolds. Many of the results are proved for convex projective manifolds. In a subsequent paper, Mirror Principle III, we will extend the results to projective manifolds without the convexity assumption. △ Less

Submitted 2 May, 1999; originally announced May 1999.

Comments: plain tex. appearing in Asian J. Math, March 99

Calabi-Yau Varieties and Pencils of K3 Surfaces

Authors: S. Hosono, B. H. Lian, S. -T. Yau

Abstract: In this note, we give a list of Calabi-Yau hypersurfaces in weighted projective 4-spaces with the property that a hypersurface contains naturally a pencil of K3 variety. For completeness we also obtain a similar list in the case K3 hypersurfaces in weighted projective 3-spaces. The first list significantly enlarges the list of K3-fibrations of \KlemmLercheMayr~ which has been obtained on some as… ▽ More In this note, we give a list of Calabi-Yau hypersurfaces in weighted projective 4-spaces with the property that a hypersurface contains naturally a pencil of K3 variety. For completeness we also obtain a similar list in the case K3 hypersurfaces in weighted projective 3-spaces. The first list significantly enlarges the list of K3-fibrations of \KlemmLercheMayr~ which has been obtained on some assumptions on the weights. Our lists are expected to correspond to examples of the so-called heterotic-type II duality \KachruVafa\KachruSilverstein. △ Less

Submitted 31 March, 1996; v1 submitted 24 March, 1996; originally announced March 1996.

Comments: 26 pages, harvmac; minor corrections, PlainTeX

Maximal Degeneracy Points of GKZ Systems

Authors: S. Hosono, B. H. Lian, S. -T. Yau

Abstract: Motivated by mirror symmetry, we study certain integral representations of solutions to the Gel'fand-Kapranov-Zelevinsky(GKZ) hypergeometric system. Some of these solutions arise as period integrals for Calabi-Yau manifolds in mirror symmetry. We prove that for a suitable compactification of the parameter space, there exists certain special boundary points, which we called maximal degeneracy poi… ▽ More Motivated by mirror symmetry, we study certain integral representations of solutions to the Gel'fand-Kapranov-Zelevinsky(GKZ) hypergeometric system. Some of these solutions arise as period integrals for Calabi-Yau manifolds in mirror symmetry. We prove that for a suitable compactification of the parameter space, there exists certain special boundary points, which we called maximal degeneracy points, at which all but one solutions become singular. △ Less

Submitted 19 November, 1996; v1 submitted 18 March, 1996; originally announced March 1996.

Comments: 23 pages, revised version to appear in JAMS

GKZ-Generalized Hypergeometric Systems in Mirror Symmetry of Calabi-Yau Hypersurfaces

Authors: S. Hosono, B. H. Lian, S. -T. Yau

Abstract: We present a detailed study of the generalized hypergeometric system introduced by Gel'fand, Kapranov and Zelevinski (GKZ-hypergeometric system) in the context of toric geometry. GKZ systems arise naturally in the moduli theory of Calabi-Yau toric varieties, and play an important role in applications of the mirror symmetry. We find that the Gröbner basis for the so-called toric ideal determines… ▽ More We present a detailed study of the generalized hypergeometric system introduced by Gel'fand, Kapranov and Zelevinski (GKZ-hypergeometric system) in the context of toric geometry. GKZ systems arise naturally in the moduli theory of Calabi-Yau toric varieties, and play an important role in applications of the mirror symmetry. We find that the Gröbner basis for the so-called toric ideal determines a finite set of differential operators for the local solutions of the GKZ system. At the special point called the large radius limit, we find a close relationship between the principal parts of the operators in the GKZ system and the intersection ring of a toric variety. As applications, we analyze general three dimensional hypersurfaces of Fermat and non-Fermat types with Hodge numbers up to $h^{1,1}=3$. We also find and analyze several non Landau-Ginzburg models which are related to singular models. △ Less

Submitted 1 November, 1995; originally announced November 1995.

Comments: 55 pages, 3 Postscript figures, harvmac

Journal ref: Commun.Math.Phys. 182 (1996) 535-578

Moonshine Cohomology

Authors: Bong H. Lian, Gregg J. Zuckerman

Abstract: We construct a new cohomology functor from the a certain category of {\it quantum operator algebras} to the category of {\it Batalin-Vilkovisky algebras}. This {\it Moonshine cohomology} has, as a group of natural automorphisms, the Fischer-Griess Monster finite group. We prove a general vanishing theorem for this cohomology. For a certain commutative QOA attached to a rank two hyperbolic lattic… ▽ More We construct a new cohomology functor from the a certain category of {\it quantum operator algebras} to the category of {\it Batalin-Vilkovisky algebras}. This {\it Moonshine cohomology} has, as a group of natural automorphisms, the Fischer-Griess Monster finite group. We prove a general vanishing theorem for this cohomology. For a certain commutative QOA attached to a rank two hyperbolic lattice, we show that the degree one cohomology is isomorphic to the so-called Lie algebra of physical states. In the case of a rank two unimodular lattice, the degree one cohomology gives a new construction of Borcherd's Monster Lie algebra. As applications, we compute the graded dimensions and signatures of this cohomology as a hermitean Lie algebra graded by a hyperbolic lattice. In the first half of this paper, we give as preparations an exposition of the theory of quantum operator algebras. Some of the results here were announced in lectures given by the first author at the Research Institute for Mathematical Sciences in Kyoto in September 94. △ Less

Submitted 13 January, 1995; originally announced January 1995.

Comments: 29 pages, Latex

Commutative Quantum Operator Algebras

Authors: Bong H. Lian, Gregg J. Zuckerman

Abstract: A key notion bridging the gap between {\it quantum operator algebras} \cite{LZ10} and {\it vertex operator algebras} \cite{Bor}\cite{FLM} is the definition of the commutativity of a pair of quantum operators (see section 2 below). This is not commutativity in any ordinary sense, but it is clearly the correct generalization to the quantum context. The main purpose of the current paper is to begin… ▽ More A key notion bridging the gap between {\it quantum operator algebras} \cite{LZ10} and {\it vertex operator algebras} \cite{Bor}\cite{FLM} is the definition of the commutativity of a pair of quantum operators (see section 2 below). This is not commutativity in any ordinary sense, but it is clearly the correct generalization to the quantum context. The main purpose of the current paper is to begin laying the foundations for a complete mathematical theory of {\it commutative quantum operator algebras.} We give proofs of most of the relevant results announced in \cite{LZ10}, and we carry out some calculations with sufficient detail to enable the interested reader to become proficient with the algebra of commuting quantum operators. △ Less

Submitted 13 January, 1995; originally announced January 1995.

Comments: 22 pages, Latex

Arithmetic Properties of Mirror Map and Quantum Coupling

Authors: Bong H. Lian, Shing-Tung Yau

Abstract: We study some arithmetic properties of the mirror maps and the quantum Yukawa coupling for some 1-parameter deformations of Calabi-Yau manifolds. First we use the Schwarzian differential equation, which we derived previously, to characterize the mirror map in each case. For algebraic K3 surfaces, we solve the equation in terms of the $J$-function. By deriving explicit modular relations we prove… ▽ More We study some arithmetic properties of the mirror maps and the quantum Yukawa coupling for some 1-parameter deformations of Calabi-Yau manifolds. First we use the Schwarzian differential equation, which we derived previously, to characterize the mirror map in each case. For algebraic K3 surfaces, we solve the equation in terms of the $J$-function. By deriving explicit modular relations we prove that some K3 mirror maps are algebraic over the genus zero function field ${\bf Q}(J)$. This leads to a uniform proof that those mirror maps have integral Fourier coefficients. Regarding the maps as Riemann mappings, we prove that they are genus zero functions. By virtue of the Conway-Norton conjecture (proved by Borcherds using Frenkel-Lepowsky-Meurman's Moonshine module), we find that these maps are actually the reciprocals of the Thompson series for certain conjugacy classes in the Griess-Fischer group. This also gives, as an immediate consequence, a second proof that those mirror maps are integral. We thus conjecture a surprising connection between K3 mirror maps and the Thompson series. For threefolds, we construct a formal nonlinear ODE for the quantum coupling reduced $mod\ p$. Under the mirror hypothesis and an integrality assumption, we derive $mod~p$ congruences for the Fourier coefficients. For the quintics, we deduce (at least for $5\not{|}d$) that the degree $d$ instanton numbers $n_d$ are divisible by $5^3$ -- a fact first conjectured by Clemens. △ Less

Submitted 5 December, 1994; v1 submitted 30 November, 1994; originally announced November 1994.

Comments: 36 pp harvmac, "b" mode; references added

Journal ref: Commun.Math.Phys. 176 (1996) 163-192

Some Classical and Quantum Algebras

Authors: Bong H. Lian, Gregg J. Zuckerman

Abstract: We discuss the notion of a Batalin-Vilkovisky (BV) algebra and give several classical examples from differential geometry and Lie theory. We introduce the notion of a quantum operator algebra (QOA) as a generalization of a classical operator algebra. In some examples, we view a QOA as a deformation of a commutative algebra. We then review the notion of a vertex operator algebra (VOA) and show th… ▽ More We discuss the notion of a Batalin-Vilkovisky (BV) algebra and give several classical examples from differential geometry and Lie theory. We introduce the notion of a quantum operator algebra (QOA) as a generalization of a classical operator algebra. In some examples, we view a QOA as a deformation of a commutative algebra. We then review the notion of a vertex operator algebra (VOA) and show that a vertex operator algebra is a QOA with some additional structures. Finally, we establish a connection between BV algebras and VOAs. △ Less

Submitted 11 May, 1994; v1 submitted 2 April, 1994; originally announced April 1994.

Comments: 19 pages