Searcharxiv⌕ Search

arXiv subjects

Wenfei Liu

Publications and source records attributed to Wenfei Liu.

At least 19 recordsLinked to original sources
arXiv2026

The minimal volume of stable surfaces of rank one

We determine the minimal volume of a stable surface of rank one, and show that the surface attaining this minimum is unique up to isomorphism. This resolves a conjecture of Alexeev and the second author. Of independent interest, the decisive step of the proof uses a plurigenus inequality re-derived by an AI chatbot and applied as a pluricanonical filter; we further apply this filter to rule out additional cases in the classification of small-volume threefolds of general type, and in Koll\'ar's algebraic Montgomery--Yang problem. The underlying inequality has classical antecedents. To our knowledge this is the first paper in birational geometry to claim a C2-level human--AI collaboration in the sense of Feng et al., where the AI's contribution is the recognition that this inequality functions as the decisive pluricanonical filter in the basket analysis.

math.AG↗
arXiv2025

On the moduli space of stable surfaces with $p_g=1$ realizing the minimal volume

Let $M_1$ be the moduli space of the KSBA stable surfaces $X$ of geometric genus $p_g(X)=1$ realizing the minimal possible volume $K_X^2=\frac1{143}$. We show that its reduced part $M_{1,\rm red}$ is a $10$-dimensional projective variety isomorphic to the Baily--Borel compactification $\overline{F}_Λ^{\rm BB}$ of the moduli space of $Λ$-polarized K3 surfaces, where $Λ=II_{1,9}\simeq U\oplus E_8$ is a unimodular lattice of signature $(1,9)$. By a result of Brieskorn, $\overline{F}_Λ^{\rm BB}$ is a weighted projective space. We also verify the Viehweg hyperbolicity of the base of a Whitney equisingular family of stable surfaces in $M_1$. More generally, we prove that the same results hold for the moduli space $M_c$ of KSBA stable pairs $(X,B)$ with coefficients of $B$ belonging to a set $\mathcal C\subset [0,1]$ such that $\mathcal C\cup\{1\}$ attains a minimum, say $c$, and with $p_g(X)=1$, realizing the minimal possible volume $(K_X+B)^2=v(c)$. Indeed, we show that $M_{c,\rm red}$ is independent of $c$ and that for $c\le\frac7{13}$ $M_c$ is isomorphic to $\overline{F}_Λ^{\rm BB}$.

math.AG↗
arXiv2025

The Chevalley--Weil formula for finite group actions on higher dimensional compact complex manifolds

Building on the Atiyah--Singer holomorphic Lefschetz fixed-point theorem, we define ramification modules associated to the fixed loci of a finite group acting on a compact complex manifold. This allows us to generalize the Chevalley--Weil formula for compact Riemann surfaces to higher dimensions. More precisely, let $G$ be a finite group acting on a compact complex manifold $X$, and let $\mathcal{E}$ be a $G$-equivariant locally free sheaf on $X$. Then, in the representation ring $R(G)_\mathbb{Q}$, we have \[ χ_G(X, \mathcal{E}):=\sum_{i=0}^{\dim X}(-1)^i[H^i(X, \mathcal{E})]=\frac{1}{|G|}χ(X,\mathcal{E})[\mathbb{C}[G]] + \sum_ZΓ(\mathcal{E})_Z \] where $Z$ runs over all connected components of the fixed-point sets $X^g$ for $g\in G$, and each $Γ(\mathcal{E})_Z\in R(X)_\mathbb{Q}$, called the \emph{ramification module} at $Z$, depends only on the restriction $\mathcal{E}|_Z$ and the normal bundle $N_{Z/X}$ as $G_Z$-equivariant bundles. We illustrate the computation of $Γ(\mathcal{E})_Z$ in several special cases and provide a detailed example for faithful actions of $G\cong(\mathbb{Z}/2\mathbb{Z})^n$ on a compact complex surface.

math.AG↗
arXiv2025

On the cohomological representations of finite automorphism groups of singular curves and compact complex spaces

