arXiv subjects
Publications and source records attributed to Jean Fasel.
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.
Suppose $X$ is a smooth complex algebraic variety. A necessary condition for a complex topological vector bundle on $X$ (viewed as a complex manifold) to be algebraic is that all Chern classes must be algebraic cohomology classes, i.e., lie in the image of the cycle class map. We analyze the question of whether algebraicity of Chern classes is sufficient to guarantee algebraizability of complex topological vector bundles. For affine varieties of dimension $\leq 3$, it is known that algebraicity of Chern classes of a vector bundle guarantees algebraizability of the vector bundle. In contrast, we show in dimension $\geq 4$ that algebraicity of Chern classes is insufficient to guarantee algebraizability of vector bundles. To do this, we construct a new obstruction to algebraizability using Steenrod operations on Chow groups. By means of an explicit example, we observe that our obstruction is non-trivial in general.
Let k be an infinite perfect field. We provide a general criterion for a spectrum in the stable homotopy category over k to be effective, i.e. to be in the localizing subcategory generated by the suspension spectra of smooth schemes. As a consequence, we show that two recent versions of generalized motivic cohomology theories coincide.
We introduce the category of finite Chow-Witt correspondences over a perfect field k of characteristic not 2. We then use them to define bigraded generalized motivic cohomology groups of a smooth scheme over k and begin the study of their relationship with ordinary motivic cohomology groups.
Let $R$ be a smooth affine algebra over an infinite perfect field $k$. Let $I\subset R$ be an ideal, $ω_I:(R/I)^n\to I/I^2$ a surjective homomorphism and $Q_{2n}\subset \mathbb{A}^{2n+1}$ be the smooth quadric defined by the equation $\sum x_iy_i=z(1-z)$. We associate with the pair $(I,ω_I)$ an obstruction in the set of homomorphisms $\mathrm{Hom}_{\mathbb{A}^1}(\mathrm{Spec}(R),Q_{2n})$ up to naive homotopy whose vanishing is sufficient for $ω_I$ to lift to a surjection $R^n\to I$. Subsequently, we prove that the obstruction vanishes in case $R=k[T_1,\ldots,T_m]$ for $m\in \mathbb{N}$ where $k$ is an infinite perfect field having characteristic different from $2$ thus resolving an old conjecture of M. P. Murthy.
The aim of this work is to develop a theory parallel to that of motivic complexes based on cycles and correspondences with coefficients in quadratic forms. This framework is closer to the point of view of $\mathbb{A}^1$-homotopy than the original one envisioned by Beilinson and set up by Voevodsky.
We show that finite Milnor-Witt correspondences satisfy a cancellation theorem with respect to the pointed multiplicative group scheme. This has several notable applications in the theory of Milnor-Witt motives and Milnor-Witt motivic cohomology.
We prove that for a finitely generated field over an infinite perfect field k, and for any integer n, the (n,n)-th MW-motivic cohomology group identifies with the n-th Milnor-Witt K-theory group of that field
We build a ring spectrum representing Milnor-Witt motivic cohomology, as well as its étale local version and show how to deduce out of it three other theories: Borel-Moore homology, cohomology with compact support and homology. These theories, as well as the usual cohomology, are defined for singular schemes and satisfy the properties of their motivic analog (and more), up to considering more general twists. In fact, the whole formalism of these four theories can be functorially attached to any ring spectrum, giving finally maps between the Milnor-Witt motivic ones to the classical motivic ones.
We study the problem of when a topological vector bundle on a smooth complex affine variety admits an algebraic structure. We prove that all rank $2$ topological complex vector bundles on smooth affine quadrics of dimension $11$ over the complex numbers admit algebraic structures.
The goal of this note is to study the analog in unstable ${{\mathbb A}^1}$-homotopy theory of the unit map from the motivic sphere spectrum to the Hermitian K-theory spectrum, i.e., the degree map in Hermitian K-theory. We show that "Suslin matrices", which are explicit maps from odd dimensional split smooth affine quadrics to geometric models of the spaces appearing in Bott periodicity in Hermitian K-theory, stabilize in a suitable sense to the unit map. As applications, we deduce that $K^{MW}_i(F) = GW^i_i(F)$ for $i \leq 3$, which can be thought of as an extension of Matsumoto's celebrated theorem describing $K_2$ of a field. These results provide the first step in a program aimed at computing the sheaf $π_{n}^{{\mathbb A}^1}({\mathbb A}^n \setminus 0)$ for $n \geq 4$.
We establish the equality of two definitions of an Euler class in algebraic geometry: the first definition is as a "characteristic class" with values in Chow-Witt theory, while the second definition is as an "obstruction class." Along the way, we refine Morel's relative Hurewicz theorem in A^1-homotopy theory, and show how to define (twisted) Chow-Witt groups for geometric classifying spaces.
We give a necessary and sufficient topological condition for the Vaserstein symbol to be injective on smooth affine real threefolds. More precisely, we show that the Vaserstein symbol is a bijection for such a threefold X if and only if the set of compact connected components of the real points of X (endowed with the Euclidean topology) is empty.
We provide families of affine threefolds which are contractible in the unstable $\mathbb A^1$-homotopy category of Morel-Voevodsky and pairwise non-isomorphic, thus answering a question of A. Asok and B. Doran. As a particular case, we show that the Koras-Russell threefolds of the first kind are contractible, extending results of M. Hoyois, A. Krishna and P. A. Ostvaer.
We study the representability of motivic spheres by smooth varieties. We show that certain explicit "split" quadric hypersurfaces have the $\mathbb A^1$-homotopy type of motivic spheres over the integers and that the $\mathbb A^1$-homotopy types of other motivic spheres do not contain smooth schemes as representatives. We then study some applications of these representability/non-representability results to the construction of new exotic $\mathbb A^1$-contractible smooth schemes. Then, we study vector bundles on even dimensional "split" quadric hypersurfaces by developing an algebro-geometric variant of the classical construction of vector bundles on spheres via clutching functions.
We discuss secondary (and higher) characteristic classes for algebraic vector bundles with trivial top Chern class. We show that if X is a smooth affine scheme of dimension d over a field k of finite 2-cohomological dimension (with char(k) $\neq$ 2) and E is a rank d vector bundle over X, vanishing of the Chow-Witt theoretic Euler class of E is equivalent to vanishing of its top Chern class and these higher classes. We then derive some consequences of our main theorem when k is of small 2-cohomological dimension.
We introduce so-called "classical" algebraic group over a general base scheme, and then place them where they belong in the classification of reductive groups established in SGA3. We cover the non-split cases and we describe on the way several categories of torsors.
We discuss the relationship between the ${\mathbb A}^1$-homotopy sheaves of ${\mathbb A}^n \setminus 0$ and the problem of splitting off a trivial rank $1$ summand from a rank $n$-vector bundle. We begin by computing $π_3^{{\mathbb A}^1}({\mathbb A}^3 \setminus 0)$, and providing a host of related computations of "non-stable" ${\mathbb A}^1$-homotopy sheaves. We then use our computation to deduce that a rank $3$ vector bundle on a smooth affine $4$-fold over an algebraically closed field having characteristic unequal to $2$ splits off a trivial rank $1$ summand if and only if its third Chern class (in Chow theory) is trivial. This result provides a positive answer to a case of a conjecture of M.P. Murthy.