DOCSLIB.ORG

Automorphism Groups of Combinatorial Structures

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Automorphism Groups of Combinatorial Structures Automorphism groups of combinatorial structures Anne Thomas Notes prepared by Ben Brawn, Tim Bywaters and Thomas Taylor Abstract This is a series of lecture notes taken by students during a 5 lecture se- ries presented by Anne Thomas in 2016 at the MATRIX workshop: The Winter of Disconnectedness. Acknowledgements We would like to thank John J. Harrison for kindly sharing his notes. We would also like to thank MATRIX for funding and hosting the Winter of Disconnectedness work- shop where these lectures were presented. 1 Introduction These lectures are based on the survey paper [20] of Farb, Hruska and Thomas. We give additional background in these lectures and update some results, including some answers to questions posed in [20]. Both the survey [20] and these lectures were inspired by the paper [31], which explores the theory of tree lattices and relates results to the classical case. The primary goal of these lectures was to present the main examples of polyhedral complexes and then use them to generate interesting examples of locally compact groups. Results are stated about these groups with a focus on lattices and comparisons with the well developed theory of Lie groups. Some results will be identical to results from Lie groups with identical proofs, some will require different techniques to prove and some will directly contrast. Using this point of view, it is possible to pull insight from one case to another, thus it is possible to gain insight into Lie groups by studying groups acting on polyhedral complexes. When possible, at the start of each section we give references which provide the Anne Thomas The University of Sydney School of Mathematics and Statistics, Carslaw Building NSW 2006 e-mail: [email protected] 1 2 Anne Thomas reader with a deeper background into the topic which is beneficial but not required. The interested reader may want to read further than what is presented here. In that case we recommend the survey [20] which presents a long, but motivated, list of research problems. For the remainder of this section we define a notion of curvature on metric spaces and consider the basics of isometries on these space. We then give a short introduc- tion to lattices and provide elementary examples. We finish with a rough intuition for symmetric spaces. This intuition is not meant to be a definition, but instead places future results in context. In Section 2 we standardise the notation we will be using for graphs and specif- ically trees. We then provide some results on tree lattices. In Section 3 we define a general polyhedral complex and see how previous examples fit this mould. We then explore results related to buildings which are an important example. Finally in Section 4 we present examples of polyhedral complexes which have received recent attention in the literature. 1.1 Models of metric spaces In this section we introduce the concept of metric spaces. We then define 3 funda- mental examples of metric spaces. These are the unique n-dimensional Riemannian manifolds with constant sectional curvature 1, 0 and −1. In later sections, we will compare arbitrary metric spaces with these to define a notion of curvature in a gen- eral geodesic metric space. We suggest [10] as a very complete reference for this section. Definition 1. Suppose (X;d) is a metric space. A geodesic segment is a function g : [a;b] ⊂ R ! X such that for all s;t 2 [a;b] we have d(g(s);g(t)) = js −tj: (1) A geodesic ray is a function g : [a;¥) ! X such that for all s;t 2 [a;¥) equation (1) holds. A geodesic line is a function g : (−¥;¥) ! X such that for all s;t 2 (−¥;¥) equation (1) holds. Remark 1. We will often refer to a geodesic segment, ray or line by just geodesic when the context is clear. We also identify a geodesic g with its image in X. Example 1. Here we provide the examples of the 3 unique n-dimensional Rieman- nian manifolds with constant curvature 1, 0 and −1 respectively. Instead of defining the metric explicitly, it is equivalent to describe the geodesics in the space, as they determine the metric. n n • Let S denote the unit sphere in R with the induced Euclidean metric. Then all geodesics are arcs of great circles. If two points are not antipodal then there is a unique geodesic connecting them. Alternatively there are infinitely many geodesics between two antipodal points. Automorphism groups of combinatorial structures 3 n • Let E denote n-dimensional Euclidean space. We make the distinction between n n n E and R ; E is not equipped with a vector space structure, nor is there a fixed origin. This allows us to work in a coordinate free manner. The geodesics in Euclidean space are straight lines. n • Let H denote n-dimensional real hyperbolic space. There are two models of hyperbolic space that we will use when convenient. – Consider the half plane model U = fz 2 C : Á(z) > 0g for H2. Then geodesics take the form of vertical lines or segments of semicir- cles perpendicular to the Real axis. These are shown in Figure 1. Fig. 1 Geodesics in the upper half plane model of hyperbolic space Im · i Re – An alternative model H2 is the Poincare´ disk D. This is given by D = fx 2 C : jxj < 1g: Geodesics in the disk are either diameters or arcs of circles perpendicular to the boundary of the unit disk. These are shown in Figure 2. There is an isom- etry U ! D which wraps the Real axis into a circle with endpoints meeting at the point at infinity. 1.2 Curvature condition and isometries Given the spaces with constant sectional curvature described above we describe a notion of curvature in a general geodesic space. We focus on spaces with non- 4 Anne Thomas Fig. 2 Geodesics in the Poincare´ disk model of hyperbolic space positive curvature. As we will see later, these spaces appear naturally in many set- tings. Again, [10] is a good reference for this section. Definition 2. For a metric space (X;d) we define the following: • We say (X;d) is geodesic if any two points can be connected by a geodesic. Note that we do not require this geodesic to be unique. • A geodesic triangle D(x1;x2;x3) between points x1;x2;x3 2 X is a union [ f[xi;x j] : i; j 2 f1;2;3gg where [xi;x j] is a geodesic from xi to x j. A comparison triangle D(x¯1;x¯2;x¯3) for 2 D(x1;x2;x3) in E is a union of geodesics [ f[x¯i;x¯j] : i; j 2 f1;2;3gg 2 where [x¯i;x¯j] is the unique geodesic between pointsx ¯i;x¯j 2 E which are chosen to satisfy d(xi;x j) = d(x¯i;x¯j). If p 2 [xi;x j] ⊂ D(x1;x2;x3), then a comparison point for p is the uniquep ¯ 2 [x¯i;x¯j] with d(p¯;x¯i) = d(p;xi). • We say D(x1;x2;x3) satisfies the CAT(0) inequality if for any p;q 2 D(x1;x2;x3) we have d(p;q) ≤ d(p¯;q¯): Note that satisfying the CAT(0) inequality is independent of choice of compari- son triangle. • We call X a CAT(0) space if every geodesic triangle in X satisfies the CAT(0) inequality. Automorphism groups of combinatorial structures 5 Fig. 3 On the left we have a triangle in a CAT(0) space and on the right a comparison triangle in Euclidean space. x¯2 x2 x¯1 x 1 x¯3 x3 Remark 2. Similarly we can define CAT(−1) and CAT(1) by comparing with H2 and S2 respectively. Because the sphere has finite diameter and so geodesics have finite length, to show a space is CAT(1) it only makes sense to compare triangles with diameters less than 2p [10, Part II]. It can also be seen that CAT(−1) implies CAT(0) and CAT(0) implies CAT(1) [10, Theorem 1.12]. n Example 2. It is easy to see that E is CAT(0) for all n 2 N. More generally a normed vector space is CAT(0) if and only if it is an inner product space, for a proof see [10, Proposition 1.14]. This shows that any Banach space that is not a Hilbert space is not CAT(0). Proposition 1. Suppose X is a CAT(0) metric space. Then there exists a unique geodesic between any two distinct points. Proof. The following argument is presented pictorially in Figure 4. Suppose x1 and x2 are two points and g1 and g2 are two geodesics from x1 to x2. Then for any p1 2 g1 there exists a unique p2 2 g2 such that d(x1; p1) = d(x1; p2). We will show p1 = p2. Consider the triangle D(x1; p1;x2) which is given by g1 [g2. Taking a comparison triangle D(x¯1; p¯1;x¯2) we must have d(x¯1; p¯1) + d(x¯2; p¯1) = d(x¯1;x¯2): This can only happen ifp ¯1 is on the unique geodesic fromx ¯1 tox ¯2. This shows D(x¯1; p¯1;x¯2) is in fact a line. Taking a comparison pointp ¯2 for p2, we must have p¯2 = p¯1. Applying the CAT(0) inequality we have d(p1; p2) ≤ d(p¯1; p¯2) = 0: This shows g1 ⊂ g2.
Load more

Recommended publications
  • Affine Springer Fibers and Affine Deligne-Lusztig Varieties
    Affine Springer Fibers and Affine Deligne-Lusztig Varieties Ulrich G¨ortz Abstract. We give a survey on the notion of affine Grassmannian, on affine Springer fibers and the purity conjecture of Goresky, Kottwitz, and MacPher- son, and on affine Deligne-Lusztig varieties and results about their dimensions in the hyperspecial and Iwahori cases. Mathematics Subject Classification (2000). 22E67; 20G25; 14G35. Keywords. Affine Grassmannian; affine Springer fibers; affine Deligne-Lusztig varieties. 1. Introduction These notes are based on the lectures I gave at the Workshop on Affine Flag Man- ifolds and Principal Bundles which took place in Berlin in September 2008. There are three chapters, corresponding to the main topics of the course. The first one is the construction of the affine Grassmannian and the affine flag variety, which are the ambient spaces of the varieties considered afterwards. In the following chapter we look at affine Springer fibers. They were first investigated in 1988 by Kazhdan and Lusztig [41], and played a prominent role in the recent work about the “fun- damental lemma”, culminating in the proof of the latter by Ngˆo. See Section 3.8. Finally, we study affine Deligne-Lusztig varieties, a “σ-linear variant” of affine Springer fibers over fields of positive characteristic, σ denoting the Frobenius au- tomorphism. The term “affine Deligne-Lusztig variety” was coined by Rapoport who first considered the variety structure on these sets. The sets themselves appear implicitly already much earlier in the study of twisted orbital integrals. We remark that the term “affine” in both cases is not related to the varieties in question being affine, but rather refers to the fact that these are notions defined in the context of an affine root system.
    [Show full text]
  • The Large-Scale Geometry of Right-Angled Coxeter Groups
    THE LARGE-SCALE GEOMETRY OF RIGHT-ANGLED COXETER GROUPS PALLAVI DANI Abstract. This is a survey of some aspects of the large-scale geometry of right-angled Coxeter groups. The emphasis is on recent results on their nega- tive curvature properties, boundaries, and their quasi-isometry and commen- surability classification. 1. Introduction Coxeter groups touch upon a number of areas of mathematics, such as represen- tation theory, combinatorics, topology, and geometry. These groups are generated by involutions, and have presentations of a specific form. The connection to ge- ometry and topology arises from the fact that the involutions in the group can be thought of as reflection symmetries of certain complexes. Right-angled Coxeter groups are the simplest examples of Coxeter groups; in these, the only relations between distinct generators are commuting relations. These have emerged as groups of vital importance in geometric group theory. The class of right-angled Coxeter groups exhibits a surprising variety of geometric phenomena, and at the same time, their rather elementary definition makes them easy to work with. This combination makes them an excellent source for examples for building intuition about geometric properties, and for testing conjectures. The book [Dav08] by Davis is an excellent source for the classical theory of Coxeter groups in geometric group theory. This survey focusses primarily on de- velopments that have occurred after this book was published. Rather than giving detailed definitions and precise statements of theorems (which can often be quite technical), in many cases we have tried to adopt a more intuitive approach. Thus we often give the idea of a definition or the criteria in the statement of a theorem, and refer the reader to other sources for the precise details.
    [Show full text]
  • Dynamics for Discrete Subgroups of Sl 2(C)
    DYNAMICS FOR DISCRETE SUBGROUPS OF SL2(C) HEE OH Dedicated to Gregory Margulis with affection and admiration Abstract. Margulis wrote in the preface of his book Discrete subgroups of semisimple Lie groups [30]: \A number of important topics have been omitted. The most significant of these is the theory of Kleinian groups and Thurston's theory of 3-dimensional manifolds: these two theories can be united under the common title Theory of discrete subgroups of SL2(C)". In this article, we will discuss a few recent advances regarding this missing topic from his book, which were influenced by his earlier works. Contents 1. Introduction 1 2. Kleinian groups 2 3. Mixing and classification of N-orbit closures 10 4. Almost all results on orbit closures 13 5. Unipotent blowup and renormalizations 18 6. Interior frames and boundary frames 25 7. Rigid acylindrical groups and circular slices of Λ 27 8. Geometrically finite acylindrical hyperbolic 3-manifolds 32 9. Unipotent flows in higher dimensional hyperbolic manifolds 35 References 44 1. Introduction A discrete subgroup of PSL2(C) is called a Kleinian group. In this article, we discuss dynamics of unipotent flows on the homogeneous space Γn PSL2(C) for a Kleinian group Γ which is not necessarily a lattice of PSL2(C). Unlike the lattice case, the geometry and topology of the associated hyperbolic 3-manifold M = ΓnH3 influence both topological and measure theoretic rigidity properties of unipotent flows. Around 1984-6, Margulis settled the Oppenheim conjecture by proving that every bounded SO(2; 1)-orbit in the space SL3(Z)n SL3(R) is compact ([28], [27]).
    [Show full text]
  • ADELIC VERSION of MARGULIS ARITHMETICITY THEOREM Hee Oh 1. Introduction Let R Denote the Set of All Prime Numbers Including
    ADELIC VERSION OF MARGULIS ARITHMETICITY THEOREM Hee Oh Abstract. In this paper, we generalize Margulis’s S-arithmeticity theorem to the case when S can be taken as an infinite set of primes. Let R be the set of all primes including infinite one ∞ and set Q∞ = R. Let S be any subset of R. For each p ∈ S, let Gp be a connected semisimple adjoint Qp-group without any Qp-anisotropic factors and Dp ⊂ Gp(Qp) be a compact open subgroup for almost all finite prime p ∈ S. Let (GS , Dp) denote the restricted topological product of Gp(Qp)’s, p ∈ S with respect to Dp’s. Note that if S is finite, (GS , Dp) = Qp∈S Gp(Qp). We show that if Pp∈S rank Qp (Gp) ≥ 2, any irreducible lattice in (GS , Dp) is a rational lattice. We also present a criterion on the collections Gp and Dp for (GS , Dp) to admit an irreducible lattice. In addition, we describe discrete subgroups of (GA, Dp) generated by lattices in a pair of opposite horospherical subgroups. 1. Introduction Let R denote the set of all prime numbers including the infinite prime ∞ and Rf the set of finite prime numbers, i.e., Rf = R−{∞}. We set Q∞ = R. For each p ∈ R, let Gp be a non-trivial connected semisimple algebraic Qp-group and for each p ∈ Rf , let Dp be a compact open subgroup of Gp(Qp). The adele group of Gp, p ∈ R with respect to Dp, p ∈ Rf is defined to be the restricted topological product of the groups Gp(Qp) with respect to the distinguished subgroups Dp.
    [Show full text]
  • A Quasideterminantal Approach to Quantized Flag Varieties
    A QUASIDETERMINANTAL APPROACH TO QUANTIZED FLAG VARIETIES BY AARON LAUVE A dissertation submitted to the Graduate School—New Brunswick Rutgers, The State University of New Jersey in partial fulfillment of the requirements for the degree of Doctor of Philosophy Graduate Program in Mathematics Written under the direction of Vladimir Retakh & Robert L. Wilson and approved by New Brunswick, New Jersey May, 2005 ABSTRACT OF THE DISSERTATION A Quasideterminantal Approach to Quantized Flag Varieties by Aaron Lauve Dissertation Director: Vladimir Retakh & Robert L. Wilson We provide an efficient, uniform means to attach flag varieties, and coordinate rings of flag varieties, to numerous noncommutative settings. Our approach is to use the quasideterminant to define a generic noncommutative flag, then specialize this flag to any specific noncommutative setting wherein an amenable determinant exists. ii Acknowledgements For finding interesting problems and worrying about my future, I extend a warm thank you to my advisor, Vladimir Retakh. For a willingness to work through even the most boring of details if it would make me feel better, I extend a warm thank you to my advisor, Robert L. Wilson. For helpful mathematical discussions during my time at Rutgers, I would like to acknowledge Earl Taft, Jacob Towber, Kia Dalili, Sasa Radomirovic, Michael Richter, and the David Nacin Memorial Lecture Series—Nacin, Weingart, Schutzer. A most heartfelt thank you is extended to 326 Wayne ST, Maria, Kia, Saˇsa,Laura, and Ray. Without your steadying influence and constant comraderie, my time at Rut- gers may have been shorter, but certainly would have been darker. Thank you. Before there was Maria and 326 Wayne ST, there were others who supported me.
    [Show full text]
  • Twisted Loop Groups and Their Affine Flag Varieties
    TWISTED LOOP GROUPS AND THEIR AFFINE FLAG VARIETIES G. PAPPAS* AND M. RAPOPORT Introduction Loop groups are familiar objects in several branches of mathematics. Let us mention here three variants. The first variant is differential-geometric in nature. One starts with a Lie group G (e.g., a compact Lie group or its complexification). The associated loop group is then the group of (C0-, or C1-, or C∞-) maps of S1 into G, cf. [P-S] and the literature cited there. A twisted version arises from an automorphism α of G. The associated twisted loop group is the group of maps γ : R → G such that γ(θ + 2π) = α(γ(θ)) . The second variant is algebraic and arises in the context of Kac-Moody algebras. Here one constructs an infinite-dimensional algebraic group variety with Lie algebra equal or closely related to a given Kac-Moody algebra. (This statement is an oversimplification and the situation is in fact more complicated: there exist various constructions at a formal, a minimal, and a maximal level which produce infinite-dimensional groups with Lie algebras closely related to the given Kac-Moody Lie algebra, see [Ma2], also [T2], [T3] and the literature cited there). The third variant is algebraic-geometric in nature and is our main concern in this paper. Let us recall the basic definitions in the untwisted case. Let k be a field and let G0 be an algebraic group over Spec (k). We consider the functor LG0 on the category of k-algebras, R 7→ LG0(R) = G0(R((t))).
    [Show full text]
  • Beyond Serre's" Trees" in Two Directions: $\Lambda $--Trees And
    Beyond Serre’s “Trees” in two directions: Λ–trees and products of trees Olga Kharlampovich,∗ Alina Vdovina† October 31, 2017 Abstract Serre [125] laid down the fundamentals of the theory of groups acting on simplicial trees. In particular, Bass-Serre theory makes it possible to extract information about the structure of a group from its action on a simplicial tree. Serre’s original motivation was to understand the structure of certain algebraic groups whose Bruhat–Tits buildings are trees. In this survey we will discuss the following generalizations of ideas from [125]: the theory of isometric group actions on Λ-trees and the theory of lattices in the product of trees where we describe in more detail results on arithmetic groups acting on a product of trees. 1 Introduction Serre [125] laid down the fundamentals of the theory of groups acting on sim- plicial trees. The book [125] consists of two parts. The first part describes the basics of what is now called Bass-Serre theory. This theory makes it possi- ble to extract information about the structure of a group from its action on a simplicial tree. Serre’s original motivation was to understand the structure of certain algebraic groups whose Bruhat–Tits buildings are trees. These groups are considered in the second part of the book. Bass-Serre theory states that a group acting on a tree can be decomposed arXiv:1710.10306v1 [math.GR] 27 Oct 2017 (splits) as a free product with amalgamation or an HNN extension. Such a group can be represented as a fundamental group of a graph of groups.
    [Show full text]
  • On Some Recent Developments in the Theory of Buildings
    On some recent developments in the theory of buildings Bertrand REMY∗ Abstract. Buildings are cell complexes with so remarkable symmetry properties that many groups from important families act on them. We present some examples of results in Lie theory and geometric group theory obtained thanks to these highly transitive actions. The chosen examples are related to classical and less classical (often non-linear) group-theoretic situations. Mathematics Subject Classification (2010). 51E24, 20E42, 20E32, 20F65, 22E65, 14G22, 20F20. Keywords. Algebraic, discrete, profinite group, rigidity, linearity, simplicity, building, Bruhat-Tits' theory, Kac-Moody theory. Introduction Buildings are cell complexes with distinguished subcomplexes, called apartments, requested to satisfy strong incidence properties. The notion was invented by J. Tits about 50 years ago and quickly became useful in many group-theoretic situations [75]. By their very definition, buildings are expected to have many symmetries, and this is indeed the case quite often. Buildings are relevant to Lie theory since the geometry of apartments is described by means of Coxeter groups: apartments are so to speak generalized tilings, where a usual (spherical, Euclidean or hyper- bolic) reflection group may be replaced by a more general Coxeter group. One consequence of the existence of sufficiently large automorphism groups is the fact that many buildings admit group actions with very strong transitivity properties, leading to a better understanding of the groups under consideration. The beginning of the development of the theory is closely related to the theory of algebraic groups, more precisely to Borel-Tits' theory of isotropic reductive groups over arbitrary fields and to Bruhat-Tits' theory of reductive groups over non-archimedean valued fields.
    [Show full text]
  • FINITE GROUP ACTIONS on REDUCTIVE GROUPS and BUILDINGS and TAMELY-RAMIFIED DESCENT in BRUHAT-TITS THEORY by Gopal Prasad Dedicat
    FINITE GROUP ACTIONS ON REDUCTIVE GROUPS AND BUILDINGS AND TAMELY-RAMIFIED DESCENT IN BRUHAT-TITS THEORY By Gopal Prasad Dedicated to Guy Rousseau Abstract. Let K be a discretely valued field with Henselian valuation ring and separably closed (but not necessarily perfect) residue field of characteristic p, H a connected reductive K-group, and Θ a finite group of automorphisms of H. We assume that p does not divide the order of Θ and Bruhat-Tits theory is available for H over K with B(H=K) the Bruhat-Tits building of H(K). We will show that then Bruhat-Tits theory is also available for G := (HΘ)◦ and B(H=K)Θ is the Bruhat-Tits building of G(K). (In case the residue field of K is perfect, this result was proved in [PY1] by a different method.) As a consequence of this result, we obtain that if Bruhat-Tits theory is available for a connected reductive K-group G over a finite tamely-ramified extension L of K, then it is also available for G over K and B(G=K) = B(G=L)Gal(L=K). Using this, we prove that if G is quasi-split over L, then it is already quasi-split over K. Introduction. This paper is a sequel to our recent paper [P2]. We will assume fa- miliarity with that paper; we will freely use results, notions and notations introduced in it. Let O be a discretely valued Henselian local ring with valuation !. Let m be the maximal ideal of O and K the field of fractions of O.
    [Show full text]
  • Matrices Lie: an Introduction to Matrix Lie Groups and Matrix Lie Algebras
    Matrices Lie: An introduction to matrix Lie groups and matrix Lie algebras By Max Lloyd A Journal submitted in partial fulfillment of the requirements for graduation in Mathematics. Abstract: This paper is an introduction to Lie theory and matrix Lie groups. In working with familiar transformations on real, complex and quaternion vector spaces this paper will define many well studied matrix Lie groups and their associated Lie algebras. In doing so it will introduce the types of vectors being transformed, types of transformations, what groups of these transformations look like, tangent spaces of specific groups and the structure of their Lie algebras. Whitman College 2015 1 Contents 1 Acknowledgments 3 2 Introduction 3 3 Types of Numbers and Their Representations 3 3.1 Real (R)................................4 3.2 Complex (C).............................4 3.3 Quaternion (H)............................5 4 Transformations and General Geometric Groups 8 4.1 Linear Transformations . .8 4.2 Geometric Matrix Groups . .9 4.3 Defining SO(2)............................9 5 Conditions for Matrix Elements of General Geometric Groups 11 5.1 SO(n) and O(n)........................... 11 5.2 U(n) and SU(n)........................... 14 5.3 Sp(n)................................. 16 6 Tangent Spaces and Lie Algebras 18 6.1 Introductions . 18 6.1.1 Tangent Space of SO(2) . 18 6.1.2 Formal Definition of the Tangent Space . 18 6.1.3 Tangent space of Sp(1) and introduction to Lie Algebras . 19 6.2 Tangent Vectors of O(n), U(n) and Sp(n)............. 21 6.3 Tangent Space and Lie algebra of SO(n).............. 22 6.4 Tangent Space and Lie algebras of U(n), SU(n) and Sp(n)..
    [Show full text]
  • Tessellations: Lessons for Every Age
    TESSELLATIONS: LESSONS FOR EVERY AGE A Thesis Presented to The Graduate Faculty of The University of Akron In Partial Fulfillment of the Requirements for the Degree Master of Science Kathryn L. Cerrone August, 2006 TESSELLATIONS: LESSONS FOR EVERY AGE Kathryn L. Cerrone Thesis Approved: Accepted: Advisor Dean of the College Dr. Linda Saliga Dr. Ronald F. Levant Faculty Reader Dean of the Graduate School Dr. Antonio Quesada Dr. George R. Newkome Department Chair Date Dr. Kevin Kreider ii ABSTRACT Tessellations are a mathematical concept which many elementary teachers use for interdisciplinary lessons between math and art. Since the tilings are used by many artists and masons many of the lessons in circulation tend to focus primarily on the artistic part, while overlooking some of the deeper mathematical concepts such as symmetry and spatial sense. The inquiry-based lessons included in this paper utilize the subject of tessellations to lead students in developing a relationship between geometry, spatial sense, symmetry, and abstract algebra for older students. Lesson topics include fundamental principles of tessellations using regular polygons as well as those that can be made from irregular shapes, symmetry of polygons and tessellations, angle measurements of polygons, polyhedra, three-dimensional tessellations, and the wallpaper symmetry groups to which the regular tessellations belong. Background information is given prior to the lessons, so that teachers have adequate resources for teaching the concepts. The concluding chapter details results of testing at various age levels. iii ACKNOWLEDGEMENTS First and foremost, I would like to thank my family for their support and encourage- ment. I would especially like thank Chris for his patience and understanding.
    [Show full text]
  • Volume Vs. Complexity of Hyperbolic Groups
    Volume vs. Complexity of Hyperbolic Groups Nir Lazarovich∗ Abstract We prove that for a one-ended hyperbolic graph X, the size of the quotient X~G by a group G acting freely and cocompactly bounds from below the number of simplices in an Eilenberg-MacLane space for G. We apply this theorem to show that one-ended hyperbolic cubulated groups (or more generally, one-ended hyperbolic groups with globally stable cylin- ders `ala Rips-Sela) cannot contain isomorphic finite-index subgroups of different indices. 1 Introduction n Complexity vs volume. Let G act freely and cocompactly on H , n ≥ 2. For n = 2, the Gauss-Bonnet formula shows that the Euler characteristic of 2 the group G is proportional to the volume of the quotient H ~G. In higher dimensions, Gromov and Thurston [18,28] showed that the simplicial volume of n G is proportional to the hyperbolic volume of the quotient H ~G. In the above results, a topological feature of the group G is shown to be n related to the volume of the quotient H ~G. This phenomenon was extensively studied for groups acting on non-positively curved manifolds [1{3, 7, 10, 12{15]. In this work, we study the relation between topological complexity and volume in the discrete setting of group actions on hyperbolic simplicial complexes. For this purpose let us first define what we mean by \complexity" and \volume". Let G be a group. An Eilenberg-MacLane space K = K(G; 1) for G is a CW-complex such that π1(K) = G and πn(K) = 0 for all n ≥ 2.
    [Show full text]