Related papers: Compact hyperbolic Coxeter four-polytopes with eig…

See math.CV/0509030 which replaces this paper.

This article examines the universal polytope $\CP$ (of type $\{5,3,5\}$) whose facets are dodecahedra, and whose vertex figures are hemi-icosahedra. The polytope is proven to be finite, and the structure of its group is identified. This…

Abstract polytopes generalize the classical notion of convex polytopes to more general combinatorial structures. The most studied ones are regular and chiral polytopes, as it is well-known, they can be constructed as coset geometries from…

We present a number of complexity results concerning the problem of counting vertices of an integral polytope defined by a system of linear inequalities. The focus is on polytopes with small integer vertices, particularly 0/1 polytopes and…

Given a lattice $L$, a full dimensional polytope $P$ is called a {\em Delaunay polytope} if the set of its vertices is $S\cap L$ with $S$ being an {\em empty sphere} of the lattice. Extending our previous work \cite{DD-hyp} on the {\em…

Any convex polytope whose combinatorial automorphism group has two orbits on the flags is isomorphic to one whose group of Euclidean symmetries has two orbits on the flags (equivalently, to one whose automorphism group and symmetry group…

We construct a smooth hyperbolic volume preserving diffeomorphism on a four dimensional compact Riemannian manifold which has countably many ergodic components and is arbitrarily close to the identity map.

The secondary polytope of a point configuration A is a polytope whose face poset is isomorphic to the poset of all regular subdivisions of A. While the vertices of the secondary polytope - corresponding to the triangulations of A - are very…

We report here a computation giving the complete list of facets for the cut polytopes over several very symmetric graphs with $15-30$ edges, including $K_8$, $K_{3,3,3}$, $K_{1,4,4}$, $K_{5,5}$, some other $K_{l,m}$, $K_{1,l,m}$, $Prism_7,…

The contact polytope of a lattice is the convex hull of its shortest vectors. In this paper we classify the facets of the contact polytope of the Leech lattice up to symmetry. There are 1,197,362,269,604,214,277,200 many facets in 232…

We provide the first examples of geometric transition from hyperbolic to anti-de Sitter structures in dimension four, in a fashion similar to Danciger's three-dimensional examples. The main ingredient is a deformation of hyperbolic…

We introduce curvature-adapted foliations of complex hyperbolic space and study some of their properties. Generalized pseudo-Einstein hypersurfaces of complex hyperbolic space are classified. Analogous results for curvature-adapted…

We define the injectivity radius of a Coxeter polyhedron in H^3 to be half the shortest translation length among hyperbolic/loxodromic elements in the orientation-preserving reflection group. We show that, for finite-volume polyhedra, this…

Four packings of hyperbolic 3-space are known to yield the optimal packing density of $0.85328\dots$. They are realized in the regular tetrahedral and cubic Coxeter honeycombs with Schl\"afli symbols $\{3,3,6 \}$ and $\{4,3,6\}$. These…

In this paper we give a full diffeomorphism characterization of compact simply connected cohomogeneity one manifolds in dimension six.

We study the geometry of homogeneous hypersurfaces and their focal sets in complex hyperbolic spaces. In particular, we provide a characterization of the focal set in terms of its second fundamental form and determine the principal…

A hyperbolic lattice is called \textit{$(1{,}2)$-reflective} if its automorphism group is generated by $1$- and $2$-reflections up to finite index. In this paper we prove that the fundamental polyhedron of a $\mathbb{Q}$-arithmetic…

We investigate proper biharmonic hypersurfaces with at most three distinct principal curvatures in space forms. We obtain the full classification of proper biharmonic hypersurfaces in 4-dimensional space forms.

When the standard representation of a crystallographic Coxeter group is reduced modulo an odd prime p, one obtains a finite group G^p acting on some orthogonal space over Z_p . If the Coxeter group has a string diagram, then G^p will often…

We present a method to compute integral cohomology of posets. This toolbox is applicable as soon as the sub-posets under each object possess certain structure. This is the case for simplicial complexes and simplex-like posets. The method is…