Riemannian Geometry – Lecture 19 Isotropy

Total Page:16

File Type:pdf, Size:1020Kb

Riemannian Geometry – Lecture 19 Isotropy Riemannian Geometry – Lecture 19 Isotropy Dr. Emma Carberry October 12, 2015 Recap from lecture 17: Definition 17.21. • a Lie group G acts on a manifold M if there is a map G × M ! M (g; p) 7! g · p such that e · p = p for all p 2 M and (gh) · p = g · (h · p) for all g; h 2 G; p 2 M: (these force the action of each element to be a bijection) Definition 17.21 (continued). • if for every g 2 G, g : M ! M p 7! g · p is smooth then we say that G acts smoothly • the isotropy subgroup Gp of G at p is the subgroup fixing p • G acts transitively on M if for every p; q 2 M there exists g 2 G such that q = g · p Definition 17.22. A homogeneous space is a manifold M together with a smooth transitive action by a Lie group G. 1 Informally, a homogeneous space “looks the same” at every point. Since the action is transitive, the isotropy groups are all conjugate −1 Gg·p = gGpg and for any p 2 M we can identify the points of M with the quotient space G=Gp. Definition 17.23. A Lie subgroup H of a Lie group G is a subset of G such that the natural inclusion is an immersion and a group homomorphism (i.e. H is simultaneously a subgroup and submanifold). Since the the group action on a homogeneous space is in particular continuous, the isotropy subgroups are closed in the topology of G. Theorem 17.24 (Lie-Cartan). A closed subgroup of a Lie group G is a Lie subgroup of G. Corollary 17.25. An isotropy subgroup Gp of a Lie group G is a Lie subgroup of G. Theorem 17.26. If G is a Lie group and H a Lie subgroup then the quotient space G=H has a unique smooth structure such that the map G × G=H ! G=H (g; kH) 7! gkH is smooth. We omit the proof; it is given for example in Warner, “Foundations of Differentiable Manifolds and Lie Groups”, pp 120–124. Corollary 17.27. A homogeneous space M acted upon by the Lie group G with isotropy sub- group Gp is diffeomorphic to the quotient manifold G=Gp where the latter is given the unique smooth structure of the previous theorem. Lecture 18 continued: 2 Example 18.8 ( Real projective space, RPn). Recall that RPn is the space of lines through the origin in Rn+1. Equivalently, n+1 n f0g n = R ; RP ∼ where 0 1 n 0 1 n (X ;X ;:::;X ) ∼ λ(X ;X ;:::;X ); λ 2 R n f0g: We write the equivalence class of (X0;X1;:::;Xn) as [X0 : X1 : ::: : Xn]. Example 18.8 (Continued). The natural projection n+1 n R n f0g ! RP (X0;X1;:::;Xn) 7! [X0 : X1 : ::: : Xn] restricts to Sn to exhibit Sn as a double cover of RPn. That is, we have a diffeomorphism n ∼ n S = ∼ = RP : Example 18.8 (Continued). We have Sn ∼= SO(n + 1)=SO(n) ∼= O(n + 1)=O(n) n n S is a double cover of RP O(n) is a double cover of SO(n): This suggests trying to show that n RP is diffeomorphic to SO(n + 1)=O(n): Example 18.8 (Continued). Identify O(n) with its image under the embedding O(n) ! SO(n + 1) ! det A A 7! : A Using the identification n ∼ n S = ∼ = RP we have a smooth transitive action of SO(n + 1) on RPn. Exercise 18.9. Show that the isotropy group of [1 : 0 ::: : 0] is O(n) . 3 Example 18.10 (Complex projective space, CPn). CPn is the space of complex lines through the origin in Cn+1. Equivalently, n+1 n f0g n = C ; CP ∼ where 0 1 n 0 1 n (X ;X ;:::;X ) ∼ λ(X ;X ;:::;X ); λ 2 C n f0g: We write the equivalence class of (X0;X1;:::;Xn) as [X0 : X1 : ::: : Xn]. The proof that CPn is a smooth manifold of real dimension 2n is completely analogous to the argument for real projective space. Exercise 18.11. Show that CPn is a homogeneous manifold diffeomorphic to SU(n+1)=S(U(1)× U(n)). Lecture 19: Isometry group Definition 19.1. A diffeomorphism ' :(M; g) ! (N; h) is called an isometry if '∗(h) = g, equivalently if h(d'p(v); d'p(w)) = g(v; w) for all p 2 M, v; w 2 TpM. Definition 19.2. The set of isometries ' :(M; g) ! (M; g) forms a group, called the isometry group I of the Riemannian manifold (M; g). The isometry group is always a finite-dimensional Lie group acting smoothly on M (see eg Kobayashi, Transformation Groups in Differential Geometry, Thm II.1.2). 4 Homogeneous and isotropic Riemannian manifolds Definition 19.3. A Riemannian manifold (M; g) is a homogeneous Riemannian manifold if its isometry group I(M) acts transitively on M. A homogeneous space M is just a differentiable manifold, no Riemannian metric. M is diffeo- morphic to the quotient manifold G=Gp. A homogeneous Riemannian manifold also has a Riemannian metric compatible with the group action. A homogeneous Riemannian manifold “looks the same” at every point in terms both of its smooth structure and of the Riemannian metric. Definition 19.4. A Riemannian manifold (M; g) is isotropic at p 2 M if the isotropy subgroup Ip acts transitively on the set of unit vectors of TpM, via Ip × fX 2 TpM j hX; Xi = 1g ! fX 2 TpM j hX; Xi = 1g (g; X) 7! dgp(X): The geometric interpretation is that the Riemannian manifold M near p looks the same in all directions. Definition 19.5. A homogeneous Riemannian manifold which is isotropic at one point must be isotropic at every point. Such a manifold is called a homogeneous and isotropic Riemannian manifold. A homogeneous and isotropic Riemannian manifold then looks the same at every point and in every direction: can you think of any examples? Example 19.6. Proposition The isometry group of Sn is O(n + 1). It acts transitively on Sn. The isotropy group acts transitively on the unit vectors of the tangent space. Hence, Sn is a homogeneous and isotropic Riemannian manifold. Example 19.6 (Continued). Proof Since O(n+1) is by definition the isometry group of Rn+1 and Sn inherits its Riemannian metric from Rn+1, the action of SO(n + 1) on Sn is by isometries. Conversely, any isometry of the sphere can be extended linearly to give an isometry of Rn+1 (we will check this momentarily). Hence I(Sn) = O(n + 1). 5 Example 19.6 (Continued). The proofs of the next two statements are similar. n Choose any point p 2 S . It is unit length, so extend it to an orthonormal basis v1 = n+1 p; v2; ··· ; vn+1 of R . The matrix g with columns v1; ··· ; vn+1 is in O(n + 1) and takes e1 to p. Thus, by going via e1, the action is transitive. n To see it is isotropic, we compute at e1 2 S . We have seen that the isotropy subgroup is just n O(n) acting on the standard basis e2; ··· ; en+1. Choose any unit vector v 2 TpS . We need to find g such that dge1 (e2) = v. But the differential of the linear map is itself, so we may replace dge1 with g. Again, extend v to an orthonormal basis and then we may take the columns of g to be v; v3; ··· ; vn+1, similarly to what we have seen before. Example 19.6 (Continued). To see that every isometry ' of a sphere extends to a linear map, we can write any point p 2 Rn+1 as λs for λ 2 R≥0 and s 2 Sn. Define '~(p) = λϕ(s). This is well defined (check at p = 0). n+1 To see it is linear, take any basis (e0; : : : ; en) of R . By checking inner products, so too is ('(e0);:::;'(en)). We compute X '~(p) = h'~(p);'(ei)i'(ei) X = hλϕ(s);'(ei)i'(ei) X = λh'(s);'(ei)i'(ei) X X = λhs; eii'(ei) = hp; eii'(ei): Note the right-hand side is a linear function of p. It’s an easy check that it is an isometry. Corollary 19.7. The sphere Sn has constant sectional curvature. We could just as easily have argued above with the sphere of radius r > 0, the special orthogonal group similarly acts transitively on it by isometries and furthermore acts transitively on the orthonormal frames of Sn(r). Hence the sphere Sn(r) of radius r > 0 has constant sectional curvature too. 6.
Recommended publications
  • Carbon – Science and Technology
    © Applied Science Innovations Pvt. Ltd., India Carbon – Sci. Tech. 1 (2010) 139 - 143 Carbon – Science and Technology ASI ISSN 0974 – 0546 http://www.applied-science-innovations.com ARTICLE Received :29/03/2010, Accepted :02/09/2010 ----------------------------------------------------------------------------------------------------------------------------- Ablation morphologies of different types of carbon in carbon/carbon composites Jian Yin, Hongbo Zhang, Xiang Xiong, Jinlv Zuo State Key Laboratory of Powder Metallurgy, Central South University, Lushan South Road, Changsha, China. --------------------------------------------------------------------------------------------------------------------------------------- 1. Introduction : Carbon/carbon (C/C) composites the ablation morphology and formation mechanism of combine good mechanical properties and designable each types of carbon. capabilities of composites and excellent ultrahigh temperature properties of carbon materials. They have In this study, ablation morphologies of resin-based low densities, high specific strength, good thermal carbon, carbon fibers, pyrolytic carbon with smooth stability, high thermal conductivity, low thermal laminar structure and rough laminar structure has been expansion coefficient and excellent ablation properties investigated in detail and their formation mechanisms [1]. As C/C composites show excellent characteristics were discussed. in both structural design and functional application, 2 Experimental : they have become one of the most competitive high temperature materials widely used in aviation and 2.1 Preparation of C/C composites : Bulk needled polyacrylonitrile (PAN) carbon fiber felts spacecraft industry [2 - 4]. In particular, they are were used as reinforcements. Three kinds of C/C considered to be the most suitable materials for solid composites, labeled as sample A, B and C, were rocket motor nozzles. prepared. Sample A is a C/C composite mainly with C/C composites are composed of carbon fibers and smooth laminar pyrolytic carbon, sample B is a C/C carbon matrices.
    [Show full text]
  • Identifying the Elastic Isotropy of Architectured Materials Based On
    Identifying the elastic isotropy of architectured materials based on deep learning method Anran Wei a, Jie Xiong b, Weidong Yang c, Fenglin Guo a, d, * a Department of Engineering Mechanics, School of Naval Architecture, Ocean and Civil Engineering, Shanghai Jiao Tong University, Shanghai 200240, China b Department of Mechanical Engineering, The Hong Kong Polytechnic University, Kowloon, Hong Kong, China c School of Aerospace Engineering and Applied Mechanics, Tongji University, Shanghai 200092, China d State Key Laboratory of Ocean Engineering, Shanghai Jiao Tong University, Shanghai 200240, China * Corresponding author, E-mail: [email protected] Abstract: With the achievement on the additive manufacturing, the mechanical properties of architectured materials can be precisely designed by tailoring microstructures. As one of the primary design objectives, the elastic isotropy is of great significance for many engineering applications. However, the prevailing experimental and numerical methods are normally too costly and time-consuming to determine the elastic isotropy of architectured materials with tens of thousands of possible microstructures in design space. The quick mechanical characterization is thus desired for the advanced design of architectured materials. Here, a deep learning-based approach is developed as a portable and efficient tool to identify the elastic isotropy of architectured materials directly from the images of their representative microstructures with arbitrary component distributions. The measure of elastic isotropy for architectured materials is derived firstly in this paper to construct a database with associated images of microstructures. Then a convolutional neural network is trained with the database. It is found that the convolutional neural network shows good performance on the isotropy identification.
    [Show full text]
  • On Isometries on Some Banach Spaces: Part I
    Introduction Isometries on some important Banach spaces Hermitian projections Generalized bicircular projections Generalized n-circular projections On isometries on some Banach spaces { something old, something new, something borrowed, something blue, Part I Dijana Iliˇsevi´c University of Zagreb, Croatia Recent Trends in Operator Theory and Applications Memphis, TN, USA, May 3{5, 2018 Recent work of D.I. has been fully supported by the Croatian Science Foundation under the project IP-2016-06-1046. Dijana Iliˇsevi´c On isometries on some Banach spaces Introduction Isometries on some important Banach spaces Hermitian projections Generalized bicircular projections Generalized n-circular projections Something old, something new, something borrowed, something blue is referred to the collection of items that helps to guarantee fertility and prosperity. Dijana Iliˇsevi´c On isometries on some Banach spaces Introduction Isometries on some important Banach spaces Hermitian projections Generalized bicircular projections Generalized n-circular projections Isometries Isometries are maps between metric spaces which preserve distance between elements. Definition Let (X ; j · j) and (Y; k · k) be two normed spaces over the same field. A linear map ': X!Y is called a linear isometry if k'(x)k = jxj; x 2 X : We shall be interested in surjective linear isometries on Banach spaces. One of the main problems is to give explicit description of isometries on a particular space. Dijana Iliˇsevi´c On isometries on some Banach spaces Introduction Isometries on some important Banach spaces Hermitian projections Generalized bicircular projections Generalized n-circular projections Isometries Isometries are maps between metric spaces which preserve distance between elements. Definition Let (X ; j · j) and (Y; k · k) be two normed spaces over the same field.
    [Show full text]
  • Computing the Complexity of the Relation of Isometry Between Separable Banach Spaces
    Computing the complexity of the relation of isometry between separable Banach spaces Julien Melleray Abstract We compute here the Borel complexity of the relation of isometry between separable Banach spaces, using results of Gao, Kechris [1] and Mayer-Wolf [4]. We show that this relation is Borel bireducible to the universal relation for Borel actions of Polish groups. 1 Introduction Over the past fteen years or so, the theory of complexity of Borel equivalence relations has been a very active eld of research; in this paper, we compute the complexity of a relation of geometric nature, the relation of (linear) isom- etry between separable Banach spaces. Before stating precisely our result, we begin by quickly recalling the basic facts and denitions that we need in the following of the article; we refer the reader to [3] for a thorough introduction to the concepts and methods of descriptive set theory. Before going on with the proof and denitions, it is worth pointing out that this article mostly consists in putting together various results which were already known, and deduce from them after an easy manipulation the complexity of the relation of isometry between separable Banach spaces. Since this problem has been open for a rather long time, it still seems worth it to explain how this can be done, and give pointers to the literature. Still, it seems to the author that this will be mostly of interest to people with a knowledge of descriptive set theory, so below we don't recall descriptive set-theoretic notions but explain quickly what Lipschitz-free Banach spaces are and how that theory works.
    [Show full text]
  • Arxiv:1507.08163V2 [Math.DG] 10 Nov 2015 Ainld C´Ordoba)
    GEOMETRIC FLOWS AND THEIR SOLITONS ON HOMOGENEOUS SPACES JORGE LAURET Dedicated to Sergio. Abstract. We develop a general approach to study geometric flows on homogeneous spaces. Our main tool will be a dynamical system defined on the variety of Lie algebras called the bracket flow, which coincides with the original geometric flow after a natural change of variables. The advantage of using this method relies on the fact that the possible pointed (or Cheeger-Gromov) limits of solutions, as well as self-similar solutions or soliton structures, can be much better visualized. The approach has already been worked out in the Ricci flow case and for general curvature flows of almost-hermitian structures on Lie groups. This paper is intended as an attempt to motivate the use of the method on homogeneous spaces for any flow of geometric structures under minimal natural assumptions. As a novel application, we find a closed G2-structure on a nilpotent Lie group which is an expanding soliton for the Laplacian flow and is not an eigenvector. Contents 1. Introduction 2 1.1. Geometric flows on homogeneous spaces 2 1.2. Bracket flow 3 1.3. Solitons 4 2. Some linear algebra related to geometric structures 5 3. The space of homogeneous spaces 8 3.1. Varying Lie brackets viewpoint 8 3.2. Invariant geometric structures 9 3.3. Degenerations and pinching conditions 11 3.4. Convergence 12 4. Geometric flows 13 arXiv:1507.08163v2 [math.DG] 10 Nov 2015 4.1. Bracket flow 14 4.2. Evolution of the bracket norm 18 4.3.
    [Show full text]
  • Topics on the Geometry of Homogeneous Spaces
    TOPICS ON THE GEOMETRY OF HOMOGENEOUS SPACES LAURENT MANIVEL Abstract. This is a survey paper about a selection of results in complex algebraic geometry that appeared in the recent and less recent litterature, and in which rational homogeneous spaces play a prominent r^ole.This selection is largely arbitrary and mainly reflects the interests of the author. Rational homogeneous varieties are very special projective varieties, which ap- pear in a variety of circumstances as exhibiting extremal behavior. In the quite re- cent years, a series of very interesting examples of pairs (sometimes called Fourier- Mukai partners) of derived equivalent, but not isomorphic, and even non bira- tionally equivalent manifolds have been discovered by several authors, starting from the special geometry of certain homogeneous spaces. We will not discuss derived categories and will not describe these derived equivalences: this would require more sophisticated tools and much ampler discussions. Neither will we say much about Homological Projective Duality, which can be considered as the unifying thread of all these apparently disparate examples. Our much more modest goal will be to describe their geometry, starting from the ambient homogeneous spaces. In order to do so, we will have to explain how one can approach homogeneous spaces just playing with Dynkin diagram, without knowing much about Lie the- ory. In particular we will explain how to describe the VMRT (variety of minimal rational tangents) of a generalized Grassmannian. This will show us how to com- pute the index of these varieties, remind us of their importance in the classification problem of Fano manifolds, in rigidity questions, and also, will explain their close relationships with prehomogeneous vector spaces.
    [Show full text]
  • Isometries and the Plane
    Chapter 1 Isometries of the Plane \For geometry, you know, is the gate of science, and the gate is so low and small that one can only enter it as a little child. (W. K. Clifford) The focus of this first chapter is the 2-dimensional real plane R2, in which a point P can be described by its coordinates: 2 P 2 R ;P = (x; y); x 2 R; y 2 R: Alternatively, we can describe P as a complex number by writing P = (x; y) = x + iy 2 C: 2 The plane R comes with a usual distance. If P1 = (x1; y1);P2 = (x2; y2) 2 R2 are two points in the plane, then p 2 2 d(P1;P2) = (x2 − x1) + (y2 − y1) : Note that this is consistent withp the complex notation. For P = x + iy 2 C, p 2 2 recall that jP j = x + y = P P , thus for two complex points P1 = x1 + iy1;P2 = x2 + iy2 2 C, we have q d(P1;P2) = jP2 − P1j = (P2 − P1)(P2 − P1) p 2 2 = j(x2 − x1) + i(y2 − y1)j = (x2 − x1) + (y2 − y1) ; where ( ) denotes the complex conjugation, i.e. x + iy = x − iy. We are now interested in planar transformations (that is, maps from R2 to R2) that preserve distances. 1 2 CHAPTER 1. ISOMETRIES OF THE PLANE Points in the Plane • A point P in the plane is a pair of real numbers P=(x,y). d(0,P)2 = x2+y2. • A point P=(x,y) in the plane can be seen as a complex number x+iy.
    [Show full text]
  • Isometry and Automorphisms of Constant Dimension Codes
    Isometry and Automorphisms of Constant Dimension Codes Isometry and Automorphisms of Constant Dimension Codes Anna-Lena Trautmann Institute of Mathematics University of Zurich \Crypto and Coding" Z¨urich, March 12th 2012 1 / 25 Isometry and Automorphisms of Constant Dimension Codes Introduction 1 Introduction 2 Isometry of Random Network Codes 3 Isometry and Automorphisms of Known Code Constructions Spread codes Lifted rank-metric codes Orbit codes 2 / 25 isometry classes are equivalence classes automorphism groups of linear codes are useful for decoding automorphism groups are canonical representative of orbit codes Isometry and Automorphisms of Constant Dimension Codes Introduction Motivation constant dimension codes are used for random network coding 3 / 25 automorphism groups of linear codes are useful for decoding automorphism groups are canonical representative of orbit codes Isometry and Automorphisms of Constant Dimension Codes Introduction Motivation constant dimension codes are used for random network coding isometry classes are equivalence classes 3 / 25 automorphism groups are canonical representative of orbit codes Isometry and Automorphisms of Constant Dimension Codes Introduction Motivation constant dimension codes are used for random network coding isometry classes are equivalence classes automorphism groups of linear codes are useful for decoding 3 / 25 Isometry and Automorphisms of Constant Dimension Codes Introduction Motivation constant dimension codes are used for random network coding isometry classes are equivalence classes automorphism groups of linear codes are useful for decoding automorphism groups are canonical representative of orbit codes 3 / 25 Definition Subspace metric: dS(U; V) = dim(U + V) − dim(U\V) Injection metric: dI (U; V) = max(dim U; dim V) − dim(U\V) Isometry and Automorphisms of Constant Dimension Codes Introduction Random Network Codes Definition n n The projective geometry P(Fq ) is the set of all subspaces of Fq .
    [Show full text]
  • F:\2014 Papers\2009 Papers\Relativity Without Light
    Relativity without Light: A Further Suggestion Shan Gao Research Center for Philosophy of Science and Technology, Shanxi University, Taiyuan 030006, P. R. China Department of Philosophy, University of Chinese Academy of Sciences, Beijing 100049, P. R. China E-mail: [email protected] The role of the light postulate in special relativity is reexamined. The existing theory of relativity without light shows that one can deduce Lorentz-like transformations with an undetermined invariant speed based on homogeneity of space and time, isotropy of space and the principle of relativity. However, since the transformations can be Lorentzian or Galilean, depending on the finiteness of the invariant speed, a further postulate is needed to determine the speed in order to establish a real connection between the theory and special relativity. In this paper, I argue that a certain discreteness of space-time, whose existence is strongly suggested by the combination of quantum theory and general relativity, may result in the existence of a maximum and invariant speed when combing with the principle of relativity, and thus it can determine the finiteness of the speed in the theory of relativity without light. According to this analysis, the speed constant c in special relativity is not the actual speed of light, but the ratio between the minimum length and the shortest time of discrete space-time. This suggests a more complete theory of relativity, the theory of relativity in discrete space-time, which is based on the principle of relativity and the constancy of the minimum size of discrete space-time. 1. Introduction Special relativity was originally based on two postulates: the principle of relativity and the constancy of the speed of light.
    [Show full text]
  • Homogeneous Spaces Defined by Lie Group Automorphisms. Ii
    J. DIFFERENTIAL GEOMETRY 2 (1968) 115-159 HOMOGENEOUS SPACES DEFINED BY LIE GROUP AUTOMORPHISMS. II JOSEPH A. WOLF & ALFRED GRAY 7. Noncompact coset spaces defined by automorphisms of order 3 We will drop the compactness hypothesis on G in the results of §6, doing this in such a way that problems can be reduced to the compact case. This involves the notions of reductive Lie groups and algebras and Cartan involutions. Let © be a Lie algebra. A subalgebra S c © is called a reductive subaU gebra if the representation ad%\® of ίΐ on © is fully reducible. © is called reductive if it is a reductive subalgebra of itself, i.e. if its adjoint represen- tation is fully reducible. It is standard ([11, Theorem 12.1.2, p. 371]) that the following conditions are equivalent: (7.1a) © is reductive, (7.1b) © has a faithful fully reducible linear representation, and (7.1c) © = ©' ©3, where the derived algebra ©' = [©, ©] is a semisimple ideal (called the "semisimple part") and the center 3 of © is an abelian ideal. Let © = ©' Θ 3 be a reductive Lie algebra. An automorphism σ of © is called a Cartan involution if it has the properties (i) σ2 = 1 and (ii) the fixed point set ©" of σ\$r is a maximal compactly embedded subalgebra of ©'. The whole point is the fact ([11, Theorem 12.1.4, p. 372]) that (7.2) Let S be a subalgebra of a reductive Lie algebra ©. Then S is re- ductive in © if and only if there is a Cartan involution σ of © such that σ(ft) = ft.
    [Show full text]
  • A Review of Nonparametric Hypothesis Tests of Isotropy Properties in Spatial Data Zachary D
    Submitted to Statistical Science A Review of Nonparametric Hypothesis Tests of Isotropy Properties in Spatial Data Zachary D. Weller and Jennifer A. Hoeting Department of Statistics, Colorado State University Abstract. An important aspect of modeling spatially-referenced data is appropriately specifying the covariance function of the random field. A practitioner working with spatial data is presented a number of choices regarding the structure of the dependence between observations. One of these choices is determining whether or not an isotropic covariance func- tion is appropriate. Isotropy implies that spatial dependence does not de- pend on the direction of the spatial separation between sampling locations. Misspecification of isotropy properties (directional dependence) can lead to misleading inferences, e.g., inaccurate predictions and parameter es- timates. A researcher may use graphical diagnostics, such as directional sample variograms, to decide whether the assumption of isotropy is rea- sonable. These graphical techniques can be difficult to assess, open to sub- jective interpretations, and misleading. Hypothesis tests of the assumption of isotropy may be more desirable. To this end, a number of tests of direc- tional dependence have been developed using both the spatial and spectral representations of random fields. We provide an overview of nonparametric methods available to test the hypotheses of isotropy and symmetry in spa- tial data. We summarize test properties, discuss important considerations and recommendations in choosing and implementing a test, compare sev- eral of the methods via a simulation study, and propose a number of open research questions. Several of the reviewed methods can be implemented in R using our package spTest, available on CRAN.
    [Show full text]
  • Why Do We Do Representation Theory?
    Why do we do representation theory? V. S. Varadarajan University of California, Los Angeles, CA, USA Bologna, September 2008 Abstract Years ago representation theory was a very specialized field, and very few non-specialists had much interest in it. This situation has changed profoundly in recent times. Due to the efforts of people like Gel’fand, Harish-Chandra, Lang- lands, Witten, and others, it has come to occupy a cen- tral place in contemporary mathematics and theoretical physics. This talk takes a brief look at the myriad ways that rep- resentations of groups enters mathematics and physics. It turns out that the evolution of this subject is tied up with the evolution of the concept of space itself and the classifi- cation of the groups of symmetries of space. Classical projective geometry • The projective group G = PGL(n + 1) operates on complex projective space CPn and hence on algebraic varieties imbedded in CPn. Classical geometry was concerned with the invariants of these varieties under the projective action. Main problems over C • To study the ring of invariants of the action of G on the graded ring of polynomials on Cn+1. The basic question is: • Is the invariant ring finitely generated? • The spectrum of the ring of invariants is a first ap- proximation to a moduli space for the action. Solutions over C • (Hilbert-Weyl) The ring of invariants is finitely gener- ated if G is a complex semi simple group. This is based on • (Weyl) All representations of a complex semi simple grup are completely reducible. • (Nagata) Finite generation of invariants is not always true if G is not semi simple.
    [Show full text]