Searcharxiv⌕ Search

arXiv subjects

Hsueh-Yung Lin

Publications and source records attributed to Hsueh-Yung Lin.

At least 19 recordsLinked to original sources
arXiv2026

The Cautis-Logvinenko conjecture

For a finite subgroup $G\subset \operatorname{SL}(3,\mathbb{C})$, the Cautis--Logvinenko conjecture states that for each nontrivial irreducible representation $\rho$ of $G$, the image of the sheaf $\mathcal{O}_0\otimes \rho$ under the derived equivalence of Bridgeland--King--Reid is a pure sheaf on the $G$-Hilbert scheme. We prove a strong form of this conjecture in complete generality, and in doing so, we compute the relevant sheaf explicitly whenever its support is of dimension one. Our main result implies that a matrix defining the Gale dual of the linearisation map is sign-coherent, thereby allowing us to read off the support and cohomological degree of the pure sheaves directly from the matrix.

math.AG↗
arXiv2025

Unboundedness for motivic invariants of birational automorphisms

We introduce horizontal and vertical motivic invariants of birational maps between rational dominant maps and study their basic properties. As a first application, we show that the (usual) motivic invariants vanish for birational automorphisms of threefolds over algebraically closed fields of characteristic zero. On the other hand, we prove that the motivic invariants of the birational automorphism group of many types of varieties, including projective spaces of dimension at least four over a field of characteristic zero, do not form a bounded family, even after extending scalars to the algebraic closure of the field. For such varieties, we further show that their birational automorphism groups are not generated by maps preserving a conic bundle or a rational surface fibration structure, and their abelianizations do not stabilize.

math.AG↗
arXiv2025

On the Kawaguchi--Silverman Conjecture for birational automorphisms of irregular varieties

We study the main open parts of the Kawaguchi--Silverman Conjecture, asserting that for a birational self-map $f$ of a smooth projective variety $X$ defined over $\overline{\mathbb Q}$, the arithmetic degree $α_f(x)$ exists and coincides with the first dynamical degree $δ_f$ for any $\overline{\mathbb Q}$-point $x$ of $X$ with a Zariski dense orbit. Among other results, we show that this holds when $X$ has Kodaira dimension zero and irregularity $q(X) \ge \dim X -1$ or $X$ is an irregular threefold (modulo one possible exception). We also study the existence of Zariski dense orbits, with explicit examples.

math.AG↗
arXiv2024

The effective cone conjecture for Calabi--Yau pairs

We formulate an effective cone conjecture for klt Calabi--Yau pairs $(X,\Delta)$, pertaining to the structure of the cone of effective divisors $\mathrm{Eff}(X)$ modulo the action of the subgroup of pseudo-automorphisms $\mathrm{PsAut}(X,\Delta)$. Assuming the existence of good minimal models in dimension $\dim(X)$, known to hold in dimension up to $3$, we prove that the effective cone conjecture for $(X,\Delta)$ is equivalent to the Kawamata--Morrison--Totaro movable cone conjecture for $(X,\Delta)$, among other statements. As an application, we show that the movable cone conjecture unconditionally holds for the smooth Calabi--Yau threefolds introduced by Schoen and studied by Namikawa, Grassi and Morrison. We also show that for such a Calabi--Yau threefold $X$, all of its minimal models, apart from $X$ itself, have rational polyhedral nef cones.

math.AG↗
arXiv2024

Nef cones of fiber products and an application to the Cone Conjecture

We prove a decomposition theorem for the nef cone of smooth fiber products over curves, subject to the necessary condition that their Néron--Severi space decomposes. We apply it to describe the nef cone of so-called Schoen varieties, which are the higher dimensional analogues of the Calabi--Yau threefolds constructed by Schoen. Schoen varieties give rise to Calabi--Yau pairs, and in each dimension at least three, there exist Schoen varieties with non-polyhedral nef cone. We prove the Kawamata--Morrison--Totaro Cone Conjecture for the nef cones of Schoen varieties, which generalizes the work by Grassi and Morrison.

math.AG↗
arXiv2023

On the virtual invariants of zero entropy groups of compact K\"ahler manifolds

Let $X$ be a compact K\"ahler manifold. We study subgroups $G \le \mathrm{Aut}(X)$ of biholomorphic automorphisms of zero entropy when $\mathrm{Aut}^0(X)$ is compact (e.g. when $\mathrm{Aut}^0(X)$ is trivial). We show that the virtual derived length $\ell_{\mathrm{vir}}(G)$ of $G$ satisfies $\ell_{\mathrm{vir}}(G) \le \dim X -\kappa(X)$, where $\kappa(X)$ is the Kodaira dimension of $X$. Modulo the main conjecture of our previous work concerning the essential nilpotency class, we obtain the same upper bound $c_{\mathrm{vir}}(G) \le \dim X -\kappa(X)$ for the virtual nilpotency class $c_{\mathrm{vir}}(G)$, together with a geometric description of the $G$-action on $X$ when the equality holds.

math.AG↗
arXiv2023

Factorization centers in dimension two and the Grothendieck ring of varieties

We initiate the study of factorization centers of birational maps, and complete it for surfaces over a perfect field in this article. We prove that for every birational automorphism $ϕ: X \dashrightarrow X$ of a smooth projective surface $X$ over a perfect field $k$, the blowup centers are isomorphic to the blowdown centers in every weak factorization of $ϕ$. This implies that nontrivial L-equivalences of $0$-dimensional varieties cannot be constructed based on birational automorphisms of a surface. It also implies that rationality centers are well-defined for every rational surface $X$, namely there exists a $0$-dimensional variety intrinsic to $X$, which is blown up in any rationality construction of $X$.

