arXiv subjects

Guangzhao Zhu

Publications and source records attributed to Guangzhao Zhu.

5 recordsLinked to original sources

arXiv2026

Weil restriction, normal bundles and motivic Thom spaces

Recent developments in motivic homotopy theory, particularly the construction of norm functors by Bachmann and Hoyois, have revealed deep connections between algebraic geometry and homotopy-theoretic structures. In this paper, we investigate certain geometric aspects of norm functors through the Weil restriction of schemes, which underlies these constructions. We show that Weil restriction preserves vector bundles and extend existing results concerning normal bundles. We then relate the Weil restriction to norm functors and, using a result of Bachmann and Hoyois, establish its compatibility with motivic Thom spaces. Finally, in the setting of motivic cohomology with rational coefficients, we prove that the Weil restriction map agrees with the norm map induced by a norm functor and that it preserves Thom classes.

math.AG↗

arXiv2026

Weil restriction and the motivic cycle class map

We construct the Weil restriction map for l-adic cohomology and, more generally, for mixed Weil cohomology theories. We study its compatibility with the motivic cycle class map and show that these constructions admit a natural interpretation in the triangulated categories of motives. Using Grothendieck's six-functor formalism, we prove that the Weil restriction map arises intrinsically from the functorial structures of these categories. This provides a conceptual framework for understanding the interaction between Weil restriction, motivic cohomology, and realization functors.

math.AG↗

arXiv2025

Rationality of cycles modulo 2 on products of generically smooth quadrics in characteristic 2

A 2022 result of Karpenko establishes a conjecture of Hoffmann-Totaro on the possible values of the first higher isotropy index of an arbitrary anisotropic quadratic form of given dimension over an arbitrary field. For nondegenerate forms, this essentially goes back to a 2003 article of the same author on quadratic forms over fields of characteristic not $2$. To handle the more involved case of degenerate forms in characteristic $2$, Karpenko showed that certain aspects of the algebraic-geometric approach to nondegenerate quadratic forms developed by Karpenko, Merkurjev, Rost, Vishik and others can be adapted to a study of rational cycles modulo $2$ on powers of a given generically smooth quadric. In this paper, we extend this to a broader study of rational cycles modulo $2$ on arbitrary products of generically smooth quadrics in characteristic $2$. A basic objective is to have tools available to study correspondences between general quadrics, in particular, between smooth and non-smooth quadrics. Applications of the theory to the study of degenerate quadratic forms in characteristic $2$ are provided, and a number of open problems on forms of this type are also formulated and discussed.

math.AG↗

arXiv2025

Pullback and Weil transfer on Chow groups

In the paper ``Weil transfer of algebraic cycles'', published by the second author in Indagationes Mathematicae about 25 years ago, a Weil transfer map for Chow groups of smooth algebraic varieties has been constructed and its basic properties have been established. The proof of commutativity with the pullback homomorphisms given there used a variant of Moving Lemma suffering a lack of reference. Here we are providing an alternative proof based on a more contemporary construction of the pullback via a deformation to the normal cone.

math.AG↗

arXiv2024

Artin shapes

We introduce and study on examples a notion of the Artin shape for a motive related to a projective homogenous variety. We apply it to the problem of finding the complete motivic decomposition of the variety. Our examples cover unitary involution varieties as well as some varieties given by a quadratic Weil transfer. Some of the decompositions obtained dispel prior expectations on how motivic decompositions of projective homogeneous varieties can look like.

math.AG↗