Book contents
- Frontmatter
- Contents
- Preface
- 1 Classical Regular Polytopes
- 2 Regular Polytopes
- 3 Coxeter Groups
- 4 Amalgamation
- 5 Realizations
- 6 Regular Polytopes on Space-Forms
- 7 Mixing
- 8 Twisting
- 9 Unitary Groups and Hermitian Forms
- 10 Locally Toroidal 4-Polytopes: I
- 11 Locally Toroidal 4-Polytopes: II
- 12 Higher Toroidal Polytopes
- 13 Regular Polytopes Related to Linear Groups
- 14 Miscellaneous Classes of Regular Polytopes
- Bibliography
- Indices
- List of Symbols
- Author Index
- Subject Index
9 - Unitary Groups and Hermitian Forms
Published online by Cambridge University Press: 20 August 2009
- Frontmatter
- Contents
- Preface
- 1 Classical Regular Polytopes
- 2 Regular Polytopes
- 3 Coxeter Groups
- 4 Amalgamation
- 5 Realizations
- 6 Regular Polytopes on Space-Forms
- 7 Mixing
- 8 Twisting
- 9 Unitary Groups and Hermitian Forms
- 10 Locally Toroidal 4-Polytopes: I
- 11 Locally Toroidal 4-Polytopes: II
- 12 Higher Toroidal Polytopes
- 13 Regular Polytopes Related to Linear Groups
- 14 Miscellaneous Classes of Regular Polytopes
- Bibliography
- Indices
- List of Symbols
- Author Index
- Subject Index
Summary
In the classical theory, the structure of a finite regular polytope or an infinite regular tessellation or honeycomb is governed by a real quadratic form. This form determines the geometry of the ambient space. The symmetry group of the polytope or tessellation is a group of isometries in this space, and is in fact the Coxeter group associated with the quadratic form as in Sections 3A and 3D.
As we shall see in Chapter 11, much of the correspondence between polytopes and forms remains true for an important class of abstract regular polytopes. Here the real quadratic form is replaced by a hermitian form on a finite-dimensional complex space. Moreover, a subgroup of finite index in the automorphism group Γ = Γ(P) of such a polytope P is represented as a group of isometries with respect to this form. In particular, this subgroup (and thus P itself) is finite if and only if the hermitian form is positive definite, in which case it is a finite group generated by reflexions of period 2 in the ambient unitary space.
Unfortunately, we cannot generally be sure that the abstract and geometric groups are actually isomorphic; this may have to be shown on a case-by-case basis.
- Type
- Chapter
- Information
- Abstract Regular Polytopes , pp. 289 - 359Publisher: Cambridge University PressPrint publication year: 2002