Showing 1–12 of 12 results for author: Balwe, C

Naive $\mathbb{A}^1$-connectedness of retract rational varieties

Authors: Chetan Balwe, Bandna Rani

Abstract: A smooth, proper, retract rational variety over a field $k$ is known to be $\mathbb{A}^1$-connected. We improve on this result, in the case when $k$ is infinite, showing that such varieties are naively $\mathbb{A}^1$-connected. A smooth, proper, retract rational variety over a field $k$ is known to be $\mathbb{A}^1$-connected. We improve on this result, in the case when $k$ is infinite, showing that such varieties are naively $\mathbb{A}^1$-connected. △ Less

Submitted 10 July, 2023; originally announced July 2023.

Comments: 14 pages, comments are welcome

MSC Class: 14F42

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

Authors: Chetan Balwe, Amit Hogadi, Anand Sawant

Abstract: 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… ▽ More 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. △ Less

Submitted 22 April, 2023; v1 submitted 16 May, 2022; originally announced May 2022.

Comments: 15 pages, comments are welcome, v4: final version before page proofs, accepted for publication by the Journal of Topology

MSC Class: 14F42

Milnor-Witt cycle modules over an excellent DVR

Authors: Chetan Balwe, Amit Hogadi, Rakesh Pawar

Abstract: 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… ▽ More 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. △ Less

Submitted 14 July, 2022; v1 submitted 15 March, 2022; originally announced March 2022.

Comments: research grant support details added

MSC Class: 14C17; 14C35; 14F20

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

Authors: Chetan Balwe, Bandna Rani, Anand Sawant

Abstract: 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… ▽ More 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. △ Less

Submitted 21 July, 2021; v1 submitted 16 June, 2021; originally announced June 2021.

Comments: 8 pages, comments are welcome; v2: minor modifications

Journal ref: Ann. K-Th. 7 (2022) 385-394

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

Authors: Chetan Balwe, Amit Hogadi, Anand Sawant

Abstract: 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 alge… ▽ More 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$. △ Less

Submitted 19 August, 2021; v1 submitted 10 February, 2021; originally announced February 2021.

Comments: v4: 17 pages, final version before page proofs, accepted for publication in Journal of Algebraic Geometry

MSC Class: 14F42

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

Authors: Chetan Balwe, Anand Sawant

Abstract: 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… ▽ More 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. △ Less

Submitted 21 July, 2021; v1 submitted 19 February, 2020; originally announced February 2020.

Comments: 15 pages, final version before page proofs, accepted for publication in IMRN. arXiv admin note: text overlap with arXiv:1911.05549

MSC Class: 14F42

A^1-connected components of ruled surfaces

Authors: Chetan Balwe, Anand Sawant

Abstract: 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 surface… ▽ More 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$. △ Less

Submitted 18 February, 2021; v1 submitted 13 November, 2019; originally announced November 2019.

Comments: 41 pages, final version before page proofs, accepted for publication in Geometry and Topology

MSC Class: 14F42

Journal ref: Geom. Topol. 26 (2022) 321-376

A^1-connectedness in reductive algebraic groups

Authors: Chetan Balwe, Anand Sawant

Abstract: 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 algeb… ▽ More 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. △ Less

Submitted 2 June, 2017; v1 submitted 15 May, 2016; originally announced May 2016.

Comments: 19 pages; v3: Minor changes and corrections. Corrected a typographical error in the statement of the main theorem in v2

MSC Class: 14F42

Journal ref: Trans. Amer. Math. Soc. 369, no. 8, 5999--6015 (2017)

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

Authors: Chetan Balwe, Anand Sawant

Abstract: 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 co… ▽ More 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. △ Less

Submitted 28 August, 2014; originally announced August 2014.

Comments: 9 pages

MSC Class: 14F42

Journal ref: Int. Math. Res. Not. IMRN 2015, No. 22, 11816-11827

A^1-connected components of schemes

Authors: Chetan Balwe, Amit Hogadi, Anand Sawant

Abstract: 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 ho… ▽ More 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. △ Less

Submitted 11 July, 2015; v1 submitted 22 December, 2013; originally announced December 2013.

Comments: 24 pages; v3: Minor changes. Final version before page proofs. Accepted for publication in Advances in Mathematics

MSC Class: 14F42

Journal ref: Adv. Math. 282 (2015), 335-361

p-adic and motivic measure on Artin n-stacks

Authors: Chetan T. Balwe

Abstract: We construct a notion of p-adic measure on Artin n-stacks which are strongly of finite type over the ring of p-adic integers. We also prove the rationality of of the Poincare series and the Serre series associated with such stacks. Finally, we use motivic integration to show that the rationality of the Serre series is uniform with respect to p. We construct a notion of p-adic measure on Artin n-stacks which are strongly of finite type over the ring of p-adic integers. We also prove the rationality of of the Poincare series and the Serre series associated with such stacks. Finally, we use motivic integration to show that the rationality of the Serre series is uniform with respect to p. △ Less

Submitted 16 October, 2011; originally announced October 2011.

Comments: 36 pages

Strong Non-Ultralocality of Ginsparg-Wilson Fermionic Actions

Authors: Ivan Horvath, Chetan T Balwe, Robert Mendris

Abstract: It is shown that it is impossible to construct a free theory of fermions on infinite hypercubic Euclidean lattice in even number of dimensions that: (a) is ultralocal, (b) respects the symmetries of hypercubic lattice, (c) chirally nonsymmetric part of its propagator is local, and (d) describes single species of massless Dirac fermions in the continuum limit. This establishes non-ultralocality f… ▽ More It is shown that it is impossible to construct a free theory of fermions on infinite hypercubic Euclidean lattice in even number of dimensions that: (a) is ultralocal, (b) respects the symmetries of hypercubic lattice, (c) chirally nonsymmetric part of its propagator is local, and (d) describes single species of massless Dirac fermions in the continuum limit. This establishes non-ultralocality for arbitrary doubler-free Ginsparg-Wilson fermionic action with hypercubic symmetries ("strong non-ultralocality"), and complements the earlier general result on non-ultralocality of infinitesimal Ginsparg-Wilson-Luscher symmetry transformations ("weak non-ultralocality"). △ Less

Submitted 29 June, 2000; v1 submitted 27 June, 2000; originally announced June 2000.

Comments: 21 pages, 1 figure, LATEX. Few typos corrected; few sentences reformulated; figure centered

Journal ref: Nucl.Phys. B599 (2001) 283-304