Geometry and Topology Commons^™

On Diffeomorphism Groups Of Surfaces, Madeleine Goertz

Master's Theses

Let $M$ be a closed, connected, smooth manifold. What are the symmetries of $M$? From a geometric viewpoint, the symmetries of $M$ are precisely its isometries, the self maps which preserve lengths and angles. In the smooth category, the symmetries of $M$ are its diffeomorphisms, the self maps which are smooth and have a smooth inverse. Does expanding our notion of symmetries to include diffeomorphisms result in ``more'' symmetries in a meaningful sense? As a formal conjecture, the claim is that the isometry group of $M$ is a deformation retract of the diffeomorphism group of $M$. If $M$ is the …

Dehn's Problems And Geometric Group Theory, Noelle Labrie

Master's Theses

In 1911, mathematician Max Dehn posed three decision problems for finitely

presented groups that have remained central to the study of combinatorial

group theory. His work provided the foundation for geometric group theory,

which aims to analyze groups using the topological and geometric properties

of the spaces they act on. In this thesis, we study group actions on Cayley

graphs and the Farey tree. We prove that a group has a solvable word problem

if and only if its associated Cayley graph is constructible. Moreover, we prove

that a group is finitely generated if and only if it acts geometrically …

Hyperbolic Groups And The Word Problem, David Wu

Master's Theses

Mikhail Gromov’s work on hyperbolic groups in the late 1980s contributed to the formation of geometric group theory as a distinct branch of mathematics. The creation of hyperbolic metric spaces showed it was possible to define a large class of hyperbolic groups entirely geometrically yet still be able to derive significant algebraic properties. The objectives of this thesis are to provide an introduction to geometric group theory through the lens of quasi-isometry and show how hyperbolic groups have solvable word problem. Also included is the Stability Theorem as an intermediary result for quasi-isometry invariance of hyperbolicity.

Complex Dimensions Of 100 Different Sierpinski Carpet Modifications, Gregory Parker Leathrum

Master's Theses

We used Dr. M. L. Lapidus's Fractal Zeta Functions to analyze the complex fractal dimensions of 100 different modifications of the Sierpinski Carpet fractal construction. We will showcase the theorems that made calculations easier, as well as Desmos tools that helped in classifying the different fractals and computing their complex dimensions. We will also showcase all 100 of the Sierpinski Carpet modifications and their complex dimensions.

The Construction Of Khovanov Homology, Shiaohan Liu

Master's Theses

Knot theory is a rich topic in topology that studies the how circles can be embedded in Euclidean 3-space. One of the main questions in knot theory is how to distinguish between different types of knots efficiently. One way to approach this problem is to study knot invariants, which are properties of knots that do not change under a standard set of deformations. We give a brief overview of basic knot theory, and examine a specific knot invariant known as Khovanov homology. Khovanov homology is a homological invariant that refines the Jones polynomial, another knot invariant that assigns a Laurent …

Groups Of Non Positive Curvature And The Word Problem, Zoe Nepsa

Master's Theses

Given a group $\Gamma$ with presentation $\relgroup{\scr{\scr{A}}}{\scr{R}}$, a natural question, known as the word problem, is how does one decide whether or not two words in the free group, $F(\scr{\scr{A}})$, represent the same element in $\Gamma$. In this thesis, we study certain aspects of geometric group theory, especially ideas published by Gromov in the late 1980's. We show there exists a quasi-isometry between the group equipped with the word metric, and the space it acts on. Then, we develop the notion of a CAT(0) space and study groups which act properly and cocompactly by isometries on these spaces, such groups …

Analyzing Tortuosity In Patterns Formed By Colonies Of Embryonic Stem Cells Using Topological Data Analysis, Jackie Driscoll

Master's Theses

Pluripotent stem cells have been observed to segregate into Turing-like patterns during the early stages of Dox-inducible hiPSC differentiation. In this thesis, we de- velop a tool to quantify the tortuosity in the patterns formed by colonies of pluripo- tent stem cells using methods from topological data analysis. We use clustering techniques and the mapper algorithm to create simplicial complexes representing samples of cells and detail a method of evaluating the tortuosity of these complexes. We use the resulting persistence landscapes and their associated norms to evaluate experimental data and simulated data from an agent based model. This thesis finds …

Van Kampen Diagrams And Small Cancellation Theory, Kelsey N. Lowrey

Master's Theses

Given a presentation of G, the word problem asks whether there exists an algorithm to determine which words in the free group, F(A), represent the identity in G. In this thesis, we study small cancellation theory, developed by Lyndon, Schupp, and Greendlinger in the mid-1960s, which contributed to the resurgence of geometric group theory. We investigate the connection between Van Kampen diagrams and the small cancellation hypotheses. Groups that have a presentation satisfying the small cancellation hypotheses C'(1/6), or C'(1/4) and T(4) have a nice solution to the word problem known as Dehn’s Algorithm.

Computing Homology Of Hypergraphs, Jackson Earl

STAR Program Research Presentations

In the modern age of data science, the necessity for efficient and insightful analytical tools that enable us to interpret large data structures inherently presents itself. With the increasing utility of metrics offered by the mathematics of hypergraph theory and algebraic topology, we are able to explore multi-way relational datasets and actively develop such tools. Throughout this research endeavor, one of the primary goals has been to contribute to the development of computational algorithms pertaining to the homology of hypergraphs. More specifically, coding in python to compute the homology groups of a given hypergraph, as well as their Betti numbers …

Development Of A Tridimensional Measuring Application For Ipads, Michael Casebolt, Nicolas Kouatli, Jack Mullen

Computer Science and Software Engineering

In today’s fast-paced distribution centers workers and management alike are constantly searching for the quickest and most efficient way to package items for distribution. Even with the advancement of app-oriented solutions to a variety of problems across many industries there is a distinct unmet need in distribution environments for an application capable of increasing the efficiency and accuracy of packaging items. This senior project focused on the development and testing of an application utilizing the Structure Three Dimensional Sensor and a 4th generation iPad to scan an object or group of objects to be packaged and determine the overall dimensions …