arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.23227

Seven ordered points and the nonexistence of arithmetic ball quotient compactifications

Ryunosuke Nakano·Hisato Matsukawa
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that the ordered GIT quotient of seven points on $\mathbb P^1$ with equal weights is not isomorphic to the Baily--Borel compactification of any arithmetic complex ball quotient. Together with our companion paper and the known positive examples, this determines the equal weight case for every $n\ge6$: such a realization exists precisely for $n=6,8$. The lattice and the algebraic isomorphism are unrestricted, and torsion and divisorial ramification are allowed. The proof combines arithmetic reductions with identities involving Chern classes of fixed subvarieties and intersection inequalities for nef divisors on the GIT quotient. The final comparison includes all fixed components and requires no bound on the degree of an individual fixed curve.

Explore related subjects

math.AGmath.CVmath.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ryunosuke Nakano, Hisato Matsukawa. 2026-10-16. Seven ordered points and the nonexistence of arithmetic ball quotient compactifications. https://arxiv.org/abs/2610.23227

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Ceresa Cycles of $X_{0}(N)$

The Ceresa cycle is an algebraic 1-cycle on the Jacobian of an algebraic curve. Although it is homologically trivial, Ceresa famously proved that for a very general complex curve of genus at least 3, it is non-trivial in the Chow group. In this paper we study the Ceresa cycle attached to the complete modular curve $X_{0}(N)$ modulo rational equivalence. For prime level $p$ we give a complete description, namely we prove that if $X_{0}(p)$ is not hyperelliptic, then its Ceresa cycle is non-torsion. For general level $N$, we prove that there are finitely many $X_{0}(N)$ with torsion Ceresa cycle. Our method relies on the relationship between the vanishing of the Ceresa cycle and Chow-Heegner points on the Jacobian. We use the geometry and arithmetic of modular Jacobians to prove that such points are of infinite order and therefore deduce non-vanishing of the Ceresa cycle.

math.AG↗
arXiv2026

Uniform vector bundles over $\mathbb{P}^4$

There is a long-standing conjecture which states that every uniform algebraic vector bundle of rank $r<2n$ on the $n$-dimensional projective space $\mathbb{P}^n$ over an algebraically closed field of characteristic $0$ is homogeneous. This conjecture is valid for $n\leq3$. In this paper, we classify all uniform vector bundles of rank $r<8$ over $\mathbb{P}^4$ and show that the conjecture holds for $n=4$.

math.AG↗
arXiv2026

Splitting vector bundles over real algebraic varieties

Suppose $X$ is a smooth affine real variety and $\mathscr{E}$ is a vector bundle over $X$. We analyze the problem of splitting off a free rank one summand from $\mathscr{E}$ in corank $0$ and $1$. The problem in corank $0$ can be viewed as the search for a real analog of Murthy's celebrating splitting theorem in the algebraically closed case: to wit, beyond the vanishing of the top Chern class in Chow theory, are the obstructions to splitting ``purely topological''? In a sense, the answer in this case is yes, and we give a proof, using motivic techniques, of a mild extension of the results of Bhatwadekar-Sridharan and Bhatwadekar-Das-Mandal. In corank $1$, in the algebraically closed situation, Murthy's splitting conjecture (now a theorem in characteristic $0$) predicts that the vanishing of the top Chern class in Chow theory is the only obstruction to splitting off a free rank $1$ summand, and we can search for a suitable ``real'' analog of this assertion. We observe that several natural guesses for a ``real'' analog of Murthy's splitting conjecture cannot be true, i.e., that the situation over the real numbers is rather complicated.

math.AG↗