 Open Access
 Total Downloads : 18
 Authors : Mr. Sunil Bhardwaj, Ms. Aakansha Vyas
 Paper ID : IJERTCONV4IS03041
 Volume & Issue : RACEE – 2015 (Volume 4 – Issue 03)
 Published (First Online): 30072018
 ISSN (Online) : 22780181
 Publisher Name : IJERT
 License: This work is licensed under a Creative Commons Attribution 4.0 International License
Stable Representation Theory of Infinite Discrete Groups
Mr. Sunil Bhardwaj1 Ms. Aakansha Vyas2
Department of Mathematics Department of Mathematics RNB Global University, Bikaner, Rajasthan MIET, Greater Noida, Uttar pradesh
Abstract The goal of this paper is to study representations of infinite discrete groups from a homotopical viewpoint. Our main tool and object of study is Carlssons deformation Ktheory, which provides a homotopy theoretical analogue of the classical representation ring. Deformation Ktheory is a contra variant function from discrete groups to connective spectra, and we begin by discussing a simple model for the zeroth space of this spectrum. We then investigate two related phenomena regarding deformation Ktheory: AtiyahSegal theorems, which relate the deformation Ktheory of a group to the complex K theory of its classifying space, and excision, which relates the deformation Ktheory of an amalgamation to the deformation Ktheory of its factors. In particular, we use Morse theory for the YangMills functional to prove an AtiyahSegal theorem for fundamental groups of compact, spherical surfaces, and we prove that deformation Ktheory is excessive on all free products. We conclude this paper by considering the general relationship between deformation Ktheory of a group G and complex Ktheory of the classifying space BG.
Keywords Carlssons deformation Ktheory, ring, homotopy, AtiyahSegal theorem

INTRODUCTION
In this paper, I would like to explain a relation of deformation theory to mirror symmetry. Deformation theory or theory of moduli is related to mirror symmetry in many ways. We discuss only one part of it. The part we want to explain here is related to rather abstract and formal point of the theory of moduli, which was much studied in 50s and 60s.They are related to the definition of scheme, stack and its complex analytic analogue, and also to various parts of homological and homotopical algebra. Recently those topics again call attention of several people working in areas closely related to mirror symmetry. An example of this phenomenon is as follows. Let us consider a Lagrangiansub manifold L in a simplistic manifold M. A problem, which is related to the definition of Floer homology, is to count the number of holomorphic maps: D2 M such that (D2) L.2 Then the trouble is the number thus defined depends on the various choices involved. For example it is not independent of the deformation of (almost) complex structure of M. So unless clarifying in which sense the number of holomorphic disks is invariant of various choices, it does not make mathematical sense to count it. It is this essential point where we need deformation theory.
We begin by describing the excision problem for amalgamated products. Let G,H, and K be finitely generated discrete groups, with homomorphismsf1 :K Gand f2 : K
H. Then associated to the coCartesian (i.e. push out) diagram
of groups Kf1 /f2 _G_H /G K H, there is a diagram of spectra
Kdef (G K H) /_Kdef (G) f1_Kdef (H) f2 /Kdef (K).We would say that the amalgamated product GKH satisfies excision (for deformation Ktheory) if equation is homotopy Cartesian, i.e. if the natural map from Kdef (GK H) to the homotopy pullback is a weak equivalence. Note that since we are dealing with connective spectra, this is the same as saying that the diagram of zeroth spaces is homotopy Cartesian .Excision may be thought of as the statement that deformation Ktheory mapscocartesian equation of groups to homotopy Cartesian diagrams of spectra. Excision results are important from the point of view of computations, since associated to any homotopy Cartesian diagram of spaces there is a long exact MayerVietoris sequence of homotopy groups. fg k(W).
fg k(X) k(Y )hk k(Z) k1(W)
Which comes from combining the long exact sequences associated to the vertical maps; note that the homotopy fibers of the vertical maps in a homotopy Cartesian square are weakly equivalent)? It is not difficult to check that if all the spaces involved are grouplike Hspaces, and the maps are homomorphisms of Hspaces, then the maps in this sequence (including the boundary maps) are homomorphisms in dimension zero. Hence when applied to (the zeroth spaces of) the deformation Ktheory in an amalgamation diagram, assuming excision one obtains a long exact sequence in K.
The AtiyahSegal theorem describes the relationship between the representation ring R(G) of a compact Lie group G and the complex Ktheory of the classifying space BG. When G is an infinite discrete group, CarlssonÂ´s deformation Ktheory provides a homotopytheoretical analogue of R(G) which takes into account the topology of the spaces Hom(G, U(n)). IÂ´ll explain how Morse theory for the YangMills functional may be used to prove an analogue, for surface groups, of the AtiyahSegal theorem. Work of T. Lawson provides a deep relationship between deformation Ktheory and the (stable) moduli space of flat unitary connections. IÂ´ll explain what LawsonÂ´s results tell us in the case of surfaces, and IÂ´ll discuss some general conjectures relating deformation Ktheory, complex Ktheory, and the topology of the stable moduli space. Deformation Ktheory associates to each discrete group G a spectrum built from spaces of finite dimensional unitary representations of G. In all known examples, this spectrum is 2periodic above the rational co homological dimension of G (minus 2), in the sense that T. Lawsons Bott map is an isomorphism on homotopy in these dimensions. We establish a periodicity theorem for crystallographic subgroups of the isometrics of k dimensional Euclidean space. For a certain subclass of
torsionfree crystallographic groups, we prove a vanishing result for the homotopy groups of the stable moduli space of representations, and we provide examples relating these homotopy groups to the cohomology of G.
Reduction of excision to representation variEties , and an example The first goal of this section is to reduce the question of excision to representation varieties, at least when the groups in question have stably grouplike representation monoids (in an appropriately compatible manner).

