BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Henry Segerman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this paper we give a brief overview of the geometry of involute gears, from a mathematical more than an engineering perspective. We also list some of the many variant geared mechanisms and discuss some of our 3D printed mechanisms.
In this note we combinatorialise a technique of Novikov. We use this to prove that, in a three-manifold equipped with a taut ideal triangulation, any vertical or normal loop is essential in the fundamental group.
We describe algorithms that produce accurate real-time interactive in-space views of the eight Thurston geometries using ray-marching. We give a theoretical framework for our algorithms, independent of the geometry involved. In addition to scenes within a geometry $X$, we also consider scenes within quotient manifolds and orbifolds $X / Γ$. We adapt the Phong lighting model to non-euclidean geometries. The most difficult part of this is the calculation of light intensity, which relates to the area density of geodesic spheres. We also give extensive practical details for each geometry.
We introduce cohomology fractals; these are certain images associated to a cohomology class on a hyperbolic three-manifold. They include images made entirely from circles, and also images with no geometrically simple features. They are closely related to limit sets of kleinian groups, but have some key differences. As a consequence, we can zoom in almost any direction to arbitrary depth in real time. We present an implementation in the setting of ideal triangulations using ray-casting.
We describe a method of rendering real-time scenes in Nil geometry, and use this to give an expository account of some interesting geometric phenomena. You can play around with the simulation at www.3-dimensional.space/nil.html.
This article presents virtual reality software designed to explore the Sol geometry. The simulation is available on 3-dimensional.space/sol.html
We discuss the art and science of producing conformally correct euclidean and hyperbolic tilings of compact surfaces. As an example, we present a tiling of the Chmutov surface by hyperbolic (2, 4, 6) triangles.
Matveev and Piergallini independently showed that, with a small number of known exceptions, any triangulation of a three-manifold can be transformed into any other triangulation of the same three-manifold with the same number of vertices, via a sequence of 2-3 and 3-2 moves. We can interpret this as showing that the Pachner graph of such triangulations is connected. In this paper, we extend this result to show that (again with a small number of known exceptions), the subgraph of the Pachner graph consisting of triangulations without degree one edges is also connected, for single-vertex triangulations of closed manifolds, and ideal triangulations of manifolds with non-spherical boundary components.
We propose Möbius transformations as the natural rotation and scaling tools for editing spherical images. As an application we produce spherical Droste images. We obtain other self-similar visual effects using rational functions, elliptic functions, and Schwarz-Christoffel maps.
We explore visual representations of tilings corresponding to Schläfli symbols. In three dimensions, we call these tilings "honeycombs". Schläfli symbols encode, in a very efficient way, regular tilings of spherical, euclidean and hyperbolic spaces in all dimensions. In three dimensions, there are only a finite number of spherical and euclidean honeycombs, but infinitely many hyperbolic honeycombs. Moreover, there are only four hyperbolic honeycombs with material vertices and material cells (the cells are entirely inside of hyperbolic space), eleven with ideal vertices or cells (the cells touch the boundary of hyperbolic space in some way), and all others have either hyperideal vertices or hyperideal cells (the cells go outside of the boundary of hyperbolic space in some way). We develop strategies for visualizing honeycombs in all of these categories, either via rendered images or 3D prints. High resolution images are available at hyperbolichoneycombs.org.
Hypernom is a virtual reality game. The cells of a regular 4D polytope are radially projected to S^3, the sphere in 4D space, then stereographically projected to 3D space where they are viewed in the headset. The orientation of the headset is given by an element of the group SO(3), which is also a space that is double covered by S^3. In fact, the headset outputs a point of this double cover: a unit quaternion. The positions of the cells are multiplied by this quaternion before projection to 3D space, which moves the player through S^3. When the player is sufficiently close to a cell, they eat it. The aim of the game is to eat all of the cells of the polytope, which, roughly speaking, is achieved by moving one's head through all possible orientations, twice.
We introduce Quintessence: a family of burr puzzles based on the geometry and combinatorics of the 120-cell. We discuss the regular polytopes, their symmetries, the dodecahedron as an important special case, the three-sphere, and the quaternions. We then construct the 120-cell, giving an illustrated survey of its geometry and combinatorics. This done, we describe the pieces out of which Quintessence is made. The design of our puzzle pieces uses a drawing technique of Leonardo da Vinci; the paper ends with a catalogue of new puzzles.
We define essential and strongly essential triangulations of 3-manifolds, and give four constructions using different tools (Heegaard splittings, hierarchies of Haken 3-manifolds, Epstein-Penner decompositions, and cut loci of Riemannian manifolds) to obtain triangulations with these properties under various hypotheses on the topology or geometry of the manifold. We also show that a semi-angle structure is a sufficient condition for a triangulation of a 3-manifold to be essential, and a strict angle structure is a sufficient condition for a triangulation to be strongly essential. Moreover, algorithms to test whether a triangulation of a 3-manifold is essential or strongly essential are given.
This workshop about triangulations of manifolds in computational geometry and topology was held at the 2014 CG-Week in Kyoto, Japan. It focussed on computational and combinatorial questions regarding triangulations, with the goal of bringing together researchers working on various aspects of triangulations and of fostering a closer collaboration within the computational geometry and topology community. Triangulations are highly suitable for computations due to their clear combinatorial structure. As a consequence, they have been successfully employed in discrete algorithms to solve purely theoretical problems in a broad variety of mathematical research areas (knot theory, polytope theory, 2- and 3-manifold topology, geometry, and others). However, due to the large variety of applications, requirements vary from field to field and thus different types of triangulations, different tools, and different frameworks are used in different areas of research. This is why today closely related research areas are sometimes largely disjoint leaving potential reciprocal benefits unused. To address these potentials a workshop on Triangulations was held at Oberwolfach Research Institute in 2012. Since then many new collaborations between researchers of different mathematical communities have been established. Regarding the computational geometry community, the theory of manifolds continues to contribute to advances in more applied areas of the field. Many researchers are interested in fundamental mathematical research about triangulations and thus will benefit from a broad set of knowledge about different research areas using different techniques. We hope that this workshop brought together researchers from many different fields of computational geometry to have fruitful discussions which will lead to new interdisciplinary collaborations and solutions.
Recently, Ian Agol introduced a class of "veering" ideal triangulations for mapping tori of pseudo-Anosov homeomorphisms of surfaces punctured along the singular points. These triangulations have very special combinatorial properties, and Agol asked if these are "geometric", i.e. realised in the complete hyperbolic metric with all tetrahedra positively oriented. This paper describes a computer program Veering, building on the program Trains by Toby Hall, for generating these triangulations starting from a description of the homeomorphism as a product of Dehn twists. Using this we obtain the first examples of non-geometric veering triangulations; the smallest example we have found is a triangulation with 13 tetrahedra.
We briefly review the distinction between abstract groups and symmetry groups of objects, and discuss the question of which groups have appeared as the symmetry groups of physical objects. To our knowledge, the quaternion group (a beautiful group with eight elements) has not appeared in this fashion. We describe the quaternion group, both formally and intuitively, and give our strategy for representing the quaternion group as the symmetry group of a physical sculpture.
In this paper we will promote the 3D index of an ideal triangulation T of an oriented cusped 3-manifold M (a collection of q-series with integer coefficients, introduced by Dimofte-Gaiotto-Gukov) to a topological invariant of oriented cusped hyperbolic 3-manifolds. To achieve our goal we show that (a) T admits an index structure if and only if T is 1-efficient and (b) if M is hyperbolic, it has a canonical set of 1-efficient ideal triangulations related by 2-3 and 0-2 moves which preserve the 3D index. We illustrate our results with several examples.
A relatively common sight in graphic designs is a planar arrangement of three gears in contact. However, since neighboring gears must rotate in opposite directions, none of the gears can move. We give a non-planar, and non-frozen, arrangement of three linked gears.
Given an ideal triangulation of a connected 3-manifold with non-empty boundary consisting of a disjoint union of tori, a point of the deformation variety is an assignment of complex numbers to the dihedral angles of the tetrahedra subject to Thurston's gluing equations. From this, one can recover a representation of the fundamental group of the manifold into the isometries of 3-dimensional hyperbolic space. However, the deformation variety depends crucially on the triangulation: there may be entire components of the representation variety which can be obtained from the deformation variety with one triangulation but not another. We introduce a generalisation of the deformation variety, which again consists of assignments of complex variables to certain dihedral angles subject to polynomial equations, but together with some extra combinatorial data concerning degenerate tetrahedra. This "extended deformation variety" deals with many situations that the deformation variety cannot. In particular we show that for any ideal triangulation of a small orientable 3-manifold with a single torus boundary component, we can recover all of the irreducible non-dihedral representations from the associated extended deformation variety. More generally, we give an algorithm to produce a triangulation of a given orientable 3-manifold with torus boundary components for which the same result holds. As an application, we show that this extended deformation variety detects all factors of the PSL(2,C) A-polynomial associated to the components consisting of the representations it recovers.
We construct a number of sculptures, each based on a geometric design native to the three-dimensional sphere. Using stereographic projection we transfer the design from the three-sphere to ordinary Euclidean space. All of the sculptures are then fabricated by the 3D printing service Shapeways.
It is conjectured that every cusped hyperbolic 3-manifold has a decomposition into positive volume ideal hyperbolic tetrahedra (a "geometric" triangulation of the manifold). Under a mild homology assumption on the manifold we construct topological ideal triangulations which admit a strict angle structure, which is a necessary condition for the triangulation to be geometric. In particular, every knot or link complement in the 3-sphere has such a triangulation. We also give an example of a triangulation without a strict angle structure, where the obstruction is related to the homology hypothesis, and an example illustrating that the triangulations produced using our methods are not generally geometric.
We study the existence of incompressible embeddings of surfaces into the genus two handlebody. We show that for every compact surface with boundary, orientable or not, there is an incompressible embedding of the surface into the genus two handlebody. In the orientable case the embedding can be either separating or non-separating. We also consider the case in which the genus two handlebody is replaced by an orientable 3-manifold with a compressible boundary component of genus greater than or equal to two.
Let N be a topologically finite, orientable 3-manifold with ideal triangulation. We show that if there is a solution to the hyperbolic gluing equations, then all edges in the triangulation are essential. This result is extended to a generalisation of the hyperbolic gluing equations, which enables the construction of hyperbolic cone-manifold structures on N with singular locus contained in the 1-skeleton of the triangulation.
Agol recently introduced the concept of a veering taut triangulation, which is a taut triangulation with some extra combinatorial structure. We define the weaker notion of a "veering triangulation" and use it to show that all veering triangulations admit strict angle structures. We also answer a question of Agol, giving an example of a veering taut triangulation that is not layered.
Given a 3 manifold M with torus boundary and an ideal triangulation, Yoshida and Tillmann give different methods to construct surfaces embedded in M from ideal points of the deformation variety. Yoshida builds a surface from twisted squares whereas Tillmann produces a spun-normal surface. We investigate the relation between the generated surfaces and extend a result of Tillmann's (that if the ideal point of the deformation variety corresponds to an ideal point of the character variety then the generated spun-normal surface is detected by the character variety) to the generated twisted squares surfaces.