math.AG↗
arXiv2023

Motivic invariants of birational maps

We construct invariants of birational maps with values in the Kontsevich--Tschinkel group and in the truncated Grothendieck groups of varieties. These invariants are morphisms of groupoids and are well-suited to investigating the structure of the Grothendieck ring and L-equivalence. Building on known constructions of L-equivalence, we prove new unexpected results about Cremona groups.

math.AG↗
arXiv2023

Smooth projective surfaces with infinitely many real forms

The aim of this paper is twofold. First of all, we confirm a few basic criteria of the finiteness of real forms of a given smooth complex projective variety, in terms of the Galois cohomology set of the discrete part of the automorphism group, the cone conjecture and the topological entropy. We then apply them to show that a smooth complex projective surface has at most finitely many non-isomorphic real forms unless it is either rational or a non-minimal surface birational to either a K3 surface or an Enriques surface. In the second part of the paper, we construct an Enriques surface whose blow-up at one point admits infinitely many non-isomorphic real forms. This answers a question of Kondo to us and also shows the three exceptional cases really occur.

math.AG↗
arXiv2022

Zero entropy automorphisms of compact Kähler manifolds and dynamical filtrations

We study zero entropy automorphisms of a compact Kähler manifold $X$. Our goal is to bring to light some new structures of the action on the cohomology of $X$, in terms of the so-called dynamical filtrations on $H^{1,1}(X, {\mathbb R})$. Based on these filtrations, we obtain the first general upper bound on the polynomial growth of the iterations $(g^m)^* \, {\circlearrowleft} \, H^2(X, {\mathbb C})$ where $g$ is a zero entropy automorphism, in terms of ${\rm dim} \, X$ only. We also give an upper bound for the (essential) derived length $\ell_{\rm ess}(G, X)$ for every zero entropy subgroup $G$, again in terms of the dimension of $X$ only. We propose a conjectural upper bound for the essential nilpotency class $c_{\rm ess}(G,X)$ of a zero entropy subgroup $G$. Finally, we construct examples showing that our upper bound of the polynomial growth (as well as the conjectural upper bound of $c_{\rm ess}(G,X)$) are optimal.

math.AG↗
arXiv2021

Polynomial log-volume growth in slow dynamics and the GK-dimensions of twisted homogeneous coordinate rings

Let f be a zero entropy automorphism of a compact K\"ahler manifold X. We study the polynomial log-volume growth Plov(f) of f in light of the dynamical filtrations introduced in our previous work with T.-C. Dinh. We obtain new upper bounds and lower bounds of Plov(f). As a corollary, we completely determine Plov(f) when dim X = 3, extending a result of Artin--Van den Bergh for surfaces. When X is projective, Plov(f) + 1 coincides with the Gelfand--Kirillov dimensions GKdim(X,f) of the twisted homogeneous coordinate rings associated to (X,f). Reformulating these results for GKdim(X,f), we improve Keeler's bounds of GKdim(X,f) and provide effective upper bounds of GKdim(X,f) which only depend on dim X.

math.AG↗
arXiv2020

On the dual positive cones and the algebraicity of a compact K\"ahler manifold

We investigate the algebraicity of compact K\"ahler manifolds admitting a positive rational Hodge class of bidimension $(1,1)$. We prove that if the dual K\"ahler cone of a compact K\"ahler manifold $X$ contains a rational class as an interior point, then its Albanese variety is projective. As a consequence, we answer the Oguiso--Peternell problem for Ricci-flat compact K\"ahler manifolds. We also study related algebraicity problems for threefolds.

math.AG↗
arXiv2018

The fundamental group of compact K{ä}hler threefolds

Let $X$ be a compact K{ä}hler manifold of dimension three. We prove that there exists a projective manifold $Y$ such that $π\_1(X)\simeq π\_1(Y)$. We also prove the bimeromorphic existence of algebraic approximations for compact K{ä}hler manifolds of algebraic dimension $\dim(X)-1$. Together with the work of Graf and the third author, this settles in particular the bimeromorphic Kodaira problem for compact K{ä}hler threefolds.

math.AG↗
arXiv2017

Lagrangian constant cycle subvarieties in Lagrangian fibrations

We show that the image of a dominant meromorphic map from an irreducible compact Calabi-Yau manifold $X$ whose general fiber is of dimension strictly between $0$ and $\dim X$ is rationally connected. Using this result, we construct for any hyper-Kähler manifold $X$ admitting a Lagrangian fibration a Lagrangian constant cycle subvariety $Σ_H$ in $X$ which depends on a divisor class $H$ whose restriction to some smooth Lagrangian fiber is ample. If $\dim X = 4$, we also show that up to a scalar multiple, the class of a zero-cycle supported on $Σ_H$ in $\mathrm{CH}_0(X)$ depend neither on $H$ nor on the Lagrangian fibration (provided $b_2(X) \ge 8$).

math.AG↗
arXiv2017

Algebraic approximations of compact Kähler threefolds of Kodaira dimension 0 or 1

We prove that every compact Kähler threefold $X$ of Kodaira dimension $κ= 0$ or $1$ has a $\mathbf{Q}$-factorial bimeromorphic model $X'$ with at worst terminal singularities such that for each curve $C \subset X'$, the pair $(X',C)$ admits a locally trivial algebraic approximation such that the restriction of the deformation of $X'$ to some neighborhood of $C$ is a trivial deformation. As an application, we prove that every compact Kähler threefold with $κ= 0$ or $1$ has an algebraic approximation.

math.AG↗