Let G be a finite group acting tamely on a proper reduced curve C over an algebraically closed field. We study the G-module structure on the cohomology groups of a G-equivariant locally free sheaf F on C, and give formulas of Chevalley--Weil type, with values in the Grothendieck ring R_k(G)_Q of finitely generated G-modules. We also give a similar formula for the singular cohomology of compact complex spaces. The focus is on the case where C is nodal. Using the Chevalley--Weil formula, we compute the G-invariant part of the global sections of the pluricanonical bundle \omega_C^{\otimes m}. In turn, we use the formula for m=2 to compute the equivariant deformation space of a stable G-curve C. We also obtain numerical criteria for the presence of any given irreducible representation in space of the global sections of \omega_C\otimes F, where F is an ample locally free G-sheaf on C. Some new phenomena, pathological compared to the smooth curve case, are discussed.

math.AG↗
arXiv2025

The minimal volume of log surfaces of general type with positive geometric genus

We determine the minimal possible volume of a projective log canonical surface of general type with prescribed positive geometric genus. As applications, we provide effecitive Noether type inequalities for log canonical threefolds and stable surfaces. Also, we obtain a uniform bound on the order of the symplectic automorphism group $\mathrm{Aut}_s(S)$ of smooth projective surfaces $S$ of general type.

math.AG↗
arXiv2025

On symplectic automorphisms of a surface with genus two fibration and their action on $\mathrm{CH}_0$

Let $S$ be a complex smooth projective surface with a genus two fibration, and $\mathrm{Aut}_s(S)$ the group of symplectic automorphisms, fixing every holomorphic 2-forms (if any) on $S$. Based on the work of Jin-Xing Cai, we observe in this paper that, if $\chi(\mathcal{O}_S)\geq 5$, then $|\mathrm{Aut}_s(S)|\leq 2$. Then we go on to verify, under some conditions, that $\mathrm{Aut}_s(S)$ acts trivially on the Albanese kernel $\mathrm{CH}_0(S)_{\mathrm{alb}}$ of the 0-th Chow group, which is predicted by a conjecture of Bloch and Beilinson. As a consequence, if an automorphism $\sigma\in \mathrm{Aut}(S)$ acts trivially on $H^{i,0}(S)$ for $0\leq i\leq 2$, then it also acts trivially on $\mathrm{CH}_0(S)_{\mathrm{alb}}$.

math.AG↗
arXiv2024

On the numerically and cohomologically trivial automorphisms of elliptic surfaces II: $\chi(S)>0$

In this second part we study first the group $Aut_{\mathbb Q}(S)$ of numerically trivial automorphisms of an algebraic properly elliptic surface $S$, that is, of a minimal algebraic surface with Kodaira dimension $\kappa(S)=1$, in the case $\chi(S) \geq 1$. Our first surprising result is that, against what has been believed for over 40 years, there exist nontrivial such groups for $p_g(S) >0$. Indeed, we show even that $Aut_{\mathbb Q}(S)$ is always a 2-generated finite abelian group, but there is no absolute upper bound for its cardinality. At any rate, we give explicit and essentially optimal upper bounds for $|Aut_{\mathbb Q}(S)|$ in terms of the numerical invariants of $S$, as $\chi(S)$, or the irregularity $q(S)$, or the bigenus $P_2(S)$. Moreover, we reach an almost complete description of the possible groups $Aut_{\mathbb Q}(S)$ and we give effective criteria for such surfaces to have trivial $Aut_{\mathbb Q}(S)$. Our second surprising results concern the quite elusive group $Aut_{\mathbb Z}(S)$ of cohomologically trivial automorphisms; we are able to give the explicit upper bounds for $|Aut_{\mathbb Z}(S)|$ in special cases: 9 when $p_g(S) =0$, and we achieve the sharp upper bound 3 when $S$ (i.e., the pluricanonical elliptic fibration) is isotrivial. Also in the non isotrivial case we produce subtle examples where $Aut_{\mathbb Z}(S)$ is a group of order 2 or 3.

math.AG↗
arXiv2024

On regular surfaces of general type with numerically trivial automorphism group of order $4$

