arXiv Science⌕ Search

arXiv subjects

Patrick Graf

Publications and source records attributed to Patrick Graf.

At least 19 recordsLinked to original sources
arXiv2025

Slope zero tensors, uniformizing variations of Hodge structure and quotients of tube domains

We prove an equivalence between two approaches to characterizing complex-projective varieties $X$ with klt singularities and ample canonical divisor that are uniformized by bounded symmetric domains. In order to do so, we show how to construct a uniformizing variation of Hodge structure from a slope zero tensor and vice versa. As a consequence, we generalize various uniformization results of Catanese and Di Scala to the singular setting. For example, we prove that $X$ is a quotient of a bounded symmetric domain of tube type by a group acting properly discontinuously and freely in codimension one if and only if $X$ admits a slope zero tensor. As a key step in the proof, we establish the compactness of the holonomy group of the singular K\"{a}hler--Einstein metric on $X_{\mathrm{reg}}$.

math.AG↗
arXiv2025

Semispecial tensors and quotients of the polydisc

Let $X$ be a complex-projective variety with klt singularities and ample canonical divisor. We prove that $X$ is a quotient of the polydisc by a group acting properly discontinuously and freely in codimension one if and only if $X$ admits a semispecial tensor with reduced hypersurface. This extends a result of Catanese and Di Scala to singular spaces, and answers a question raised by these authors. As a key step in the proof, we establish the Bochner principle for holomorphic tensors on klt spaces in the negative K\"{a}hler--Einstein case.

math.AG↗
arXiv2024

Uniformization of klt pairs by bounded symmetric domains

Given a complex-projective klt pair $(X, \Delta)$ with standard coefficients and such that $K_X + \Delta$ is ample, we determine necessary and sufficient conditions for the pair $(X, \Delta)$ to be uniformized by a bounded symmetric domain. As an application, we obtain characterizations of orbifold quotients of the polydisc and of the four classical irreducible bounded symmetric domains in terms of Miyaoka-Yau-type Chern equalities.

math.AG↗
arXiv2023

Hermite--Einstein metrics in singular settings

In this article we pursue the following main goals. In the first place, we establish the existence of "estimable" Hermite--Einstein metrics for stable reflexive coherent sheaves on compact normal K\"ahler spaces. If moreover the background variety has klt singularities, we obtain a much more precise result.

math.DG↗
arXiv2022

The Violation of the Lipman-Zariski conjecture in positive characteristic

We study the failure of the Lipman-Zariski conjecture in positive characteristic. For rational double points, the conjecture holds true except for a short finite list of exceptions. For log canonical surface singularities, the conjecture continues to hold with the same list of exceptions under an additional tameness hypothesis. In particular, among rational double points in characteristic $p \ge 7$ Lipman's counterexample is the only one, and the conjecture holds for all tame $F$-pure normal surface singularities.

math.AG↗
arXiv2021

Numerical characterization of complex torus quotients

This article gives a characterization of quotients of complex tori by finite groups acting freely in codimension two in terms of a numerical vanishing condition on the first and second Chern class. This generalizes results previously obtained by Greb--Kebekus--Peternell in the projective setting, and by Kirschner and the second author in dimension three. As a key ingredient to the proof, we obtain a version of the Bogomolov--Gieseker inequality for stable sheaves on singular spaces, including a discussion of the case of equality.

math.AG↗
arXiv2021

A decomposition theorem for singular K\"ahler spaces with trivial first Chern class of dimension at most four

Let $X$ be a compact K\"ahler fourfold with klt singularities and vanishing first Chern class, smooth in codimension two. We show that $X$ admits a Beauville-Bogomolov decomposition: a finite quasi-\'etale cover of $X$ splits as a product of a complex torus and singular Calabi-Yau and irreducible holomorphic symplectic varieties. We also prove that $X$ has small projective deformations and the fundamental group of $X$ is projective. To obtain these results, we propose and study a new version of the Lipman-Zariski conjecture.

math.AG↗
arXiv2020

K\"ahler spaces with zero first Chern class: Bochner principle, Albanese map and fundamental groups

Let $X$ be a compact K\"ahler space with klt singularities and vanishing first Chern class. We prove the Bochner principle for holomorphic tensors on the smooth locus of $X$: any such tensor is parallel with respect to the singular Ricci-flat metrics. As a consequence, after a finite quasi-\'etale cover $X$ splits off a complex torus of the maximum possible dimension. We then proceed to decompose the tangent sheaf of $X$ according to its holonomy representation. In particular, we classify those $X$ which have strongly stable tangent sheaf: up to quasi-\'etale covers, these are either irreducible Calabi--Yau or irreducible holomorphic symplectic. As an application of these results, we show that if $X$ has dimension four, then it satisfies Campana's Abelianity Conjecture.

