arXiv subjects

Lie Fu

Publications and source records attributed to Lie Fu.

At least 37 records · Page 2Linked to original sources

arXiv2021

Special cubic fourfolds, K3 surfaces and the Franchetta property

O'Grady conjectured that the Chow group of 0-cycles of the generic fiber of the universal family over the moduli space of polarized K3 surfaces of genus g is cyclic. This so-called generalized Franchetta conjecture has been solved only for low genera where there is a Mukai model (precisely, when g<11 and g=12, 13, 16, 18, 20), by the work of Pavic--Shen--Yin. In this paper, as a non-commutative analog, we study the Franchetta property for families of special cubic fourfolds (in the sense of Hassett) and relate it to O'Grady's conjecture for K3 surfaces. Most notably, by using special cubic fourfolds of discriminant 26, we prove O'Grady's generalized Franchetta conjecture for g=14, providing the first evidence beyond Mukai models.

math.AG↗

arXiv2021

Multiplicative Chow-Künneth decompositions and varieties of cohomological K3 type

Given a smooth projective variety, a Chow-Künneth decomposition is called multiplicative if it is compatible with the intersection product. Following works of Beauville and Voisin, Shen and Vial conjectured that hyper-Kähler varieties admit a multiplicative Chow-Künneth decomposition. In this paper, based on the mysterious link between Fano varieties with cohomology of K3 type and hyper-Kähler varieties, we ask whether Fano varieties with cohomology of K3 type also admit a multiplicative Chow-Künneth decomposition, and provide evidence by establishing their existence for cubic fourfolds and Küchle fourfolds of type c7. The main input in the cubic hypersurface case is the Franchetta property for the square of the Fano variety of lines; this was established in our earlier work in the fourfold case and is generalized here to arbitrary dimension. On the other end of the spectrum, we also give evidence that varieties with ample canonical class and with cohomology of K3 type might admit a multiplicative Chow-Künneth decomposition, by establishing this for two families of Todorov surfaces.

math.AG↗

arXiv2021

The generalized Franchetta conjecture for some hyper-Kähler varieties, II

We prove the generalized Franchetta conjecture for the locally complete family of hyper-Kähler eightfolds constructed by Lehn-Lehn-Sorger-van Straten (LLSS). As a corollary, we establish the Beauville-Voisin conjecture for very general LLSS eightfolds. The strategy consists in reducing to the Franchetta property for relative fourth powers of cubic fourfolds, by using the recent description of LLSS eightfolds as moduli spaces of semistable objects in the Kuznetsov component of the derived category of cubic fourfolds, together with its generalization to the relative setting due to Bayer-Lahoz-Macrì-Nuer-Perry-Stellari. As a by-product, we compute the Chow motive of the Fano variety of lines on a smooth cubic hypersurface in terms of the Chow motive of the cubic hypersurface.

math.AG↗

arXiv2021

Categorical polynomial entropy

For classical dynamical systems, the polynomial entropy serves as a refined invariant of the topological entropy. In the setting of categorical dynamical systems, that is, triangulated categories endowed with an endofunctor, we develop the theory of categorical polynomial entropy, refining the categorical entropy defined by Dimitrov-Haiden-Katzarkov-Kontsevich. We justify this notion by showing that for an automorphism of a smooth projective variety, the categorical polynomial entropy of the pullback functor on the derived category coincides with the polynomial growth rate of the induced action on cohomology. We also establish in general a Yomdin-type lower bound for the categorical polynomial entropy of an endofunctor in terms of the induced endomorphism on the numerical Grothendieck group of the category. As examples, we compute the categorical polynomial entropy for some standard functors like shifts, Serre functors, tensoring line bundles, automorphisms, spherical twists, P-twists, and so on, illustrating clearly how categorical polynomial entropy refines the study of categorical entropy and enables us to study the phenomenon of categorical trichotomy. A parallel theory of polynomial mass growth rate is developed in the presence of Bridgeland stability conditions.

math.AG↗

arXiv2021

A motivic global Torelli theorem for isogenous K3 surfaces

