Showing 1–14 of 14 results for author: Rao, R A

Generalised homotopy and commutativity principle

Authors: Ravi A. Rao, Sampat Sharma

Abstract: In this paper, we study the action of special $n\times n $ linear (resp. symplectic) matrices which are homotopic to identity on the right invertible $n\times m$ matrices. We also prove that the commutator subgroup of $\rm{O}_{2n}(R[X])$ is two stably elementary orthogonal for a local ring $R$ with $\frac{1}{2}\in R$ and $n\geq 3.$ In this paper, we study the action of special $n\times n $ linear (resp. symplectic) matrices which are homotopic to identity on the right invertible $n\times m$ matrices. We also prove that the commutator subgroup of $\rm{O}_{2n}(R[X])$ is two stably elementary orthogonal for a local ring $R$ with $\frac{1}{2}\in R$ and $n\geq 3.$ △ Less

Submitted 8 November, 2022; originally announced November 2022.

The quotient Unimodular Vector group is nilpotent

Authors: Reema Khanna, Selby Jose, Sampat Sharma, Ravi A. Rao

Abstract: Jose-Rao introduced and studied the Special Unimodular Vector group $SUm_r(R)$ and $EUm_r(R)$, its Elementary Unimodular Vector subgroup. They proved that for $r \geq 2$, $EUm_r(R)$ is a normal subgroup of $SUm_r(R)$. The Jose-Rao theorem says that the quotient Unimodular Vector group, $SUm_r(R)/EUm_r(R)$, for $r \geq 2$, is a subgroup of the orthogonal quotient group… ▽ More Jose-Rao introduced and studied the Special Unimodular Vector group $SUm_r(R)$ and $EUm_r(R)$, its Elementary Unimodular Vector subgroup. They proved that for $r \geq 2$, $EUm_r(R)$ is a normal subgroup of $SUm_r(R)$. The Jose-Rao theorem says that the quotient Unimodular Vector group, $SUm_r(R)/EUm_r(R)$, for $r \geq 2$, is a subgroup of the orthogonal quotient group $SO_{2(r+1)}(R)/EO_{2(r + 1)}(R)$. The latter group is known to be nilpotent by the work of Hazrat-Vavilov, following methods of A. Bak; and so is the former. In this article we give a direct proof, following ideas of A. Bak, to show that the quotient Unimodular Vector group is nilpotent of class $\leq d = \dim(R)$. We also use the Quillen-Suslin theory, inspired by A. Bak's method, to prove that if $R = A[X]$, with $A$ a local ring, then the quotient Unimodular Vector group is abelian. △ Less

Submitted 20 January, 2020; originally announced January 2020.

Journal ref: Leavitt Path algebra and Classical K-Theory, (2020) 225-240. Indian statistical institute series. Springer, Singapore

The Pillars of Relative Quillen--Suslin Theory

Authors: Rabeya Basu, Reema Khanna, Ravi A. Rao

Abstract: We deduce the relative version of the equivalences relating the relative Local Global Principle and the Normality of the relative Elementary subgroups of the traditional classical groups, viz. general linear, symplectic and orthogonal groups. This generalizes our previous result for the absolute case. We deduce the relative version of the equivalences relating the relative Local Global Principle and the Normality of the relative Elementary subgroups of the traditional classical groups, viz. general linear, symplectic and orthogonal groups. This generalizes our previous result for the absolute case. △ Less

Submitted 8 October, 2018; originally announced October 2018.

Comments: 12 pages

MSC Class: 13C10; 11E57; 11E70; 15A63; 19B10; 19B14

Stability results for projective modules over Rees algebras

Authors: Ravi A. Rao, Husney Parvez Sarwar

Abstract: We provide a class of commutative Noetherian domains $R$ of dimension $d$ such that every finitely generated projective $R$-module $P$ of rank $d$ splits off a free summand of rank one. On this class, we also show that $P$ is cancellative. At the end we give some applications to the number of generators of a module over the Rees algebras. We provide a class of commutative Noetherian domains $R$ of dimension $d$ such that every finitely generated projective $R$-module $P$ of rank $d$ splits off a free summand of rank one. On this class, we also show that $P$ is cancellative. At the end we give some applications to the number of generators of a module over the Rees algebras. △ Less