KTHEORY AS A HOMOLOGY THEORY ON BANACH ALGEBRAS
So far, we have defined Ktheory for unital rings only. A slight modification allows us togeneralize this definition to non unital rings A as follows. We assume that A is a kalgebrawhere k is any commutative ring with unit (for instance Z). We define a new unitalring A+ as A x k with the obvious addition and the following twisted multiplication.
(a, ) (a, ) = (aa + a + a, )
There is an obvious augmentation A+ zc k and the Ktheory of A is then defined as the kernel of the induced map (A+) zc K (k). It can be shown (not quite easily) that this definition is in fact independent of k.An interesting and motivating example is the ring of kvalued continuous functions f on a locally compact space X (k = R or C) such that f(x) goes to 0 when x goes to . Then A+ is the ring of continuous functions on the one point compactification of

For instance, if X = Rp , K(A) is isomorphic to K(C(Sp)).Also note that this method enables us to define a morphism K(A) zc K(B) each time we have a general ring map A zc B (we no longer assume that f(1) = 1, even if A and B are unital rings).A sequence of rings and maps 0 zc A zc A zc A zc 0 is called exact if the underlying sequence of abelian groups is exact. In other words A is a two sided ideal in A, whereas A may be identified with the qotient ring A/A.
Theorem. The sequence induces an exact sequence of Kgroups
K(A) zzc K(A) zzc K(A)
that is Im() = Ker() [for a proof see for instance [M] or [KV]).
It is natural to ask what is Ker() and Coker(). If one is familiar with homologic alalgebra, one should define derived functors Kn, n [Z, of the Kgroup in order to extend the previous exact sequence to the left and to the right (the group K0 (A) being K (A)). A partial solution (to the left) is given by the theorem a few lines below. There are at least two ways to solve this problem of derived functors. The first one is to put some topology on the rings involved (i.e. consider Banach algebras as explained below),
The other is to stay in pure algebra, which is paradoxically much harder. We shall begin with the first approach. We recall that a Banach algebra (over k = R or C) is a kalgebra A (not necessarily unital) with the following properties:

A norm a  a is defined on the vector space A in such a way that A is complete forthe distance d(a, b) =  a b

We have the inequality ab a .b

A typical example is the ring of continuous functions f on a locally compact space X suchthat f(x) goes to 0 when x goes to . The norm f of f is then the maximum of the valuesof f(x) when x [ X ] .More generally, if A is a Branch algebra and X a locally compact space, we define a new branch algebra A(X) as the ring of continuous functions f on X with values in A with the same condition at infinity. For the definition of the norm, we just replace f(x) in the previous example by  f(x) . With obvious notations, we have the following isomorphism
A(X) (Y) > A(X Ã— Y).

KTHEORY AS A HOMOLOGY THEORY ON
DISCRETE RINGS
For various reasons, especially the applications of K theory to Algebraic Geometry and Number Theory, the definition of the functors Kn we have just given is not very satisfactory. We would rather not use the topology of the ring
A. For such a purpose, adefinition has been proposed by Quillen in 1970. Unfortunately, Quillens definition requires some sophistication in Algebraic Topology. Therefore, we shall use another one,introduced slightly before by Villamayor and the author which coincides withQuillens definition in many favorable cases. It is much easier to define, in the same spiritas the higher Kgroups for Branch algebras. Caution: those algebraic Kgroups will now be called Kn(A). In order to avoid confusion, the topological K groups for Branch algebras defined earlier will be denoted by Kntop(A) .
As we have seen previously, homotopy groups play an important role in the definition and properties of the topological Kgroups. Therefore, it is natural to look for an algebraicdefinition of them, especially for spaces like the general linear groups GLr(A) or their limit
GL(A) = GLr(A)
The first thing is to define algebraically 0 (GL(A)). In other words, one should say when two invertible matrices 0 and 1 are homotopic (or are in the same algebraic connected path component).

RELATION BETWEEN KTHEORY AND BOTT
PERIODICITY
We shall limit ourselves to the complex case for simplicity and describe an explicit map From p1(GL(C)) to
K(A), where A is CC(Sp), the ring of complex continuous functions defined on the sphere Sp. For this purpose, we decompose the sphere Sp into two fat hemispheres S+pand Sp ,each hemisphere being defined by xp+1 > 1/2 (resp xp+1
< 1/2). Using the last coordinate xp+1 as a parameter, we define two continuous functions + and – from the sphere Sp to the unit interval [0, 1] such that + (resp. – ) is zero outside S+p (resp. Sp) and such 8 that + + – = 1. We define = ( +)2 + () 2where = + or – and = + or – accordingly. After these preliminaries let us consider an element of p1(GL(C)) represented by a continuous map (for large enough n) f : Sp1 zcGLn(C) We extend this map to S+p Spby meridian projection on the equator f :S+p SpzcGLn(C).The matrix Q =(+)2 +f + f1
()2(where (+)2 , () 2 or (+) means this scalar times the identity matrix of order n) is a 2n x 2n matrix whose entries are continuous functions on Sp with values in M2n(C). It is easy to see that Q2 = Q. Therefore, the image of Q defines a projective module over the ring A = CC (Sp), hence an element of K (A) which is independent of the choice of the partition of unity (+, ).

REFERENCE

Stephen S. Shatz. The decomposition and specialization of algebraic families of vector bundles.Compositio Math., 35(2):163187, 1977.

Michael Spivak. A comprehensive introduction to differential geometry.Vol.II. Publish or Perish Inc., Wilmington, Del., second edition, 1979.

Introduction to Algebraic Ktheory. Ann. of Math. Studies 197.Princeton,NJ. Princeton University Press (1974).

Algebraic Ktheory and its applications. Graduate Texts NÂ° 147, Springer, Berlin (1994).

Suzuki, M., Group theory, I, II, Springer Verlag, Berlin, 1982, 1986.

Bhowmik, G., RamarÂ´e, O., Algebra of matrix arithmetic, J. Algebra 210 (1998), 194215.

An arithmetic method of counting the subgroups of a finite abelian group by Marius F. A. McDonald, On the Precursor in Laser Generated Ultrasound Waveforms in Metals, Applied Physics Letters, 56, 3, 230232, 1990.

J. B. Spicer, A. D. W. Mckie, and J. W. Wagner, Quantitative Theory for Laser Ultrasonic Waves in a Thin Plate, Appl. Phys. Lett., 57, 18821884, 1990.

M. Dubois, F. Enguehard, L. Bertrand, M. Choquet, J.P. Monchalin, Appl. Phys. Lett., 64, 554, 1994.

M.A. Ezzat, A. Karamany and M.A. Fayik, Fractional ultrafast laser induced thermoelastic behavior in metal films, Journal of Thermal Stresses, 35, 637651, 2012.

N.S. AlHuniti , M.A. AlNimr , Thermoelastic behavior of a composite slab under a rapid dualphaselag heating, Journal of Thermal Stresses, 27, 607623, 2004.

J.K. Chen, J.E. Beraun, C.L. Tham, Comparison of onedimensional and twodimensional axisymmetric approaches to the thermomechanical response caused by ultrashort laser heating, Journal of Optics, 4, 650661, 2002.

W.S. Kim, L.G. Hector, R.B. Hetnarski, Thermoelastic stresses in a bonded layer due to repetitively pulsed laser heating, Acta Mechanica, 125, 107128, 1997.

H.M. Youssef, A.A. ElBary, Thermoelastic material response due to laser pulse heating in context of four theorems of thermoelasticity, Journal of thermal stresses, 37, 137989, 2014.

L. Yuan, K. Sun, Z. Shen, X. Ni, J. Lu, Theoretical study of the effect of enamel parameters on laser induced surface acoustic waves in human incisor, Int. J. Thermophys., July 2014.

M.A. Elhagary, A twodimensional generalized thermoelastic diffusion problem for a thick plate subjected to thermal loading due to laser pulse, Journal of thermal stresses, 37, 14161432, 2014.

A.C. Eringen, Microcontinuum field theories I: Foundations and Solids, SpringerVerleg, New York 1999.

A.C. Eringen, Plane waves in nonlocal micropolar elasticity, Int. J. Eng. Sci., 22, 11131121, 1984.

R. Kumar , L. Rani, Elastodynamic response of mechanical and thermal source in generalized thermoelastic half space with voids, Mechanics and Mechanical Engineering, 9, no. 2, 2945, 2005.