Researcher profile

Charles Vial

Charles Vial contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
1topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2025arXiv

On proper splinters in positive characteristic

While the splinter property is a local property for Noetherian schemes in characteristic zero, Bhatt observed that it imposes strong conditions on the global geometry of proper schemes in positive characteristic. We show that if a proper scheme over a field of positive characteristic is a splinter, then its Nori fundamental group scheme is trivial and its Kodaira dimension is negative. In another direction, Bhatt also showed that any splinter in positive characteristic is a derived splinter. We ask whether the splinter property is a derived invariant for projective varieties in positive characteristic and give a positive answer for normal Gorenstein projective varieties with big anticanonical divisor. We also show that global F-regularity is a derived invariant for normal Gorenstein projective varieties in positive characteristic.

preprint2022arXiv

On the birational motive of hyper-Kähler varieties

We introduce a new ascending filtration, that we call the co-radical filtration in analogy with the basic theory of co-algebras, on the Chow groups of pointed smooth projective varieties. In the case of zero-cycles on projective hyper-Kähler manifolds, we conjecture it agrees with a filtration introduced by Voisin. This is established for moduli spaces of stable objects on K3 surfaces, for generalized Kummer varieties and for the Fano variety of lines on a smooth cubic fourfold. Our overall strategy is to view the birational motive of a smooth projective variety as a co-algebra object with respect to the diagonal embedding and to show in the aforementioned cases the existence of a so-called strict grading whose associated filtration agrees with the filtration of Voisin. As results of independent interest, we upgrade to rational equivalence Voisin's notion of "surface decomposition" and show that the birational motive of some projective hyper-Kähler manifolds is determined, as a co-algebra object, by the birational motive of a surface. We also relate our co-radical filtration on the Chow groups of abelian varieties to Beauville's eigenspace decomposition.

preprint2021arXiv

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.

preprint2021arXiv

On the image of the second l-adic Bloch map

For a smooth projective geometrically uniruled threefold defined over a perfect field we show that there exists a canonical abelian variety over the field, namely the second algebraic representative, whose rational Tate modules model canonically the third l-adic cohomology groups of the variety for all primes l. In addition, there exists a rational correspondence inducing these identifications. In the case of a geometrically rationally chain connected variety, one obtains canonical identifications between the integral Tate modules of the second algebraic representative and the third l-adic cohomology groups of the variety, and if the variety is a geometrically stably rational threefold, these identifications are induced by an integral correspondence. Our overall strategy consists in studying -- for arbitrary smooth projective varieties -- the image of the second ell-adic Bloch map restricted to the Tate module of algebraically trivial cycle classes in terms of the "correspondence (co)niveau filtration". This complements results with rational coefficients due to Suwa. In the appendix, we review the construction of the Bloch map and its basic properties.

preprint2020arXiv

Zero-cycles on double EPW sextics

The Chow rings of hyperKähler varieties are conjectured to have a particularly rich structure. In this paper, we focus on the locally complete family of double EPW sextics and establish some properties of their Chow rings. First we prove a Beauville-Voisin type theorem for zero-cycles on double EPW sextics; precisely, we show that the codimension-4 part of the subring of the Chow ring of a double EPW sextic generated by divisors, the Chern classes and codimension-2 cycles invariant under the anti-symplectic covering involution has rank one. Second, for double EPW sextics birational to the Hilbert square of a K3 surface, we show that the action of the anti-symplectic involution on the Chow group of zero-cycles commutes with the Fourier decomposition of Shen-Vial.

preprint2019arXiv

Parameter spaces for algebraic equivalence

A cycle is algebraically trivial if it can be exhibited as the difference of two fibers in a family of cycles parameterized by a smooth scheme. Over an algebraically closed field, it is a result of Weil that it suffices to consider families of cycles parameterized by curves, or by abelian varieties. In this paper, we extend these results to arbitrary base fields. The strengthening of these results turns out to be a key step in our work elsewhere extending Murre's results on algebraic representatives for varieties over algebraically closed fields to arbitrary perfect fields.

preprint2018arXiv

Derived equivalent threefolds, algebraic representatives, and the coniveau filtration

A conjecture of Orlov predicts that derived equivalent smooth projective varieties over a field have isomorphic Chow motives. The conjecture is known for curves, and was recently observed for surfaces by Huybrechts. In this paper we focus on threefolds over perfect fields, and unconditionally secure results, which are implied by Orlov's conjecture, concerning the geometric coniveau filtration, and abelian varieties attached to smooth projective varieties.

preprint2018arXiv

Distinguished models of intermediate Jacobians

We show that the image of the Abel-Jacobi map admits functorially a model over the field of definition, with the property that the Abel-Jacobi map is equivariant with respect to this model. The cohomology of this abelian variety over the base field is isomorphic as a Galois representation to the deepest part of the coniveau filtration of the cohomology of the projective variety. Moreover, we show that this model over the base field is dominated by the Albanese variety of a product of components of the Hilbert scheme of the projective variety, and thus we answer a question of Mazur. We also recover a result of Deligne on complete intersections of Hodge level one.