Geometry and Topology Commons^™

Enthymemathical Proofs And Canonical Proofs In Euclid’S Plane Geometry, Abel Lassalle, Marco Panza

MPP Published Research

Since the application of Postulate I.2 in Euclid’s Elements is not uniform, one could wonder in what way should it be applied in Euclid’s plane geometry. Besides legitimizing questions like this from the perspective of a philosophy of mathematical practice, we sketch a general perspective of conceptual analysis of mathematical texts, which involves an extended notion of mathematical theory as system of authorizations, and an audience-dependent notion of proof.

Persistence Equivalence Of Discrete Morse Functions On Trees, Yuqing Liu

Mathematics Summer Fellows

We introduce a new notion of equivalence of discrete Morse functions on graphs called persistence equivalence. Two functions are considered persistence equivalent if and only if they induce the same persistence diagram. We compare this notion of equivalence to other notions of equivalent discrete Morse functions. We then compute an upper bound for the number of persistence equivalent discrete Morse functions on a fixed graph and show that this upper bound is sharp in the case where our graph is a tree. We conclude with an example illustrating our construction.

Nearness Without Distance, Nicholas A. Scoville

Topology

No abstract provided.

From Sets To Metric Spaces To Topological Spaces, Nicholas A. Scoville

Topology

No abstract provided.

Primitive Substitution Tilings With Rotational Symmetries, April Lynne D. Say-Awen, Ma. Louise Antonette N. De Las Peñas, Dirk Frettlöh

Mathematics Faculty Publications

This work introduces the idea of symmetry order, which describes the rotational symmetry types of tilings in the hull of a given substitution. Definitions are given of the substitutions σ6 and σ7 which give rise to aperiodic primitive substitution tilings with dense tile orientations and which are invariant under six- and sevenfold rotations, respectively; the derivation of the symmetry orders of their hulls is also presented.

Applying P-Balanced Energy Technique To Solve Liouville-Type Problems In Calculus, Lina Wu

Publications and Research

We are interested in solving Liouville-type problems to explore constancy properties for maps or differential forms on Riemannian manifolds. Geometric structures on manifolds, the existence of constancy properties for maps or differential forms, and energy growth for maps or differential forms are intertwined. In this article, we concentrate on discovery of solutions to Liouville-type problems where manifolds are Euclidean spaces (i.e. flat Riemannian manifolds) and maps become real-valued functions. Liouville-type results of vanishing properties for functions are obtained. The original work in our research findings is to extend the  q-energy for a function from finite in L^q space to infinite …

Toroidal Embeddings And Desingularization, Leon Nguyen

Electronic Theses, Projects, and Dissertations

Algebraic geometry is the study of solutions in polynomial equations using objects and shapes. Differential geometry is based on surfaces, curves, and dimensions of shapes and applying calculus and algebra. Desingularizing the singularities of a variety plays an important role in research in algebraic and differential geometry. Toroidal Embedding is one of the tools used in desingularization. Therefore, Toroidal Embedding and desingularization will be the main focus of my project. In this paper, we first provide a brief introduction on Toroidal Embedding, then show an explicit construction on how to smooth a variety with singularity through Toroidal Embeddings.

Affine And Projective Planes, Abraham Pascoe

Graduate Theses/Dissertations

In this thesis, we investigate affine and projective geometries. An affine geometry is an incidence geometry where for every line and every point not incident to it, there is a unique line parallel to the given line. Affine geometry is a generalization of the Euclidean geometry studied in high school. A projective geometry is an incidence geometry where every pair of lines meet. We study basic properties of affine and projective planes and a number of methods of constructing them. We end by prov- ing the Bruck-Ryser Theorem on the non-existence of projective planes of certain orders.

A Study Of Topological Invariants In The Braid Group B2, Andrew Sweeney

Electronic Theses and Dissertations

The Jones polynomial is a special topological invariant in the field of Knot Theory. Created by Vaughn Jones, in the year 1984, it is used to study when links in space are topologically different and when they are topologically equivalent. This thesis discusses the Jones polynomial in depth as well as determines a general form for the closure of any braid in the braid group B2 where the closure is a knot. This derivation is facilitated by the help of the Temperley-Lieb algebra as well as with tools from the field of Abstract Algebra. In general, the Artin braid group …

The Average Measure Of A K-Dimensional Simplex In An N-Cube, John A. Carter

Graduate Theses/Dissertations

Within an n-dimensional unit cube, a number of k-dimensional simplices can be formed whose vertices are the vertices of the n-cube. In this thesis, we analyze the average measure of a k-simplex in the n-cube. We develop exact equations for the average measure when k = 1, 2, and 3. Then we generate data for these cases and conjecture that their averages appear to approach n^k/2 times some constant. Using the convergence of Bernstein polynomials and a k-simplex Bernstein generalization, we prove the conjecture is true for the 1-simplex and 2-simplex cases. We then develop a generalized formula for …

Divergence Of Cat(0) Cube Complexes And Coxeter Groups, Ivan Levcovitz

Dissertations, Theses, and Capstone Projects

We provide geometric conditions on a pair of hyperplanes of a CAT(0) cube complex that imply divergence bounds for the cube complex. As an application, we characterize right-angled Coxeter groups with quadratic divergence and show right-angled Coxeter groups cannot exhibit a divergence function between quadratic and cubic. This generalizes a theorem of Dani-Thomas that addressed the class of 2-dimensional right-angled Coxeter groups. This characterization also has a direct application to the theory of random right-angled Coxeter groups. As another application of the divergence bounds obtained for cube complexes, we provide an inductive graph theoretic criterion on a right-angled Coxeter group's …

