arXiv:2002.01446v3 [math.GR] 12 Jun 2021 Clearly, adt etwisted be to said oti eainaecle the called are relation this to number number aiod hc shmtp nain.Mr rcsl,fo precisely, More invariant. manifold homotopy is which manifold, a ϕ ee h edrt 1,p 7 hoe .]frdtis.Sin details). for 5.6] Theorem 37, p. [11, to reader the refer ubro h xdpitstvrigoe l h ashomoto maps the all over varying set fixed-point the of number The steNesnnumber Nielsen the as eget we lse aetesm xdpitidx hneither then index, fixed-point same the have classes deform If . Let h edmitrnme scoeyrltdt h ile nu Nielsen the to related closely is number Reidemeister The e n o cnweg nnilspotfo G n SR G CSIR, and UGC from support financial acknowledge Roy and Dey phrases. and words Key 2010 Date WSE OJGC LSE NTITDCEALYGROUPS CHEVALLEY TWISTED IN CLASSES CONJUGACY TWISTED ϕ ϕ titdcnuaycascontaining class conjugacy -twisted ue1,2021. 15, June : G ahmtc ujc Classification. Subject G sthe as hvle rusoe field a over groups Chevalley sifiiefreeyautomorphism every for infinite is htagroup a that G A N Id = of f R BSTRACT ∼ eagopand group a be a the has r adt be to said are ( M oafie-on remp pt homotopy. to up map, free fixed-point a to ( f ϕ ϕ f 0 = ) eoe by denoted , # S sa qiaec eainon relation equivalence an is hnthe then , fdmnina least at dimension of ∞ ) where , poet if -property Let . R when G ∞ ϕ cnuae eoe by denoted -conjugate, -property a the has G UHLBUI,PNADY N MTROY AMIT AND DEY, PINKA BHUNIA, SUSHIL wse ojgc,Cealygop,titdCealygr Chevalley twisted groups, Chevalley conjugacy, Twisted ϕ f eagopand group a be ϕ titdcnuaeif conjugate -twisted # R N titdcnuaycassaeteuulcnuayclasses conjugacy usual the are classes conjugacy -twisted k steidcdmpon map induced the is ( ϕ R ( f a nt rncnec ereover degree transcendence finite has f R ( # ea uoopimof automorphism an be ϕ ) ∞ ) hsnme sbuddaoeb h Reidemeister the by above bounded is number This . if ) ϕ poet ftenme of number the if -property sifiie Thus, infinite. is stenme fall of number the is , titdcnuayclasses conjugacy -twisted R k .I 1. ( 3 fcaatrsi eohv the have zero characteristic of ϕ rmr 04,20G15. 20E45, Primary n homeomorphism a and ) ϕ NTRODUCTION sifiiefreeyautomorphism every for infinite is ea uoopimof automorphism an be ϕ of 1 y G x G nti ae,w rv httwisted that prove we paper, this In . = x ∈ h qiaec lse ihrespect with classes equivalence The . ∼ gxϕ G R π ϕ sdntdby denoted is 1 ( ( y ( f g M if , # ) − ϕ ) N G ) 1 ϕ titdcnuaycass A classes. conjugacy -twisted falteesnilfixed-point essential the all If . y sifiieipista ecan we that implies infinite is w elements Two . ( titdcnuayclasses conjugacy -twisted o some for f = or 0 = ) Q G gxϕ w elements Two . h edmitrclasses Reidemeister the f rAut or ce R v.o ni,respectively. India, of ovt. ∞ : opc connected compact a r ( N M or poet swell as -property [ g g bro efa of selfmap a of mber x ) ( ] ( ∈ − f ϕ N → k 1 The . ) ) i to pic ( G speriodic. is o some for sawy finite, always is f M esay We . = ) h minimal the , oups. ,y x, Reidemeister ϕ ,y x, R f of ( of ∈ f ssame is G # g G . ) ∈ (we are G of . . 2 SUSHIL BHUNIA, PINKA DEY, AND AMIT ROY

The problem of determining which classes of groups have the R∞-property is an active area of research initiated by Fel’shtyn and Hill [6]. This problem has a long list of references, for example, see [5, 12, 14, 15, 17] just to name a few. For a nice intro- duction to the subject, we refer the readers to [4, 8] and the references therein. In this context, we recall a classical result by Steinberg, which says that for a connected lin- ear G over an algebraically closed field k and a surjective endomor- −1 phism ϕ of G, if ϕ has a finite set of fixed points then G = {gϕ(g) | g ∈ G} = [e]ϕ, i.e., R(ϕ)=1 (see [22, Theorem 10.1]). In particular, any semisimple G over an algebraically closed field k with char k = p > 0 possesses an au- tomorphism ϕ (Frobenius automorphism) with finitely many fixed points. Then by the Steinberg theorem, it implies that R(ϕ)=1. The theory of Chevalley groups was introduced by Claude Chevalley himself in [3], and further developed by Steinberg [21]. Motivation of the present work comes from the results of Nasybullov and Fel’shtyn. They proved that a Chevalley group

G over a field k of characteristic zero possesses the R∞-property if the transcendence degree of k over Q is finite and G is of type Φ (here Φ is a corresponding to G), or Aut(k) is periodic and G is of type Φ =6 A1 (see [8, Theorem 3.2]. Also, see [16, Theorems 1, 2] for details). It is worth mentioning that a reductive linear alge- braic group G over an algebraically closed field k of characteristic zero possesses the

R∞-property if the transcendence degree of k over Q is finite and the radical of G is a proper subgroup of G (see [8, Theorem 4.1]). Later Nasybullov generalized the results from Chevalley groups over fields to Chevalley groups (of classical types) over certain rings. A Chevalley group G of type Al, Bl,Cl or Dl over a local inte- gral domain k of zero characteristic possesses the R∞-property if Aut(k) is periodic (see [15, Theorems 1, 2] and [17, Theorem 1]). Recently, Nasybullov showed that

Chevalley groups (of types An, Bn,Cn,Dn) over an algebraically closed field k do not satisfy the R∞-property, when k has infinite transcendence degree over Q (see [19, Theorem 7] and [18, Theorem 8]). So unless otherwise specified, we will assume that the field has zero characteristic. The following natural question arises in this context:

Question 1.1. What can we say about the R∞-property of the twisted Chevalley groups (also known as Steinberg groups)?

The main results of this paper are the following, which solves Question 1.1 over a field k of characteristic zero with finite transcendence degree over Q or Aut(k) is periodic. In a sequel, we will do this for twisted Chevalley groups over an integral TWISTED CONJUGACY CLASSES IN TWISTED CHEVALLEY GROUPS 3 domain k under the same assumptions on k as Nasybullov did. Since we are con- sidering only zero characteristic field, then non-trivial graph automorphisms exist only for the root systems of types Al (l ≥ 2), Dl (l ≥ 4) and . Suppose Φ is an irreducible root system corresponding to the adjoint Chevalley group G of types either Al (l ≥ 2) or Dl (l ≥ 4) or E6. Let σ = ρf be a product of graph and field ′ automorphisms of G, and Gσ be the corresponding twisted Chevalley group of ad- joint type (which is simple). In general any twisted Chevalley group also denoted ′ ′ ′ by Gσ := Gσ/Z, where Gσ is the twisted Chevalley group of universal type, and ′ Z ≤ Z(Gσ) is a central subgroup (for details, see Section 2.2). Now that we have the notations laide out, we statee our main theorems of this paper. e ′ Theorem 1.2. Let Gσ be a twisted Chevalley group corresponding to the irreducible root system Φ over a field k of char k =0. If the transcendence degree of k over Q is finite, then ′ Gσ possesses the R∞-property.

Examples of such fields are Q(T1, T2,...,Tn), Q, Q(T1, T2,...,Tn), etc.

′ Theorem 1.3. Let Gσ be a twisted Chevalley group corresponding to the irreducible root ′ system Φ over a field k of char k = 0. If Aut(k) is periodic, then Gσ possesses the R∞- property.

Some examples of such fields are: any number field, the real numbers R, the p-adic

fields Qp, etc.

Further Theorems 1.2 and 1.3 provide a characterization of the S∞-property in twisted Chevalley groups. Suppose Ψ ∈ Out(G) := Aut(G)/Inn(G). Two elements

α, β ∈ Ψ are said to be isogredient (or similar) if β = ig ◦ α ◦ ig−1 for some g ∈ G, −1 where ig(h) = ghg . Clearly, this is an equivalence relation on Ψ. Let S(Ψ) denote the number of isogredience classes of Ψ. A group G has the S∞-property if S(Ψ) = ∞ for all Ψ ∈ Out(G). (For details see Section 4. Also, see [9]). Any non-elementary hyperbolic group satisfies the S∞-property (see [13]). It follows from the works of

Nasybullov that the Chevalley group has the S∞-property under the same condition as above on the field k (although it was implicit there). For example, see [8]. In this direction, we have the following result:

′ Corollary 1.4. Let Gσ be a twisted Chevalley group corresponding to the irreducible root system Φ over a field k of char k = 0. If the transcendence degree of k over Q is finite or ′ Aut(k) is periodic, then Gσ possesses the S∞-property.

The problem of determining when the identity class [e]ϕ is a subgroup of G was initiated by Bardakov et al. in [1]. Also, see [10] for some recent works. In [16, 4 SUSHIL BHUNIA, PINKA DEY, AND AMIT ROY

Theorems 3, 4], Nasybullov proved that [e]ϕ is a subgroup of a Chevalley group G over k if and only if ϕ is a central automorphism, provided that the field k over Q has finite transcendence degree or Aut(k) is periodic. We extend this result to the twisted Chevalley groups and prove the following:

′ Corollary 1.5. Let Gσ be a twisted Chevalley group corresponding to the irreducible root system Φ over a field k of char k =0. Suppose that the transcendence degree of k over Q is ′ finite or Aut(k) is periodic. Then the ϕ-twisted conjugacy class [e]ϕ is a subgroup of Gσ if ′ and only if ϕ is a central automorphism of Gσ.

Structure of the paper. This paper is the study of the R∞ and S∞-property of the twisted Chevalley groups. In Section 2, we cover the preliminaries. Section 3 con- tains the proof of Theorem 1.2 and Theorem 1.3. The final section is devoted to the proof of Corollary 1.4 and Corollary 1.5.

2. PRELIMINARIES In this section, we fix some notations and terminologies, and recall some results which will be used throughout this paper. Most of the notions are from Carter [2]. Let k be a field of characteristic zero. 2.1. Chevalley groups. We refer the interested reader to the original work of Cheval- ley [3]. Let L be a complex simple and H be a Cartan subalgebra of L. Consider the ad : L→ gl(L) given by adX(Y ) = [X,Y ]. Thus we have the Cartan decomposition

L = H Lα, α∈Φ MX where Lα = {X ∈L| adH(X)= α(H)X, for all H ∈ H} are root spaces of L and Φ is an irreducible root system with respect to H. Also, we fix ∆ and Φ+ to be a simple (or fundamental) root system and a positive root system, respectively. Therefore dimC(L)= |Φ| + |∆|. Chevalley proved that there exists a basis of L such that all the structure constants, which define L as a Lie algebra, are integers (for example, see

[2, Theorem 4.2.1]). This is a key theorem to define Chevalley groups. Let hα ∈ H be the co-root corresponding to the root α. Then, for each root α ∈ Φ, an element eα can be chosen in Lα such that [eα, e−α]= hα. The elements

{eα,α ∈ Φ; hδ, δ ∈ ∆} (2.1) form a basis for L, called a Chevalley basis.

The map adeα is a nilpotent linear map on L. For t ∈ C, the map ad(teα)= t(adeα) is also nilpotent. Thus exp(t(adeα)) is an automorphism of L. We denote by LZ the TWISTED CONJUGACY CLASSES IN TWISTED CHEVALLEY GROUPS 5 subset of L of all Z-linear combinations of the Chevalley basis elements of L. Thus

LZ is a Lie algebra over Z. We define Lk := LZ ⊗Z k. Then Lk is a Lie algebra over k with respect to the natural Lie multiplication. So we are in a position to define the Chevalley groups of adjoint type or the el- ementary Chevalley groups over any field k. The adjoint Chevalley group of type Φ over the field k, denoted by G(Φ,k) or simply G, is defined to be the subgroup of automorphism group of the Lie algebra Lk generated by xα(t) := exp(t(adeα)) for all α ∈ Φ, t ∈ k. In fact, the group G over k is determined up to isomorphism by the simple Lie algebra L over C and the field k. Following the notations as in [2,

Theorem 12.1.1] (assume Φ =6 A1), let G be the abstract group generated by xα(t) (α ∈ Φ, t ∈ k) satisfying the following relations: e e (1) xα(t)xα(s)= xα(t + s) (t, s ∈ k), i j (2) [xβ(s), xα(t)] = xiα+jβ(Cij,αβ(−t) s ) (α, β ∈ Φ and t, s ∈ k), e e e i,j>0 iα+Yjβ∈Φ e e e × (3) hα(t)hα(s)= hα(ts) (t, s ∈ k ), where h (t) = n (t)n (−1), n (t) = x (t)x (−t−1)x (t) and C are certain inte- e αe αe α α α −α α ij,αβ gers. Then G/Z(G) ∼= G (the adjoint Chevalley group). The group G is called uni- versal Chevalleye e groupeof typeeΦ over ke. Fore detail constructionse of G see [20, Chapter 3]. If Z is anye subgroupe of Z(G), then the factor group G/Z is called Chevalleye group. For α ∈ Φ, t ∈ k× set e e e −1 nα(t):= xα(t)x−α(−t )xα(t) (2.2)

hα(t):= nα(t)nα(−1). (2.3)

Notation 2.1. Let G be an adjoint Chevalley group. For each α ∈ Φ, let wα be the reflection in the hyperplane orthogonal to α. The following notations shall be used throughout this paper.

+ U = hxα(t) | α ∈ Φ , t ∈ ki, − V = hxα(t) | α ∈ Φ , t ∈ ki, × H = hhα(t) | α ∈ ∆, t ∈ k i,

N = hH, nα(1) | α ∈ Φi,

W = hwα | α ∈ ∆i.

−1 ∼ Observe that nα(1)Hnα(1) = H, i.e., H is a normal subgroup of N and N/H =

W given by nα(1)H 7→ wα. 6 SUSHIL BHUNIA, PINKA DEY, AND AMIT ROY

a b Example 2.2. Let Lk = sl2(k) = ∈ M2(k) | a + d =0 be the simple Lie ( c d! ) algebra of type A1. A Chevalley basis for sl2(k) is

0 1 0 0 1 0 eα = , e−α = ; hα = . ( 0 0! 1 0! 0 −1!)

1 t 1 0 Now xα(t) := exp(teα)= and x−α(t) := exp(te−α)= . Then 0 1! t 1! e e −1 0 t t 0 nα(t) := xα(t)x−α(−t )xα(t)= −1 , hα(t) := nα(t)nα(−1) = −1 . −t 0! 0 t ! e e e e e e e Note that SL2(k)= hxα(t), x−α(t) | t ∈ ki, and the adjoint Chevalley group G(A1,k)= hxα(t), x−α(t) | t ∈ ki. Thus there is a surjective homomorphism η : SL2(k) →

G(A1,k) given by ηe(xα(t))e = xα(t), η(x−α(t)) = x−α(t), η(nα(t)) = nα(t) and ∼ η(hα(t)) = hα(t) with ker(η)= {±I2}. Hence G(A1,k) = PSL2(k). e e e Definitione 2.3. Let R := ZΦ be the root lattice and χ : R → k× be a k-character (i.e., a group homomorphism from the additive group R to the multiplicative group k×).

Then χ gives rise to an automorphism, denoted by h(χ), of the Lie algebra Lk given by h(χ)(eα)= χ(α)eα (α ∈ Φ) and h(χ)(hδ)= hδ (δ ∈ ∆). Here eα, hδ as in equation (2.1). Define H := {h(χ) | χ : ZΦ → k×}.

× For α ∈ ∆,b t ∈ k the element hα(t) corresponds to the character χ := χα,t given 2(α,β) (α,α) 2(α,β) by χα,t(β)= t , where (α,α) ∈ Z are the Cartan integers (for all β ∈ Φ). Therefore H ≤ H. In other words, H can be viewed as a subgroup of G consisting of all automorphisms h(χ) of Lk for which a k-character χ of ZΦ can be extended to a k- b character of Zhq1, q2,...,qli (weight lattice), where q1,...,ql are fundamental weights.

Note that H ≤ NAut(Lk)(G). (For details, see [2, Chapter 7]).

−1 × ∼ × Example 2.4.b For SL2(k), we have H = {diag(t, t ) | t ∈ k } = k . In this special case, let ∆ = {α} and Φ = {α, −α} (as rank is 1). Therefore the root lattice is R = Zhαi ∼= Z and the weight lattice is (say) P = Zhα/2i ∼= Z. Now let χ be a k- character of R given by χ(α)= t (t ∈ k×). Then χ(α/2)2 = χ(α/2+ α/2) = χ(α)= t.

Hence, if k = Q (resp. k = k0(T ), T transcendental over k0 ⊂ k) then H =6 H since not all Q-character χ (resp. k0(T )-character) can be extended to its weight lattice P b as Q-character (resp. k0(T )-character). But if k = C then H = H.

b TWISTED CONJUGACY CLASSES IN TWISTED CHEVALLEY GROUPS 7

2.2. Twisted Chevalley groups. Every semisimple linear group of classical type can be thought of as a Chevalley group or as a twisted Chevalley group. In general, the classical simple groups are the special linear, symplectic, special orthogonal and special unitary groups corresponding to forms whose Witt index is sufficiently large. The twisted groups were discovered independently by Steinberg (cf. [21]) and Tits (cf. [23]). For our exposition, we will follow Steinberg’s approach. The twisted Chevalley groups can be obtained as certain subgroups of the Chevalley groups

G = G(Φ,k) ≤ Aut(Lk), where L is a Lie algebra over C and Lk is the corresponding Lie algebra over k. We refer the reader to [2] and [20] for details.

Definition 2.5 (Graph automorphism). A symmetry of the induces this type of automorphisms. A symmetry of the Dynkin diagram of L is a permuta- tion ρ of the nodes of the diagram such that the number of edges joining nodes i, j is the same as the number of edges joining nodes ρ(i), ρ(j) for all i =6 j, i.e., if nij is equal to the number of edges joining the nodes corresponding to αi,αj ∈ ∆ (simple roots), then nij = nρ(i)ρ(j). Any graph automorphism will be denoted by ρ.

Definition 2.6 (Field automorphism). Let f be an automorphism of the field k, then the map

f : G → G defined by f(xα(t)) = xα(f(t)), α ∈ Φ, t ∈ k can be extendede to an automorphisme of G. The automorphisms obtained in this way are called field automorphisms. We shall abuse the notation slightly and denote the field automorphism of G by f itself.

Since we are considering only char k = 0, then non-trivial graph automorphisms exist only for the root systems of types Al (l ≥ 2), Dl (l ≥ 4), E6 and D4, and the order of the graph automorphisms are 2, 2, 2 and 3, respectively. Let ρ be a non- trivial symmetry of the Dynkin diagram of L then the order of ρ is 2 or 3. For this article, by a Chevalley group of type Φ we always mean one of the following types:

Al (l ≥ 2), Dl (l ≥ 4) and E6. Let G be the Chevalley group of type Φ. Then there is a graph automorphism ρ of G such that

ρ(xα(t)) = xρ(α)(t), for all α ∈ ∆ and t ∈ k. Let f : G → G be a field automorphism, i.e., f(xα(t)) = xα(f(t)). Then

(ρf)(xα(t)) = ρ(xα(f(t))) = xρ(α)(f(t)) = f(xρ(α)(t)) = f(ρ(xα(t))) = (fρ)(xα(t)) 8 SUSHIL BHUNIA, PINKA DEY, AND AMIT ROY for all α ∈ ∆ and t ∈ k. Therefore f ◦ ρ = ρ ◦ f, as G is generated by xα(t). Let n be the order of ρ, then n ρ · xα(t)= xρn(α)(t)= xα(t) for all α ∈ ∆. Therefore ρn = Id. Hence for the automorphism σ := ρ◦f : G → G, we have σn = ρnf n = f n. If f is any non-trivial field automorphism such that f n = Id, then σn = Id. With the terminologies as in Notation 2.1, we have the following important result which will be used to describe the twisted Chevalley group.

Lemma 2.7. [2, Proposition 13.4.1] Let G be a Chevalley group of type Φ over a field k of char k = 0, whose Dynkin diagram has a non-trivial symmetry ρ. Let ρ be the graph automorphism corresponding to ρ and f be a non-trivial field automorphism chosen such that σ = ρf satisfies σn = Id, i.e., f is chosen so that f n = Id, where n is the order of ρ which is either 2 or 3. Then we have σ(U) = U, σ(V ) = V, σ(H) = H, σ(N) = N and ∼ σ : N/H = W → W is given by σ(wα) = wρ(α) for all α ∈ ∆. Here wα denotes the reflection in the hyperplane orthogonal to α.

Now we are in a position to define the twisted Chevalley groups as a certain sub- groups of the Chevalley groups which are fixed elementwise by the automorphisms σ = ρf, where ρ is a graph automorphism and f is a field automorphism of G.

Definition 2.8. The following notations will be used henceforth. (1) U ′ := {u ∈ U | σ(u)= u}. (2) V ′ := {v ∈ V | σ(v)= v}. ′ ′ ′ (3) Gσ := hU ,V i ≤ G. ′ ′ (4) H := H ∩ Gσ. ′ ′ (5) N := N ∩ Gσ.

′ The group Gσ is called the twisted Chevalley group of adjoint type with respect ′ ′ to the automorphism σ. Similarly, we can define H := H ∩ NAut(L)(Gσ), which ′ ′ contains H and normalizes Gσ (cf. Definition (2.3)). This will be useful to describe the diagonal automorphisms of the twisted Chevalleyc groupb in the next section. In this context, we recall an important result by Steinberg, which says that all the twisted Chevalley groups of adjoint type are simple (with few exceptions), see [21, p. 884, Theorem 8.1]. Also, we can define the universal twisted Chevalley group ′ ′ ′ Gσ. Generally twisted Chevalley groups are of the form Gσ/Z (also denoted by Gσ), ′ where Z ≤ Z(Gσ) is a central subgroup (cf. Section 2.1). Then we have the following shorte exact sequence of groups e e / ′ / ′ / ′ ′ / 1 Z(Gσ) Gσ Gσ/Z(Gσ) 1 (2.4) TWISTED CONJUGACY CLASSES IN TWISTED CHEVALLEY GROUPS 9

′ ′ where Gσ/Z(Gσ) is the twisted Chevalley group of adjoint type. Remark 2.9. It follows from [20, p. 29, Lemma 28 (d)] that the center Z(G) of the universal Chevalley group G is finite. Also, observe that the center of the twisted ′ σ e Chevalley group of universal type is Z(Gσ) = Z(G) = {g ∈ Z(G) | σ(g) = g} e ′ (see [20, p. 108, Exercise]). Thus the center Z(Gσ) of the twisted Chevalley group is finite. e e e

Example 2.10. (1) [21, p. 882, Section 6] Let L = Al (l ≥ 2). Then the adjoint ∼ ∼ Chevalley group is G = PSLl+1(k) and the universal Chevalley group is G = ′ ∼ SLl+1(k). The twisted Chevalley group of adjoint type is Gσ = PSUl+1(k,J) ′ ∼ e and the universal twisted Chevalley group is Gσ = SUl+1(k,J), where 1 e  −1  J = ǫ 1 .    −1     .   . .    Here ǫ ∈ k such that ǫ +¯ǫ =0 if l is odd and ǫ =1 if l is even. Here ¯ : k → k

is an involutory automorphism of k with fixed field k0, i.e., k is a degree two

Galois extension of k0. (A prototypical example is the Galois extension C over R with ‘bar’ being the complex conjugate).

(2) [21, p. 886, Section 9] Let L = Dl (l ≥ 5), then the adjoint Chevalley group ∼ ∼ is G = PΩ2l(k, BD) and the universal Chevalley group is G = Ω2l(k, BD),

where BD = x1x−1 + ··· + xlx−l (quadratic form over k). The adjoint twisted ′ ∼ e Chevalley group is Gσ = PΩ2l(k0, B) and the universal twisted Chevalley ′ ∼ group is Gσ = Ω2l(k0, B), where B = x1x−1 +···+xl−1x−(l−1) +(xl −dx−l)(xl − ¯ dx−l) (quadratic form over k0), and k = k0(d). Here ¯ : k → k is an order two e automorphism of k with k0 being its fixed field.

2.3. Automorphisms of twisted Chevalley groups. To study the R∞-property of a group, it is important to understand the automorphisms of the given group. In this section, we recall three fundamental types of automorphism of the twisted Cheval- ley group. We refer the reader to [2, Section 12.2] for details.

′ Definition 2.11 (Inner automorphism). Given any x ∈ Gσ, we define ′ ′ −1 ix : Gσ → Gσ given by ix(g)= xgx ′ is an automorphism of Gσ. The automorphism ix is called the inner automorphism ′ of Gσ induced by x. 10 SUSHIL BHUNIA, PINKA DEY, AND AMIT ROY

Definition 2.12 (Diagonal automorphisms). Let h ∈ H′ \ H′. Then the map d : G′ → G′ given by d (g)= hgh−1 h σ σ h c ′ ′ ′ is an automorphism of Gσ, since Gσ is normalized by H . The automorphism dh is ′ called a diagonal automorphism. The diagonal automorphisms of Gσ are obtained by conjugating with suitable diagonal matrices. c

Definition 2.13 (Field automorphism). Let f be an automorphism of the field k, then the map ′ ′ f : Gσ → Gσ given by f(xα(t)) = xα(f(t)), α ∈ Φ, t ∈ k ′ can be extended to an automorphism of Gσ. The automorphisms obtained in this way are called field automorphisms. In terms of matrices this amount to replacing each term of the matrix by its under f. Now we are ready to state the following theorem due to Steinberg that is the main tool to prove our results.

Theorem 2.14. [20, p. 111, Theorem 36] With the preceding notations, let σ = ρf(=6 Id) be the automorphism of the Chevalley group G. Then every automorphism ϕ of the twisted ′ Chevalley group Gσ is a product of an inner automorphism ig, a diagonal automorphism dh ′ ′ and a field automorphism f, i.e., ϕ = f ◦ dh ◦ ig for some g ∈ Gσ and h ∈ H .

The following lemma will be used in the proof of our main theorems.c ′ Lemma 2.15. Let D be the group of all diagonal automorphisms of Gσ and Γ be the group ′ generated by all field and diagonal automorphisms of Gσ, then D is a normal subgroup of Γ.

′ Proof. Clearly, D is a subgroup of Γ. Let f be a field automorphism of Gσ and dh ∈ D, ′ ′ × ′ where h = diag(h1,...,h|∆|+|Φ|) ∈ H \ H , hi ∈ k . Suppose g =(gij) ∈ Gσ, then we have c −1 −1 −1 −1 −1 −1 fdhf (gij)= fdh(f (gij)) = fh(f (gij))h = f(hif (gij)hj ) −1 −1 −1 e =(f(hif (gij)hj ))=(f(hi)gijf(hj )) = dh(gij) where h = diag(f(h1),...,f(h|∆|+|Φ|)). Hence D is a normal subgroup of Γ. 

2.4. Somee useful results. The following two lemmas hold for arbitrary groups. Suppose ϕ is an automorphism of a group G. Let ig be the inner automorphism −1 of G for some g in G, i.e., ig(x) = gxg for all x ∈ G. Let R(ϕ) := {[g]ϕ | g ∈ G}. Thus the Reidemeister number R(ϕ) is the cardinality of R(ϕ). Now let x, y ∈ G such that [x]ϕ◦ig = [y]ϕ◦ig . Then there exists a z ∈ G such that −1 −1 −1 −1 −1 y = zx(ϕ ◦ ig)(z )= zxϕ(gz g )= zxϕ(g)ϕ(z )ϕ(g ). TWISTED CONJUGACY CLASSES IN TWISTED CHEVALLEY GROUPS 11

−1 This implies that yϕ(g) = zxϕ(g)ϕ(z ), i.e, [xϕ(g)]ϕ = [yϕ(g)]ϕ. Thus we get a well-defined map

ϕ : R(ϕ ◦ ig) −→ R(ϕ) given by ϕ([x]ϕ◦ig ) = [xϕ(g)]ϕ. The map ϕ is bijective as well. We summarise this as b follows: b b Lemma 2.16. [7, Corollary 3.2] Suppose ϕ ∈ Aut(G) and ig ∈ Inn(G) then R(ϕig) =

R(ϕ). In particular, R(ig) = R(Id), i.e., the number of inner twisted conjugacy classes in G is equal to the number of conjugacy classes in G.

The following result appears in [14, Lemma 2.2]. We include a proof for the sake of completeness.

i π Lemma 2.17. Let 1 → N → G → Q → 1 be an exact sequence of groups. Suppose that N is a characteristic subgroup of G, i.e., ϕ(N) = N for all ϕ ∈ Aut(G). If Q has the

R∞-property, then G also has the R∞-property.

Proof. Suppose that ϕ is any automorphism of G. Since ϕ(N) = N then ϕ induces an automorphism ϕ of Q ∼= G/N such that the following diagram commutes:

i π 1 / N / G / Q / 1

ϕ|N ϕ ϕ    i π 1 / N / G / Q / 1 where ϕ|N is the automorphism of N. In particular, we have ϕ ◦ π = π ◦ ϕ. Now, observe that π induces a surjective map π : R(ϕ) −→ R(ϕ) given by π([x]ϕ) = [π(x)]ϕ for all x ∈ G. Hence R(ϕ) ≥ R(ϕ). Thus G has the R∞-property since Q has so.  b b Let Q be the field of rational numbers, S be the set of prime numbers and 2S be the set of all subsets of S. Then define the following map ν : Q → 2S by ν(a/b) = {all prime divisors of a}∪{all prime divisors of b}, where a and b are mutually prime integers. Using the map ν, Nasybullov [8, Lemma 2.5] proved the following result.

Lemma 2.18. Let k be a field of characteristic zero such that the transcendence degree of k over Q is finite. If the automorphism f of the field k acts on the elements z1, z2,... of the field k by the rule

f : zi 7→ αaizi, 12 SUSHIL BHUNIA, PINKA DEY, AND AMIT ROY where α ∈ k, 1 =6 ai ∈ Q ⊂ k and ν(ai) ∩ ν(aj) = ∅ for i =6 j, then there are only a finite number of non-zero elements among z1, z2,....

We include a proof of the following lemma which can be found in [16, Lemma 6].

Lemma 2.19. Let R be an integral domain and M be an infinite subset of R. Let f(T ) be a non-constant rational function with coefficients from the ring R. Then the set P = {f(a) | a ∈ M} is infinite.

g(T ) Proof. Let f(T )= h(T ) , where g(T ), h(T ) ∈ R[T ] with h(T ) =6 0. If possible, suppose that the set P is finite. That is for an infinite subset {ai | i = 1, 2,... } of M we have f(ai) = c ∈ R (say). In that case, the polynomial α(T ) = g(T ) − ch(T ) ∈ K[T ] has infinitely many roots in K, where K is the field of fraction of R. Thus α(T )=0 and hence, f(T )= c is a constant function, a contradiction. 

The proof of the following result is similar to the Chevalley group case as in [16, Lemma 7] and hence we skip the details.

Lemma 2.20. Let g(T )= hα1 (T )hα2 (T ) ··· hαl (T ) (here hαi (T ) as in equation (2.3)) be an element of the twisted Chevalley group over k(T ) and χ : ZΦ → k× be a homomorphism. Then for any m, the element g(T )mh(χ) with respect to the Chevalley basis has a diagonal form such that its trace belongs to k(T ) \ k. Here k(T ) denotes the field of rational functions with one variable T over the field k.

3. PROOFS OF THE MAIN RESULTS We are now ready to establish our two main theorems.

3.1. Proof of Theorem 1.2. The argument in the case of Chevalley groups may be followed here verbatim. In view of equation (2.4) and Lemma 2.17, it is enough to ′ ′ prove this theorem for twisted Chevalley group of adjoint type Gσ. Let ϕ ∈ Aut(Gσ), then by Theorem 2.14 we have ϕ = f ◦ dh ◦ ig, where ig is an inner automorphism ′ ′ for some g ∈ Gσ, dh is a diagonal automorphism for some h ∈ H and f is a field automorphism. By Lemma 2.16, we may assume that ϕ = f ◦ dh. In view of Lemma e ′ c 2.15, we have ϕ = dh ◦ f for some h ∈ H . Claim: R(ϕ)= ∞. Suppose if possible R(ϕ) < ∞. Lete c

gi = hα1 (pi1)hα2 (pi2) ··· hαl (pil), where p11 < p12 < ··· < p1l < p21 < p22 < ··· are primes and {α1,α2,...,αl} = ∆ is the set of all simple roots. Now writing gi with respect to the aforementioned TWISTED CONJUGACY CLASSES IN TWISTED CHEVALLEY GROUPS 13

Chevalley basis (2.1), we get

gi = diag(ai1, ai2,...,ai|Φ|;1,..., 1), l where aij ∈ Q such that ν(aij) =6 ∅ and ν(aij ) ∩ ν(|ars{z) =}∅ for i =6 r, since ν(aij) ⊂ {pi1,...,pil} for all i, j. Since aij ∈ Q and field automorphism acts identically on the prime subfield Q of k, then f(gi) = gi. Also, the diagonal automorphism dh acts by conjugation. Here h is an (|Φ| + |∆|) × (|Φ| + |∆|)-diagonal matrix and gi is diagonal as well, so dh(gi) = gi for all i. Therefore ϕ(gi)=(f ◦ dh)(gi) = gi for all i. Since we are assuming that the number of ϕ-twisted conjugacy classes is finite, without loss of generality, we may also assume that gi ∼ϕ g1 for all i =2, 3,.... Therefore

−1 −1 −1 −1 −1 e g1 = zigiϕ(zi )= zigi(fdh)(zi )= zigi(dhf)(zi )= zigihf(zi )h

′ −1 for some zi ∈ Gσ for all i =2, 3,.... Hence g1h = zi(gih)f(zi ). Thise impliese that −1 f(zi)=(g1h) ezi(gih).e (3.1) Let e e ′ h = diag(b1, b2,...,b|Φ|;1,..., 1) ∈ H , l then we have e c | {z }

gih = diag(ai1b1, ai2b2,...,ai|Φ|b|Φ|;1,..., 1) l e Qi Ri | {z } for all i = 1, 2,.... Let zi = be a block matrix, where Qi = (qi,mn)|Φ|×|Φ|, Si Ti ! Ri = (ri,mn)|Φ|×|∆|,Si = (si,mn)|∆|×|Φ| and Ti = (ti,mn)|∆|×|∆|. Then by equation (3.1), for all m, n =1, 2,..., |Φ|, we have

−1 −1 f(qi,mn)= a1mbm ainbnqi,mn = cmnainqi,mn,

−1 −1 where cmn = (a1mbmbn ) . Since ν(ain) =6 ∅ and ν(ain) ∩ ν(ajn) = ∅ for i =6 j, then we can apply Lemma 2.18 to the elements q2,mn, q3,mn,... and we get qj,mn = 0 for all j > Nmn for some integer Nmn. Choose N = maxm,n=1,2,...,|Φ|Nmn, then we have

Qj = (qj,mn)|Φ|×|Φ| = O|Φ|×|Φ| for all j > N (by Om×n, we mean the m × n matrix all of whose entries are zero). Using the similar arguments to the matrices {Si}i, we conclude that all the matrices Si reduces to the zero matrix for sufficiently large indices i. Hence the matrix zi has the following form for sufficiently large indices i:

O|Φ|×|Φ| Ri zi = . O|∆|×|Φ| Ti ! 14 SUSHIL BHUNIA, PINKA DEY, AND AMIT ROY

′ Therefore, for i sufficiently large, det(zi)=0, which is a contradiction as zi ∈ Gσ ≤ Aut(Lk). Hence R(ϕ)= ∞. This completes the proof.

3.2. Proof of Theorem 1.3. In view of equation (2.4) and Lemma 2.17, it is enough to ′ ′ show this theorem for twisted Chevalley group of adjoint type Gσ. Let ϕ ∈ Aut(Gσ), then as in the proof of Theorem 1.2 in Section 3.1, we may assume that ϕ = f ◦ dh. Since Aut(k), the automorphism group of the field k, is periodic, the field automor- phism f is of finite order, say n. Claim: R(ϕ)= ∞.

Suppose if possible R(ϕ) < ∞. Let g(T ) = hα1 (T )hα2 (T ) ··· hαl (T ) be an element of the twisted Chevalley group over k(T ), where α1,...,αl are the simple roots.

Consider the elements gi := g(xi), where {xi} is an infinite set of non-zero rational numbers. Since we are assuming that the number of ϕ-twisted conjugacy classes is

finite, without loss of generality, we may also assume that gi ∼ϕ g1 for all i =2, 3,.... Therefore −1 gi = zig1ϕ(zi ) ′ for some zi ∈ Gσ for all i =2, 3,.... Then we have −1 gi = zig1ϕ(zi ) 2 −1 ϕ(gi)= ϕ(zi)ϕ(g1)ϕ (zi ) 2 2 2 3 −1 ϕ (gi)= ϕ (zi)ϕ (g1)ϕ (zi ) (3.2) ... n−1 n−1 n−1 n −1 ϕ (gi)= ϕ (zi)ϕ (g1)ϕ (zi ). r r e ′ In view of Lemma 2.15, for all r =1, 2,...,n, we get f ◦dh = dh ◦f for some h ∈ H . r r e Therefore ϕ = dh ◦ f for all r. Since the field automorphism acts as an identity on e c the prime subfield Q of k, then f(gi) = gi. Also, the diagonal automorphism dh acts by conjugation, where h is an (|Φ| + |∆|) × (|Φ| + |∆|)-diagonal matrix and gi is diagonal as well, so dh(gi) = gi for all i. Therefore ϕ(gi)=(f ◦ dh)(gi) = gi for r n n −1 e all i. Therefore ϕ (gi) = gi for all r. From equation (3.2), we get gi = zig1 dh(zi ) = n −1 −1 n zig1 hzi h , since f = Id. Then n n −1 e e gi h = zi(g1 h)zi , ′ n n n n where zi ∈ Gσ and i =2, 3,.... Sincee gi h = ge(xi) h and g(x1) h = g1 h are conjugate in GL|Φ|+|∆|(k), their traces are equal for all i = 2, 3,.... In view of Lemma 2.20, we n n e e e e see that trace(g(xi) h) = trace(g(x1) h) ∈ k(T ) \ k, which contradicts Lemma 2.19. Therefore R(ϕ)= ∞. e e TWISTED CONJUGACY CLASSES IN TWISTED CHEVALLEY GROUPS 15

This completes the proof.

4. ISOGREDIENCECLASSESANDTHE S∞-PROPERTY Let G be an arbitrary group. Suppose Ψ ∈ Out(G) := Inn(G)\Aut(G). Two ele- ments α, β ∈ Ψ are said to be isogredient (or similar) if β = ih ◦α◦ih−1 for some h ∈ G, −1 where ih(g) = hgh for all g ∈ G. Observe that this is an equivalence relation on

Ψ. Fix a representative γ ∈ Ψ. Then α = ia ◦ γ and β = ib ◦ γ for some a, b ∈ G.

Therefore ib ◦ γ = β = ih ◦ α ◦ ih−1 = ih ◦ ia ◦ γ ◦ ih−1 . Then we have

−1 ib = ih ◦ ia ◦ (γ ◦ ih−1 ◦ γ )= ih ◦ ia ◦ iγ(h−1) = ihaγ(h−1).

Thus, α and β are isogredient if and only if b = haγ(h−1)c for some c ∈ Z(G) the center of G. Let S(Ψ) denote the number of isogredience classes of Ψ. If Ψ = Id =

Inn(G)IdG, then S(Id) is the number of usual conjugacy classes of G/Z(G). A group

G has the S∞-property if S(Ψ) = ∞ for all Ψ ∈ Out(G). Observe that if a group G possesses the S∞-property then G/Z(G) possesses the R∞-property, and hence by

Lemma 2.17 G satisfies the R∞-property. The converse also holds if Z(G)= {e}. We record this as follows (cf. [9, Theorem 3.4]):

Lemma 4.1. Let G be an arbitrary group such that Z(G) = {e}. Then G has the R∞- property if and only if G has the S∞-property.

An automorphism ϕ of G is said to be central if g−1ϕ(g) ∈ Z(G) for all g ∈ G. Thus corresponding to every central automorphism ϕ one can associate a homomorphism −1 fϕ : G → Z(G) given by fϕ(g) = g ϕ(g). The following two lemmas appear in [1, Propositions 1, 5, 12]. We include a proof for the sake of completeness.

Lemma 4.2. If the ϕ-conjugacy class [e]ϕ of the unit element e of a group G is a subgroup, then it is always a normal subgroup. If ϕ is a central automorphism of G, then [e]ϕ is a subgroup of G.

−1 Proof. Suppose [e]ϕ = {gϕ(g) | g ∈ G} is a subgroup. Then for any h ∈ G, we get

−1 −1 −1 −1 −1 −1 −1 −1 h(gϕ(g) )h = hgϕ(g) ϕ(h) ϕ(h)h = hgϕ(hg) (hϕ(h) ) ∈ [e]ϕ.

For the second statement, assume that ϕ is a central automorphism. Then we can write ϕ(g) = gfϕ(g), where fϕ : G → Z(G) is a homomorphism given by fϕ(g) = g−1ϕ(g). This implies

−1 −1 −1 −1 [e]ϕ = {gϕ(g) | g ∈ G} = {gfϕ(g )g | g ∈ G} = {fϕ(g ) | g ∈ G}.

Hence [e]ϕ is a subgroup as fϕ is a homomorphism.  16 SUSHIL BHUNIA, PINKA DEY, AND AMIT ROY

Let N be a normal subgroup of G which is stable under ϕ (i.e., ϕ(N) = N), then we denoted by ϕ, the automorphism induced by ϕ on G/N and by e, the identity element of the factor group G/N.

Lemma 4.3. Let G be a group such that for some automorphism ϕ of G, the twisted con- jugacy class [e]ϕ is a subgroup of G. Suppose that N is a normal ϕ-stable subgroup of G.

Then the ϕ-conjugacy class [e]ϕ is a subgroup of G/N.

−1 −1 −1 Proof. Let x, y ∈ [e]ϕ = {gϕ(g) N | g ∈ G}. Then x = gϕ(g) N and y = hϕ(h) N for some g, h ∈ G. This gives

−1 −1 −1 xy = gϕ(g) hϕ(h) N = zϕ(z) N ∈ [e]ϕ,

−1 for some z ∈ G since [e]ϕ is a subgroup of G. Similarly it can be shown that x ∈

[e]ϕ. Hence, the proof. 

The following result is similar to Lemma 2.17 in the context of the S∞-property.

Lemma 4.4. [8, Lemma 2.3] Let 1 → N → G → Q → 1 be an exact sequence of groups.

Suppose that N is a characteristic subgroup of G and Q has the S∞-property, then G also has the S∞-property.

′ 4.1. Proof of Corollary 1.4. Let Gσ be a twisted Chevalley group of adjoint type. ′ ′ Therefore Z(Gσ) = {e}. Now by Theorem 1.2 and Theorem 1.3 we know that Gσ ′ has the R∞-property. Hence, in view of Lemma 4.1, the twisted Chevalley group Gσ ′ (of adjoint type) has the S∞-property. Now let Gσ be any twisted Chevalley group, then we have the following short exact sequence (as in equation (2.4))

′ ′ ′ ′ 1 → Z(Gσ) → Gσ → Gσ/Z(Gσ) → 1, ′ ′ ′ where Z(Gσ) is a characteristic subgroup of Gσ. Then by virtue of Lemma 4.4, Gσ ′ ′ has the S∞-property as Gσ/Z(Gσ) possesses the S∞-property. This completes the proof.

′ 4.2. Proof of Corollary 1.5. Suppose that [e]ϕ is a subgroup of Gσ, then in view ′ ′ of Lemma 4.3, [e]ϕ is a subgroup of Gσ/Z(Gσ). Therefore, by Lemma 4.2, [e]ϕ is a ′ ′ normal subgroup of Gσ/Z(Gσ). Once again recall that Steinberg proved that the ′ ′ twisted Chevalley group of adjoint type Gσ/Z(Gσ) is simple. Therefore either [e]ϕ = ′ ′ ′ ′ ′ Z(Gσ) or [e]ϕ = Gσ/Z(Gσ). Again by Theorem 1.2 and Theorem 1.3, Gσ/Z(Gσ) ′ ′ ′ possesses the R∞-property. Therefore [e]ϕ = Z(Gσ) which implies ϕ = IdGσ/Z(Gσ). ′ Hence ϕ is a central automorphism of Gσ. ′ Conversely, suppose that ϕ is a central automorphism of Gσ. Then in view of ′ Lemma 4.2, the ϕ-twisted conjugacy class [e]ϕ is a subgroup of Gσ. TWISTED CONJUGACY CLASSES IN TWISTED CHEVALLEY GROUPS 17

This completes the proof.

Acknowledgement: We would like to thank Timur Nasybullov for his wonder- ful comments and suggestions on this work and also, for helping with the proof of Lemma 2.15. We thank Swathi Krishna for correcting our English. We also would like to thank the anonymous referee for his/her careful reading and for many help- ful comments and suggestions which improved the readability of this paper.

REFERENCES

[1] V. G. Bardakov, Timur Nasybullov, and M. V. Neshchadim. Twisted conjugacy classes of the unit element. Sibirsk. Mat. Zh., 54(1):20–34, 2013. [2] Roger W. Carter. Simple groups of Lie type. Wiley Classics Library. John Wiley & Sons, Inc., New York, 1989. Reprint of the 1972 original, A Wiley-Interscience Publication. [3] C. Chevalley. Sur certains groupes simples. Tohoku Math. J. (2), 7:14–66, 1955. [4] Alexander Fel’shtyn. New directions in Nielsen-Reidemeister theory. Topology Appl., 157(10- 11):1724–1735, 2010. [5] Alexander Fel’shtyn and Daciberg L. Gonc¸alves. The Reidemeister number of any automor- phism of a Baumslag-Solitar group is infinite. In Geometry and dynamics of groups and spaces, volume 265 of Progr. Math., pages 399–414. Birkh¨auser, Basel, 2008. [6] Alexander Fel’shtyn and Richard Hill. The Reidemeister zeta function with applications to Nielsen theory and a connection with Reidemeister torsion. K-Theory, 8(4):367–393, 1994. [7] Alexander Fel’shtyn, Yuriy Leonov, and Evgenij Troitsky. Twisted conjugacy classes in saturated weakly branch groups. Geom. Dedicata, 134:61–73, 2008. [8] Alexander Fel’shtyn and Timur Nasybullov. The R∞ and S∞ properties for linear algebraic groups. J. , 19(5):901–921, 2016. [9] Alexander Fel’shtyn and Evgenij Troitsky. Aspects of the property R∞. J. Group Theory, 18(6):1021–1034, 2015. [10] Daciberg L. Gonc¸alves and Timur Nasybullov. On groups where the twisted conjugacy class of the unit element is a subgroup. Comm. Algebra, 47(3):930–944, 2019. [11] Bo Ju Jiang. Lectures on Nielsen fixed point theory, volume 14 of Contemporary Mathematics. Amer- ican Mathematical Society, Providence, R.I., 1983. [12] Gilbert Levitt. On the automorphism group of generalized Baumslag-Solitar groups. Geom. Topol., 11:473–515, 2007. [13] Gilbert Levitt and Martin Lustig. Most automorphisms of a hyperbolic group have very simple dynamics. Ann. Sci. Ecole´ Norm. Sup. (4), 33(4):507–517, 2000. [14] T. Mubeena and P. Sankaran. Twisted conjugacy classes in abelian extensions of certain linear groups. Canad. Math. Bull., 57(1):132–140, 2014. [15] Timur Nasybullov. Twisted conjugacy classes in general and special linear groups. Algebra Logika, 51(3):331–346, 415, 418, 2012. [16] Timur Nasybullov. Twisted conjugacy classes in Chevalley groups. Algebra Logika, 53(6):735–763, 799–800, 802–803, 2014. 18 SUSHIL BHUNIA, PINKA DEY, AND AMIT ROY

[17] Timur Nasybullov. The R∞-property for Chevalley groups of types Bl, Cl, Dl over integral domains. J. Algebra, 446:489–498, 2016. [18] Timur Nasybullov. Chevalley groups of types Bn, Cn,Dn over certain fields do not possess the R∞-property. To appear in Topol. Methods Nonlinear Anal, 2020. [19] Timur Nasybullov. Reidemeister spectrum of special and general linear groups over some fields contains 1. J. Algebra Appl., 18(8):1950153, 12, 2019. [20] Robert Steinberg. Lectures on Chevalley groups, volume 66 of University Lecture Series. American Mathematical Society, Providence, RI, 2016. xi+160 pp. Notes prepared by John Faulkner and Robert Wilson. Revised and corrected edition of the 1968 original [MR0466335]. With a foreword by Robert R. Snapp. [21] Robert Steinberg. Variations on a theme of Chevalley. Pacific J. Math., 9:875–891, 1959. [22] Robert Steinberg. Endomorphisms of linear algebraic groups. Memoirs of the American Mathemat- ical Society, No. 80. American Mathematical Society, Providence, R.I., 1968. [23] Jacques Tits. Les “formes r´eelles” des groupes de type E6, volume 15 of S´eminaire Bourbaki; 10e ann´ee: 1957/1958. Textes des conf´erences; Expos´es 152a ` 168; 2e `ed. corrig´ee, Expos´e162. Secr´etariat math’ematique, , 1958.

INDIAN INSTITUTE OF SCIENCE EDUCATION AND RESEARCH (IISER)MOHALI, KNOWLEDGE CITY,SECTOR 81, S.A.S. NAGAR 140306, PUNJAB,INDIA Email address: [email protected] Email address: [email protected] Email address: [email protected], [email protected]