Searcharxiv⌕ Search

arXiv subjects

Chetan Balwe

Publications and source records attributed to Chetan Balwe.

12 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↗
arXiv2026

$\mathbb A^1$-connected components of affine quadrics

For any smooth quadratic hypersurface $X$ in $\mathbb A^n_k$, we use the iterations of the functor of naive $\mathbb{A}^1$-connected components $\mathcal{S}$ to study the field-valued sections of the sheaf of $\mathbb{A}^1$-connected components $\pi_0^{\mathbb{A}^1}(X)$ of $X$. We prove that for any field $F/k$, the canonical isomorphism $\pi_0^{\mathbb{A}^1}(X)(F) \xrightarrow{\sim} \lim_{n} \mathcal{S}^n(X)(F)$ stabilizes at $n=2$, meaning that $\pi_0^{\mathbb{A}^1}(X)(F)=\mathcal{S}^2(X)(F)$. Furthermore, by combining this result with Morel's characterization of $\mathbb{A}^1$-connected spaces in terms of the triviality of field-valued sections of $\pi_0^{\mathbb{A}^1}$, we provide a complete characterization of $\mathbb{A}^1$-connected smooth quadratic hypersurfaces in $\mathbb{A}^n_k$.

math.AG↗
arXiv2022

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↗
arXiv2022

Milnor-Witt cycle modules over an excellent DVR

The definition of Milnor-Witt cycle modules in [Feld, N., Milnor-Witt cycle modules, Journal of Pure and Applied Algebra 224 (2020) 106298] can easily be adapted over general regular base schemes. However, there are simple examples to show that Gersten complex fails to be exact for cycle modules in general if the base is not a field. The goal of this article is to show that, for a restricted class of Milnor-Witt cycle modules over an excellent DVR satisfying an extra axiom, called here as R5, the expected properties of exactness of Gersten complex and $\mathbb{A}^1$-invariance hold. Moreover R5 is vacuously satisfied when the base is a perfect field and it is also satisfied by $K^{MW}$ over any base. As a corollary, we obtain the strict $\mathbb{A}^1$-invariance and the exactness of Gersten complex for $K^{MW}$ over an excellent DVR.

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

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↗
arXiv2020

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↗
arXiv2019

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↗
arXiv2016

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↗
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↗
arXiv2013

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↗