arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2601.08627

A complex analytic approach to orbifold Chern classes on singular varieties and its applications

Henri Guenancia·Mihai Păun
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this article, we prove the orbifold version of the Bogomolov-Gieseker inequality for stable $\mathbb Q$-sheaves on Kähler varieties, generalizing our earlier work \cite{GP25} in dimension three. We also provide a characterization of the equality case, a new purely analytical proof of the numerical characterization of complex torus quotients as well as a novel, complex analytic interpretation of the second orbifold Chern class associated to a $\mathbb Q$-sheaf.

Explore related subjects

math.AGmath.CVmath.DG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Henri Guenancia, Mihai Păun. 2026-01-13. A complex analytic approach to orbifold Chern classes on singular varieties and its applications. https://arxiv.org/abs/2601.08627

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

KEEP EXPLORING

Related papers

arXiv2026

Fixed-locus relations and purely non-symplectic automorphisms of order 6 on K3 surfaces

We study relations between invariants of the fixed loci of purely non-symplectic automorphisms of $K3$ surfaces. We obtain these relations by comparing the stringy Euler characteristic of higher dimensional Borcea--Voisin varieties with their Hodge numbers. For orders $4$ and $6$ we explain the geometric meaning of these relations and show how they follow from the Lefschetz and Riemann--Hurwitz formulas. For order $6$, the classifications of fixed loci for orders $2$ and $3$ give $817$ candidates. We use local conditions on discriminant forms, Hermitian trace forms and bounds for root-free lattices to reduce this number to $204$. All $142$ numerical types obtained from the $150$ deformation classes of Brandhorst and Hofmann satisfy these conditions. Also, we give explicit elliptic and projective models for each of the $20$ possible fixed loci of the generator.

math.AG↗
arXiv2026

Algebraic geometry of bubbling Kahler metrics

We give an algebro-geometric or non-archimedean framework to study bubbling phenomena of Kahler metrics with Euclidean volume growth, after [DS17, Sun23, dBS23]. In particular, for any degenerating family to log terminal singularity, we algebraically construct a finite sequence of birational modifications of the family with milder degenerations, and compare with analytic bubbling constructions in loc.cit. We also provide approaches in terms of coordinates and valuations. Our discussion partially depends on the general framework of stability theory in our [Od24b] (arXiv:2406.02489) after [HL14, AHLH23].

math.AG↗
arXiv2026

On the Goppa morphism

We develop a moduli-theoretic framework, over an arbitrary base field, for the classical Goppa construction of algebraic-geometric codes. We consider the moduli stack $\mathcal{LS}_{g,n,d}$ of line bundles of degree $d$ on $n$-pointed smooth projective curves of genus $g$, trivialized along the marked points, as the space of Goppa structures and show that evaluation of global sections defines a natural Goppa morphism $ \mathrm{Goppa}_{g,n,d}\colon \mathcal{LS}_{g,n,d}\longrightarrow \mathrm{Gr}(k,n)$, $k=1-g+d$, together with an extended morphism to $\mathrm{Gr}(k,n)\times \mathcal{M}_{g,n}$. Under explicit numerical hypotheses, we prove that the extended Goppa morphism is an immersion. The pullbacks of the Plücker coordinates are identified with sections of the theta line bundle on the relative Picard scheme, and the locus of non-degenerate codes for which a subset $I$ fails to be an information set is precisely the corresponding theta locus. We identify the fibers of the Goppa morphism over non-degenerate codes $C$ with moduli spaces of non-degenerate $n$-pointed genus-$g$ curves of degree $d$ in the projective space $\mathbb{P}C$ canonically determined by $C$. This yields a Hilbert-incidence description of the Goppa construction and, in a natural range, implies that $\mathrm{Goppa}_{g,n,d}$ is schematic and quasi-projective and that $\mathcal{LS}_{g,n,d}$ is a quasi-projective scheme. In genus zero, we further obtain, for $2\leq d\leq n-3$, a canonical $\mathbb{G}_m^{n-1}$-family of immersions $\mathcal{M}_{0,n}\hookrightarrow \mathrm{Gr}(d+1,n)$, which connects the Goppa morphism with the classical geometry of $\mathcal{M}_{0,n}$.

math.AG↗