Submitted 11 March, 2018; originally announced March 2018.

Comments: 10 pages, to appear in JPAA

MSC Class: Primary: 13C10; 19A13; Secondary: 13A30

Homotopy and Commutativity Principle

Authors: Ravi A. Rao, Sampat Sharma

Abstract: In this article, we prove commutativity principal for linear, symplectic and transvection groups. This principle is a consequence of Quillen-Suslin local global principle and using a non-symmetric application of it as done by A. Bak. The existence of a Local-Global Principle enables us to prove similar results in various groups. We restrict ourselves to the classical symplectic, orthogonal groups… ▽ More In this article, we prove commutativity principal for linear, symplectic and transvection groups. This principle is a consequence of Quillen-Suslin local global principle and using a non-symmetric application of it as done by A. Bak. The existence of a Local-Global Principle enables us to prove similar results in various groups. We restrict ourselves to the classical symplectic, orthogonal groups (and their relative versions); and to the automorphism groups of a projective module (with a unimodular element), a symplectic module (with ahyperbolic summand), and an orthogonal module (with a hyperbolic symmand). We could show that the symplectic quotients were abelian, but we could only establish that the orthogonal quotients are solvable of length atmost two. We do believe that the orthogonal quotient groups are also abelian; and prove this when the base ring is a regular local ring containing a field. △ Less

Submitted 18 January, 2020; v1 submitted 24 March, 2017; originally announced March 2017.

Normality of DSER elementary orthogonal group

Authors: A. A. Ambily, Ravi A. Rao

Abstract: Let $(Q, q)$ be a quadratic space over a commutative ring $R$ in which $2$ is invertible, and consider the Dickson--Siegel--Eichler--Roy's subgroup $EO_{R}(Q, H(R)^{m})$ of the orthogonal group $O_R(Q \perp H(R)^m)$, with rank $Q= n \geq 1$ and $m\geq 2$. We show that $EO_{R}(Q, H(R)^{m})$ is a normal subgroup of $O_R(Q \perp H(R)^m)$, for all $m\geq 2$. We also prove that the DSER group… ▽ More Let $(Q, q)$ be a quadratic space over a commutative ring $R$ in which $2$ is invertible, and consider the Dickson--Siegel--Eichler--Roy's subgroup $EO_{R}(Q, H(R)^{m})$ of the orthogonal group $O_R(Q \perp H(R)^m)$, with rank $Q= n \geq 1$ and $m\geq 2$. We show that $EO_{R}(Q, H(R)^{m})$ is a normal subgroup of $O_R(Q \perp H(R)^m)$, for all $m\geq 2$. We also prove that the DSER group $EO_{R}(Q, H(P))$ is a normal subgroup of $O_{R}(Q \perp H(P))$, where $Q$ and $H(P)$ are quadratic spaces over a commutative ring $R$, with rank $(Q) \ge 1$ and rank $(P) \ge 2$. △ Less

Submitted 12 March, 2017; originally announced March 2017.

Comments: 11 pages

MSC Class: 19G99 (primary); 19B99; 20G35; 20H25 (secondary)

Gram-Schmidt-Vaserstein generators for odd sized elementary groups

Authors: Pratyusha Chattopadhyay, Ravi A. Rao

Abstract: The Gram-Schmidt process of L.N. Vaserstein for making an elementary matrix symplectic yields a nice set of generators for the odd sized elementary group. The Gram-Schmidt process of L.N. Vaserstein for making an elementary matrix symplectic yields a nice set of generators for the odd sized elementary group. △ Less

Submitted 27 November, 2015; originally announced November 2015.

Extendability of quadratic modules over a polynomial extension of an equicharacteristic regular local ring

Authors: A. A. Ambily, Ravi A. Rao

