arXiv:2101.03862v4 [math.RA] 29 Jun 2021 egtadffrn opsto rule. com composition another different pick corr we a composition if get and Vaserstein we , that split C) of case Part special (in see quadratic exciti hyperbolic we the beyond o ticular, is generalize law there may laws forms, group quadratic such in a Bu result to a rows. as generalized a unimodular terpreted be [vdk2] of Kallen can orbit-spaces quadratic der symbol (higher-dimensional) van via Vaserstein W. development the of this work that the in the (through questions On know new currently background. the at give in arrive it Vaserstei operating we the that law like composition is simple results approach her a surprising this see some of will of Quad consequence we terpretation of One modules, perspective the Projective groups. from study employed Spin fruitfully to be tool also a can as used ily r,temr rifltecneto ilb.I hspaper, this th In distinct be. more for will life The connection double the them. this fruitful between more connection the a are, is there that iin lffr . Clifford sition, W IE OPSTOSO NMDLRROWS UNIMODULAR OF COMPOSITIONS : LIVES TWO 2010 hnmlil eerhaeseov rudtesm object, same the around evolve areas research multiple When e od n phrases. and words Key ahmtc ujc Classification. Subject osuigSi rus eso hteeetr riso uni of orbits elementary length that any show (of We rows groups. Spin using rows Abstract. ihti prah enwsetepsiiiyo e ri st multiplicatio orbit spaces. new quadratic (using of general rows St more possibility unimodular for the Kallen). for see der only now van not we W. approach, by this generalized with (di later rows and unimodular Vaserstein of specia L. composition the the particular, to In leads quaternions ). (using composition space quadratic in underlying cation the of subspaces certain groups. Spin using symbol h ntshr.(hsbjcini rvdoe l commutat all over proved is case bijection special the (This In sphere. unit the nadto,w nrdc e opsto a htoperate that law composition new a introduce we addition, In h ae astefudto o h td funimodular of study the for foundation the lays paper The nmdlrrows unimodular n tbyfe oue,uioua os pngop,Compo- groups, Spin rows, unimodular modules, Stably-free n ,ti ed oa nepeaino h Vaserstein the of interpretation an to leads this 3, = ≥ IET CHINTALA VINEETH 1. )aeeuvln oeeetr pnobt on orbits Spin elementary to equivalent are 3) Introduction huhuioua osaeprimar- are rows unimodular Though . 1 56,1A6 31,19A13. 13C10, 15A66, 15A63, aeo split- of case l ybl through symbol, n gpsiiiythat possibility ng h multipli- the cvrdby scovered )btalso but n) oiinalgebra, position o,we in- when now, t v rings). ive ai om and forms ratic ewl explore will we sod othe to esponds pcs npar- In spaces. modular ructures rikingly, etin- neat a s te hand, other n expects one htthey that e on s om.We forms. methods e dothers) nd certain n 2 VINEETH CHINTALA

n Let R be any commutative . A vector v = (a1, · · · , an) ∈ R is called ⊺ n a unimodular row (of length n) if v · w = 1 for some w = (b1, · · · , bn) ∈ R . Let Umn(R) denote the set of unimodular rows of length n. Here are a few places where unimodular rows turn up.

1.1. First life : Cancellation of Projective modules. The study of projective modules is one of the primary motivations to investigate unimod- n n ular rows. Given a vector v ∈ R , consider the map Pv : R → R, given by ⊺ Pv(w)= v · w .

Whenever v is a unimodular row, the kernel of Pv becomes a stably free of rank n − 1 (and hence a finitely generated projective module). Note that the group GLn(R) (and hence any subgroup) acts on the right on the set of unimodular rows Umn(R). One way to show that the projective module ker(Pv) is free is to show that v appears as a row in an invertible matrix. Thus the interest in unimodular rows began, and grew with the Quillen-Suslin theorem (also known as Serre’s problem) which states that finitely generated projective modules over polynomial-rings are free - Quillen received a Fields medal in 1978 in part for his proof of the theorem (see [Lam]). As one goes beyond polynomial rings, the orbits may not be trivial, leading naturally to the study of quotients such as Umn(R)/SLn(R) and Umn(R)/En(R) and there is a rich array of results stating conditions under which these orbit spaces have an structure (see for example [DTZ, SV, vdk2]). As we will see, these same orbits can also be examined from a different point of view, as Spin-orbits on the unit sphere.

1.2. Second life : Group structures on spheres. Consider the space H(Rn)= Rn ⊕ (Rn)∗, equipped with a q(x,y)= x · y⊺.

Let U2n−1(R) denote the unit sphere, i. e., the set of all elements (v, w) ∈ H(Rn) such that v · w⊺ = 1. Suppose there is another element w′ ∈ Rn such that v ·w′⊺ = v ·w⊺ = 1. Then it turns out (Theorem 4.1) that the two points on the unit sphere - (v, w) and (v, w′) - lie on the same orbit under the action of Epin2n(R), a normal subgroup of Spin2n(R) called the elementary Spin group. (We will describe the elementary Spin group in Section 3). This gives us the map (v, w) v → . Epin2n(R) We will show that the kernel of the above map is the orbit of v under the action of the elementary linear group En(R). v (v, w) ←→ En(R) Epin2n(R) TWO LIVES : COMPOSITIONS OF UNIMODULAR ROWS 3

The main result of the paper (Theorem 4.4) is the following bijection

Um (R) U (R) U (R) n ←→ 2n−1 = 2n−1 En(R) Epin2n(R) EO2n(R)

In short, orbits of unimodular rows can be studied as orbits of points on the unit sphere whose geometry is more familiar to us. The seminal paper of Suslin-Vaserstein [SV] contains some hints of the above bijection for n = 3 (though they don’t talk about Spin groups). In this paper, we will prove this bijection and generalize it to any n ≥ 3 (Theorem 4.4). The same paper of Suslin-Vaserstein [SV, Section 5] also introduced what is now referred to as the Vaserstein symbol, which revealed a surprising symplectic structure for the orbit spaces Um3(R) . When n = 3, we have E3(R) ∼ Epin6(R) = E4(R) which will be used to show that there is a bijection between Um3(R) and the E (R)-orbits of 4 × 4 alternating matrices with E3(R) 4 T Pfaffian 1 (where M ∼ gMg for g ∈ E4(R)). This gives an interpretation of the Vaserstein symbol using Spin groups (see Part B and Theorem 6.1). The second contribution of this paper is the introduction of a new compo- sition law that holds on certain subspaces of the hyperbolic space H(Rn)= Rn ⊕ (Rn)∗ (using multiplication). This composition law (on matrices) generalizes the Vaserstein composition for unimodular rows (see Part B and Remark 8.4 in Part C). One quality of the composition law is that it is independent of the dimen- sion of R, whereas it seems necessary to place such restrictions on the base ring R to get group structures on orbit spaces of unimodular rows (in some situations). What is the reason for this dependence on the dimension of R, and how do we arrive at this dependence : in this case, dim(R) ≤ 2n − 3? Looking back, there are two results that hint at a general composition law operating in the background - one is the Vaserstein symbol (see Part B), the other being the Mennicke-Newman Lemma (see [vdk3, Lemma 3.2]) that es- sentially says that, under the above dimension restrictions, one can project two points of the unit sphere U2n−1(R) onto the same (n + 1)-dimensional subspace where the composition law operates (see Remarks 8.4, 8.5). This investigation using quadratic forms opens the door for research in two striking general directions : a. In Section 10, we use the multiplication of split- to define a (nonassociative) composition law on (n + 4)-dimensional subspaces of H(Rn), suggesting that there may be a structure on orbits of unimodular rows. b. Let (V,q) be any quadratic space, and U the set of unit vectors of V (q(x) = 1). When is there a group structure on the orbit spaces U Spin(V ) ? 4 VINEETH CHINTALA

