Searcharxiv⌕ Search

arXiv subjects

Anand Sawant

Publications and source records attributed to Anand Sawant.

14 recordsLinked to original sources
arXiv2026

Corrigendum: Strong $\mathbb A^1$-invariance of $\mathbb A^1$-connected components of reductive algebraic groups (J. Topol. 16 (2023), no. 2, 634--649.)

The proof of Lemma 5.1 in the paper Strong $\mathbb A^1$-invariance of $\mathbb A^1$-connected components of reductive algebraic groups (J. Topol. 16 (2023), no. 2, 634--649) is incomplete as it relies on some results of Choudhury-Hagadi, the proof of which contains a gap. The goal of this note is to give a complete and self-contained proof of this lemma.

math.AG↗
arXiv2025

Tame and curve-tame cohomology of $\mathbb A^1$-invariant étale sheaves

We extend the definition of the unramified curve-tame cohomology groups to $\mathbb{A}^1$-invariant étale sheaves under some additional hypotheses. We define a pairing of this group with the Suslin homology satisfying desirable properties and using this, we show that the unramified curve-tame cohomology of a smooth geometrically connected variety over a field of positive characteristic agrees with the cohomology of the base field.

math.AG↗
arXiv2023

Cellular $\mathbb A^1$-homology and the motivic version of Matsumoto's theorem

We define a new version of $\mathbb A^1$-homology, called cellular $\mathbb A^1$-homology, for smooth schemes over a field that admit an increasing filtration by open subschemes with cohomologically trivial closed strata. We provide several explicit computations of cellular $\mathbb A^1$-homology and use them to determine the $\mathbb A^1$-fundamental group of a split reductive group over an arbitrary field, thereby obtaining the motivic version of Matsumoto's theorem on universal central extensions of split, semisimple, simply connected algebraic groups. As applications, we uniformly explain and generalize results due to Brylinski-Deligne and Esnault-Kahn-Levine-Viehweg, determine the isomorphism classes of central extensions of such an algebraic group by an arbitrary strictly $\mathbb A^1$-invariant sheaf and also reprove classical results of E. Cartan on homotopy groups of complex Lie groups.

math.AG↗
arXiv2023

Strong $\mathbb A^1$-invariance of $\mathbb A^1$-connected components of reductive algebraic groups

We show that the sheaf of $\mathbb A^1$-connected components of a reductive algebraic group over a perfect field is strongly $\mathbb A^1$-invariant. As a consequence, torsors under such groups give rise to $\mathbb A^1$-fiber sequences. We also show that sections of $\mathbb A^1$-connected components of anisotropic, semisimple, simply connected algebraic groups over an arbitrary field agree with their $R$-equivalence classes, thereby removing the perfectness assumption in the previously known results about the characterization of isotropy in terms of affine homotopy invariance of Nisnevich locally trivial torsors.

math.AG↗
arXiv2021

Geometric criteria for $\mathbb A^1$-connectedness and applications to norm varieties

We show that $\mathbb A^1$-connectedness of a large class of varieties over a field $k$ can be characterized as the condition that their generic point can be connected to a $k$-rational point using (not necessarily naive) $\mathbb A^1$-homotopies. We also show that symmetric powers of $\mathbb A^1$-connected varieties (over an arbitrary field), as well as smooth proper models of them (over an algebraically closed field of characteristic $0$), are $\mathbb A^1$-connected. As an application of these results, we show that the standard norm varieties over a field $k$ of characteristic 0 become $\mathbb A^1$-connected (and consequently, universally $R$-trivial) after base change to an algebraic closure of $k$.

math.AG↗
arXiv2021

Naive $\mathbb A^1$-homotopies on ruled surfaces

We explicitly describe the $\mathbb A^1$-chain homotopy classes of morphisms from a smooth henselian local scheme into a smooth projective surface, which is birationally ruled over a curve of genus $> 0$. We consequently determine the sheaf of naive $\mathbb A^1$-connected components of such a surface and show that it does not agree with the sheaf of its genuine $\mathbb A^1$-connected components when the surface is not a minimal model. However, the sections of the sheaves of both naive and genuine $\mathbb A^1$-connected components over schemes of dimension $\leq 1$ agree. As a consequence, we show that the Morel-Voevodsky singular construction on a smooth projective surface, which is birationally ruled over a curve of genus $> 0$, is not $\mathbb A^1$-local if the surface is not a minimal model.