Let $S$ be a regular minimal surface of general type over the field of complex numbers, and $\mathrm{Aut}_\mathbb{Q}(S)$ the subgroup of automorphisms acting trivially on $H^*(S,\mathbb{Q})$. It has been known since twenty years that $|\mathrm{Aut}_\mathbb{Q}(S)|\leq 4$ if the invariants of $S$ are sufficiently large. Under the assumption that $K_S$ is ample, we characterize the surfaces achieving the equality, showing that they are isogenous to a product of two curves, of unmixed type, and that the group $\mathrm{Aut}_\mathbb{Q}(S)$ is isomorphic to $(\mathbb{Z}/2\mathbb{Z})^2$. Moreover, unbounded families of surfaces with $\mathrm{Aut}_\mathbb{Q}(S)\cong(\mathbb{Z}/2\mathbb{Z})^2$ are provided.

math.AG↗
arXiv2024

On the cohomologically trivial automorphisms of elliptic surfaces I: $χ(S)=0$

In this first part we describe the group $Aut_{\mathbb{Z}}(S)$ of cohomologically trivial automorphisms of a properly elliptic surface (a minimal surface $S$ with Kodaira dimension $κ(S)=1$), in the initial case $ χ(\mathcal{O}_S) =0$. In particular, in the case where $Aut_{\mathbb{Z}}(S)$ is finite, we give the upper bound 4 for its cardinality, showing more precisely that if $Aut_{\mathbb{Z}}(S)$ is nontrivial, it is one of the following groups: $\mathbb{Z}/2, \mathbb{Z}/3, (\mathbb{Z}/2)^2$. We also show with easy examples that the groups $\mathbb{Z}/2, \mathbb{Z}/3$ do effectively occur. Respectively, in the case where $Aut_{\mathbb{Z}}(S)$ is infinite, we give the sharp upper bound 2 for the number of its connected components.

math.AG↗
arXiv2024

On the Iitaka volumes of log canonical surfaces and threefolds

Given positive integers $d\geqκ$, and a subset $Γ\subset [0,1]$, let $\mathrm{Ivol}_{\mathrm{lc}}^Γ(d,κ)$ denote the set of Iitaka volumes of $d$-dimensional projective log canonical pairs $(X, B)$ such that the Iitaka--Kodaira dimension $κ(K_X+B)=κ$ and the coefficients of $B$ come from $Γ$. In this paper, we show that, if $Γ$ satisfies the descending chain condition, then so does $\mathrm{Ivol}_\mathrm{lc}^Γ(d,κ)$ for $d\leq 3$. In case $d\leq 3$ and $κ=1$, $Γ$ and $\mathrm{Ivol}_\mathrm{lc}^Γ(d,κ)$ are shown to share more topological properties, such as closedness in $\mathbb{R}$ and local finiteness of accumulation complexity. In higher dimensions, we show that the set of Iitaka volumes for $d$-dimensional klt pairs with Iitaka dimension $\geq d-2$ satisfies the DCC, partially confirming a conjecture of Zhan Li. We give a more detailed description of the sets of Iitaka volumes for the following classes of projective log canonical surfaces: (1) smooth properly elliptic surfaces, (2) projective log canonical surfaces with coefficients from $\{0\}$ or $\{0,1\}$. In particular, the minima as well as the minimal accumulation points are found in these cases.

math.AG↗
arXiv2023

The minimal volume of surfaces of log general type with non-empty non-klt locus

We show that the minimal volume of surfaces of log general type, with non-empty non-klt locus on the ample model, is $\frac{1}{825}$. Furthermore, the ample model $V$ achieving the minimal volume is determined uniquely up to isomorphism. The canonical embedding presents $V$ as a degree $86$ hypersurface of $\mathbb P(6,11,25,43)$. This motivates a one-parameter deformation of $V$ to klt stable surfaces within the weighted projective space. Consequently, we identify a $\textit{complete}$ rational curve in the corresponding moduli space $M_{\frac{1}{825}}$. As an important application, we deduce that the smallest accumulation point of the set of volumes for projective log canonical surfaces equals $\frac{1}{825}$.

math.AG↗
arXiv2022

On numerically trivial automorphisms of threefolds of general type