1.3. The other lives of unimodular rows. The vector v = (a, b, c) also corresponds to coefficients of the quadratic form ax2 +bxy +cy2. The condi- tion v ·w⊺ = 1 can then be seen as a restriction to primitive quadratic forms. In the study of unimodular rows, one is mainly concerned with SL3(R) or- bits of Um3(R), whereas Gauss’s composition gives a group structure on the SL2(Z) orbits of binary quadratic forms. It is known that Gauss’s compo- sition extends to an arbitrary base ring (see [K] and [W]). It is also known 1 2 that if 2 ∈ R and the discriminant b − 4ac is a , then the unimod- ular row (a, b, c) is completable and the corresponding projective module is free (see [KM] or [Ko]). But it is not known whether there are deeper connections between projective modules and M. Bhargava’s work [Bh1] on the composition laws for quadratic and higher forms - an intriguing line to pursue, that hopefully future research can shed some light on. Remark 1.4. There are many other active areas related to unimodular rows - notably, Euler class groups ([BRS, DTZ]), Grothendieck-Witt groups ([FRS]), A1-homotopy theory ([AF1, AF2, AF3]) and Suslin Matrices (see [RJ] for a survey). Under certain smoothness conditions for a ring R with (Krull) dimension d, J. Fasel has given an interpretation of Umd+1(R) in terms of cohomology Ed+1(R) (see [F1]). More recently this quotient space has been explicitly computed in [DTZ] for some rings. Ravi Rao and Selby Jose have written a series of papers ([JR1, JR2]) examining general quotients Umn(R) by studying the En(R) algebraic properties of Suslin matrices. As you can tell, the behaviour of the quotient Umn(R) depends on the base ring R (especially its Krull dimension), En(R) and there is a continuing trend simplifying the hypothesis on the base ring to construct and analyze the structure of the orbit spaces (see for example [FRS, GRK, GGR, Gu, SS] or Part II of the recent conference proceedings [AHS]). The Vaserstein symbol gives a symplectic structure to the orbit-spaces of unimodular rows and plays an important role in the study of stably- free modules. It was first introduced in [SV, Section 5] where orbits of unimodular rows were investigated under the action of both linear and sym- plectic groups. Further investigation of the symplectic orbits can be found in [CR1, CR2, TS2]. The recent work of T. Syed [TS1] generalizes the Um(R+P ) Vaserstein symbol to study the orbit spaces E(R+P ) , where P is a rank-2 projective module with a fixed trivialization of its determinant. A. Asok and J. Fasel have provided an interpretation of the Vaserstein symbol in terms of A1-homotopy theory (see [F2]) and we will explain this connection briefly in Part B. In [FRS, Theorem 7.5] the Vaserstein symbol was used to prove that stably free modules of rank d − 1 are free under certain smoothness conditions (R is a smooth affine k-algebra of dimension 1 d ≥ 3, where k is an algebraically closed field and (d−1)! ∈ k), thus settling a long-standing question of A. Suslin. TWO LIVES : COMPOSITIONS OF UNIMODULAR ROWS 5

Perhaps some day, another mathematician will write a “many lives” gen- eralization of this paper.

Contents

Part A. The bijection between (elementary) Spin-orbits on the sphere and the elementary orbits of unimodular rows 6

Part B. Interpreting the Vaserstein symbol using Spin groups 13

Part C. A general Composition law 18

1.5. Overview. The paper is broken down into three parts and can be read non-linearly. A reader whose main interest is unimodular rows may begin with Part A, where the connection to Spin groups is explored in detail. Alternatively, a person who is curious about general quadratic forms may find it profitable to look at Part C first, where a new composition law is defined using the multiplication in composition algebras. Here the Vaserstein composition (for unimodular rows) corresponds to the special case of split quaternions. Finally, those who are comfortable with both the worlds and prefer to quickly know what is going on, may begin with Part B which acts as a bridge (examining the Vaserstein symbol), and then read around accordingly. Essentially the paper makes two contributions. First, we look at (elemen- tary) orbits of unimodular rows and prove that they correspond to (elemen- tary) Spin-orbits on the unit sphere. Secondly, we introduce a composition law - that holds in certain (n + 2)-dimensional subspaces of H(Rn). This composition (in terms of matrices) follows a simple recursive rule, starting with the multiplication of split-quaternions. When n = 3, it has the same properties as the composition law (on unimodular rows) discovered by L. Vaserstein. For general n, it describes in a simple matrix form, the compo- sition introduced by van der Kallen using what are known as weak Mennicke symbols. This lays the foundation for the study of unimodular rows using Spin groups. The general formulation of the composition law also raises the possibility of new orbit structures using octonion multiplication.

1.6. Notation. All modules V defined in the paper are free R-modules over some R. No condition is placed on R so the results in the paper hold for all commutative rings. A quadratic form q on V is said to be non-degenerate when the corresponding is non- degenerate, i. e., hx, vi = 0 holds for all v ∈ V , if and only if x = 0. (Here hv, wi = q(v + w) − q(v) − q(w) for v, w ∈ V.) 6 VINEETH CHINTALA Part A. The bijection between (elementary) Spin-orbits on the sphere and the elementary orbits of unimodular rows

2. Preliminaries : From Clifford algebra to Suslin matrices

For general literature on Clifford algebras and Spin groups over a com- mutative ring, see [B2, Kn].

2.1. Clifford Algebras. Let V be a free R-module where R is any com- mutative ring. If we equip V with a non-degenerate quadratic form q, then (V,q) is called a quadratic space. The algebra Cl(V,q) is the “freest” alge- bra generated by V subject to the condition x2 = q(x) for all x ∈ V. More precisely, Cl(V,q) is the quotient of the tensor algebra T (V )= R ⊕ V ⊕ V ⊗2 ⊕···⊕ V ⊗n ⊕··· by the two sided ideal I(V,q) generated by all the elements x⊗x−q(x) with x ∈ V. For the purpose of this article, we only need to know the following basic properties of Clifford algebras :

• Z2-grading: Grading T (V ) by even and odd degrees, it follows that the Clifford algebra has a Z2-grading Cl(V,q)=Cl0 ⊕ Cl1 such that V ⊆ Cl1 and Cli Clj ⊆ Cli+j (i, j mod 2). Universal property: Let i : V ֒→ Cl(V,q) denote the inclusion map • and A be any over R. Then any linear map j : V → A such that j(x)2 = q(x) for all x ∈ V , lifts to a unique R-algebra f : Cl(V,q) → A such that f ◦ i = j. • Basis of Cl : The elements of V generate the Clifford algebra. Fur- thermore, the following result implies that if rank(V ) = n, then rank(Cl) = 2n. Theorem 2.2. (Poincar´e-Birkhoff-Witt) e1 en Let {v1, · · · , vn} be a basis of (V,q). Then {v1 · · · vn : ei = 0, 1} is a basis of Cl(V,q). For a simple proof, see [Kn, Theorem IV. 1.5.1].

Let Cl denote the Clifford algebra of the quadratic space H(Rn) := Rn ⊕ Rn∗, with q(v, w) = v · w⊺. We will now give an explicit representation of Cl =∼ M2n (R) using what are called Suslin matrices. For a detailed exposition, see [CV1]. TWO LIVES : COMPOSITIONS OF UNIMODULAR ROWS 7

2.3. Suslin matrices. For any two vectors v = (a1, · · · , an) and w = n (b1, · · · , bn) in R , the Suslin matrix Sn−1(v, w) is defined as follows : For n = 2, define a a S (v, w)= 1 2 S (v, w)= b1 −a2 1 −b2 b1 1 b2 a1 ′  ′  ′ ′ n−1 For the general case, write v = (a1, v ) and w = (b1, w ) with v , w ∈ R . Then ′ ′ ′ ′ a S − (v ,w ) b −S − (v ,w ) S 1 n 2 S 1 n 2 n−1(v, w)= ′ ′ , n−1(v, w)= ′ ′ −S − (v ,w ) b S − (v ,w ) a  n 2 1   n 2 1  n−1 n−1 The matrix S = Sn−1(v, w) has size 2 × 2 and has the following properties : a. S(v, w)= S(w, v)⊺. ⊺ b. SS = SS = (v · w )I2n−1 .

In his paper [S], A. Suslin then describes a sequence of matrices Jn ∈ M2n (R) by the recurrence formula

