arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.28135

There are no Miyaoka--Kobayashi octics

Alexandru Dimca·Piotr Pokora
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $C$ be a reduced plane curve of degree $n$ with only ADE singularities. Using Kähler-Einstein metrics, Kobayashi proved an upper bound, in terms of $n$, for a sum of local invariants of the singular points of $C$. For even $n$ this bound had been obtained earlier by Hirzebruch and Ivinskis. Curves of even degree for which equality holds are called Miyaoka-Kobayashi curves, and the only known examples are three types of plane sextics. We show that there are no Miyaoka--Kobayashi curves of degree $8$, and additionally that a Miyaoka-Kobayashi curve of degree $10$ cannot be free. The key new ingredient is a new linear constraint on the singularities of such curves, obtained by differentiating Langer's orbifold Bogomolov-Miyaoka-Yau inequality.

Explore related subjects

math.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alexandru Dimca, Piotr Pokora. 2026-10-20. There are no Miyaoka--Kobayashi octics. https://arxiv.org/abs/2610.28135

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

KEEP EXPLORING

Related papers

arXiv2026

Apollonian carpets and the boundary of the Kahler cone of a hyperkahler manifold

The ample cone of a compact Kahler $n$-manifold $M$ is the intersection of its Kahler cone and the real subspace generated by integer (1,1)-classes. Its isotropic boundary is the set of all points $η$ on its boundary such that $\int_M η^n=0$. We are interested in the relation between the shape of the isotropic boundary of the ample cone of a hyperkahler manifold and the dynamics of its holomorphic automorphism group $G$. In this case, the projectivization of the ample cone is realized as an open, locally polyhedral subset in a hyperbolic space $H$. The isotropic boundary $S$ is realized as a subset of the hyperbolic boundary (the absolute) $A$ of $H$, which is naturally identified with a Euclidean sphere. It is clear that the isotropic boundary $S$ contains the limit set of $G$ acting on its ample cone. We prove that, conversely, all irrational points on $S$ belong to the limit set. Using a result of N. Shah about limiting distributions of curves under geodesic flow on hyperbolic manifolds, we prove that every real analytic curve in $S$ is contained in a geodesic sphere in $S$,and in presence of such curves the limit set is the closure of the union of these geodesic spheres. We study the geometry of such fractal sets, called Apollonian carpets, and establish the link between the Apollonian carpet and the structure of the automorphism group.

math.AG↗
arXiv2026

Revisiting Gamma conjecture I: counterexamples and modifications

We continue investigation of asymptotics of quantum differential equation for Fano manifolds, with a special regard to Gamma conjecture I and its underlying Conjecture $\mathcal{O}$. We introduce the A-model conifold value, a symplectic invariant of a Fano manifold, and propose modifications for Gamma conjecture I based on this new definition. We discuss an interplay of birational transformations with an extension of Gamma conjecture I over the Kähler moduli space. These heuristics are applied to rigorously identify the principal asymptotic class in the case of $\mathbb{P}^1$-bundles $X_n=\mathbb{P}_{\mathbb{P}^{n}}(\mathcal{O}\oplus\mathcal{O}(n))$. We observe, in particular, that for $X_n$ of dimension at least four, the Conjecture $\mathcal{O}$ holds just for even values of $n$, and in these cases we falsify the original non-modified Gamma conjecture I.

math.AG↗
arXiv2026

Modeling Group Actions on Stacks (Especially the Lubin-Tate Action)

Suppose we are given a profinite group G acting on a formal moduli stack M, and we want to understand the group action, and compute cohomology related to this group action. How can we do it? This prolegomenon conveys two methods of pinning down such an action: geometric modeling and the two-tower method. We highlight their use on a specific action -- the automorphisms of a formal group acting on its deformation space, called the Lubin-Tate action. We provide the toolkit that these two methods run on. The pieces of the kit are standard in their own subjects, but the Lubin-Tate action requires us to sew them together and ask more of them than their usual statements give, and several are set down here in that stronger form: equivariantly, in families, and with the grading kept. The tools are put to work in the two sequels, which build geometric models at height p-1 and at the heights p^{k-1}(p-1) above it; the two-tower material is a companion to the proof of the coheight one weak chromatic splitting conjecture.

math.AG↗