Geometry and Topology Commons^™

Geodesic Completeness And The Hopf-Rinow Theorem, Christopher Farias

Electronic Theses, Projects, and Dissertations

Differential geometry is concerned with the properties of calculus and geometry on curved n-dimensional manifolds. As a result, thinking about such a space often runs counter to the Euclidean geometer's intuition of distances, angles, and transformations. This thesis aims to build up to proving an important result in the study of Riemannian manifolds: the Hopf-Rinow theorem.

In Chapter 2, we begin by defining what a manifold is and showing that the collection of directional derivatives at a point on the manifold spans a tangent vector space. After defining a basis and a metric for this space, in Chapter 3, we …

Reduced Product Type Monoid-Module Extensions, Darryl Jent

Dissertations

In 1955, I. M. James introduced the James Construction, a free topological monoid that models the loops on the suspension of a given space. In 1969, S. Y. Husseini generalized this idea to RPT monoids: topological monoids with a free-like monoid structure that can be used to model a broader class of loop spaces. In order to prove that these topological monoids are models of loop spaces, both I. M. James and S. Y. Husseini constructed contractible spaces on which these topological monoids act. We define a topological module as a space equipped with an action by a topological monoid. …

Conditional Product Sampling For Gaussian Process Implicit Surfaces, Song Shi

Dartmouth College Master’s Theses

Gaussian Process Implicit Surfaces (GPISes) provide a powerful and unified stochastic geometry representation for rendering surfaces, volumes, and the rich continuum between them. Recent work has shown that GPISes can model a broad space of visual appearances under a unified light transport framework. However, practical rendering with GPISes remains challenging: existing estimators can become inefficient for particular correlation structures, and highly anisotropic or heightfield-like GPISes require specialized treatment to obtain robust variance reduction.

This thesis extends recent work on GPIS rendering by introducing a new next-event estimation (NEE) technique for anisotropic GPISes.We show that standard NEE provides diminishing benefits as …

The Isoperimetric Inequality And Wirtinger’S Inequality, Mason Neal

Honors Theses

In this thesis, we present Hurwitz’s proof of the Isoperimetric Inequality, which roughly states that the area enclosed by a simple closed curve is always less than or equal to the area of a circle with the same perimeter. Hurwitz’s proof relies on Wirtinger’s Inequality. We survey results about periodic functions and Fourier series, and we use them to provide a proof of Wirtinger’s Inequality. We then give a new proof of a variant of Wirtinger’s Inequality due to Alzer and generalize this variant to higher powers.

The Fundamental Group: A Geometric Perspective, Kayla M. Bittenbinder

All NMU Master's Theses

This thesis explores the deep mathematical connection between the flexible, continuous world of topology and the rigid, distance-preserving world of metric geometry. We begin by constructing the fundamental group of a topological space, using the concept of loops and loop homotopy to identify a global topological invariant such as a hole or puncture. We then transition to the geometric realm of metric spaces and isometries, demonstrating how the isometry group of a space algebraically encodes its rigid symmetries. To bridge these two distinct mathematical frameworks, we utilize the construction of the universal covering space. We pull back the metric from …

From The Hopf Fibration To Instantons: Geometry In Gauge Theory, Emily D. Wessman

Undergraduate Honors Capstone Projects

This paper explores the relationship between topology, differential geometry, and gauge theory through the study of Yang-Mills theory and its solutions, known as instantons. Beginning with the Hopf fibration, we show how principal fiber bundles encode topological information and appear in physical contexts such as electromagnetism. In particular, we consider how the fibration of S³ over CP¹ ≅ S² represents the Dirac magnetic monopole, and how the Chern number associated with the bundle is exactly the winding number for the monopole.

We then develop the framework of gauge theory, focusing on connections on principal SU(2) bundles …

Parameterized Polynomial Systems: Monodromy, Sparse Polynomials, And Solutions, Julianne Barnhart

All Dissertations

The lift of a loop in the base space of a branched cover to the cover induces a permutation of points in a fibre. The monodromy group of the branched cover is the permutation group generated by all such permutations. When loops are restricted to a particular subset of the base space, the corresponding permutation group induced by these loops is the restricted monodromy group. Monodromy groups encode structure and symmetries of many enumerative problems. We describe the relationship between the restricted monodromy group and the monodromy group of the original branched cover. Our main result is a local-to-global property: …

Redefining Certainty: Non-Euclidean Geometry And Theology Transformation Throughout The Intellectual Unrest Of The Early 1800s, Luke Bensinger

Honors Theses