In this paper, we prove that the group $\mathrm{Aut}_\mathbb{Q}(X)$ of numerically trivial automorphisms are uniformly bounded for smooth projective threefolds $X$ of general type which either satisfy $q(X)\geq 3$ or have a Gorenstein minimal model. If $X$ is furthermore of maximal Albanese dimension, then $|\mathrm{Aut}_\mathbb{Q}(X)|\leq 4$, and equality can be achieved by an unbounded family of threefolds previously constructed by the third author. Along the way we prove a Noether type inequality for log canonical pairs of general type with the coefficients of the boundary divisor from a given subset $\mathcal{C}\subset (0,1]$ such that $\mathcal{C}\cup\{1\}$ attains the minimum.

math.AG↗
arXiv2022

On symplectic automorphisms of elliptic surfaces acting on $\mathrm{CH}_0$

Let $S$ be a complex smooth projective surface of Kodaira dimension one. We show that the group $\mathrm{Aut}_s(S)$ of symplectic automorphisms acts trivially on the Albanese kernel $\mathrm{CH}_0(S)_\mathrm{alb}$ of the $0$-th Chow group $\mathrm{CH}_0(S)$, unless possibly if the geometric genus and the irregularity satisfy $p_g(S)=q(S)\in\{1,2\}$. In the exceptional cases, the image of the homomorphism $\mathrm{Aut}_s(S)\rightarrow \mathrm{Aut}(\mathrm{CH}_0(S)_\mathrm{alb})$ has order at most 3. Our arguments actually take care of the group $\mathrm{Aut}_f(S)$ of fibration-preserving automorphisms of elliptic surfaces $f\colon S\rightarrow B$. We prove that, if $σ\in\mathrm{Aut}_f(S)$ induces the trivial action on $H^{i,0}(S)$ for $i>0$, then it induces the trivial action on $\mathrm{CH}_0(S)_\mathrm{alb}$. As a by-product we obtain that if $S$ is an elliptic K3 surface, then $\mathrm{Aut}_f(S)\cap \mathrm{Aut}_s(S)$ acts trivially on $\mathrm{CH}_0(S)_\mathrm{alb}$.

math.AG↗
arXiv2021

On topologically trivial automorphisms of compact Kähler manifolds and algebraic surfaces

In this paper, we investigate automorphisms of compact Kähler manifolds with different levels of topological triviality. In particular, we provide several examples of smooth complex projective surfaces X whose groups of $C^\infty$-isotopically trivial automorphisms, resp. cohomologically trivial automorphisms, have a number of connected components which can be arbitrarily large.

math.AG↗
arXiv2020

On a generalized canonical bundle formula for generically finite morphisms

We prove a canonical bundle formula for generically finite morphisms in the setting of generalized pairs (with $\mathbb{R}$-coefficients). This complements Filipazzi's canonical bundle formula for morphisms with connected fibres. It is then applied to obtain a subadjunction formula for log canonical centers of generalized pairs. As another application, we show that the image of an anti-nef log canonical generalized pair has the structure of a numerically trivial log canonical generalized pair. This readily implies a result of Chen--Zhang. Along the way we prove that the Shokurov type convex sets for anti-nef log canonical divisors are indeed rational polyhedral sets.

math.AG↗
arXiv2020

On numerical nonvanishing for generalized log canonical pairs

The nonvanishing conjecture for projective log canonical pairs plays a key role in the minimal model program of higher dimensional algebraic geometry. The numerical nonvanishing conjecture considered in this paper is a weaker version of the usual nonvanishing conjecture, but valid in the more general setting of generalized log canonical pairs. We confirm it in dimension two. Under some necessary conditions we obtain effective versions of numerical nonvanishing for surfaces. Several applications are also discussed. In higher dimensions, we mainly consider the conjecture for generalized klt pairs $(X, B+\mathbf{M})$, and reduce it to lower dimensions when $K_X+\mathbf{M}_X$ is not pseudo-effective. Up to scaling the nef part, we prove the numerical nonvanishing for pseudo-effective generalized lc threefolds with rational singularities.

math.AG↗
arXiv2019

Log surfaces of Picard rank one from four lines in the plane

We derive simple formulas for the basic numerical invariants of a singular surface with Picard number one obtained by blowups and contractions of the four-line configuration in the plane. As an application, we establish the smallest positive volume and the smallest accumulation point of volumes of log canonical surfaces obtained in this way.

math.AG↗