Searcharxiv⌕ Search

arXiv subjects

Mingmin Shen

Publications and source records attributed to Mingmin Shen.

15 recordsLinked to original sources
arXiv2022

De Rham-Betti classes with coefficients

Let $K$ and $L$ be algebraic extensions of the rational numbers inside the field of complex numbers. An $L$-de Rham-Betti class on a smooth projective variety $X$ over $K$ is a class in the Betti cohomology with $L$-coefficients of the analytification of $X$ that descends to a class in the algebraic de Rham cohomology of $X$ via the period comparison isomorphism. The period conjecture of Grothendieck implies that $L$-de Rham-Betti classes should be $L$-linear combinations of algebraic cycle classes. We prove that $L$-de Rham-Betti classes on products of elliptic curves are $L$-linear combinations of algebraic classes, provided $L$ contains at most one of the CM fields associated with the CM elliptic curves involved in the product. A key step consists in establishing a version of the analytic subgroup theorem with $L$-coefficients. Moreover, building on results of Deligne and Andr\'e regarding the Kuga-Satake correspondence, we show that codimension-2 $L$-de Rham-Betti classes on hyper-K\"ahler varieties of known deformation type are $L$-linear combinations of motivated cycles, and we obtain a global de Rham-Betti Torelli theorem for K3 surfaces defined over the algebraic numbers.

math.AG↗
arXiv2020

On the Chow groups of the variety of lines of a cubic fourfold

Let $X$ be a smooth complex cubic fourfold and let $F$ be the variety of lines of $X$. The variety $F$ is known to be a smooth projective hyperkaehler fourfold, which is moreover endowed with a self rational map $ϕ: F -\rightarrow F$ first constructed by C. Voisin. Here we define a filtration of Bloch--Beilinson type on the Chow group of zero-cycles $CH_0(F)$ which canonically splits under the action of $ϕ$, thereby answering in this case a question of A. Beauville. Moreover, we show that this filtration is of motivic origin, in the sense that it arises from a Chow--Kuenneth decomposition of the diagonal.

math.AG↗
arXiv2019

Rationality, universal generation and the integral Hodge conjecture

We use the universal generation of algebraic cycles to relate (stable) rationality to the integral Hodge conjecture. We show that the Chow group of 1-cycles on a cubic hypersurface is universally generated by lines. Applications are mainly in cubic hypersurfaces of low dimensions. For example, we show that if a generic cubic fourfold is stably rational then the Beauville--Bogomolov form on its variety of lines, viewed as an integral Hodge class on the self product of its variety of lines, is algebraic. In dimension $3$ and $5$, we relate stable rationality with the geometry of the associated intermediate Jacobian.

math.AG↗
arXiv2019

Vanishing cycles under base change and the integral Hodge conjecture

In this paper we discuss an obstruction to the integral Hodge conjecture, which arises from certain behavior of vanishing cycles. This allows us to construct new counter-examples to the integral Hodge conjecture. One typical such counter-example is the product of a very general hypersurface of odd dimension and an Enriques surface. Our approach generalizes the degeneration argument of Benoist-Ottem.

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↗
arXiv2016

The motive of the Hilbert cube

The Hilbert scheme $X^{[3]}$ of length-$3$ subschemes of a smooth projective variety $X$ is known to be smooth and projective. We investigate whether the property of having a multiplicative Chow-Kuenneth decomposition is stable under taking the Hilbert cube. This is achieved by considering an explicit resolution of the map $X^3 \dashrightarrow X^{[3]}$. The case of the Hilbert square was taken care of in previous work of ours. The archetypical examples of varieties endowed with a multiplicative Chow-Kuenneth decomposition is given by abelian varieties. Recent work seems to suggest that hyperKaehler varieties share the same property. Roughly, if a smooth projective variety $X$ has a multiplicative Chow-Kuenneth decomposition, then the Chow rings of its powers $X^n$ have a filtration, which is the expected Bloch-Beilinson filtration, that is split.

math.AG↗
arXiv2016

Birational Chow-Künneth decompositions

We study the notion of a birational Chow-Künneth decomposition, which is essentially a decomposition of the integral birational motive of a variety. The existence of a birational Chow-Künneth decomposition is stably birationally invariant and this notion refines the Chow theoretical decomposition of the diagonal. We show that a birational Chow-Künneth decompostion exists for the following varieties: (a) Jacobian variety; (b) Hilbert scheme of points on a $K3$ surface and (c) The variety of lines on a stably rational cubic threefold or a stably rational cubic fourfold.

math.AG↗
arXiv2014