math.AG↗
arXiv2020

The Kodaira problem for K\"ahler spaces with vanishing first Chern class

Let $X$ be a normal compact K\"ahler space with klt singularities and torsion canonical bundle. We show that $X$ admits arbitrarily small deformations that are projective varieties if its locally trivial deformation space is smooth. We then prove that this unobstructedness assumption holds in at least three cases: if $X$ has toroidal singularities, if $X$ has finite quotient singularities, and if the second cohomology group of its tangent sheaf vanishes.

math.AG↗
arXiv2019

A note on Flenner's extension theorem

We show that any $p$-form on the smooth locus of a normal complex space extends to a resolution of singularities, possibly with logarithmic poles, as long as $p \le \mathrm{codim}_X (X_{\mathrm{sg}}) - 2$, where $c$ is the codimension of the singular locus. A stronger version of this result, allowing no poles at all, is originally due to Flenner. Our proof, however, is not only completely different, but also shorter and technically simpler. We furthermore give examples to show that the statement fails in positive characteristic.

math.AG↗
arXiv2019

Differential forms on log canonical spaces in positive characteristic

Given a logarithmic $1$-form on the snc locus of a log canonical surface pair $(X, D)$ over a perfect field of characteristic $p \ge 7$, we show that it extends with at worst logarithmic poles to any resolution of singularities. We also prove the analogous statement for regular differential forms, under an additional tameness hypothesis. In addition, residue and restriction sequences for tamely dlt pairs are established. We give a number of examples showing that our results are sharp in the surface case, and that they fail in higher dimensions. On the other hand, our techniques yield a new proof of the characteristic zero Logarithmic Extension Theorem in any dimension.

math.AG↗
arXiv2019

The Lipman-Zariski conjecture in genus one higher

We prove the Lipman-Zariski conjecture for complex surface singularities with $p_g - g - b \le 2$. Here $p_g$ is the geometric genus, $g$ is the sum of the genera of the exceptional curves and $b$ is the first Betti number of the dual graph. This improves on a previous result of the second author. As an application, we show that a compact complex surface with locally free tangent sheaf is smooth as soon as it admits two generically linearly independent twisted vector fields and its canonical sheaf has at most two global sections.

math.AG↗
arXiv2018

On the Kodaira problem for uniruled K\"ahler spaces

We discuss the Kodaira problem for uniruled K\"ahler spaces. Building on a construction due to Voisin, we give an example of a uniruled K\"ahler space $X$ such that every run of the $K_X$-MMP immediately terminates with a Mori fibre space, yet $X$ does not admit an algebraic approximation. Our example also shows that for a Mori fibration, approximability of the base does not imply approximability of the total space.

math.AG↗
arXiv2018

The Lipman-Zariski conjecture in low genus

We prove the Lipman-Zariski conjecture for complex surface singularities of genus one, and also for those of genus two whose link is not a rational homology sphere. As an application, we characterize complex $2$-tori as the only normal compact complex surfaces whose smooth locus has trivial tangent bundle. We also deduce that all complex-projective surfaces with locally free and generically nef tangent sheaf are smooth, and we classify them.

math.AG↗
arXiv2017

Finite quotients of three-dimensional complex tori

We provide a characterization of quotients of three-dimensional complex tori by finite groups that act freely in codimension one via a vanishing condition on the first and second orbifold Chern class. We also treat the case of actions free in codimension two, using instead the "birational" second Chern class, as we call it. Both notions of Chern classes are introduced here in the setting of compact complex spaces with klt singularities. In such generality, this topic has not been treated in the literature up to now. We also discuss the relation of our definitions to the classical Schwartz-MacPherson Chern classes.

math.AG↗
arXiv2016

\'Etale fundamental groups of strongly $F$-regular schemes

We prove that a strongly $F$-regular scheme $X$ admits a finite, generically Galois, and \'etale-in-codimension-one cover $\widetilde X \to X$ such that the \'etale fundamental groups of $\widetilde X$ and $\widetilde X_{reg}$ agree. Equivalently, every finite \'etale cover of $\widetilde X_{reg}$ extends to a finite \'etale cover of $\widetilde X$. This is analogous to a result for complex klt varieties by Greb, Kebekus and Peternell.

math.AG↗
arXiv2016

Discreteness of $F$-jumping numbers at isolated non-Q-Gorenstein points

We show that the $F$-jumping numbers of a pair $(X, \mathfrak a)$ in positive characteristic have no limit points whenever the symbolic Rees algebra of $-K_X$ is finitely generated outside an isolated collection of points. We also give a characteristic zero version of this result, as well as a generalization of the Hartshorne-Speiser-Lyubeznik-Gabber stabilization theorem describing the non-$F$-pure locus of a variety.

math.AG↗