1 for n = 0   Jn−1 0 for n even Jn =  0 −Jn−1    0 Jn−1 for n odd.  −Jn−1 0    ⊺  ∗ ⊺ ⊺ One can check by induction that JnJn = 1. It follows that M = JnM Jn is an of M2n (R). Importantly, their relation to Clifford algebras comes from the following equations :

Sn−1(v, w) for n odd, S∗ n−1(v, w)=  (1) Sn−1(v, w) for n even. We will sometimes omit the subscripts and simply write J, S or S(v, w) if  the length of the vectors are clear. n 0 Sn−1(v,w) The map φ : H(R ) → M2n (R) defined by φ(v, w)= Sn−1(v,w) 0 induces an R-algebra homomorphism φ : Cl → M2n (R).In fact φ is an iso- morphism (see [CV1, Section 3.1]); the elements φ(v, w) give a set of genera- tors of the Clifford algebra. In addition, the involution M ∗ = JM ⊺J ⊺ turns out be what is called the standard involution of the Clifford algebra [CV1, Theorem 4.1]. Note that the quadratic form is q(v, w)= S(v, w)S(v, w). For Si = S(vi, wi), the corresponding bilinear form is ⊺ ⊺ hS1, S2i = S1S2 + S2S1 = v1 · w2 + v2 · w1. 8 VINEETH CHINTALA

2.4. Properties of the basis vectors. Let e and f denote the standard ∗ i i basis vectors of Rn and Rn respectively. Define

Ei = Sn−1(ei, 0), Fi = Sn−1(0,fi). 1 0 0 0 Notice that E1 = 0 0 and F1 = 0 1 . For i> 1 the matrices Ei, Fi are of the form 0 X for some Suslin matrix X with XX = 0. −X 0   It is easy to check that the elements E , F satisfy the following elementary  i i properties.

Lemma 2.5. Let Xk ∈ {Ek, Fk} for 1 ≤ k ≤ n. Let i 6= 1. Then 2 a. X1 = X1 and X1 + X1 = 1 2 b. Xi = −Xi and Xi = 0. c. XiX1 = X1Xi.

Theorem 2.6. Let Xk ∈ {Ek, Fk} for 1 ≤ k ≤ n. For any λ ∈ R and 1 < i, j ≤ n, we have the following commutator relations :

1+ λXiXj = [1+ λXiX1, 1+ X1Xj]

Proof. It follows from Lemma 2.5 that the inverse of 1+λXiX1 is 1−λXiX1. 2 2 Similarly the inverse of 1 + X1Xj is 1 − X1Xj. Moreover, since Xi = Xj = 0 and XiXj + XjXi = hXi, Xj i = 0, any term where Xi or Xj appears twice is zero. Thus we are left with

[1 + λXiX1, 1+ X1Xj] = 1 − λX1XjXiX1 + λXiX1Xj

=1+ λXiXj(X1 + X1)

Since X1 + X1 = 1 we are done. 

3. The Elementary Spin Group

As stated earlier, the Clifford algebra is a Z2-graded algebra Cl = Cl0 ⊕ Cl1. Under the isomorphism φ : Cl =∼ M2n (R), the elements of Cl0 corre- spond to matrices of the form g1 0 . 0 g2 The Spin group is defined as  ∗ n −1 n Spin2n(R) := {x ∈ Cl0 | xx = 1 and xH(R )x = H(R )}.

Just like we have the elementary group En(R) corresponding to SLn(R), we have similar analogues for the orthogonal and Spin groups. Definition 3.1.

a. Let eij denote the matrix with 1 in the (i, j) position and zeroes everywhere else. For i 6= j, define

Eij(λ)=1+ λeij TWO LIVES : COMPOSITIONS OF UNIMODULAR ROWS 9

The matrices Eij(λ) are called elementary matrices and the group generated by n×n elementary matrices is called the elementary group En(R). b. Let ∂ denote the permutation (1 n + 1)...(n 2n). We define for 1 ≤ i 6= j ≤ 2n, λ ∈ R, o Eij(λ)= I2n + λ(eij − e∂(j)∂(i)). We call these the elementary orthogonal matrices and the group gen- erated by them is called the elementary orthogonal group EO2n(R).

c. From the definition of the Spin group, we have the map π : Spin2n(R) → O2n(R) given by −1 π(g) : (v, w) → g · (v, w) · g for g ∈ Spin2n(R).

We denote by Epin2n(R) the inverse image of EO2n(R) under π.

The group Epin2n(R) satisfies the following exact sequence (see [B2, p. 189])

1 → µ2(R) → Epin2n(R) → EO2n(R) → 1 2 where µ2(R)= {x ∈ R : x = 1}. n Let U2n−1(R) denote the unit sphere in H(R ). The action of O2n(R) on U2n−1(R) induces an action of Spin2n(R) on U2n−1(R) (via π). Since π : Epin2n(R) → EO2n(R) is surjective, it follows that U (R) U (R) 2n−1 = 2n−1 , (2) Epin2n(R) EO2n(R)

Lemma 3.2. There is a homomorphism H : En(R) → EO2n(R) given by ε 0 ε → −1 ∈ EO (R). 0 ε⊺ 2n   o Proof. The lemma follows from the observation that H(Eij(λ)) = Eij(λ). 

3.3. Generators of Epin2n(R). n Let V = R with standard basis e1, · · · , en and dual basis f1, · · · ,fn for V ∗. We will identify H(V ) with the corresponding matrices in the Clifford algebra. In terms of Suslin matrices,

0 Sn−1(ei,0) 0 Sn−1(0,fi) ei = , fi = Sn−1(ei,0) 0 Sn−1(0,fi) 0 h i h i It can be proved (see [B2, Section 4.3]) that Epin2n(R) is generated by elements of the form 1 + λeiej, 1+ λeifj, 1+ λfifj with λ ∈ R, 1 ≤ i, j ≤ n, i 6= j.

Let (xk, Xk) ∈ {(ek, Ek), (fk, Fk)}. Then the generator 1 + λxixj corre- sponds to the matrix

1+λXiXj 0 φ(1 + λxixj)= 0 1+λXiXj h i 10 VINEETHCHINTALA

Since ei, e1 are orthogonal we have eie1 = −e1ei. Similarly fif1 = −f1fi. By also taking into account the commutator relations in Theorem 2.6, we find that Epin2n(R) is generated by the (smaller) set of elements of the type

1+ λe1ei, 1+ λe1fi, 1+ λf1ei, 1+ λf1fi. (1 < i ≤ n) (3)

Since Xi = −Xi for i> 1, these generators correspond to matrices of the form 1−λX1Xi 0 φ(1 + λx1xi)= . 0 1−λX¯1X¯i h i 3.4. The action of the Epin group.

So how do the generators of Epin2n(R) act on the quadratic space? Let Xk ∈ {Ek, Fk} for 1 ≤ k ≤ n.

1−λX1Xi 0 Let g = for some i > 1. Since Xi = −Xi and X1Xi = 0 1−λX¯1X¯i XiX1, we haveh i 0 S(v,w) 0 S(v′,w′) g g−1 = , S(v,w) 0 S(v′,w′) 0 h i h i where ′ ′ S(v , w ) = (1 − λX1Xi) · S(v, w) · (1 + λX¯1X¯i)

= (1 − λX1Xi) · S(v, w) · (1 − λXiX1) E F 0 X Recall that for i > 1 the matrices i, i are of the form −X 0 for some X XX Suslin matrix with = 0. There are two cases :  X E E X X E 1 −λX • 1 = 1 : Then 1 − λ 1 i and 1 − λ i 1 will be equal to 0 1 and 1 0 respectively. λX 1  • X = F : Then 1 − λF X and 1 − λX F will be equal to 1 0 1 1  1 i i 1 λX 1 and 1 −λX respectively. 0 1  The next two lemmas calculate the action of the generators g ∈ Epin2n(R). −1 ⊺−1 They imply that g(v, w)g = (vσ,wσ ) for some σ ∈ En(R) (Theorem 4.1). This plays a crucial part in showing that there is a bijection between Epin2n(R) orbits of the unit sphere and En(R) orbits of unimodular rows for any n ≥ 3 (Theorem 4.4).

