Quaternionic toric varieties
Let \(H\) be the skew field of (Hamilton's) quaternions, and \(G\) the multiplicative group of quaternions of norm 1 so that \(G\) coincides with the 3-sphere \(S^3\). Among more general ``quaternionic spaces, the author defines ``quaternionic toric varieties, which are neither algebraic varieties nor spaces with actions of products of copies of \(G\), but which nevertheless share some of the features of complex (resp. real) toric projective varieties arising out of convex polytopes, where the complex unit circle \(S^1\) (resp. \(S^0 = \{\pm 1\})\) is supposed to play the role of \(G\). More specifically, let \(P\) be an \(n\)-dimensional convex polytope. An \(n\)-dimensional quaternionic toric variety \(X\) is a real \(4n\)-dimensional compact Hausdorff space obtained as a quotient of \(P \times G^n\) with respect to an equivalence relation specified by a ``characteristic function \(\lambda\). Roughly speaking, \(\lambda\) assigns for each face \(F\) of the polytope \(P\) a map \(\lambda (F) : G^n \leftarrow G^{\dim F}\) obtained as the composite, with the projection to the first \(\dim F\) factors, of a self-diffeomorphism \(\varphi : G^n \leftarrow G^n\) such that both \(\varphi\) and \(\varphi^{- 1}\) are expressed in terms of \(n\)-tuples of words in the \(n\) coordinates of \(G^n\). If \(F'\) is a face of \(F\), then \(\lambda (F')\) and \(\lambda (F)\) are supposed to satisfy suitable compatibility conditions. Then \((p, s_1, \dots, s_n)\) and \((p, t_1, \dots, t_n)\) in \(F \times G^n\) are defined to be equivalent if \(\lambda (F) (s_1, \dots, s_n) = \lambda (F) (t_1, \dots, t_n)\). The \(n\)-dimensional quaternionic projective space \(HP^n\) is a quaternionic toric variety when \(P\) is the \(n\)-dimensional simplex with a suitable \(\lambda\). \(SO(3)\) acts on \(G\) through inner automorphisms of quaternions, hence acts continuously on quaternionic toric varieties. The author determines when a quaternionic toric variety is nonsingular (i.e., a topological manifold), and determines its cohomology ring as in the theorem of Jurkiewicz and Danilov in the case of complex toric varieties. These nonsingular quaternionic toric varieties are analogous to the manifolds considered by \textit{M. W. Davis} and \textit{T. Januszkiewicz} [Duke Math. J. 62, No. 2, 417-451 (1991; Zbl 0733.52006)]. The author then goes on to study the case \(n = 2\), and obtains interesting results on topological 8-manifolds involving smoothability, exotic 7-spheres and \(SO (3)\)-actions.
- Actions of the Torus on 4-Manifolds. I
- Classification of (n-1)-connected 2n-manifolds
- Convex polytopes, Coxeter orbifolds and torus actions
- Differentiable imbeddings
- scientific article; zbMATH DE number 3966282 (Why is no real title available?)
- scientific article; zbMATH DE number 192947 (Why is no real title available?)
- Introduction to Toric Varieties. (AM-131)
- Morse Theory. (AM-51)
- Obstructions to imposing differentiable structures
- On manifolds homeomorphic to the 7-sphere
- On simply connected, 4-dimensional polyhedra
- On the orthogonal groups of unimodular quadratic forms
- Some Group Actions on Homotopy Spheres of Dimension Seven and Fifteen
- Stability of \(C^ \infty\) mappings. V: Transversality
- THE GEOMETRY OF TORIC VARIETIES
- The Upper Bound Conjecture and Cohen-Macaulay Rings
- Triangulation of Stratified Objects
- Quotients of toric varieties
- Arithmetic classification of Kuga fiber varieties of quaternion type
- Tetraplectic structures, tri-momentum maps, and quaternionic flag manifolds
- On quaternionic tori and their moduli space
- Halving spaces and lower bounds in real enumerative geometry
- Quaternionic toric manifolds
- Quaternionic Grassmannians and Borel classes in algebraic geometry
- Tetraplectic structures compatible with local quaternionic toric actions
- Topological rigidity of quoric manifolds
This page was built for publication: Quaternionic toric varieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1902016)
