arXiv subjects

Bong H. Lian

Publications and source records attributed to Bong H. Lian.

At least 19 recordsLinked to original sources

arXiv2026

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

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.

hep-th↗

arXiv2025

Mirror symmetry for singular double cover Calabi--Yau varieties: quantum test

We continue our study on the pairs of singular Calabi--Yau varieties arising from double covers over semi-Fano toric manifolds. In this paper, we first investigate singular CY double covers of $\mathbb{P}^{3}$ branched along (1) a union of eight hyperplanes in general position, and (2) a union of four hyperplanes and a quartic in generation. Our previous construction produces hypothetical singular mirror partners. We prove that they are mirror pairs in the sense that the $B$-model of one (variation of Hodge structure) is equivalent to the $A$-model of another (the untwisted part of the genus zero orbifold Gromov--Witten invariants). The technique can be generalized and applied to the case when the nef-partition is trivial. As a byproduct, we also verify Morrison's conjecture in certain circumstances.

math.AG↗

arXiv2025

Non-commutative resolutions and pre-quotients of Calabi-Yau double covers

Following an earlier proposal arXiv:2307.02038 to apply the GLSM formalism to understand the so-called non-commutative resolution, this paper takes one important step further to extend this formalism to a much larger class of non-commutative resolutions. The proposal was initially motivated by the discovery of a new class of mirror pairs singular Calabi-Yau varieties arXiv:2003.07148, given by certain branched double covers over toric varieties of MPCP type. The overarching problem was to understand these mirror pairs from the viewpoint of homological mirror symmetry arXiv:alg-geom/9411018. In the present paper, we propose two main results along this line. First, one new insight is that the `gauge-fixing' condition on the branching locus of the double cover used in arXiv:2003.07148 can be relaxed in an interesting way. This turns out to produce GLSMs that describe a much larger class of non-commutative resolutions, leading to $A$-periods for a larger class of non-commutative resolutions, as well as the GKZ systems for their $A$-periods. Second, we show that the $A$-periods can also be realized as $A$-periods of a certain smooth CICY family in a toric variety of MPCP type, such that a suitable finite quotient of this family recovers the double cover CY we have started with. We call this CICY family the `pre-quotient' of the double cover CY. This realization strongly suggests that pre-quotient may provide an important approach for understanding homological mirror symmetry for singular double cover CY varieties and non-commutative resolutions.

hep-th↗

arXiv2024

Vertex Algebras and Commutative Algebras

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.

math.QA↗

arXiv2022

On Calabi--Yau fractional complete intersections

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.

math.AG↗

arXiv2020

Mirror symmetry for double cover Calabi--Yau varieties

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$.

math.AG↗

arXiv2019

Period Integrals of CY and General Type Complete Intersections

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.

math.AG↗

arXiv2019

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

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.

math.AG↗

arXiv2018

Differential zeros of period integrals and generalized hypergeometric functions

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.

math.AG↗

arXiv2017

Holonomic Systems for Period Mappings

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.

math.AG↗

arXiv2016

CY Principal Bundles over Compact Kähler Manifolds

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.

math.AG↗

arXiv2016

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

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.

math.AG↗

arXiv2015

Chain Integral Solutions to Tautological Systems

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.

math.AG↗

arXiv2014

Period Integrals and the Riemann-Hilbert Correspondence

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.

math.AG↗

arXiv2013

On the Holonomic Rank Problem

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$.

math.AG↗

arXiv2012

Period Integrals and Tautological Systems

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.

math.AG↗

arXiv2010

Chiral Equivariant Cohomology III

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.

math.DG↗

arXiv2009

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

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.

math.AG↗