Showing 1–6 of 6 results for author: Ambily, A A

Visualization for Petrov's Odd Unitary Group

Authors: A. A. Ambily, V. K. Aparna Pradeep

Abstract: In this article we define a set of matrices analogous to Vaserstein-type matrices which was introduced in the paper `Serre's problem on projective modules over polynomial rings and algebraic K-theory' by Suslin-Vaserstein in 1976. We prove that these are elementary linear matrices. Also, under some conditions, these matrices belong to Petrov's odd unitary group which is a generalization of all cla… ▽ More In this article we define a set of matrices analogous to Vaserstein-type matrices which was introduced in the paper `Serre's problem on projective modules over polynomial rings and algebraic K-theory' by Suslin-Vaserstein in 1976. We prove that these are elementary linear matrices. Also, under some conditions, these matrices belong to Petrov's odd unitary group which is a generalization of all classical groups. We also prove that the group generated by these matrices is a conjugate of the Petrov's odd elementary hyperbolic unitary group when the ring is commutative. △ Less

Submitted 15 December, 2021; originally announced December 2021.

Simple flat Leavitt path algebras are von Neumann regular

Authors: A. A. Ambily, Roozbeh Hazrat, Huanhuan Li

Abstract: For a unital ring, it is an open question whether flatness of simple modules implies all modules are flat and thus the ring is von Neumann regular. The question was raised by Ramamurthi over 40 years ago who called such rings SF-rings (i.e., simple modules are flat). In this note we show that a SF Steinberg algebra of an ample Hausdorff groupoid, graded by an ordered group, has an aperiodic unit s… ▽ More For a unital ring, it is an open question whether flatness of simple modules implies all modules are flat and thus the ring is von Neumann regular. The question was raised by Ramamurthi over 40 years ago who called such rings SF-rings (i.e., simple modules are flat). In this note we show that a SF Steinberg algebra of an ample Hausdorff groupoid, graded by an ordered group, has an aperiodic unit space. For graph groupoids this implies that the graphs are acyclic. Combining with the Abrams-Rangaswamy Theorem, it follows that SF Leavitt path algebras are regular, answering Ramamurthi's question in positive for the class of Leavitt path algebras. △ Less

Submitted 3 March, 2018; originally announced March 2018.

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)

Normality and $K_1$-stability of Roy's elementary orthogonal group

Authors: A. A. Ambily

Abstract: In this paper, we prove the normality of the Roy's elementary orthogonal group (Dickson--Siegel--Eichler--Roy or DSER group) over a commutative ring which was introduced by A. Roy in [MR0231844] under some conditions on the hyperbolic rank. We also establish a stability theorem for $K_1$ of Roy's group. We obtain a decomposition theorem for the elementary orthogonal group which is used to deduce t… ▽ More In this paper, we prove the normality of the Roy's elementary orthogonal group (Dickson--Siegel--Eichler--Roy or DSER group) over a commutative ring which was introduced by A. Roy in [MR0231844] under some conditions on the hyperbolic rank. We also establish a stability theorem for $K_1$ of Roy's group. We obtain a decomposition theorem for the elementary orthogonal group which is used to deduce the stability theorem. △ Less

Submitted 4 January, 2014; originally announced January 2014.

Comments: 13 pages

MSC Class: 19G05; 19B10; 19G99; 19B99; 20H25

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

Yoga of Commutators in Roy's Elementary Orthogonal Group

Authors: A. A. Ambily

Abstract: In this article, we give explicit proofs of certain commutator relations among the elementary generators of the elementary orthogonal group $EO_A(Q\perp H(P))$, where $A$ is a commutative ring, $Q$ is a non-singular quadratic $A$-space and $H(P)$ is the hyperbolic space of a finitely generated projective module $P$ with the natural quadratic form. Using these relations, we established a local-glob… ▽ More In this article, we give explicit proofs of certain commutator relations among the elementary generators of the elementary orthogonal group $EO_A(Q\perp H(P))$, where $A$ is a commutative ring, $Q$ is a non-singular quadratic $A$-space and $H(P)$ is the hyperbolic space of a finitely generated projective module $P$ with the natural quadratic form. Using these relations, we established a local-global principle of D. Quillen for the Dickson--Siegel--Eichler--Roy (DSER) elementary orthogonal transformations in \cite{aarr}. In \cite{aa1}, by using these commutator relations, we prove the normality of this elementary group in the orthogonal group under some conditions on the hyperbolic rank. Also, these relations are used to obtain further information about this orthogonal group and in comparing it with similar groups such as Hermitian groups and odd unitary groups. △ Less

Submitted 4 January, 2014; v1 submitted 13 May, 2013; originally announced May 2013.

Comments: 25 pages; Minor changes in the introduction section, Reduced steps in the computations included in Section 3-5

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