Source author record

Jane Gilman

Jane Gilman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

6works
4topics
1close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2024arXiv

What's in a name? Parallel Universes

Every compact oriented Riemann surface with a finite group of self homeomorphisms can be embedded conformally in Euclidean three space so that the image group acts conformally. Here we establish necessary and sufficient conditions on the fixed point structure as given by Harvey's surface kernel map for the image group to lift to the three sphere. This builds upon topological work of Ni, Wang and Wang. It gives rise to a discussion of how terms emerge and are used for equivalent phenomena that are described in the language of different fields.

preprint2016arXiv

Canonical Hexagons and the PSL(2,C) Discreteness Problem

The discreteness problem, that is, the problem of determining whether or not a given finitely generated group G of orientation preserving isometries of hyperbolic three-space is discrete as a subgroup of the whole isometry group of hyperbolic three space, is a challenging problem that has been investigated for more than a century and is still open. It is known that G is discrete if, and only if, every non-elementary two generator subgroup is. Several sufficient conditions for discreteness are also known as are some necessary conditions, though no single necessary and sufficient condition is known. There is a finite discreteness algorithm for the two generator subgroups of the isometry group of hyperbolic two-space. But the situation in three dimensions is more delicate because there are geometrically infinite groups. We present a semi-algorithm, that is, a procedure that terminates sometimes but not always. There is no standard way to find an infinite sequence of distinct elements that converges to the identity to show that a group is not discrete. Our semi-algorithm either produces such an infinite sequence or finds a finite sequence that produces a right angled hexagon in hyperbolic three-space which has a special property that is a generalization of the notion of convexity. We call it a canonical hexagon. If the group is discrete, free and geometrically finite, it always has an essentially unique canonical hexagon which the procedure finds in a finite number of steps.

preprint2016arXiv

Primitive Curve Lengths on Pairs of Pants

The problem of determining whether or not a non-elementary subgroup of $PSL(2,\CC)$ is discrete is a long standing one. The importance of two generator subgroups comes from Jørgensen's inequality which has as a corollary the fact that a non-elementary subgroup of $PSL(2,\CC)$ is discrete if and only if every non-elementary two generator subgroup is. A solution even in the two-generator $PSL(2,\RR)$ case appears to require an algorithm that relies on a the concept of {\sl trace minimizing} that was initiated by Rosenberger and Purzitsky in the 1970's Their work has lead to many discreteness results and algorithms. Here we show how their concept of trace minimizing leads to a theorem that gives bounds on the hyperbolic lengths of curves on the quotient surface that are the images of primitive generators in the case where the group is discrete and the quotient is a pair of pants. The result follows as a consequence of the Non-Euclidean Euclidean algorithm.

preprint2016arXiv

Winding and Unwinding and Essential Intersections in $\mathbb{H}^3$

Let $G = \langle A,B \rangle$ be a non-elementary two generator subgroup of the isometry group of $\mathbb{H}^2$, the hyperbolic plane. If $G$ is discrete and free and geometrically finite, its quotient is a pair of pants and in prior work we produced a formula for the number of essential self intersections (ESIs) of any primitive geodesic on the quotient. An ESI is a point where the geodesic has a self-intersection on a seam. Self-intersections of geodesics on arbitrary hyperbolic surfaces have recently been studied by Basmajian and Chas. Here we extend our results to two generator subgroups $G$ of isometries of $\mathbb{H}^3$, hyperbolic three-space, which are discrete, free and geometrically finite. We generalize our definition of ESIs and give a geometric interpretation of them in the quotient manifold. We show that they satisfy the same formulas.

preprint2014arXiv

Computing Adapted Bases for Conformal Automorphism Groups of Riemann Surfaces

The concept of an adapted homology basis for a prime order conformal automorphism of a compact Riemann surface extends to arbitrary finite groups of conformal automorphisms. Here we compute some examples of adapted homology bases for some groups of automorphisms. The method is to begin by apply the Schreier-Reidemeister rewriting process along with the Schreier-Reidemeister Theorem and then to eliminate generators and relations until there is one single large defining relation for the fundamental group in which every generator and its inverse occurs. We are then able to compute the action of the group on the homology image of these generators in the first homology group. The matrix of the action is in a simple form. This has applications to the representation variety.

preprint2013arXiv

The Non-Euclidean Euclidean Algorithm

In this paper we demonstrate how the geometrically motivated algorithm to determine whether a two generator real Mobius group acting on the Poincare plane is or is not discrete can be interpreted as a non-Euclidean Euclidean algorithm. That is, the algorithm can be viewed as an application of the Euclidean division algorithm to real numbers that represent hyperbolic distances. In the case that the group is discrete and free, the algorithmic procedure also gives a non-Euclidean Euclidean algorithm to find the three shortest curves on the corresponding quotient surface.