The Fourier transform for certain hyperKaehler fourfolds

Using a codimension-$1$ algebraic cycle obtained from the Poincaré line bundle, Beauville defined the Fourier transform on the Chow groups of an abelian variety $A$ and showed that the Fourier transform induces a decomposition of the Chow ring $CH^*(A)$. By using a codimension-$2$ algebraic cycle representing the Beauville--Bogomolov class, we give evidence for the existence of a similar decomposition for the Chow ring of hyperKähler varieties deformation equivalent to the Hilbert scheme of length-$2$ subschemes on a K3 surface. We indeed establish the existence of such a decomposition for the Hilbert scheme of length-$2$ subschemes on a K3 surface and for the variety of lines on a very general cubic fourfold.

math.AG↗
arXiv2013

Prym-Tjurin Constructions on Cubic Hypersurfaces

In this paper, we give a Prym-Tjurin construction for the cohomology and the Chow groups for a cubic hypersurface. On the space of lines meeting a given rational curve, there is the incidence correspondence. This correspondence induces an action on both of the primitive cohomology and the primitive Chow groups. We first show that this action satisfies a quadratic equation. Then the Abel-Jacobi homomorphism induces an isomorphism between the primitive cohomology of the cubic hypersurface and the Prym-Tjurin part of the above action. This also holds for Chow groups with rational coefficients.

math.AG↗
arXiv2013

Hyperkahler manifolds of Jacobian type

In this paper we define the notion of a hyperkähler manifold (potentially) of Jacobian type. If we view hyperkähler manifolds as "abelian varieties", then those of Jacobian type should be viewed as "Jacobian varieties". Under a minor assumption on the polarization, we show that a very general polarized hyperkähler fourfold $F$ of $K3^{[2]}$-type is not of Jacobian type. As a potential application, we conjecture that if a cubic fourfold is rational then its variety of lines is of Jacobian type. Under some technical assumption, it is proved that the variety of lines on a rational cubic fourfold is potentially of Jacobian type. We also prove the Hodge conjecture in degree 4 for a generic $F$ of $K3^{[2]}$-type.

math.AG↗
arXiv2013

Surfaces with involution and Prym constructions

An involution on a surface induces involutions on the cohomology, the Chow group and the Brauer group of the surface. We give a detailed study of those actions. We show that the odd part of these groups can be used to describe the geometry of cubic fourfolds and conic bundles over $\mathbb{P}^3$.

math.AG↗
arXiv2012

Rational curves on Fermat hypersurfaces

In this note we study rational curves on degree $p^r+1$ Fermat hypersurface in $\PP^{p^r+1}_k$, where $k$ is an algebraically closed field of characteristic $p$. The key point is that the presence of Frobenius morphism makes the behavior of rational curves to be very different from that of charateristic 0. We show that if there exists $N_0$ such that for all $e\geq N_0$ there is a degree $e$ very free rational curve on $X$, then $N_0> p^r(p^r-1)$.

math.AG↗
arXiv2012

On relations among 1-cycles on cubic hypersurfaces

In this paper we give two explicit relations among 1-cycles modulo rational equivalence on a smooth cubic hypersurfaces $X$. Such a relation is given in terms of a (pair of) curve(s) and its secant lines. As the first application, we reprove Paranjape's theorem that $\mathrm{CH}_1(X)$ is always generated by lines and that it is isomorphic to $\Z$ if the dimension of $X$ is at least 5. Another application is to the intermediate jacobian of a cubic threefold $X$. To be more precise, we show that the intermediate jacobian of $X$ is naturally isomorphic to the Prym-Tjurin variety constructed from the curve parameterizing all lines meeting a given curve on $X$. The incidence correspondences play an important role in this study. We also give a description of the Abel-Jacobi map for 1-cycles in this setting.

math.AG↗
arXiv2009

Foliations and Rational Connectedness in Positive Characteristic

In this paper, the technique of foliations in characteristic $p$ is used to investigate the difference between rational connectedness and separable rational connectedness in positive characteristic. The notion of being freely rationally connected is defined; a variety is freely rationally connected if a general pair of points can be connected by a free rational curve. It is proved that a freely rationally connected variety admits a finite purely inseparable morphism to a separably rationally connected variety. As an application, a generalized Graber-Harris-Starr type theorem in positive characteristic is proved; namely, if a family of varieties over a smooth curve has the property that its geometric generic fiber is normal and freely rationally connected, then it has a rational section after some Frobenius twisting. We also show that a freely rationally connected variety is simply connected.

math.AG↗