Lemma 3.5. Let X, T ∈ M2k (R) be two Suslin matrices and XX = 0. Let S a T = −T b . Then   a−hX,Ti T+bX 1 X 1 0 0 1 S X = , − 1 −T−bX b      a T+aX 1 0 S 1 X = . −X 1 0 1 −T−aX b−hX,Ti      TWO LIVES : COMPOSITIONS OF UNIMODULAR ROWS 11

Proof. Let Y = X + T. Since YY = YY, note that hX, Ti = XT + TX = XT + TX = hX, Ti. The proof follows by straightforward matrix multiplication. 

Lemma 3.6. Let X ∈ {−λEk, −λFk} where 1 ≤ k ≤ n and λ ∈ R. Suppose v · w⊺ = 1 for two vectors v, w ∈ Rn+1 with n ≥ 2. Then − 1 X S 1 0 S ⊺ 1 0 1 (v, w) −X 1 = (vε, wε )    − 1 0 S 1 X S ⊺ 1 −X 1 (v, w) 0 1 = (vσ,wσ ) for some ε, σ ∈ En+1(R).  

Proof. Let X = −λEk. The proof is similar in the other case. Write v = (a0, · · · , an) and w = (b0, · · · , bn). 1 X S 1 0 S ′ ′ From Lemma 3.5, we have 0 1 (v, w) −X 1 = (v , w ), where   v′ (a + λb , · · · , a − λb , · · · , a ) = 0 k k 0 n . w′ w     Since v′ · w⊺ = v · w⊺ = 1, it follows from [S, Corollary 2.7] that the matrices ⊺ ′ ⊺ −1 ′ ⊺ ε = In + w (v − v), (ε ) = In − (v − v) w ⊺−1 ′ are in En(R). We have (vε, wε ) = (v , w). (The hypothesis n ≥ 2 is needed to use [S, Corollary 2.7] where the length of the unimodular rows must be at least 3). 1 0 S 1 X For the second part, we use Lemma 3.5 and get −X 1 (v, w) 0 1 = S ′′ ′′ (v , w ), where    ′′ v (a0, · · · , ak − λa0, · · · , an) ′′ = . w (b + λbk, · · · , bn)    0  ′′ ′′ ⊺−1 Clearly (v , w ) = (vσ,wσ ) where σ = E1,k+1(−λ). 

4. The bijection between Epin2n(R) and En(R) orbits

We are now ready to prove the bijection between En(R)-orbits of unimod- n n n∗ ular rows and Epin2n(R)-orbits on the unit sphere in H(R ) = R ⊕ R . We will break it down into simple parts with each part explaining one aspect of the bijection.

Theorem 4.1. Let n ≥ 3. Let q(v, w) = 1 and and g ∈ Epin2n(R). Then −1 g(v, w)g−1 = (vσ,wσ⊺ ) for some σ ∈ En(R). 12 VINEETHCHINTALA

Proof. It is enough to prove the theorem for the generators of Epin2n(R) (given in Section 3.3) and this was done in Section 3.4 and Lemma 3.6. 

Remark 4.2. There are two papers in the literature which prove some variation of the above theorem, though neither of them discuss Spin groups. The special case n = 3 was considered in the proof of [SV, Corollary 7.4], and an alternate approach can be found in [JR1, Lemma 3.2]. Both the papers study different group structures and connect them to the elementary-group actions on unimodular rows. In Part B, we will analyze the case n = 3 and use it to explain the Vaserstein symbol.

Theorem 4.3. Let n ≥ 3. If q(v, w1) = q(v, w2) = 1, then (v, w1) and (v, w2) are in the same EO2n(R) and Epin2n(R) orbits. ⊺ ⊺ Proof. By our hypothesis, we have v · w1 = v · w2 = 1. Then it follows, from [S, Corollary 2.7], that the matrix ⊺ ε := In + v (w2 − w1) ∈ En(R).

Since w1 · ε = w2, both w1, w2 lie in the same En(R) orbit. −1 −1 −1 By Lemma 3.2, we have H : ε⊺ → ε⊺ 0 ∈ EO (R). Since ε⊺ = 0 ε 2n ⊺ In − (w2 − w1) v, it is easy to check that 

w1ε = w2, −1 vε⊺ = v.

Therefore (v, w1) and (v, w2) lie in same EO2n(R) orbit, and so by Equation (2) in Section 3, they lie on the same Epin2n(R) orbit. 

n Let U2n−1(R) be the unit sphere in H(R ). By the above theorem, the U2n−1(R) map Umn(R) → given by v → (v, w) is well defined. Epin2n(R)

Theorem 4.4. Let (v1, w1), (v2, w2) be two points on the unit sphere U2n−1(R), where n ≥ 3. Then (v1, w1) ∼ (v2, w2) if and only if v1 ∼ v2. Epin2n(R) En(R) In other words, there is a bijection between the sets (of orbits) Um (R) U (R) U (R) n ←→ 2n−1 = 2n−1 . En(R) Epin2n(R) EO2n(R)

Proof. Suppose for the two unimodular rows v1, v2, we have v1 · ε = v2 for some ε ∈ En(R). Then Theorem 4.3 implies that ⊺−1 (v1, w1) ∼ (v1 · ε, w1 · ε ) ∼ (v2, w2). Epin2n(R) Epin2n(R)

On the other hand, suppose (v1, w1) ∼ (v2, w2). Then Theorem 4.1 im- Epin2n(R) Umn(R) U2n−1(R) plies that v1 ∼ v2. Therefore we have a bijection E R ←→ R .  En(R) n( ) Epin2n( ) TWO LIVES : COMPOSITIONS OF UNIMODULAR ROWS 13

Corollary 4.5. Let (v1, w1), (v2, w2) be two points on the unit sphere U2n−1(R), where n ≥ 3. Then (v1, w1) ∼ (v2, w2) if and only if v1 ∼ v2. EO2n(R) En(R)

The above bijection says that for any g ∈ Epin2n(R) and a point (v, w) on the unit sphere, −1 g(v, w)g−1 = (vσ,wσ⊺ ) for some σ ∈ En(R). Here, the element σ ∈ En(R) may vary with the choice of (v, w). It should be stressed that the above bijection does not imply that the groups En(R) and Epin2n(R) are isomorphic. Only the corresponding orbit spaces are in bijection.

Part B. Interpreting the Vaserstein symbol using Spin groups

In this part, we will focus on the case n = 3 and examine the Vaserstein symbol.

5. The Vaserstein symbol A matrix A is said to be alternating if A⊺ = −A and the diagonal elements of A are all zero. It is well known that there exists a polynomial pf called the Pfaffian (in the matrix elements with integral coefficients, depending only on the size of the matrix) such that det(A) = (pf(A))2 for all alternating matrices A (see [L, Ch. XV, §9]).

Definition 5.1. ([SV, p. 945]) The elementary symplectic-Witt group WE(R) is an abelian group consisting of (equivalent classes of) alternating matrices with Pfaffian 1. For alternating matrices αr ∈ Mr(R) their sum is defined as αr 0 αr ⊥ αs := 0 αs ∈ Mr+s(R). 0 1 The is ψr = ψr−1 ⊥ ψ1where ψ1 = −1 0 . Two matrices ⊺ αr, αs are said to be equivalent if αr ⊥ ψs+l = ε(αs ⊥ ψr+l)ε , for some l ≥ 0 and ε ∈ E(R). 

Um3(R) The Vaserstein symbol is a map → WE(R), giving a symplectic E3(R) structure on orbits of unimodular rows. This is done by identifying a point on the unit sphere (v, w) ∈ H(R3) with a 4 × 4 alternating matrix. Here we will use Suslin matrices which helps us to see the connection to Clifford algebras and Spin groups. Let v = (a1, a2, a3) and w = (b1, b2, b3). Recall from Section 2.3 that

