Searcharxiv⌕ Search

arXiv subjects

Lev Borisov

Publications and source records attributed to Lev Borisov.

At least 19 recordsLinked to original sources
arXiv2026

Explicit Bicanonical Models of Eight Fake Quadrics

We compute explicit defining equations for eight fake quadrics arising as $\mathbb Z/2\times\mathbb Z/4$-covers of two singular $\mathbb Z/2$-Godeaux surfaces obtained in earlier work of the second author. Starting from explicit equations for the universal covers of the Godeaux surfaces, we reconstruct the relevant character eigenspaces and determine the homogeneous ideals of the bicanonical models of the eight fake quadrics in $\mathbb P^8$. All eight models are defined over $\mathbb Q$. We prove that the surfaces are pairwise non-isomorphic and rigid. Combined with the non-product result established in the earlier work, this gives the first explicit projective models of fake quadrics which are not isogenous to a product of curves.

math.AG↗
arXiv2026

Quintic surfaces with 18 cusps

We construct quintic surfaces in the three-dimensional projective space $\mathbb P^3$ with $18$ ordinary cusps. Our starting point is the Barth--Rams description of quintics containing a $3$-divisible set of $12$ cusps. A specialization in which the two contact cubics are singular along two skew lines produces a family with $16$ cusps, and examples with $18$ cusps can be found over small finite fields. Our main construction is based on quintics admitting two Barth--Rams decompositions. The corresponding sets of $12$ cusps meet in $7$ points, and we prove that the locus of quintics admitting two such decompositions contains a $6$-dimensional component in the moduli space whose general member has $17$ cusps. This makes it possible to find members with $18$ cusps efficiently over finite fields. We lift one of these surfaces to characteristic zero using Newton--Hensel lifting and LLL reconstruction, obtaining a quintic over a number field of degree $22$. We verify that this surface has $18$ ordinary cusps and no other singularities.

math.AG↗
arXiv2025

Finding equations of the fake projective plane $(C18,p=3,\{2I\})$

We find explicit equations of a new pair of fake projective planes, labeled by $(C18,p=3,\{2I\})$ in the Cartwright-Steger classification. Our method involves starting with known equations of a commensurable fake projective plane $(C18,p=3,\emptyset,d_3 D_3)$ and working through a chain of cyclic covers and quotients to get to the new one.

math.AG↗
arXiv2025

Hanlon-Hicks-Lazarev resolution revisited

Hanlon, Hicks and Lazarev constructed resolutions of structure sheaves of toric substacks by certain line bundles on the ambient toric stacks. In this paper, we give a new and substantially simpler proof of their result.

math.AG↗
arXiv2024

Adventures in algebraic geometry

These notes are loosely based on an introductory course in algebraic geometry given at Rutgers University in Spring of 2024. We introduce some relatively advanced topics at the expense of the technical details.

math.AG↗
arXiv2024

Modular curves $X_1(n)$ as moduli spaces of point arrangements and applications

For a complex elliptic curve $E$ and a point $p$ of order $n$ on it, the images of the points $p_k=kp$ under the Weierstrass embedding of $E$ into $\mathbb{C}\mathbb{P}^2$ are collinear if and only if the sum of indices is divisible by $n$. Thus, it provides a realization of a certain matroid. We study this matroid in detail and prove that its realization space is isomorphic (over $\mathbb{C}$) to the modular curve $X_1(n)$, provided $n\geq 10$, which also provides an integral model of $X_1(n)$. In the process, we find a connection to the classical Ceva and B\"or\"oczky examples of special point and line configurations. We also discuss the situation for smaller values of $n$.

math.AG↗
arXiv2023

Asymptotics of immaculate line bundles on smooth toric Deligne-Mumford stacks

A line bundle is immaculate if its cohomology vanishes in every dimension. We give a criterion for when a smooth toric Deligne-Mumford stack has infinitely many immaculate line bundles. This answers positively a question of Borisov and Wang. As a byproduct, we describe the asymptotic behaviour of the collection of immaculate line bundles.

math.AG↗
arXiv2023

Explicit equations of the fake projective plane $(a=7,p=2,\emptyset,D_3 X_7)$

We find explicit equations of the fake projective plane $(a=7,p=2,\emptyset,D_3 X_7)$, which lies in the same class as the fake projective plane $(a=7,p=2,\emptyset,D_3 2_7)$ with $21$ automorphisms whose equations were previously found by Borisov and Keum. The method involves finding a birational model of a common Galois cover of these two surfaces.

math.AG↗
arXiv2023

On the Geometry of a Fake Projective Plane with $21$ Automorphisms