We prove that the Chow motives of twisted derived equivalent K3 surfaces are isomorphic, not only as Chow motives (due to Huybrechts), but also as Frobenius algebra objects. Combined with a recent result of Huybrechts, we conclude that two complex projective K3 surfaces are isogenous (i.e. their second rational cohomology groups are Hodge isometric) if and only if their Chow motives are isomorphic as Frobenius algebra objects; this can be regarded as a motivic Torelli-type theorem. We ask whether, more generally, twisted derived equivalent hyper-Kaehler varieties have isomorphic Chow motives as (Frobenius) algebra objects and in particular isomorphic graded rational cohomology algebras. In the appendix, we justify introducing the notion of "Frobenius algebra object" by showing the existence of an infinite family of K3 surfaces whose Chow motives are pairwise non-isomorphic as Frobenius algebra objects but isomorphic as algebra objects. In particular, K3 surfaces in that family are pairwise non-isogenous but have isomorphic rational Hodge algebras.

math.AG↗

arXiv2021

On the Betti numbers of compact holomorphic symplectic orbifolds of dimension four

We extend a result of Guan by showing that the second Betti number of a 4-dimensional primitively symplectic orbifold is at most 23 and there are at most 91 singular points. The maximal possibility 23 can only occur in the smooth case. In addition to the known smooth examples with second Betti numbers 7 and 23, we provide examples of such orbifolds with second Betti numbers 3, 5, 6, 8, 9, 10, 11, 14 and 16. In an appendix, we extend Salamon's relation among Betti/Hodge numbers of symplectic manifolds to symplectic orbifolds.

math.AG↗

arXiv2020

Motives of moduli spaces of bundles on curves via variation of stability and flips

We study the rational Chow motives of certain moduli spaces of vector bundles on a smooth projective curve with additional structure (such as a parabolic structure or Higgs field). In the parabolic case, these moduli spaces depend on a choice of stability condition given by weights; our approach is to use explicit descriptions of variation of this stability condition in terms of simple birational transformations (standard flips/flops and Mukai flops) for which we understand the variation of the Chow motives. For moduli spaces of parabolic vector bundles, we describe the change in motive under wall-crossings, and for moduli spaces of parabolic Higgs bundles, we show the motive does not change under wall-crossings. Furthermore, we prove a motivic analogue of a classical theorem of Harder and Narasimhan relating the rational cohomology of moduli spaces of vector bundles with and without fixed determinant. For rank 2 vector bundles of odd degree, we obtain formulas for the rational Chow motives of moduli spaces of semistable vector bundles, moduli spaces of Higgs bundles and moduli spaces of parabolic (Higgs) bundles that are semistable with respect to a generic weight (all with and without fixed determinant).

math.AG↗

arXiv2020

Supersingular irreducible symplectic varieties

We study symplectic varieties defined over fields of positive characteristics, especially the supersingular ones, generalizing the theory of supersingular K3 surfaces. In this work, we are mainly interested in the following two types of symplectic varieties over an algebraically closed field of positive characteristic, under natural numerical conditions: (1) smooth moduli spaces of sheaves on K3 surfaces and (2) smooth Albanese fibers of moduli spaces of sheaves on abelian surfaces. Several natural definitions of the supersingularity for symplectic varieties are discussed, which are proved to be equivalent in both cases (1) and (2). Their equivalence is conjectured in general. On the geometric aspect, we conjecture that unirationality characterizes supersingularity for symplectic varieties. Such an equivalence is established in case (1), assuming the same is true for K3 surfaces. In case (2), we show that the rational chain connectedness is equivalent to supersingularity. On the motivic aspect, we conjecture that the algebraic cycles on supersingular symplectic varieties should be much simpler than their complex counterparts: its rational Chow motive is of supersingular abelian type, the rational Chow ring is representable and satisfies the Bloch--Beilinson conjecture and Beauville's splitting property. As evidences, we prove all these conjectures on algebraic cycles for supersingular varieties in both cases (1) and (2).

math.AG↗

arXiv2020

Supersingular O'Grady varieties of dimension six

O'Grady constructed a 6-dimensional irreducible holomorphic symplectic variety by taking a crepant resolution of some moduli space of stable sheaves on an abelian surface. In this paper, we naturally extend O'Grady's construction to fields of positive characteristic p greater than 2, called OG6 varieties. We show that a supersingular OG6 variety is unirational, its rational cohomology group is generated by algebraic classes, and its rational Chow motive is of Tate type. These results confirm in this case the generalized Artin--Shioda conjecture, the supersingular Tate conjecture and the supersingular Bloch conjecture proposed in our previous work, in analogy with the theory of supersingular K3 surfaces.

math.AG↗

arXiv2020

On the motive of O'Grady's ten-dimensional hyper-Kähler varieties