To bridge the gap between mathematics and theology, it is necessary to explore their intersection and challenge the notion that these fields are incompatible. This study focuses on the 19th century, a period when non-Euclidean geometries emerged and disrupted mathematical certainty, while Protestant theologians such as Barton W. Stone and Alexander Campbell grappled with Calvinism and shifting theological perspectives. By analyzing mathematicians studying geometry, such as Gauss, Lobachevsky, and Riemann, this research examines how both disciplines balance change with enduring truths.

Infinite Line, Infinite Knowledge: The 'Spera' And Organized Chaos In Lambert's Encyclopedia, The 'Liber Floridus', Ava Romano

Theses and Dissertations

The Liber Floridus is a medieval encyclopedia renowned for its program of circular diagrams, or sperae. Inside this manuscript of 190 chapters, these diagrams frame and embody written knowledge, revealing a connection between encyclopedism and life in the Benedictine monastery by creating a coherent visual organization of chapters.

Classifying Surfaces With Handle Decomposition, Elizabeth Sipes

Murray State Theses and Dissertations

Among topological spaces, manifolds draw a lot of interest. An
n-manifold is a space that is locally like R^n. Manifolds of dimension 2
are called surfaces. Using handle decomposition, we decompose surfaces
into k-handles, where 0< =k< =2. Techniques such as handle sliding and
handle cancellation allow us to get a more favorable representation of
our surface. We use these tools and calculation of the fundamental group
to classify all compact surfaces.

An Introduction To Modern Conversations On Knot Invariants, Stella Shah

Scripps Senior Theses

Knot Theory is a vast and diverse subfield of modern mathematics involving the classification and abstraction of knots and links. In this thesis, we wish to provide the necessary background for and an explanation of two papers in different subfields of knot theory, The Forbidden Quiver of a Link, and Biquandle Fares and Link Invariants.

In Chapter I, we begin with an introduction to knot theory and knot invariants. We continue to present the example of Fox Colorings, and conclude the chapter with an example of the Fox Coloring Number Invariant.

In Chapter II, we explore the derivation and utilization …

On Stripping And Antipodes In Motivic Steenrod Algebras, Joshua A. Peterson

Theses and Dissertations--Mathematics

We generalize the stripping process to the (mod 2) $\mathbb{C}$- and $\mathbb{R}$-motivic settings. Throughout, we include discussion on how the process changes and the difficulties moving to more general settings. We also introduce antipodes and consider what a potential $\mathbb{R}$-motivic analogue may look like. Finally, we elaborate on how the results may be used in future work to generalize a nilpotence result of Walker and Wood.

A Character Theory For Loop Representations Of Symmetric Monoidal Bicategories, Jordan Sawdy

Theses and Dissertations--Mathematics

Character theory arises in many distinct fields of mathematics, but its many instantiations often share a few key features: they arise in contexts where one object is acted on or parametrized by another, and they are often computed via "trace-like" formulas. Focusing on these properties, we present a categorical formalism for constructing such characters. We first define a notion of "loop representation" for symmetric monoidal bicategories, then build a character for such representations via the canonical symmetric monoidal trace. We then show that this character defines a symmetric monoidal functor which satisfies commutativity properties with respect to both restriction- and …

Arrangements Of N Planes Resulting In One Bounded Tetrahedral Chamber, Ava Knight

Williams Honors College, Honors Research Projects

This paper investigates the combinatorial geometry of plane arrangements in three-dimensional space, focusing on configurations that produce exactly one bounded tetrahedral chamber. We define T(n) as the number of face-combinatorial equivalence classes of arrangements of n planes in ℝ³ containing exactly one bounded tetrahedral chamber. Known values — T(3) = 0, T(4) = 1, and T(5) = 2 — are established through direct construction, while T(6) remains an open problem. This paper contributes experimental evidence toward resolving T(6) by systematically extending the two valid 5-plane arrangements and verifying, through a plane removal argument, that each yields a valid plane configuration …

The Global Orbit ∞-Category And Applications To Assembly Maps, Zoë Pope

Electronic Theses & Dissertations (2024 - present)

We reformulate the foundations of assembly maps in the context of the global orbit ∞-category of all discrete groups. We first show that the ∞-categorical slice of the global orbit ∞-category over any fixed group G is equivalent to the orbit 1-category of G, and we also frame the subgroup 1-category of G in this global context. We then use the afore-mentioned equivalence to redefine assembly maps as counits of the adjunction between left Kan extension and restriction, and give purely ∞-categorical and conceptual proofs of known results, such as the Transitivity Principle. Additionally, we give equivalent formulations for what …

Shrinking Attachment Spaces, Anastasia M. Clements

West Chester University Graduate Theses, Dissertations, and Final Projects

