Suslin's cancellation conjecture on smooth real affine varieties with few real points
We study Suslin's cancellation conjecture on smooth real affine varieties whose real locus is empty or, more generally, of small cohomological dimension.
math.AG↗
arXiv subjects
Jean Fasel
Publications and source records attributed to Jean Fasel.
Exotic Hopf maps, weight shifting and applications to vector bundles
Using motivic homotopy theory we produce several explicit polynomial representatives of the suspension of the Hopf map defined over the integers. We derive from this computation an explicit rank 2 vector bundle on the Jouanolou device of the projective space of dimension 3 over the integers.
math.AG↗
Splitting vector bundles over real algebraic varieties
Suppose $X$ is a smooth affine real variety and $\mathscr{E}$ is a vector bundle over $X$. We analyze the problem of splitting off a free rank one summand from $\mathscr{E}$ in corank $0$ and $1$. The problem in corank $0$ can be viewed as the search for a real analog of Murthy's celebrating splitting theorem in the algebraically closed case: to wit, beyond the vanishing of the top Chern class in Chow theory, are the obstructions to splitting ``purely topological''? In a sense, the answer in this case is yes, and we give a proof, using motivic techniques, of a mild extension of the results of Bhatwadekar-Sridharan and Bhatwadekar-Das-Mandal. In corank $1$, in the algebraically closed situation, Murthy's splitting conjecture (now a theorem in characteristic $0$) predicts that the vanishing of the top Chern class in Chow theory is the only obstruction to splitting off a free rank $1$ summand, and we can search for a suitable ``real'' analog of this assertion. We observe that several natural guesses for a ``real'' analog of Murthy's splitting conjecture cannot be true, i.e., that the situation over the real numbers is rather complicated.
math.AG↗
Quadratic Riemann-Roch formulas
In this article, we produce Grothendieck-Riemann-Roch formulas for cohomology theories that are not oriented in the classical sense. We then specialize to the case of cohomology theories that admit a so-called symplectic orientation and show how to compute the relevant Todd classes in that situation. At the end of the article, we illustrate our methods on the Borel character linking Hermitian K-theory and rational MW-motivic cohomology.
math.KT↗
On Tate Milnor-Witt Motives
Smooth projective $\mathbb{G}_m$-varieties with isolated rational fixed points admit Tate Milnor-Witt motives. Over Euclidean fields, we give a splitting formula of such motives, which reduces the computation of their Chow-Witt groups to that of their Chow groups and cohomologies of Witt sheaf.
math.AG↗
Formal ternary laws and Buchstaber's 2-groups
We develop the algebraic formalism of the formal ternary laws of C. Walter and we compare them to Buchstaber's 2-valued formal group laws. We also compute the "elementary" formal ternary laws (after inverting 2) using a computer program available online.
math.KT↗
Suslin's cancellation conjecture in the smooth case
We prove that stably isomorphic vector bundles of rank d-1 on a smooth affine d-fold X over an algebraically closed field k are indeed isomorphic, provided d! is invertible in k. This answers an old conjecture of Suslin.
math.AG↗
Vector bundles on algebraic varieties
We survey some recent progress in the theory of vector bundles on algebraic varieties and related questions in algebraic K-theory.
math.AG↗
Algebraic vector bundles and $p$-local A^1-homotopy theory
Using techniques of A^1-homotopy theory, we produce motivic lifts of elements in classical homotopy groups of spheres; these lifts provide polynomial maps of spheres and allow us to construct ``low rank'' algebraic vector bundles on ``simple'' smooth affine varieties of high dimension.
math.AG↗
On the rational motivic homotopy category
We study the structure of the rational motivic stable homotopy category over general base schemes. Our first class of results concerns the six operations: we prove absolute purity, stability of constructible objects, and Grothendieck-Verdier duality for SH_Q. Next, we prove that SH_Q is canonically SL-oriented; we compare SH_Q with the category of rational Milnor-Witt motives; and we relate the rational bivariant A^1-theory to Chow-Witt groups. These results are derived from analogous statements for the minus part of SH[1/2].
math.AG↗
The stable Adams operations on Hermitian K-theory
We prove that exterior powers of (skew-)symmetric bundles induce a $\lambda$-ring structure on the ring $GW^0(X) \oplus GW^2(X)$, when $X$ is a scheme where $2$ is invertible. Using this structure, we define stable Adams operations on Hermitian $K$-theory. As a byproduct of our methods, we also compute the ternary laws associated to Hermitian $K$-theory.
math.KT↗
Milnor-Witt Motives
We develop the theory of Milnor-Witt motives and motivic cohomology. Compared to Voevodsky's theory of motives and his motivic cohomology, the first difference appears in our definition of Milnor-Witt finite correspondences, where our cycles come equipped with quadratic forms. This yields a weaker notion of transfers and a derived category of motives that is closer to the stable homotopy theory of schemes. We prove a cancellation theorem when tensoring with the Tate object, we compare the diagonal part of our Milnor-Witt motivic cohomology to Minor-Witt K-theory and we provide spectra representing various versions of motivic cohomology in the $\mathbb{A}^1$-derived category or the stable homotopy category of schemes.
math.AG↗
Lectures on Chow-Witt groups
In these lectures, we provide a toolkit to work with Chow-Witt groups, and more generally with the homology and cohomology of the Rost-Schmid complex associated to Milnor-Witt $K$-theory.
math.KT↗
Localization and nilpotent spaces in A^1-homotopy theory
For a subring $R$ of the rational numbers, we study $R$-localization functors in the local homotopy theory of simplicial presheaves on a small site and then in ${\mathbb A}^1$-homotopy theory. To this end, we introduce and analyze two notions of nilpotence for spaces in ${\mathbb A}^1$-homotopy theory paying attention to future applications for vector bundles. We show that $R$-localization behaves in a controlled fashion for the nilpotent spaces we consider. We show that the classifying space $BGL_n$ is ${\mathbb A}^1$-nilpotent when $n$ is odd, and analyze the (more complicated) situation where $n$ is even as well. We establish analogs of various classical results about rationalization in the context of ${\mathbb A}^1$-homotopy theory: if $-1$ is a sum of squares in the base field, ${\mathbb A}^n \setminus 0$ is rationally equivalent to a suitable motivic Eilenberg--Mac Lane space, and the special linear group decomposes as a product of motivic spheres.
math.AG↗
The Borel character
The main purpose of this article is to define a quadratic analog of the Chern character, the so-called Borel character, which identifies rational higher Grothendieck-Witt groups with a sum of rational MW-motivic cohomologies and rational motivic cohomologies. We also discuss the notion of ternary laws due to Walter, a quadratic analog of formal group laws, and compute what we call the additive ternary laws, associated with MW-motivic cohomology. Finally, we provide an application of the Borel character by showing that the Milnor-Witt K-theory of a field F embeds into suitable higher Grothendieck-Witt groups of F modulo explicit torsion.
math.AG↗
Borel isomorphism and absolute purity
We prove absolute purity for the rational motivic sphere spectrum. The main ingredient is the construction of an analogue of the Chern character, where algebraic K-theory is replaced by hermitian K-theory, and motivic cohomology by the plus and minus parts of the rational sphere spectrum. Another ingredient is absolute purity for hermitian K-theory.
math.AG↗
Rank weights for arbitrary finite field extensions
In this paper, we study several definitions of generalized rank weights for arbitrary finite extensions of fields. We prove that all these definitions coincide, generalizing known results for extensions of finite fields.
cs.IT↗
Motivic spheres and the image of the Suslin--Hurewicz map
We show that an old conjecture of A.A. Suslin characterizing the image of a Hurewicz map from Quillen K-theory in degree $n$ to Milnor K-theory in degree $n$ admits an interpretation in terms of unstable ${\mathbb A}^1$-homotopy sheaves of the general linear group. Using this identification, we establish Suslin's conjecture in degree $5$ for infinite fields having characteristic unequal to $2$ or $3$. We do this by linking the relevant unstable ${\mathbb A}^1$-homotopy sheaf of the general linear group to the stable ${\mathbb A}^1$-homotopy of motivic spheres.
math.KT↗