a1 0 a2 a3 0 10 0 S (v, w)= 0 a1 −b3 b2 , J = −100 0 2 −b2 a3 b1 0 2 0 0 0 −1 −b3 −a2 0 b1 !  0 01 0  14 VINEETHCHINTALA and JS⊺J ⊺ = S (from Equation (1)). Since J −1 = J ⊺ = −J, this can be rewritten as (SJ)⊺ = −SJ.

10 00 0 −1 0 0 ⊺ −1 We need one more matrix β = 00 01 . Note that β = β . 0 0 −1 0 Define  

0 −a1 −a2 −a3 ⊺ a1 0 −b3 b2 V (v, w) := βS2(v, w)J2β =   . a2 b3 0 −b1 a3 −b2 b1 0     ⊺  The matrix V (v, w) is alternating with Pfaffian v · w = a1b1 + a2b2 + a3b3. ⊺ Thus when v · w = 1, the matrix V (v, w) represents an element of WE(R). It is the same matrix corresponding to the Vaserstein symbol (in [SV, §5]). In the next section we will break down the Vaserstein symbol into two parts and interpret it using Spin groups :

a. Let A4(R) denote the set of 4 × 4 alternating matrices with Pfaffian 1. First, we will show that there is a bijection Um3(R) ↔ A4(R) . As E3(R) E4(R) ∼ we will see, this follows from the isomorphism Epin6 R = E4(R) and then utilizing the results from Part A to get Um (R) U (R) A (R) 3 ↔ 5 ↔ 4 . E3(R) Epin6(R) E4(R)

b. Then the obvious inclusion map gives us A4(R) → WE(R), thus revealing the Witt-group structure on orbits of unimodular rows. Remark 5.2. The Vaserstein symbol was introduced in [SV, §5] to study orbits of unimodular rows. Suslin and Vaserstein studied the injectivity and surjectivity of the Vaserstein symbol and proved that it is a bijection if R is a commutative of Krull dimension two (see [SV, Corollary 7.4]). The recent paper [GRK] gives a survey of the non-injectivity of the Vaserstein symbol in dimension three. Aravind Asok and Jean Fasel have provided an interpretation of the Vaserstein symbol using A1-homotopy theory. The paper [F2] explains this connection in detail (also see [AF2, Theorem 4.3.1]). Following [F2], let k be a perfect field and Q5 be the smooth affine quadric with k[Q5] = k[x1,x2,x3,y1,y2,y3]/h xiyi − 1i. Let [X,Y ]A1 denote the set of all mor- phisms from X to Y in the unstable A1-homotopy category H(k) as defined by Morel-Voevodsky. P For any smooth affine k-scheme X = Spec(R), there is a natural bijection 3 [X,Q5]A1 = [X, A \ 0]A1 = Um3(R)/E3(R). Moreover Q5 is isomorphic to the quotient of algebraic varieties SL4/Sp4 giving us the composite map Q5 → SL4/Sp4 → SL/Sp. It turns out that the quotient SL/Sp represents 3 the (reduced) higher Grothendieck-Witt group GW1,red(X) which coincides TWO LIVES : COMPOSITIONS OF UNIMODULAR ROWS 15 with WE(R) for any smooth affine variety X = Spec(R). Thus one has the following interpretation of the Vaserstein symbol

Um3(R)/E3(R) = [X,Q5]A1 → [X,SL/Sp]A1 = WE(R).

6. The dictionary between Vaserstein and Suslin matrices

We will borrow results from [CV1] on the connection between Suslin ma- trices and Clifford algebras. Specifically we need the well-known exceptional ∼ ∼ isomorphisms Spin6(R) = SL4(R) and Epin6(R) = E4(R). (For a proof us- ing Suslin matrices, see [CV1, Theorems 7.1, 8.4]. For another proof, see [Kn, Ch. 5, §5.6]). ∗ ⊺ ⊺ Define ∗ to be the involution on M4(R) given by M = JM J where 0 10 0 −100 0 ⊺ −1 J = 0 0 0 −1 . Note that ∗ is an involution because J = −J = J .  0 01 0  Let’s identify the Suslin matrix S(v, w) with the element (v, w) in the 3 ∼ quadratic space H(R ). Under the isomorphism ψ : Spin6(R) = SL4(R), the Spin group behaves as follows : for g ∈ SL4(R), the action is given by g • S(v, w) = gS(v, w)g∗. Simplifying the notation, we will sometimes write S,V instead of S(v, w),V (v, w). Any 4 × 4 alternating matrix is of the form V (v, w), corresponding to 3 the element (v, w) ∈ H(R ). Let A4(R) denote the set of all such matrices ⊺ 3 with v · w = 1 (the unit sphere in H(R )). The group SL4(R) acts on the matrices V (v, w) as (g, V ) → gV gT . Recall that the unit sphere in H(R3) is denoted by U5(R).

Theorem 6.1. We have the bijection U5(R) ↔ A4(R) . Therefore, Spin6(R) SL4(R)

Um (R) U (R) U (R) A (R) 3 ↔ 5 = 5 ↔ 4 E3(R) EO6(R) Epin6(R) E4(R)

where v → S(v, w) → V (v, w) for any element (v, w) ∈ U5(R).

Proof. The bijection between the E3(R)-orbits of unimodular rows and Epin6(R)- orbits on the unit sphere follows from Theorem 4.4 in Part A. For the sec- 3 ond part, note that A4(R) corresponds to the unit sphere in H(R ). We will now show that the group actions on H(R3) are the same. Remember that 16 VINEETHCHINTALA

V = βSJβ⊺. Let S(v′, w′)= g • S(v, w). Writing S = S(v, w), we have

V (v′, w′)= β(g • S)Jβ⊺ = β(gSg∗)Jβ⊺ = β(gSJg⊺J ⊺)Jβ⊺ = βgSJg⊺β⊺ (as J ⊺J = 1) = (βgβ⊺)(βSJβ⊺)(βg⊺β⊺) (as β⊺β = 1) = g′(βSJβ⊺)g′⊺ (g′ = βgβ⊺) = g′V (v, w)g′⊺

′ ⊺ −1 where g = βgβ = βgβ . Since En(R) is a normal subgroup of GLn(R) ′ for n ≥ 3 (see [S2, Corollary 1.4]), it follows that g ∈ E4(R) whenever g ∈ E4(R). Therefore we have the bijection between the respective (elementary) orbit spaces

U (R) A (R) 5 ↔ 4 .  Epin6(R) E4(R)

The above correspondence gives another proof of the following well-known exceptional isomorphism.

Theorem 6.2. ∼ Spin5(R) = Sp4(R).

Proof. The proof follows by identifying Spin5(R) as a subgroup of Spin6(R) which fixes (v, w) = (1, 0, 0, 1, 0, 0). The elements of Spin5(R) then corre- ∗ ⊺ spond to matrices g ∈ SL4(R) such that gg = 1. In other words, gJg = J. Since J is (canonically) isometric to ψ2, it follows that Spin5(R) =∼ Sp4(R). 

Um3(R) In light of Theorem 6.1, the Vaserstein symbol V : → WE(R) can E3(R) now be decomposed as

Um3(R) A4(R) V : =∼ → WE(R). E3(R) E4(R)

The injectivity (surjectivity) of the Vaserstein symbol boils down to the A4(R) injectivity (surjectivity) of the map → WE(R), which is defined nat- E4(R) urally via the inclusion map. The interpretation in terms of Spin groups is summarized in the table below : TWO LIVES : COMPOSITIONS OF UNIMODULAR ROWS 17

Vaserstein symbol The Spin group interpretation

⊺ 4 × 4 Vaserstein matrix V (v, w) Suslin matrix S2(v, w), (V = βS2J2β )

Action of SL4(R), E4(R): Action of Spin6(R), Epin6(R): (g, V ) → gV g⊺ g • S = gSg∗

A4(R) U5(R)

Orbits of Unimodular rows Orbits on the sphere (v · w⊺ = 1) Um R A R U R 3( ) =∼ 4( ) 5( ) E3(R) E4(R) Epin6(R)

SL4(R), E4(R) Spin6(R), Epin6(R)

Sp4(R) Spin5(R)