Gluing constructions such as pushouts and other colimits are often used to attach spaces to- gether in algebraic topology. The weak topology is a natural choice of topology for attachment spaces in the context of CW-complexes and simplicial complexes because of its universal property but is insufficient for gluing together infinitely many spaces and preserving topological properties like compactness or metrizability. In this thesis, we introduce a modification of the weak topology called the shrinking attachment topology, which is defined on a space Y constructed by attaching an infinite sequence of spaces B₁, B₁, B_{3 …}

Entropic Dynamics Approach To The Classical Limit Of Quantum Mechanics: Decoupling Of The Center Of Mass Motion For A Mesoscopic Particle, Fatimah Judayba

Electronic Theses & Dissertations (2024 - present)

In the Entropic Dynamics (ED) approach, quantum mechanics is derived from the principles of entropic inference and information geometry. The ED approach differs from other interpretations by making a clear commitment to distinguishing which variables are ontic (real) and which are epistemic. The classical limit for the center of mass (CM) coordinate is achieved for a large number of particles, M →∞, while Planck’s constant ℏ remains finite. Typically, the emergence of the classical limit requires decoherence through interactions with the external environment. In this work, we investigate whether the classical behavior of the CM coordinate in a mesoscopic system …

Categories, Homology And Sheaves For Hypergraphs, Robert Green

Electronic Theses & Dissertations (2024 - present)

Hypergraphs are a prominent tool for representing networks with connections among three or more entities. There is an inherent flexibility that allows hypergraphs to more naturally represent certain types of networks than graphs or simplicial complexes can on their own. This flexibility, however, comes at a cost, as there is a zoo of various categories and homology theories that are applicable to hypergraphs. The first chapter of this dissertation explores various categorical perspectives on hypergraphs, focusing on what the natural notion of morphism between hypergraphs should be. It also contains an exploration of the functoriality of vertex-edge duality in these …

Plumbed 3-Manifolds And Neumann Moves, Noah J. Pope

Theses and Dissertations

We give a constructive proof that every weakly negative definite plumbing tree can be transformed into a negative definite one by a finite sequence of Neumann moves. The argument combines Neumann’s plumbing calculus with the diagonalization algorithm of Duchon, Eisenbud, and Neumann, which extracts the eigenvalues of the framing matrix directly from the combinatorics of the tree. We show that any positive eigenvalues are supported on linear branches and can be eliminated systematically via controlled applications of Neumann moves. This provides an explicit algorithm reducing weakly negative definite plumbing trees to negative definite ones.

Geovig And Purevig: Geometry-Aware Architectures For Efficient Computer Vision, Omar Ismail

Theses and Dissertations (Comprehensive)

Deploying deep learning models for medical image analysis on mobile devices requires a balance between inference latency, memory footprint, and delineating anatomical boundaries with high accuracy. While Convolutional Neural Networks (CNNs) and mobile Vision Transformers (ViTs) offer efficiency, they often struggle to model the irregular, non-local geometric structures inherent in biological tissues without incurring prohibitive computational costs. In this thesis, we introduce GeoViG (Geometric Vision Graph), an architecture that bridges the gap between efficient grid-based processing and explicit Geometric Deep Learning. GeoViG introduces a novel transition from high-resolution pixel grids to low-resolution dynamic graphs via a SpreadEdgePool operator, a geometry-aware …

A Persistent Homology Framework For Scrna-Seq: Assessing Clustering Robustness And Quantifying Preprocessing And Integration Effects On Topological Features., Jonah Daneshmand

Electronic Theses and Dissertations

As single-cell RNA sequencing (scRNA-seq) data expands, robust methods for integrating diverse datasets are critical. This dissertation applies Persistent Homology (PH), a technique from Topological Data Analysis (TDA), to a collection of scRNA-seq datasets spanning eight tissue types to quantify how data integration affects topological features and biological interpretability. We assessed global topological structure using Betti curves, Euler characteristics, and persistence landscapes across raw, normalized, and integrated data representations. Our analysis revealed a performance inversion: while conventional methods excelled on unintegrated data, high-granularity topological methods, particularly those sensitive to global data structure, became superior after integration. This suggests a synergy …

Exploratory Study Of Semiconductor Nanomembranes In Em Applications, Grant D. Heileman

Electrical and Computer Engineering ETDs

Antenna systems are a cornerstone of modern technologies, playing an increasingly vital role in their advancement. As demand for compact, high-performance, and adaptable communication platforms grows reconfigurable antenna technologies are becoming essential. This research explores a novel front-end reconfigurable antenna system (FERAS) architecture that leverages the mechanical flexibility and photoconductive behavior of semiconductor nanomembrane (SNM) devices. By exploiting the emergent properties of ultra-thin silicon (Si) or gallium arsenide (GaAs) nanomaterials and optically exciting these samples using vertical-cavity surface-emitting laser (VCSEL) arrays, this study develops lightweight, low-cost, deployable antenna structures for satellite communications, remote sensing, GPS, and radar. Despite their significant …