Abstract: We prove that a quadratic $A[T]$-module $Q$ with Witt index ($Q/TQ$)$ \geq d$, where $d$ is the dimension of the equicharacteristic regular local ring $A$, is extended from $A$. This improves a theorem of the second named author who showed it when $A$ is the local ring at a smooth point of an affine variety over an infinite field. To establish our result, we need to establish a Local-Global Princi… ▽ More We prove that a quadratic $A[T]$-module $Q$ with Witt index ($Q/TQ$)$ \geq d$, where $d$ is the dimension of the equicharacteristic regular local ring $A$, is extended from $A$. This improves a theorem of the second named author who showed it when $A$ is the local ring at a smooth point of an affine variety over an infinite field. To establish our result, we need to establish a Local-Global Principle (of Quillen) for the Dickson--Siegel--Eichler--Roy (DSER) elementary orthogonal transformations. △ Less

Submitted 4 January, 2014; originally announced January 2014.

Comments: 19 pages

MSC Class: 19G99; 13C10; 11E70; 20H25

A nice group structure on the orbit space of unimodular rows-II

Authors: Anjan Gupta, Anuradha Garge, Ravi A. Rao

Abstract: We establish an Excision type theorem for niceness of group structure on the orbit space of unimodular rows of length $n$ modulo elementary action. This permits us to establish niceness for relative versions of results for the cases when $n = d+1$, $d$ being the dimension of the base algebra. We then study and establish niceness for the case when $n = d$, and also establish a relative version, whe… ▽ More We establish an Excision type theorem for niceness of group structure on the orbit space of unimodular rows of length $n$ modulo elementary action. This permits us to establish niceness for relative versions of results for the cases when $n = d+1$, $d$ being the dimension of the base algebra. We then study and establish niceness for the case when $n = d$, and also establish a relative version, when the base ring is a smooth affine algebra over an algebraically closed field. △ Less

Submitted 4 January, 2013; v1 submitted 29 November, 2012; originally announced November 2012.

Comments: 16 pages

MSC Class: 13C10; 19G12; 19D45; 55Q55

Quillen-Suslin theory for a structure theorem for the Elementary Symplectic Group

Authors: Neeraj Kumar, Ravi A. Rao

Abstract: A new set of elementary symplectic elements is described, It is shown that these also generate the elementary symplectic group {\rm ESp}$_{2n}(R)$. These generators are more symmetrical than the usual ones, and are useful to study the action of the elementary symplectic group on unimodular rows. Also, an alternate proof of, {\rm ESp}$_{2n}(R)$ is a normal subgroup of {\rm Sp}$_{2n}(R)$, is shown u… ▽ More A new set of elementary symplectic elements is described, It is shown that these also generate the elementary symplectic group {\rm ESp}$_{2n}(R)$. These generators are more symmetrical than the usual ones, and are useful to study the action of the elementary symplectic group on unimodular rows. Also, an alternate proof of, {\rm ESp}$_{2n}(R)$ is a normal subgroup of {\rm Sp}$_{2n}(R)$, is shown using the Local Global Principle of D. Quillen for the new set of generators. △ Less

Submitted 25 March, 2013; v1 submitted 9 March, 2012; originally announced March 2012.

Comments: 14 pages, few typos corrected. To appear in Ramanujan Math. Soc. Lect. Notes Ser

MSC Class: 13C10; 13H05; 19B14; 19B99; 20H25; 55R50

Journal ref: Proc. CAAG 2010, Ramanujan Math. Soc. Lect. Notes Ser. vol. 17, pages 101- 116

Equality of Linear and Symplectic Orbits

Authors: Pratyusha Chattopadhyay, Ravi A. Rao

Abstract: It is shown that the set of orbits of the action of the elementary symplectic transvection group on all unimodular elements of a symplectic module over a commutative ring of characteristic not 2 is identical with the set of orbits of the action of the corresponding elementary transvection group. This result is used to get improved injective stability estimates for $K_1$ of the symplectic transvect… ▽ More It is shown that the set of orbits of the action of the elementary symplectic transvection group on all unimodular elements of a symplectic module over a commutative ring of characteristic not 2 is identical with the set of orbits of the action of the corresponding elementary transvection group. This result is used to get improved injective stability estimates for $K_1$ of the symplectic transvection group over a non-singular affine algebras. △ Less