6.3. A question about K Spin1(R). It turns out that if X, Y ∈ M2k (R) are two Suslin matrices, then XYX is also a Suslin matrix and XYX = X¯Y¯X¯ (see [CV1, Theorem 3.4]). Now XX X 0 −1 X 0 suppose = 1, and take g = 0 X . Then g = 0 X and 0 Y −1 0 XYX g Y 0 g = XYX 0 .  (4) Moreover, as XX = 1, we have XYX· XYX = YY. Recall that an element ′ ′ ′ n ′ ′ 0 Y ′ (v , w ) ∈ H(R ) corresponds to the matrix φ(v , w ) = ′ , where Y = Y 0 S (v′, w′). Therefore it follows from Equation (4) that there is a map n−1  Sn−1(v,w) 0 U2n−1(R) → Spin n(R) given by (v, w) → . 2 0 Sn−1(v,w) U − (R) Spin R This induces a map 2n 1 → 2n → K Spin (R). What is the Epin2n(R) Epin2n(R) 1 relation between WE(R) and the abelian group K Spin1(R)? 6.4. Vaserstein composition. The paper [SV] also introduced a compo- sition law on unimodular rows ([SV, Theorem 5.2]). The composition law was later generalized to Umn(R) by W. van der Kallen using what are called weak Mennicke symbols as follows (see [vdk2, Lemma 3.4]) : Let v1 = (a1, a2, a3, · · · , an) and v2 = (c1, c2, a3, · · · , an) be two unimod- c1 c2 ular rows and choose d1, d2 such that the determinant of β = −d2 d1 has image 1 in R/ha , · · · , ani. Then 3  wms(v1)wms(v2)= wms(p, q, a3, · · · an) where (p,q) = (a1, a2)β. In Part C, we will introduce a new composition law on certain subspaces of H(Rn) satisfying the same properties. (See Remark 8.4). Moreover this law has the nice feature that it is expressed recursively using matrices. It turns out that this composition of unimodular rows is a special case of a more general law, which acts on certain subspaces of A ⊕ H(Rn) where A is 18 VINEETHCHINTALA a composition algebra. The Vaserstein composition corresponds to the case where the composition algebra is the algebra of split quaternions. As an illustration of the results in Part C, we will now interpret Vaser- stein’s composition rule using Suslin matrices for the case n = 3. ′ ′ ′ Fix a1 ∈ R. Let v = (a1, a2, a3) and v = (a1, a2, a3) be two unimodular ′ ⊺ ′ ′⊺ rows (with a1 = a1). Suppose v · w = v · w = 1 for some w = (b1, b2, b3) ′ ′ ′ ′ ′ ′ and w = (b1, b2, b3). The Suslin matrices corresponding to (v, w) and (v , w ) are a1 α ′ ′ a1 β X = S(v, w)= −α b and Y = S(v , w )= ′ , 1 −β b1 ′ ′ a2 a3 a2 a3    ′ ′ where α = −b3 b2 and β = . −b3 b2 Finally define the composition  a1 αβ X ⊙ Y :=  ′ ′  −αβ b1 + b1 − a1b1b1 The element X ⊙ Y is also a Suslin matrix and q(X ⊙ Y)= q(X)q(Y). Notice that the product X ⊙ Y = S(v′′, w′′) is similar to the Vaserstein composition, ′′ as we get v = (a1, (a2, a3)β).

Part C. A general Composition law

7. Preliminaries on Composition algebras 7.1. Notation. Let R be a commutative ring and V be a free R-module equipped with a quadratic form q and basis {v1, · · · vn}. Let B = hvi, vji be the matrix corresponding to the bilinear form hv, wi = q(v+w)−q(v)−q(w), for v, w ∈ V.  A quadratic form q is said to be non-degenerate if hx, vi = 0 for all v ∈ V implies that x = 0. Writing x = (x1, · · · ,xn), this means that the equation xB = 0 has only the trivial solution, or equivalently, det(B) is a non-zero divisor [MD, Corollary 1.30]. We say that q is non-singular if B is invertible. One advantage with non-singular quadratic spaces (V,q) is that the Clif- ford algebra Cl(V,q) will have the structure of a graded Azumaya algebra [HM, Corollary 3.7.5] and this can be a useful tool in proving results. In this paper, we are only assuming that the quadratic form is non-degenerate. Remark 7.2. For general theory of quadratic forms and Clifford algebras over commutative rings, see [B2, HM, Kn]. The book [HM] uses a slightly different terminology by referring to q as weakly non-degenerate if det(B) is a non-zero divisor, and non-degenerate if B is invertible.

7.3. Composition algebras. A composition algebra (A, q) over R is a (not necessarily associative) R-algebra such that (A is a free R-module of finite rank and) TWO LIVES : COMPOSITIONS OF UNIMODULAR ROWS 19

A has an identity element and contains a copy of R, i. e., R ֒→ A • (mapping 1 ∈ R to 1 ∈ A). • A is equipped with a non-degenerate quadratic form q satisfying q(xy)= q(x)q(y) for all x,y ∈ A. For any composition algebra (A, q), there is an involution α → α such that q(α) = αα¯ =αα ¯ = q(α), for all α ∈ A. The quadratic form on A is sometimes referred to as the of A. It is known that rank(A) has to be 1, 2, 4, or 8 (see [Kn, V. 7.1.6]). Composition algebras of rank 4 and 8 are called quaternions and octo- nions respectively. Most of their applications arise when the base ring is a field. The new book [Vo] captures some of the wide-ranging connections of quaternions to different branches of Mathematics. Some applications of octonions can be found in [Ba, CS]. When the base ring is a field, a scalar multiple of the norm of the composi- tion algebra A determines A upto isomorphism [SVe, §1.7]. For non-singular quadratic forms, this result has been extended to quaternion algebras over commutative rings by Knus-Ojanguren-Sridharan [KOS, Prop 4.4]. On the other hand, octonion algebras (over commutative rings) are not determined by their norm, and a counterexample has been provided by P. Gille [G].

8. Composition law

The following construction is inspired by the construction of Suslin ma- trices. Let (A, q) be any composition algebra. Consider the quadratic space A ⊕ H(R), where H(R) is a hyperbolic plane. For each element (α, a, b) ∈ A ⊕ H(R), the quadratic form is given by q(α, a, b)= αα¯ + ab. a α b −α One can represent (α, a, b) as a matrix Z = ( −α b ) . Define Z = α a . Then  q(Z)= ZZ = ZZ = αα¯ + ab.

For any such matrix, we will sometimes write qZ instead of q(Z). One of the reasons we rewrite the elements as 2 × 2 matrices is that it is easier to express the composition law and generalize the analysis to A ⊕ H(Rn). In addition, as we shall see later, this matrix representation gives a simple description of the corresponding Clifford algebra. 8.1. Composition law for hyperplanes of A ⊕ H(R). a α a β Let X = and Y = . When q = q = 1, define −α b −β b′ X Y     a αβ X ⊙ Y :=   −αβ b + b′ − abb′ Then q(X ⊙ Y ) = 1.   20 VINEETHCHINTALA

For general X,Y define a αβ X ⊙ Y := .  ′ ′ −αβ bqY + b qX − abb From the equations   ′ αα¯ = qX − ab, ββ¯ = qY − ab , it follows that q(X ⊙ Y )= q(X)q(Y ). When the underlying composition algebra is associative, the operation ⊙ is a 1 also associative with the identity element . −1 0  0 αβ If we take a = b = b′ = 0, then X ⊙ Y = corresponds to the −αβ 0   multiplication in the composition algebra. When A =∼ M2(R) is the algebra of split quaternions, then the above composition law gives us the Vaserstein composition on unimodular rows stated in Part B (see Remark 8.4). 8.2. The quadratic space A ⊕ H(Rn). Consider next the quadratic space A⊕H(Rn), where H(Rn)= Rn ⊕Rn∗. For each element (α, v, w) ∈ A ⊕ H(Rn), the quadratic form is given by q(α, v, w)= αα¯ + v · w⊺. Here α is an element of the composition algebra A and v, w ∈ Rn. n By fixing a basis of R , let us write v = (a1, · · · , an) and w = (b1, · · · , bn). a α Let Z (α, v, w)= 1 and Z (α, v, w) = b1 −α . 1 −α b1 1 α a1

  ai Zi−1 For i > 1, define recursively the matrices Zi(α, v, w) := and −Zi−1 bi bi −Zi−1 Zi(α, v, w) := .   Zi−1 ai i i Then Zi is a 2× 2 matrix and