A fake projective plane is a complex surface with the same Betti numbers as $\mathbb{C} P^2$ but not biholomorphic to it. We study the fake projective plane $\mathbb{P}_{\operatorname{fake}}^2 = (a = 7, p = 2, \emptyset, D_3 2_7)$ in the Cartwright-Steger classification. In this paper, we exploit the large symmetries given by $\operatorname{Aut}(\mathbb{P}_{\operatorname{fake}}^2) = C_7 \rtimes C_3$ to construct an embedding of this surface into $\mathbb{C} P^5$ as a system of $56$ sextics with coefficients in $\mathbb{Q}(\sqrt{-7})$. For each torsion line bundle $T \in \operatorname{Pic}(\mathbb{P}_{\operatorname{fake}}^2)$, we also compute and study the linear systems $|nH + T|$ with small $n$, where $H$ is an ample generator of the N\'eron-Severi group.

math.AG↗
arXiv2023

Realizing a Fake Projective Plane as a Degree 25 Surface in $\mathbb P^5$

Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to that of the usual projective plane. Recent explicit constructions of fake projective planes embed them via their bicanonical embedding in $\mathbb P^9$. In this paper, we study Keum's fake projective plane $(a=7, p=2, \{7\}, D_3 2_7)$ and use the equations of \cite{Borisov} to construct an embedding of fake projective plane in $\mathbb P^5$. We also simplify the 84 cubic equations defining the fake projective plane in $\mathbb P^9$.

math.AG↗
arXiv2023

On Hypergeometric Duality Conjecture

We give an explicit formula for the duality, previously conjectured by Horja and Borisov, of two systems of GKZ hypergeometric PDEs. We prove that in the appropriate limit this duality can be identified with the inverse of the Euler characteristics pairing on cohomology of certain toric Deligne-Mumford stacks, by way of $\Gamma$-series cohomology valued solutions to the equations.

math.AG↗
arXiv2021

On equations of fake projective planes with automorphism group of order $21$

We study Dolgachev elliptic surfaces with a double and a triple fiber and find explicit equations of two new pairs of fake projective plane with $21$ automorphisms, thus finishing the task of finding explicit equations of fake projective planes with this automorphism group. This includes, in particular, the fake projective plane discovered by J. Keum.

math.AG↗
arXiv2021

Derived Partners of Enriques Surfaces

Let $V$ be a $6$-dimensional complex vector space with an involution $\sigma$ of trace $0$, and let $W \subset \Sym^2 V^\vee$ be a generic $3$-dimensional subspace of $\sigma$-invariant quadratic forms. To these data we can associate an Enriques surface as the $\sigma$-quotient of the complete intersection of the quadratic forms in $W$. We exhibit noncommutative Deligne-Mumford stacks together with sheaves of Azumaya algebras on them whose derived categories are equivalent to those of the Enriques surfaces. This provides a more accessible treatment of of Theorem 6.16 in https://www.ams.org/journals/jams/2021-34-02/S0894-0347-2021-00963-3/ .. We also construct geometric realizations of the Brauer classes coming from these sheaves of Azumaya algebras which may be of independent interest.

math.AG↗
arXiv2020

A journey from the octonionic $\mathbb P^2$ to a fake $\mathbb P^2$

We discover a family of surfaces of general type with $K^2=3$ and $p=q=0$ as free $C_{13}$ quotients of special linear cuts of the octonionic projective plane $\mathbb O \mathbb P^2$. A special member of the family has $3$ singularities of type $A_2$, and is a quotient of a fake projective plane. We use the techniques of \cite{BF20} to define this fake projective plane by explicit equations in its bicanonical embedding.

math.AG↗
arXiv2020

New explicit constructions of surfaces of general type

We discover a simple construction of a four-dimensional family of smooth surfaces of general type with $p_g(S)=q(S)=0$, $K^2_S=3$ with cyclic fundamental group $C_{14}$. We use a degeneration of the surfaces in this family to find (complicated) explicit equations of six new pairs of fake projective planes. Our methods for finding new fake projective planes involve nontrivial computer calculations which we hope will be applicable in other settings.

math.AG↗
arXiv2019

On duality of certain GKZ hypergeometric systems

We study a pair of conjectures on better behaved GKZ hypergeometric systems of PDEs inspired by Homological mirror symmetry for crepant resolutions of Gorenstein toric singularities. We prove the conjectures in the case of dimension two.

math.AG↗
arXiv2019

On strong exceptional collections of line bundles of maximal length on Fano toric Deligne-Mumford stacks

We study strong exceptional collections of line bundles on Fano toric Deligne-Mumford stacks $\mathbb{P}_{\mathbfΣ}$ with rank of Picard group at most two. We prove that any strong exceptional collection of line bundles generates the derived category of $\mathbb{P}_{\mathbfΣ}$, as long as the number of elements in the collection equals the rank of the (Grothendieck) $K$-theory group of $\mathbb{P}_{\mathbfΣ}$.

math.AG↗