We investigate how the motive of hyper-Kähler varieties is controlled by weight-2 (or surface-like) motives via tensor operations. In the first part, we study the Voevodsky motive of singular moduli spaces of semistable sheaves on K3 and abelian surfaces as well as the Chow motive of their crepant resolutions, when they exist. We show that these motives are in the tensor subcategory generated by the motive of the surface, provided that a crepant resolution exists. This extends a recent result of Bülles to the O'Grady-10 situation. In the non-commutative setting, similar results are proved for the Chow motive of moduli spaces of stable objects of the K3 category of a cubic fourfold. As a consequence, we provide abundant examples of hyper-Kähler varieties of O'Grady-10 deformation type satisfying the standard conjectures. In the second part, we study the André motive of projective hyper-Kähler varieties. We attach to any such variety its defect group, an algebraic group which acts on the cohomology and measures the difference between the full motive and its weight-2 part. When the second Betti number is not 3, we show that the defect group is a natural complement of the Mumford--Tate group inside the motivic Galois group, and that it is deformation invariant. We prove the triviality of this group for all known examples of projective hyper-Kähler varieties, so that in each case the full motive is controlled by its weight-2 part. As applications, we show that for any variety motivated by a product of known hyper-Kähler varieties, all Hodge and Tate classes are motivated, the motivated Mumford--Tate conjecture holds, and the André motive is abelian. This last point completes a recent work of Soldatenkov and provides a different proof for some of his results.

math.AG↗

arXiv2019

Orbifold products for higher K-theory and motivic cohomology

Due to the work of many authors in the last decades, given an algebraic orbifold (smooth proper Deligne-Mumford stack with trivial generic stabilizer), one can construct its orbifold Chow ring and orbifold Grothendieck ring, and relate them by the orbifold Chern character map, generalizing the fundamental work of Chen-Ruan on orbifold cohomology. In this paper, we extend this theory naturally to higher Chow groups and higher algebraic K-theory, mainly following the work of Jarvis-Kaufmann-Kimura and Edidin-Jarvis-Kimura.

math.AG↗

arXiv2019

Finiteness of Klein actions and real structures on compact hyperkähler manifolds

One central problem in real algebraic geometry is to classify the real structures of a given complex manifold. We address this problem for compact hyperkähler manifolds by showing that any such manifold admits only finitely many real structures up to equivalence. We actually prove more generally that there are only finitely many, up to conjugacy, faithful finite group actions by holomorphic or anti-holomorphic automorphisms (the so-called Klein actions). In other words, the automorphism group and the Klein automorphism group of a compact hyperkähler manifold contain only finitely many conjugacy classes of finite subgroups. We furthermore answer a question of Oguiso by showing that the automorphism group of a compact hyperkähler manifold is finitely presented.

math.AG↗

arXiv2019

Distinguished cycles on varieties with motive of abelian type and the Section Property

A remarkable result of Peter O'Sullivan asserts that the algebra epimorphism from the rational Chow ring of an abelian variety to its rational Chow ring modulo numerical equivalence admits a (canonical) section. Motivated by Beauville's splitting principle, we formulate a conjectural Section Property which predicts that for smooth projective holomorphic symplectic varieties there exists such a section of algebra whose image contains all the Chern classes of the variety. In this paper, we investigate this property for (not necessarily symplectic) varieties with Chow motive of abelian type. We introduce the notion of symmetrically distinguished abelian motive and use it to provide a sufficient condition for a smooth projective variety to admit such a section. We then give series of examples of varieties for which our theory works. For instance, we prove the existence of such a section for arbitrary products of varieties with Chow groups of finite rank, abelian varieties, hyperelliptic curves, Fermat cubic hypersurfaces, Hilbert schemes of points on an abelian surface or a Kummer surface or a K3 surface with Picard number at least 19, and generalized Kummer varieties. The latter cases provide evidence for the conjectural Section Property and exemplify the mantra that the motives of holomorphic symplectic varieties should behave as the motives of abelian varieties, as algebra objects.

math.AG↗

arXiv2018

2-cycles sur les hypersurfaces cubiques de dimension 5

On étudie les cycles algébriques de codimension 3 sur les hypersurfaces cubiques lisses de dimension 5. Pour une telle hypersurface, on démontre d'une part que son groupe de Griffiths des cycles de codimension 3 est trivial et d'autre part que l'application d'Abel-Jacobi induit un isomorphisme entre son groupe de Chow des cycles de codimension 3 algébriquement equivalents à zéro et sa jacobienne intermédiaire. ---------- We study 2-cycles of a smooth cubic hypersurface of dimension 5. We show that the Griffiths group of 2-cycles is trivial and the Abel-Jacobi map induces an isomorphism between the Chow group of algebraically trivial 2-cycles and the intermediate Jacobian.