q(Zi)= ZiZ¯i = Z¯iZi = αα¯ + a1b1 + · · · + aibi.

8.3. Composition law for certain subspaces of A ⊕ H(Rn). n Fix v = (a1, · · · , an) ∈ R . ′ ′ ′ Let α, β ∈ A, w = (b1, · · · , bn) and w = (b1, · · · , bn). ′ Write Xi = Zi(α, v, w) and Yi = Zi(β, v, w ). By definition, we have ′ qXi = aibi + qXi−1 and qYi = aibi + qYi−1 .

Define the composition Xi ⊙ Yi recursively as

ai Xi−1 ⊙ Yi−1 Xi ⊙ Yi := .  ′ ′  −Xi−1 ⊙ Yi−1 biqYi + biqXi − aibibi   TWO LIVES : COMPOSITIONS OF UNIMODULAR ROWS 21

By induction, it follows that

qXn⊙Yn = qXn qYn . Remark 8.4. As promised in Section 6.4, we will now interpret (van der Kallen’s) composition of unimodular rows (see [vdk2, Lemma 3.4]) using ⊙. When A =∼ M2(R) is the algebra of split quaternions, the matrices Z(α, v, w) are Suslin matrices. Let v1 = (a1, a2, a3, · · · , an) and v2 = (c1, c2, a3, · · · , an) ⊺ be two unimodular rows such that vi·wi = 1. Suppose S(v1, w1)⊙S(v2, w2)= S(v3, w3). Then v3 = (p, q, a3, · · · , an) c1 c2 where (p,q) = (a1, a2)β. Here β = −d2 d1 where w2 = (d1, d2, · · · , dn). Clearly the determinant of β has image 1 in R/ha , · · · , a i as v · w⊺ = 1.  3 n 2 2 Remark 8.5. Suppose R is a commutative Noetherian ring of stable di- ⊺ mension d with d ≤ 2n − 3. Let v1, v2 ∈ Umn(R) such that vi · wi = 1. Then the Mennicke-Newman lemma says that one can find εi ∈ En(R) such that viεi = (xi, a2, · · · , an) (for some xi, ak ∈ R. See [vdk3, Lemma 3.2]). Together with Theorem 4.4, this means that (v1, w1), (v2, w2) are Epin2n(R)- ⊺−1 equivalent to the points (viεi, wiεi ) which lie on the same (n+1)-dimensional subspace (determined by the elements ak) where the composition ⊙ can op- erate.

9. The Clifford algebra of A ⊕ H(Rn) : the quaternion case Here we will consider the case when A is a over R. Let V = A ⊕ H(Rn) and we will continue representing its elements (α, v, w) as a matrix Zn(α, v, w). Notice that Zn(α, v, w) ∈ M2n (A).

Consider the map φ : V → M2n+1 (A) given by 0 Z (α, v, w) (α, v, w) → n Z (α, v, w) 0  n  Since φ(α, v, w)2 = q(α, v, w), by the universal property of Clifford algebras the map lifts to an R-algebra homomorphism

φ : Cl(V ) → M2n+1 (A).

The map φ is in fact a Z2-graded homomorphism, where the even and odd ∗ 0 0 ∗ elements of M2n+1 (A) correspond to matrices of the form ( 0 ∗ ) and ( ∗ 0 ).

Theorem 9.1. The map φ : Cl(V ) → M2n+1 (A) is injective. Moreover, rank[Cl(V )] = rank[M2n+1 (A)]. Proof. Let ker(φ) denote the kernel of φ. Since φ restricts to an injective map on V and R ֒→ A, we have ker(φ) ∩ R = {0}. Then it follows from [CV2, Theorem 2.7] that φ is injective. 2n+4 Since M2n+1 (A)= M2n+1 (R) ⊗ A, one can see that its rank is 2 , the same as rank(Cl) = 2rank(V ).  22 VINEETHCHINTALA

Remark 9.2. If the quadratic space (A, qA) (and thus (V,q)) is non-singular, then both M2n+1 (A) and the Clifford algebra Cl(V ) are graded Azumaya algebras of the same rank (see [HM, Theorem 3.6.8, Corollary 3.7.5]). In that case, φ : Cl(V ) → M2n+1 (A) will be an isomorphism (see [HM, Lemma 6.7.10]).

10. Clifford algebra: the octonion case 10.1. The embedding in the endomorphism ring. Let O be an octo- nion algebra over R. The problem here is that the matrix algebra M2n+1 (O) is not associative anymore. However the O has the inter- esting property that α(αβ)= α(αβ)= q(α)β for all α, β ∈ O. (See [Kn, Ch. V, §7]). Putting it another way, consider the left multiplication map L : O → End(O) where Lα is left-multiplication by α. Since q(α)= q(α), these maps satisfy the property that LαLα¯ = Lα¯Lα = Lq(α). We will modify the matrices Zi(α, v, w) by replacing α with Lα in the matrix. Define Z′ (α, v, w)= a1 Lα and Z′ (α, v, w)= b1 −Lα . 1 −Lα b1 1 Lα a1

    a Z′ ′ i i−1 For i > 1, define recursively the matrices Zi(α, v, w) := ′ and −Zi−1 bi ′   b −Z ′ i i−1 Zi(α, v, w) := ′ . Zi− ai  1  10.2. The Clifford algebra. We have the map φ : Cl(V ) → M2n+1 (End(O)) given by 0 Z′ (α, v, w) (α, v, w) → n Z′ (α, v, w) 0  n  Theorem 10.3. The map φ : Cl(V ) → M2n+1 (End(O)) is injective. More- over, rank[Cl(V )] = rank[M2n+1 (End(O))]. Proof. The proof is similar to Theorem 9.1. Since φ restricts to an injective map on V and R ֒→ A, we have ker(φ) ∩ R = {0}. Then it follows from [CV2, Theorem 2.7] that φ is injective. Note that rank[End(O)] = 64 because rank(O) = 8. Since M2n+1 (End(O)) = 2n+8 M2n+1 (R) ⊗ End(O), one can see that its rank is 2 which is the same as rank(Cl) = 2rank(V ).  Z The algebra M2n+1 (End(O)) has a 2-grading where the the even and ∗ 0 0 ∗ odd elements are matrices of the form ( 0 ∗ ) and ( ∗ 0 ). The homomor- phism φ is therefore a Z2-graded homomorphism. Here too, if we restrict ourselves to non-singular quadratic forms, then the map φ (being a graded- homomorphism between graded Azumaya algebras of the same rank) is an isomorphism [HM, Lemma 6.7.10]. The paper [CV2] analyzes such embed- dings for general quadratic spaces, in particular describing the structure of the Clifford algebra and Spin groups. TWO LIVES : COMPOSITIONS OF UNIMODULAR ROWS 23

10.4. Composition in H(R5) using Octonion multiplication. Let v = 4 (a, v1) and w = (b, w1), where (v1, w1) ∈ H(R ). Let us identify elements of 4 H(R ) with the elements of the split octonion algebra - write Oi = (vi, wi) ⊺ a O1 a O2 with q(Oi)= OiOi = vi · w . Let X = and Y = ′ . i −O1 b −O2 b When qX = qY = 1, we have    

a O1O2 X ⊙ Y = ′ ′ −O1O2 b+b −abb   The product X ⊙Y corresponds to another pair (v′, w′) ∈ H(R5) and q(X ⊙ Y )= v′ · w′⊺ = 1. This composition is obviously non-associative.

Acknowledgements. The author is grateful to the referee whose inputs improved the quality of the paper (both stylistically and mathematically). The author would also like to thank Ravi Rao, Jean Fasel and Anand Sawant for all the conversations and constant encouragement. Special thanks to the Euler International Mathematical Institute, Russia for their generous invitation to the Algebraic groups conference in 2019, and for their excellent hospitality in St. Petersburg - where some of the early thoughts in the paper took a clear shape. The author was supported by the DST-Inspire Fellowship in India.