math.AG↗
arXiv2021

Remarks on iterations of the $\mathbb A^1$-chain connected components construction

We show that the sheaf of $\mathbb A^1$-connected components of a Nisnevich sheaf of sets and its universal $\mathbb A^1$-invariant quotient (obtained by iterating the $\mathbb A^1$-chain connected components construction and taking the direct limit) agree on field-valued points. This establishes an explicit formula for the field-valued points of the sheaf of $\mathbb A^1$-connected components of any space. Given any natural number $n$, we construct an $\mathbb A^1$-connected space on which the iterations of the naive $\mathbb A^1$-connected components construction do not stabilize before the $n$th stage.

math.AG↗
arXiv2021

A^1-connected components of ruled surfaces

A conjecture of Morel asserts that the sheaf of $\mathbb A^1$-connected components of a space is $\mathbb A^1$-invariant. Using purely algebro-geometric methods, we determine the sheaf of $\mathbb A^1$-connected components of a smooth projective surface, which is birationally ruled over a curve of genus $>0$. As a consequence, we show that Morel's conjecture holds for all smooth projective surfaces over an algebraically closed field of characteristic $0$.

math.AG↗
arXiv2018

Rost nilpotence and étale motivic cohomology

A smooth projective scheme $X$ over a field $k$ is said to satisfy the Rost nilpotence principle if any endomorphism of $X$ in the category of Chow motives that vanishes on an extension of the base field $k$ is nilpotent. We show that an étale motivic analogue of the Rost nilpotence principle holds for all smooth projective schemes over a perfect field. This provides a new approach to the question of Rost nilpotence and allows us to obtain an elegant proof of Rost nilpotence for surfaces, as well as for birationally ruled threefolds over a field of characteristic $0$.

math.AG↗
arXiv2017

A^1-connectedness in reductive algebraic groups

Using sheaves of A^1-connected components, we prove that the Morel-Voevodsky singular construction on a reductive algebraic group fails to be A^1-local if the group does not satisfy suitable isotropy hypotheses. As a consequence, we show the failure of A^1-invariance of torsors for such groups on smooth affine schemes over infinite perfect fields. We also characterize A^1-connected reductive algebraic groups over a field of characteristic 0.

math.AG↗
arXiv2017

Naive vs. genuine A^1-connectedness

We show that the triviality of sections of the sheaf of A^1-chain connected components of a space over finitely generated separable field extensions of the base field is not sufficient to ensure the triviality of the sheaf of its A^1-chain connected components, contrary to the situation with genuine A^1-connected components. As a consequence, we show that there exists an A^1-connected scheme for which the Morel-Voevodsky singular construction is not A^1-local.

math.AG↗
arXiv2015

A^1-connected components of schemes

A conjecture of Morel asserts that the sheaf of A^1-connected components of a simplicial sheaf X is A^1-invariant. A conjecture of Asok-Morel asserts that A^1-connected components of smooth k-schemes coincide with their A^1-chain-connected components and are birational invariants of smooth proper schemes. In this article, we exhibit examples of schemes for which Asok-Morel's conjectures fail to hold and whose Sing_* is not A^1-local. We also give equivalent conditions for Morel's conjecture to hold. A method suggested by these results is then used to prove Morel's conjecture for non-uniruled surfaces over a field k.

math.AG↗
arXiv2014

R-equivalence and A^1-connectedness in anisotropic groups

We show that if G is an anisotropic, semisimple, absolutely almost simple, simply connected group over a field k, then two elements of G over any field extension of k are R-equivalent if and only if they are A^1-equivalent. As a consequence, we see that Sing_*(G) cannot be A^1-local for such groups. This implies that the A^1-connected components of a semisimple, absolutely almost simple, simply connected group over a field k form a sheaf of abelian groups.

math.AG↗