math.AG↗

arXiv2018

The generalized Franchetta conjecture for some hyper-Kähler varieties

The generalized Franchetta conjecture for hyper-Kähler varieties predicts that an algebraic cycle on the universal family of certain polarized hyper-Kähler varieties is fiberwise rationally equivalent to zero if and only if it vanishes in cohomology fiberwise. We establish Franchetta-type results for certain low (Hilbert) powers of low degree K3 surfaces, for the Beauville--Donagi family of Fano varieties of lines on cubic fourfolds and its relative square, and for $0$-cycles and codimension-$2$ cycles for the Lehn--Lehn--Sorger--van Straten family of hyper-Kähler eightfolds. We also draw many consequences in the direction of the Beauville--Voisin conjecture as well as Voisin's refinement involving coisotropic subvarieties. In the appendix, we establish a new relation among tautological cycles on the square of the Fano variety of lines of a smooth cubic fourfold and provide some applications.

math.AG↗

arXiv2018

Admissible subcategories in derived categories of moduli of vector bundles on curves

We show that the Poincaré bundle gives a fully faithful embedding from the derived category of a curve of sufficiently high genus into the derived category of its moduli space of bundles of rank $r$ with fixed determinant of degree 1. Moreover we show that a twist of the embedding, together with 2 exceptional line bundles, gives the start of a semi-orthogonal decomposition. This generalises results of Narasimhan and Fonarev-Kuznetsov, who embedded the derived category of a single copy of the curve, for rank 2.

math.AG↗

arXiv2018

Motivic HyperKähler Resolution Conjecture : I. Generalized Kummer varieties

Given a smooth projective variety $M$ endowed with a faithful action of a finite group $G$, following Jarvis-Kaufmann-Kimura and Fantechi-Göttsche, we define the orbifold motive (or Chen-Ruan motive) of the quotient stack $[M/G]$ as an algebra object in the category of Chow motives. Inspired by Ruan, one can formulate a motivic version of his Cohomological HyperKähler Resolution Conjecture. We prove this motivic version, as well as its K-theoretic analogue conjectured by Jarvis-Kaufmann-Kimura, in two situations related to an abelian surface $A$ and a positive integer $n$. Case (A) concerns Hilbert schemes of points of $A$ : the Chow motive of $A^{[n]}$ is isomorphic as algebra objects, up to a suitable sign change, to the orbifold motive of the quotient stack $[A^{n}/\mathfrak{S}_{n}]$. Case (B) for generalized Kummer varieties : the Chow motive of the generalized Kummer variety $K_n(A)$ is isomorphic as algebra objects, up to a suitable sign change, to the orbifold motive of the quotient stack $[A_{0}^{n+1}/\mathfrak {S}_{n+1}]$, where $A_{0}^{n+1}$ is the kernel abelian variety of the summation map $A^{n+1}\to A$. As a byproduct, we prove the original Cohomological HyperKähler Resolution Conjecture for generalized Kummer varieties. As an application, we provide multiplicative Chow-Künneth decompositions for Hilbert schemes of abelian surfaces and for generalized Kummer varieties. In particular, we have a multiplicative direct sum decomposition of their Chow rings with rational coefficients, which is expected to be the splitting of the conjectural Bloch-Beilinson-Murre filtration. The existence of such a splitting for holomorphic symplectic varieties is conjectured by Beauville.

math.AG↗

arXiv2018

Motivic multiplicative McKay correspondence for surfaces

We revisit the classical two-dimensional McKay correspondence in two respects: The first one, which is the main point of this work, is that we take into account of the multiplicative structure given by the orbifold product; second, instead of using cohomology, we deal with the Chow motives. More precisely, we prove that for any smooth proper two-dimensional orbifold with projective coarse moduli space, there is an isomorphism of algebra objects, in the category of complex Chow motives, between the motive of the minimal resolution and the orbifold motive. In particular, the complex Chow ring (resp. Grothendieck ring, cohomology ring, topological K-theory) of the minimal resolution is isomorphic to the complex orbifold Chow ring (resp. Grothendieck ring, cohomology ring, topological K-theory) of the orbifold surface. This confirms the two-dimensional Motivic Crepant Resolution Conjecture.

math.AG↗