References

[AHS] A. Ambily, R. Hazrat, B. Sury (eds) Leavitt Path Algebras and Classical K- Theory. Indian Statistical Institute Series. Springer, Singapore, 2020. [AF1] A. Asok and J. Fasel, Algebraic vector bundles on spheres, J. Topol., 7(3) :894–926, 2014. [AF2] A. Asok and J. Fasel, An explicit KO-degree map and applications, J. Topology 10 (2017), 268–300 [AF3] A. Asok and J. Fasel, Euler class groups and motivic stable cohomotopy (with an appendix by M. K. Das), To appear J. Eur. Math. Soc. [Ba] J. C. Baez, The octonions, Bull. Amer. Math. Soc. (N.S.) 39 (2002), no. 2, 145–205. [B1] H. Bass. Lectures on topics in algebraic K-theory, Notes by Amit Roy, Tata Institute of Fundamental Research Lectures on Mathematics, 41, Tata Institute of Fundamental Research, Bombay, 1967. [B2] H. Bass, Clifford algebras and Spinor norms over a commutative ring. Amer. J. Math. 96:156–206, 1974. [Bh1] Manjul Bhargava, Higher composition laws I: A new view on Gauss composi- tion, and quadratic generalizations. Ann. Math. 159, 217–250 (2004) [BRS] S. M. Bhatwadekar and Raja Sridharan, Euler class group of a Noetherian ring, Compositio Math. 122 (2000), 183–222. [CR1] P. Chattopadhyay, R.A. Rao, Equality of linear and symplectic orbits, JPAA 219, (2015), 5363–5386. [CR2] P. Chattopadhyay, R.A. Rao, Elementary symplectic orbits and improved K1- stability, Journal of K-Theory 7, (2011), 389–403. [CV1] Vineeth Chintala, On Suslin Matrices and Their Connection to Spin Groups, Documenta Math. 20 (2015) 531–550 24 VINEETHCHINTALA

[CV2] Vineeth Chintala, Embeddings of Quadratic Spaces, Documenta Math. 23 (2018) 1621–1634 [CS] J. H. Conway, D. A. Smith, On Quaternions and Octonions: Their Geometry, Arithmetic, and Symmetry, A. K. Peters, Ltd., Natick, MA, 2003. [DTZ] Mrinal K. Das, Soumi Tikader and Md. Ali Zinna, Orbit spaces of unimodular rows over smooth real affine algebras, Invent. Math. 212 (2018), 133–159 [F1] Jean Fasel, Some remarks on orbit sets of unimodular rows, Comment. Math. Helv. 86 (2011), 13–39. [F2] Jean Fasel, The Vaserstein symbol on real smooth affine threefolds, K-theory, TIFR Publications 19 (2018), 213–224. [FRS] J. Fasel, , R. A. Rao., R. G. Swan, On Stably Free Modules over Affine Algebras, Publ.math.IHES (2012) 116: 223–243 [G] P. Gille, Octonion algebras over rings are not determined by their norm, Canad. Math. Bull. 57:2 (2014), 303–309. [Gu] J. Gubeladze, Unimodular rows over rings. Adv. Math. 337, 193–215 (2018) [GGR] A. Gupta, A. Garge and R. Rao, A nice group structure on the orbit space of unimodular rows II. J. Algebra 407, 201–223 (2014) [GRK] N. Gupta , D. R. Rao, S. Kolte (2020) A Survey on the Non-injectivity of the Vaserstein Symbol in Dimension Three, Leavitt Path Algebras and Classical K-Theory. 193-202, Indian Statistical Institute Series. Springer, Singapore. [HM] J. Helmstetter, A. Micali, Quadratic Mappings and Clifford Algebras, Birkh¨auser Verlag AG, 2008. [HOM] A. J. Hahn, O. T. O’Meara, The Classical Groups and K-Theory, Springer- Verlag, Berlin (1989). [JR1] Selby Jose, Ravi A. Rao. A Structure theorem for the Elementary Unimodular Vector group, Trans. Amer. Math. Soc. 358 (2005), no.7, 3097–3112. [JR2] Selby Jose, Ravi A. Rao. A fundamental property of Suslin matrices, Journal of K -theory: K -theory and its Applications to Algebra, Geometry, and Topology 5 (2010), no. 3, 407–436. [K] Martin Kneser, Composition of binary quadratic forms. J. Theory 15 (1982), no. 3, 406–413. [Kn] M.-A. Knus (1991). Quadratic and Hermitian Forms over Rings. Grundlehren der Mathematischen Wissenschaften. Vol. 294. Berlin: Springer-Verlag. [KOS] M.-A. Knus, M. Ojanguren, R. Sridharan, Quadratic forms and Azumaya al- gebras, J. reine angew. math. 303/304 (1978), 231–248. [Ko] Vijay Kodiyalam, On the genesis of a determinental identity, Ramanujan Math. Soc. 28 (2013), no. 2, 173–178. [KM] N. M. Kumar and M. P. Murthy, Remarks on unimodular rows, In ‘Quadratic forms, linear algebraic groups and cohomology’, Developments in Mathematics 18, Springer (2010) 287–293. [Lam] T. Y. Lam. Serre’s problem on projective modules, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2006. [L] S. Lang, Algebra, revised third edition, Graduate Texts in Mathematics, vol. 211, Springer-Verlag, New York, 2002, xvi+914 pp. [MD] B. R. McDonald, over Commutative Rings, Marcel Dekker, Inc., New York, Basel, 1984. [RBJ] R. A. Rao, R. Basu, S. Jose, Injective Stability for K1 of the Orthogonal group, J. Algebra 323 (2010), 393—396 [RJ] Ravi Rao, Selby Jose (2016) A Study of Suslin Matrices: Their Properties and Uses. In: Algebra and its Applications. Springer Proceedings in Mathematics & Statistics, vol 174. Springer, Singapore TWO LIVES : COMPOSITIONS OF UNIMODULAR ROWS 25

[S] A. A. Suslin, Stably Free Modules. (Russian) Math. USSR Sbornik 102 (144) (1977), no. 4, 537–550. Mat. Inst. Steklov. (LOMI) 114 (1982), 187–195. [S2] A. A. Suslin, On the structure of the special linear group over polynomial rings, Math. USSR Izv. 11 (1977), 221–238. [SS] S. Sharma, On completion of unimodular rows over polynomial extension of finitely generated rings over Z, Journal of Pure and Applied Algebra, vol. 225 (2), 2021. [SV] A. A. Suslin, L. N. Vaserstein, Serre’s problem on projective modules over polynomial rings, and algebraic K-theory, Izv. Akad. Nauk. SSSR Ser. Mat. 40 (1976), 993–1054 [SVe] T.A. Springer, F.D. Veldkamp, Octonions algebras, Jordan algebras and excep- tional groups, Springer Monographs in Mathematics (2000 ). [TS1] Tariq Syed, A generalized Vaserstein symbol, Annals of K-Theory 4 (2019), no. 4, 671–706 [TS2] Tariq Syed, Symplectic orbits of unimodular rows, arXiv:2010.06669. [vdk1] W. van der Kallen, A group structure on certain orbit sets of unimodular rows, J. of Algebra, 82(1983), 363–397. [vdk2] W. van der Kallen, A module structure on certain orbit sets of unimodular rows, JPAA. 57 (1989), 281–316. [vdk3] W. van der Kallen, From Mennicke symbols to Euler class groups. In Algebra, arithmetic and geometry, Part I, II (Mumbai, 2000), Tata Inst. Fund. Res. Stud. Math. 16, TIFR, Bombay, 2002, 341–354. [Vo] John Voight, Quaternion algebras, Springer Graduate Texts in Mathematics series, 2020. [W] Melanie Matchett Wood, Gauss composition over an arbitrary base, Adv. Math. 226 (2) (2011) 1756–1771.

University of Hyderabad, Hyderabad-500046, Telangana, India.