On Some Geometry Of Graphs, Zachary S. Mcguirk

Dissertations, Theses, and Capstone Projects

In this thesis we study the intrinsic geometry of graphs via the constants that appear in discretized partial differential equations associated to those graphs. By studying the behavior of a discretized version of Bochner's inequality for smooth manifolds at the cone point for a cone over the set of vertices of a graph, a lower bound for the internal energy of the underlying graph is obtained. This gives a new lower bound for the size of the first non-trivial eigenvalue of the graph Laplacian in terms of the curvature constant that appears at the cone point and the size of …

Geometry And Analysis Of Some Euler-Arnold Equations, Jae Min Lee

Dissertations, Theses, and Capstone Projects

In 1966, Arnold showed that the Euler equation for an ideal fluid can arise as the geodesic flow on the group of volume preserving diffeomorphisms with respect to the right invariant kinetic energy metric. This geometric interpretation was rigorously established by Ebin and Marsden in 1970 using infinite dimensional Riemannian geometry and Sobolev space techniques. Many other nonlinear evolution PDEs in mathematical physics turned out to fit in this universal approach, and this opened a vast research on the geometry and analysis of the Euler-Arnold equations, i.e., geodesic equations on a Lie group endowed with one-sided invariant metrics. In this …

Analytic Geometry And Calculus I, Ii, & Iii (Dalton), Thomas Gonzalez, Michael Hilgemann, Jason Schmurr

Mathematics Grants Collections

This Grants Collection for Analytic Geometry and Calculus I, II, & III was created under a Round Six ALG Textbook Transformation Grant.

Affordable Learning Georgia Grants Collections are intended to provide faculty with the frameworks to quickly implement or revise the same materials as a Textbook Transformation Grants team, along with the aims and lessons learned from project teams during the implementation process.

Documents are in .pdf format, with a separate .docx (Word) version available for download. Each collection contains the following materials:

• Linked Syllabus
• Initial Proposal
• Final Report

Dalton State College Apex Calculus, Thomas Gonzalez, Michael Hilgemann, Jason Schmurr

Mathematics Open Textbooks

This text for Analytic Geometry and Calculus I, II, and III is a Dalton State College remix of APEX Calculus 3.0. The text was created through a Round Six ALG Textbook Transformation Grant.

Topics covered in this text include:

• Limits
• Derivatives
• Integration
• Antidifferentiation
• Sequences
• Vectors

Files can also be downloaded on the Dalton State College GitHub:

https://github.com/DaltonStateCollege/calculus-text/blob/master/Calculus.pdf

Accessible files with optical character recognition (OCR) and auto-tagging provided by the Center for Inclusive Design and Innovation.

Branching Matrices For The Automorphism Group Lattice Of A Riemann Surface, Sean A. Broughton

Mathematical Sciences Technical Reports (MSTR)

Let S be a Riemann surface and G a large subgroup of Aut(S) (Aut(S) may be unknown). We are particularly interested in regular n-gonal surfaces, i.e., the quotient surface S/G (and hence S/Aut(S)) has genus zero. For various H the ramification information of the branched coverings S/K -> S/H may be captured in a matrix. The ramification information, in particular strong branching, may be then be used in analyzing the structure of Aut(S). The ramification information is conjugation invariant so the matrix's rows and columns may be indexed by conjugacy classes of subgroups. The only required …

Lie Sphere Geometry And Dupin Hypersurfaces, Thomas E. Cecil

Mathematics and Computer Science Department Faculty Scholarship

These notes were originally written for a short course held at the Institute of Mathematics and Statistics, University of São Paulo, S.P. Brazil, January 9–20, 2012. The notes are based on the author’s book [17], Lie Sphere Geometry With Applications to Submanifolds, Second Edition, published in 2008, and many passages are taken directly from that book. The notes have been updated from their original version to include some recent developments in the field.

A hypersurface Mⁿ⁻¹ in Euclidean space Rⁿ is proper Dupin if the number of distinct principal curvatures is constant on M^{n−1 …}

The Convex Body Isoperimetric Conjecture In The Plane, John Berry, Eliot Bongiovanni, Wyatt Boyer, Bryan Brown, Paul Gallagher, David Hu, Alyssa Loving, Zane Martin, Maggie Miller, Byron Perpetua, Sarah Tammen

Rose-Hulman Undergraduate Mathematics Journal

The Convex Body Isoperimetric Conjecture states that the least perimeter needed to enclose a volume within a ball is greater than the least perimeter needed to enclose the same volume within any other convex body of the same volume in Rⁿ. We focus on the conjecture in the plane and prove a new sharp lower bound for the isoperimetric profile of the disk in this case. We prove the conjecture in the case of regular polygons, and show that in a general planar convex body the conjecture holds for small areas.

Examples Of The Birkhoff Theorem And Its Generalizations, Charles G. Torre

Tutorials on... in 1 hour or less

In this worksheet I demonstrate three versions of Birkhoff's theorem, which is a characterization of spherically symmetric solutions of the Einstein equations. The three versions considered here correspond to taking the "Einstein equations" to be: (1) the vacuum Einstein equations; (2) the Einstein equations with a cosmological constant (3) the Einstein-Maxwell equations. I will restrict my attention to 4-dimensional spacetimes.

How To Make Tetrads, Charles G. Torre

How to... in 10 minutes or less

This is a worksheet which demonstrates tools for creating orthonormal and null tetrads for a given spacetime.