arXiv subjects
Publications and source records attributed to Xun Yu.
It has been a long standing open problem to find generators of the automorphism group of the complex Fermat quartic K3 surface; in fact, even an explicit number of generators has not been known before. In this paper, we provide the first solution to this problem, presenting $16$ geometric generators of finite order for this group explicitly.
Low-dose computed tomography (LDCT) reconstruction is fundamentally challenged by severe noise and compromised data fidelity under reduced radiation exposure. Most existing methods operate either in the image or post-log projection domain, which fails to fully exploit the rich structural information in pre-log measurements while being highly susceptible to noise. The requisite logarithmic transformation critically amplifies noise within these data, imposing exceptional demands on reconstruction precision. To overcome these challenges, we propose PLOT-CT, a novel framework for Pre-Log vOronoi decomposiTion-assisted CT generation. Our method begins by applying Voronoi decomposition to pre-log sinograms, disentangling the data into distinct underlying components, which are embedded in separate latent spaces. This explicit decomposition significantly enhances the model's capacity to learn discriminative features, directly improving reconstruction accuracy by mitigating noise and preserving information inherent in the pre-log domain. Extensive experiments demonstrate that PLOT-CT achieves state-of-the-art performance, attaining a 2.36dB PSNR improvement over traditional methods at the 1e4 incident photon level in the pre-log domain.
We show that there exists a $2$-dimensional family of smooth cubic threefolds admitting unirational parametrizations of coprime degrees. This together with Clemens--Griffiths' work solves the long standing open problem whether there exists a nonrational variety with unirational parametrizations of coprime degrees. Our proof uses a new approach, called the Noether--Cremona method, for determining the rationality of quotients of hypersurfaces.
We show the finiteness of the N\'eron-Severi lattices of complex projective K3 surfaces whose automorphism groups are non-elementary hyperbolic with explicit descriptions, under the assumption that the Picard number $\ge 6$ which is optimal to ensure the finiteness. Our proof of finiteness is based on the study of genus one fibrations on K3 surfaces and recent work of Kikuta and Takatsu.
We show that smooth hypersurfaces in complex projective spaces with automorphism groups of maximum size are isomorphic to Fermat hypersurfaces, with a few exceptions. For the exceptions, we give explicitly the defining equations and automorphism groups.
We give a bound on the number of weighted real forms of a complex variety with finite automorphism group, where the weight is the inverse of the number of automorphisms of the real form. We give another bound involving the Sylow 2-subgroup and as an application we give bounds on real forms of plane curves.
In this paper, we introduce notions of partitionability and characteristic sets of homogeneous polynomials and give a complete classification of groups faithfully acting on smooth cubic fivefolds. Specifically, we prove that there exist 20 maximal ones among all such groups. As an application, we classify all possible subgroups of the automorphism groups of smooth cubic fourfolds.
In this paper, we investigate Bloch's conjecture for autoequivalence on K3 surfaces. We introduce the notion of reflective autoequivalence of twisted K3 surfaces and prove Bloch's conjecture for such autoequivalences, thereby confirming the conjecture for all (anti-)symplectic autoequivalences of K3 surfaces with Picard number at least $3$. The main idea is that we find a Cartan-Dieudonn\'e type decomposition of (anti)-symplectic autoequivalences. Our findings have several interesting consequences. Firstly, we verify Bloch's conjecture for (anti-)symplectic birational automorphisms of Bridgeland moduli space on a K3 surface with Picard number at least $3$. This notably implies that Bloch's conjecture holds for (anti)-symplectic birational automorphisms of finite order ($\neq 2,4$) on arbitrary hyper-K\"ahler varieties of $K3^{[n]}$-type. Secondly, we extend Huybrechts' work in \cite{Huy12} to twisted K3 surfaces. This extension enables us to affirm Bloch's conjecture for symplectic birational automorphisms on any hyper-K\"ahler variety of $K3^{[n]}$-type preserving a birational Lagrangian fibration. Finally, we prove the constant cycle property for the fixed loci of anti-symplectic involutions on hyper-K\"ahler varieties of $K3^{[n]}$-type, provided that $n \leq 2$ or the invariant sublattice has rank greater than $1$.
We derive a characterization of the complex projective K3 surfaces which have automorphisms of positive entropy in term of their N\'eron-Severi lattices. Along the way, we classify the projective K3 surfaces of zero entropy with infinite automorphism groups and we determine the projective K3 surfaces of Picard number at least five with almost abelian automorphism groups, which gives an answer to a long standing question of Nikulin.
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.
We construct a smooth complex projective rational surface with infinitely many mutually non-isomorphic real forms. This gives the first definite answer to a long standing open question if a smooth complex projective rational surface has only finitely many non-isomorphic real forms or not.
We extend non-emtpyness and irreducibility of Hassett divisors to the moduli spaces of $M$-polarizable cubic fourfolds for higher rank lattices $M$, which in turn provides a systematic approach for describing the irreducible components of intersection of Hassett divisors. We show that Fermat cubic fourfold is contained in every Hassett divisor, which yields a new proof of Hassett's existence theorem of special cubic fourfolds. We obtain an algorithm to determine the irreducible components of the intersection of any two Hassett divisors and we give new examples of rational cubic fourfolds. Moreover, we derive a numerical criterion for the algebraic cohomology of a cubic fourfold having an associated K3 surface and answer a question of Laza by realizing infinitely many rank $11$ lattices as the algebraic cohomologies of cubic fourfolds having no associated K3 surfaces.
We show, among other things, that for each integer $n \ge 3$, there is a smooth complex projective rational variety of dimension $n$, with discrete non-finitely generated automorphism group and with infinitely many mutually non-isomorphic real forms. Our result is inspired by the work of Lesieutre and the work of Dinh and Oguiso.
We establish a blow-up formula for Hodge cohomology of locally free sheaves on smooth proper varieties over an algebraically closed field of positive characteristic. For this, we introduce a notion of relative Hodge sheaves and study their behavior under blow-ups along smooth centers. In particular, as an application, we study the blow-up invariance of the $E_2$-degeneracy of the Hochschild--Kostant--Rosenberg spectral sequence for smooth proper varieties.
In this paper, we classify groups which faithfully act on smooth cubic threefolds. It turns out that there are exactly $6$ maximal ones and we describe them with explicit examples of target cubic threefolds.
We prove that every Hassett's Noether-Lefschetz divisor of special cubic fourfolds contains a union of three codimension-two subvarieties, parametrizing rational cubic fourfolds, in the moduli space of smooth cubic fourfolds.
We study the inertia groups of some smooth rational curves on 2-elementary K3 surfaces and singular K3 surfaces from the view of topological entropy, with an application to a long standing open question of Coble on the inertia group of a generic Coble surface.
A fullness conjecture of Kuznetsov says that if a smooth projective variety $X$ admits a full exceptional collection of line bundles of length $l$, then any exceptional collection of line bundles of length $l$ is full. In this paper, we show that this conjecture holds for $X$ as the blow-up of $\mathbb{P}^{3}$ at a point, a line, or a twisted cubic curve, i.e. any exceptional collection of line bundles of length 6 on $X$ is full. Moreover, we obtain an explicit classification of full exceptional collections of line bundles on such $X$.