Source author record

Lev Borisov

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

9works
4topics
4close collaborators

Published work

9 publications

preprint2020arXiv

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

We discover a family of surfaces of general type with K2=3K^2=3 and p=q=0p=q=0 as free C13C_{13} quotients of special linear cuts of the octonionic projective plane OP2\mathbb O \mathbb P^2. A special member of the family has 33 singularities of type A2A_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.

preprint2020arXiv

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 pg(S)=q(S)=0p_g(S)=q(S)=0, KS2=3K^2_S=3 with cyclic fundamental group C14C_{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.

preprint2015arXiv

The sum of squared logarithms inequality in arbitrary dimensions

We prove the \emph{sum of squared logarithms inequality} (SSLI) which states that for nonnegative vectors x,y∈Rnx, y \in \mathbb{R}^n whose elementary symmetric polynomials satisfy ek(x)≤ek(y)e_k(x)\le e_k(y) (for 1≤k<n1\le k < n) and en(x)=en(y)e_n(x)=e_n(y), the inequality ∑i(log⁡xi)2≤∑i(log⁡yi)2\sum_i (\log x_i)^2 \le \sum_i (\log y_i)^2 holds. Our proof of this inequality follows by a suitable extension to the complex plane. In particular, we show that the function f ⁣:M⊆Cn→Rf\colon M\subseteq \mathbb{C}^n\to \mathbb{R} with f(z)=∑i(log⁡zi)2f(z)=\sum_i(\log z_i)^2 has nonnegative partial derivatives with respect to the elementary symmetric polynomials of zz. This property leads to our proof. We conclude by providing applications and wider connections of the SSLI.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.