Explicit equations of the Cartwright-Steger surface
We construct explicit equations of Cartwright-Steger and related surfaces.
math.AG↗
arXiv subjects
Lev A. Borisov
Publications and source records attributed to Lev A. Borisov.
Explicit equations of a fake projective plane
Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to those of the usual projective plane. They come in complex conjugate pairs and have been classified as quotients of the two-dimensional ball by explicitly written arithmetic subgroups. In this paper we find equations of a projective model of a conjugate pair of fake projective planes by studying the geometry of the quotient of such surface by an order seven automorphism.
math.AG↗
Intersections of two Grassmannians in $\mathbf{P}^9$
We study the intersection of two copies of $\mathrm{Gr}(2,5)$ embedded in $\mathbf{P}^9$, and the intersection of the two projectively dual Grassmannians in the dual projective space. These intersections are deformation equivalent, derived equivalent Calabi-Yau threefolds. We prove that generically they are not birational. As a consequence, we obtain a counterexample to the birational Torelli problem for Calabi-Yau threefolds. We also show that these threefolds give a new pair of varieties whose classes in the Grothendieck ring of varieties are not equal, but whose difference is annihilated by a power of the class of the affine line. Our proof of non-birationality involves a detailed study of the moduli stack of Calabi-Yau threefolds of the above type, which may be of independent interest.
math.AG↗
On complete intersections with trivial canonical class
We prove birational boundedness results on complete intersections with trivial canonical class of base point free divisors in (some version of) Fano varieties. Our results imply in particular that Batyrev-Borisov toric construction produces only a bounded set of Hodge numbers in any given dimension, even as the codimension is allowed to grow.
math.AG↗
On the better behaved version of the GKZ hypergeometric system
We consider a version of the generalized hypergeometric system introduced by Gelfand, Kapranov and Zelevinski (GKZ) suited for the case when the underlying lattice is replaced by a finitely generated abelian group. In contrast to the usual GKZ hypergeometric system, the rank of the better behaved GKZ hypergeometric system is always the expected one. We give largely self-contained proofs of many properties of this system. The discussion is intimately related to the study of the variations of Hodge structures of hypersurfaces in algebraic tori.
math.AG↗
On stringy cohomology spaces
We modify the definition of the families of $A$ and $B$ stringy cohomology spaces associated to a pair of dual reflexive Gorenstein cones. The new spaces have the same dimension as the ones defined in the joint paper with Mavlyutov \cite{BM}, but they admit natural flat connections with respect to the appropriate parameters. This solves a longstanding question of relating GKZ hypergeometric system to stringy cohomology. We construct products on these spaces by vertex algebra techniques. In the process, we fix a minor gap in \cite{BM} and prove a statement on intersection cohomology of dual cones that may be of independent interest.
math.AG↗
Applications of homological mirror symmetry to hypergeometric systems: duality conjectures
Homological mirror symmetry for crepant resolutions of Gorenstein toric singularities leads to a pair of conjectures on certain hypergeometric systems of PDEs. We explain these conjectures and verify them in some cases.
math.AG↗
On $(2,4)$ complete intersection threefolds that contain an Enriques surface
We study nodal complete intersection threefolds of type $(2,4)$ in $\PP^5$ which contain an Enriques surface in its Fano embedding. We completely determine Calabi-Yau birational models of a generic such threefold. These models have Hodge numbers $(h^{11},h^{12})=(2,32)$. We also describe Calabi-Yau varieties with Hodge numbers equal to $(2,26)$, $(23,5)$ and $(31,1)$. The last two pairs of Hodge numbers are, to the best of our knowledge, new.
math.AG↗
On CY-LG correspondence for (0,2) toric models
We conjecture a description of the vertex (chiral) algebras of the (0,2) nonlinear sigma models on smooth quintic threefolds. We provide evidence in favor of the conjecture by connecting our algebras to the cohomology of a twisted chiral de Rham sheaf. We discuss CY/LG correspondence in this setting.
math.AG↗
Berglund-Hübsch mirror symmetry via vertex algebras
We give a vertex algebra proof of the Berglund-Hübsch duality of nondegenerate invertible potentials. We suggest a way to unify it with the Batyrev-Borisov duality of reflexive Gorenstein cones.
math.AG↗
On Hilbert modular threefolds of discriminant 49
Let K be the totally real cubic field of discriminant 49, let O be its ring of integers, and let p be the prime over 7. Let Gamma (p)\subset Gamma = SL_2(O) be the principal congruence subgroup of level p. This paper investigates the geometry of the Hilbert modular threefold attached to Gamma (p) and some related varieties. In particular, we discover an octic in P^3 with 84 isolated singular points of type A_2.
math.NT↗
Finding integral diagonal pairs in a two dimensional $\mathcal{N}$--set
According to [1] an $n$-dimensional $\mathcal{N}$--set is a compact subset $A$ of $\mathbb{R}^n$ such that for every $x$ in $\mathbb{R}^n$ there is $y$ in $A$ with $y-x$ in $\mathbb{Z}^n$. We prove that every two dimensional $\mathcal{N}$--set $A$ must contain distinct points $x,y$ such that $x-y$ is in $\mathbb{Z}^2$ and $x-y$ is neither horizontal nor vertical. This answers a question of P. Hegarty and M. Nathanson.
math.NT↗
Mellin-Barnes integrals as Fourier-Mukai transforms
We study the generalized hypergeometric system introduced by Gelfand, Kapranov and Zelevinsky and its relationship with the toric Deligne-Mumford (DM) stacks recently studied by Borisov, Chen and Smith. We construct series solutions with values in a combinatorial version of the Chen-Ruan (orbifold) cohomology and in the $K$-theory of the associated DM stacks. In the spirit of the homological mirror symmetry conjecture of Kontsevich, we show that the $K$-theory action of the Fourier-Mukai functors associated to basic toric birational maps of DM stacks are mirrored by analytic continuation transformations of Mellin-Barnes type.
math.AG↗
On the $K$-theory of smooth toric DM stacks
We explicitly calculate the Grothendieck $K$-theory ring of a smooth toric Deligne-Mumford stack and define an analog of the Chern character. In addition, we calculate $K$-theory pushforwards and pullbacks for weighted blowups of reduced smooth toric DM stacks.
math.AG↗
On Wronskians of weight one Eisenstein series
We describe the span of Hecke eigenforms of weight four with nonzero central value of $L$-function in terms of Wronskians of certain weight one Eisenstein series.
math.NT↗
Holomorphic Eisenstein series with Jacobian twists
For every point on the Jacobian of the modular curve $X_0(l)$ we define and study certain twisted holomorphic Eisenstein series. These are particular cases of a more general notion of twisted modular forms which correspond to sections on the modular curve $X_1(l)$ of the degree zero twists of line bundles of usual modular forms. We conjecture that a point on the Jacobian is rational if and only if the ratios of these twisted Eisenstein series of the same weights have rational coefficients.
math.NT↗
The orbifold Chow ring of toric Deligne-Mumford stacks
Generalizing toric varieties, we introduce toric Deligne-Mumford stacks which correspond to combinatorial data. The main result in this paper is an explicit calculation of the orbifold Chow ring of a toric Deligne-Mumford stack. As an application, we prove that the orbifold Chow ring of the toric Deligne-Mumford stack associated to a simplicial toric variety is a flat deformation of (but is not necessarily isomorphic to) the Chow ring of a crepant resolution.
math.AG↗
Chiral rings of vertex algebras of mirror symmetry
We calculate chiral rings of the N=2 vertex algebras constructed from the combinatorial data of toric mirror symmetry and show that they coincide with the description of stringy cohomology conjectured previously in a joint work with A. Mavlyutov.
math.AG↗