Submitted 25 March, 2015; v1 submitted 5 August, 2011; originally announced August 2011.

Comments: 23 pages

MSC Class: 13C10; 13H05; 15A63; 19A13; 19B10; 19B14

On stably free modules over affine algebras

Authors: Jean Fasel, Richard G. Swan, Ravi A. Rao

Abstract: We prove that stably free modules of rank d-1 over a smooth affine algebra of dimension d over an algebraically closed field k are free, provided (d-1)! is nonzero in k. We prove that stably free modules of rank d-1 over a smooth affine algebra of dimension d over an algebraically closed field k are free, provided (d-1)! is nonzero in k. △ Less

Submitted 26 September, 2012; v1 submitted 6 July, 2011; originally announced July 2011.

Comments: Final version. To appear in Publ. Math. IHES

MSC Class: 13C10 (Primary) 19G12; 19G38 (Secondary)

Injective Stability for K_1 of Classical Modules

Authors: Rabeya Basu, Ravi A. Rao

Abstract: In 1994, the second author and W. van der Kallen showed that the injective stabilization bound for K_1 of general linear group is d+1 over a regular affine algebra over a perfect C_1-field, where d is the krull dimension of the base ring and it is finite and at least 2. In this article we prove that the injective stabilization bound for K_1 of the symplectic group is d+1 over a geometrically reg… ▽ More In 1994, the second author and W. van der Kallen showed that the injective stabilization bound for K_1 of general linear group is d+1 over a regular affine algebra over a perfect C_1-field, where d is the krull dimension of the base ring and it is finite and at least 2. In this article we prove that the injective stabilization bound for K_1 of the symplectic group is d+1 over a geometrically regular ring containing a field, where d is the stable dimension of the base ring and it is finite and at least 2. Then using the Local-Global Principle for the transvection subgroup of the automorphism group of projective and symplectic modules we show that the injective stabilization bound is d+1 for k_1 of projective and symplectic modules of global rank at least 1 and local rank at least 3 respectively in each of the two cases above. △ Less

Submitted 18 September, 2009; originally announced September 2009.

Comments: 12 pages

Local-Global Principle for Transvection Groups

Authors: A. Bak, Rabeya Basu, Ravi A. Rao

Abstract: In this article we extend the validity Suslin's Local-Global Principle for the elementary transvection subgroup of the general linear group, the symplectic group, and the orthogonal group, where n > 2, to a Local-Global Principle for the elementary transvection subgroup of the automorphism group Aut(P) of either a projective module P of global rank > 0 and constant local rank > 2, or of a nonsin… ▽ More In this article we extend the validity Suslin's Local-Global Principle for the elementary transvection subgroup of the general linear group, the symplectic group, and the orthogonal group, where n > 2, to a Local-Global Principle for the elementary transvection subgroup of the automorphism group Aut(P) of either a projective module P of global rank > 0 and constant local rank > 2, or of a nonsingular symplectic or orthogonal module P of global hyperbolic rank > 0 and constant local hyperbolic rank > 2. In Suslin's results, the local and global ranks are the same, because he is concerned only with free modules. Our assumption that the global (hyperbolic) rank > 0 is used to define the elementary transvection subgroups. We show further that the elementary transvection subgroup ET(P) is normal in Aut(P), that ET(P) = T(P) where the latter denotes the full transvection subgroup of Aut(P), and that the unstable K_1-group K_1(Aut(P)) = Aut(P)/ET(P) = Aut(P)/T(P) is nilpotent by abelian, provided R has finite stable dimension. The last result extends previous ones of Bak and Hazrat for the above mentioned classical groups. An important application to the results in the current paper can be found in the work of last two named authors where they have studied the decrease in the injective stabilization of classical modules over a non-singular affine algebra over perfect C_1-fields. We refer the reader to that article for more details. △ Less

Submitted 24 August, 2009; v1 submitted 21 August, 2009; originally announced August 2009.

Comments: 15 pages

MSC Class: 13C10; 15A63; 19B10; 19B14