Growth Mindset In The Mathematics Classroom: Studying The Effects Of A Growth Mindset Intervention On High School Students In A Geometry Classroom, Katelyn Strauss

Mathematics Graduate Theses

Having a growth mindset is crucial to being successful in a mathematics classroom. However, many students believe themselves to be either “mathematics people” or “not mathematics people”. When students believe they are not a mathematics person, they are far less likely to engage in material where they face struggles, and thus they miss out on valuable learning. A review of the literature has show that students have been able to shift their mindset from fixed to growth through a series of interventions. I used a unit in Geometry to see how a growth mindset intervention would affect the mindset of …

Simplicial Decomposition And Realization, Matthew Ellison

Dartmouth College Ph.D Dissertations

In simplicial decomposition, we define two invariants --- V_Z and V_Q --- which represent notions of integral and rational volume of a certain class of simplicial complexes. We prove V_Z and V_Q are additive under disjoint union and connected sum, and investigate `integrality gaps' between the two quantities. We apply the theory to establish a conjecture of Sleator, Thurston, and Tarjan on tetrahedral fillings, and, as a corollary, obtain a new proof of Pournin's 2012 result on the diameter of the associahedron. In simplicial realization, we provide practical sufficient conditions and computer code to prove the existence of Euclidean embeddings …

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 …

Algorithms To Estimate Contours: Two Applications Of Analytical Tools In Differential Geometry And Topology, Mohammad Abirul Islam

Computer Science ETDs

We develop distributed robotics algorithms with analytical tools needed to define and analyze angle turned and distance traversed by robots executing geometric algorithms. We then use these analytical tools to obtain information, via sensor measurements, about an a priori unknown surface. Our contributions are threefold. First, we develop the Sketch Algorithm, which estimates the boundary of any unknown contour and is asymptotically optimal in terms of distance traversed and angle turned. Second, we present experimental field work that validates the Sketch Algorithm. Finally, we propose an approach to find multiple sources of a surface with potential applications to approximate that …

Exploration Into Homotopy Equivalence And Vietoris-Rips Complexes, Alexander J. Mobley

Honors Theses

An important question in discrete topology and geometry is how to recover the structure and characteristics of a manifold when only given a finite set of points sampled from that manifold. Thus, if mathematicians have a point cloud of data which induces a discrete metric space, they look for some structure to these points. Understanding the structure of these points often gives needed insight to solve this problem. One such way to determine structure to these points is to use these points to construct a Vietoris-Rips complex. In abstract, Latschev shows that this allows us to recover the homotopy type …

A Preliminary Study Of Hilbert–Kunz Functions: Coefficient Behavior In A Normal Affine Semigroup Ring, Jesus A. Mendiola Herrera

Theses and Dissertations

In 1890, David Hilbert published a set of notes on what now constitutes one of the bases of Commutative Algebra; his work would eventually influence the efforts of mathematicians like Ernst Kunz. In 1969, Ernst Kunz introduced a particular mapping regarding modules of regular local rings. His goal was to characterize Noetherian local rings of prime characteristic by computing the length of the composition series under Frobenius power transformations. In this thesis, the focus will be on stating the initial steps on finding the coefficients of the Hilbert-Kunz function of the normal affine semigroup ring of the form R = …

Geometric Algebra For Field Theory In Curved Spacetime, Kevin Rhine

All Graduate Reports and Creative Projects, Fall 2023 to Present

Physics seeks to understand the universe by uncovering the fundamental laws that govern matter, energy, space, and time. At its heart lies the challenge of unification: finding a mathematical framework that consistently describes these interactions across all scales, from the subatomic to the cosmological.

This thesis explores geometric algebra, a mathematical language that unifies algebra and geometry, as a tool for advancing this understanding. By extending this framework to curved spacetimes, where gravity influences the structure of space and time, we investigate its ability to describe physical phenomena such as electromagnetism and general relativity. A notable contribution includes the geometric …

Constructing Binary Encoding Matrices From Joined Graphs, Joshua Avalos

Electronic Theses, Projects, and Dissertations

Codes and technology are part of our daily lives and allow the modern world to function, and for us to have conveniences in our lives such as smartphones that can be used to privately call people on the other side of the planet, and for secure access to the internet. In this thesis we will explore the construction of binary codes created by vertex-edge incidence matrices of planar graphs. The Hamming (7,4) code was an incredible code that allowed the detection and correction of errors after receiving them through a transmission. We will explore the possibility of the creation of …