Source author record

Lev Borisov

Lev Borisov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

9works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

9 published item(s)

preprint2020arXiv

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.

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

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 \in \mathbb{R}^n$ whose elementary symmetric polynomials satisfy $e_k(x)\le e_k(y)$ (for $1\le k < n$) and $e_n(x)=e_n(y)$, the inequality $\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\colon M\subseteq \mathbb{C}^n\to \mathbb{R}$ with $f(z)=\sum_i(\log z_i)^2$ has nonnegative partial derivatives with respect to the elementary symmetric polynomials of $z$. This property leads to our proof. We conclude by providing applications and wider connections of the SSLI.