Geometry and Topology Commons^™

The Behavior Of Normality When Iteratively Finding The Normal To A Line In An Lp Geometry, David L. Farnsworth, Joshua M. Fitzhugh

Articles

The normal direction to the normal direction to a line in Minkowski geometries generally does not give the original line. We show that in lp geometries with p > 1 repeatedly finding the normal line through the origin gives sequences of lines that monotonically approach specific lines of symmetry of the unit circle. Which lines of symmetry that are approached depends upon the value of p and the slope of the initial line.

Rainich-Type Conditions For Null Electrovacuum Spacetimes Ii, Charles G. Torre

Research Vignettes

In this second of two worksheets I continue describing local Rainich-type conditions which are necessary and sufficient for the metric to define a null electrovacuum. In other words, these conditions, which I will call the null electrovacuum conditions, guarantee the existence of a null electromagnetic field such that the metric and electromagnetic field satisfy the Einstein-Maxwell equations. When it exists, the electromagnetic field is easily constructed from the metric. In this worksheet I consider the null electrovacuum conditions which apply when a certain null geodesic congruence determined by the metric is twisting. I shall illustrate the these conditions using a …

A 2-Chain Can Interlock With An Open 10-Chain, Bin Lu, Joseph O'Rourke, Jianyuan K. Zhong

Computer Science: Faculty Publications

Abstract. It is an open problem, posed in [3], to determine the minimal k such that an open flexible k-chain can interlock with a flexible 2-chain. It was first established in [5] that there is an open 16-chain in a trapezoid frame that achieves interlocking. This was subsequently improved in [6] to establish interlocking between a 2-chain and an open 11-chain. Here we improve that result once more, establishing interlocking between a 2-chain and a 10-chain. We present arguments that indicate that 10 is likely the minimum.

Every Scattered Space Is Subcompact, William Fleissner, Vladimir Tkachuk, Lynne Yengulalp

Mathematics Faculty Publications

We prove that every scattered space is hereditarily subcompact and any finite union of subcompact spaces is subcompact. It is a long-standing open problem whether every Čech-complete space is subcompact. Moreover, it is not even known whether the complement of every countable subset of a compact space is subcompact. We prove that this is the case for linearly ordered compact spaces as well as for ω -monolithic compact spaces. We also establish a general result for Tychonoff products of discrete spaces which implies that dense G_δ-subsets of Cantor cubes are subcompact.

Gr 20 Workshop, Warsaw, July 2013, Ian M. Anderson, Charles G. Torre

Presentations

These are the Maple worksheets used at the Differential Geometry in Maple Workshop, which was held at the 20th International Conference on General Relativity and Gravitation, in Warsaw, July 2013.

There are 6 worksheets which can be downloaded from the list of files below.

Closure And Homological Properties Of (Auto)Stackable Groups, Ashley Johnson

Department of Mathematics: Dissertations, Theses, and Student Research

Let G be a finitely presented group with Cayley graph Γ. Roughly, G is a stackable group if there is a maximal tree T in Γ and a function φ, defined on the edges in Γ, for which there is a natural ‘flow’ on the edges in Γ\T towards the identity. Additionally, if graph (φ), which consists of pairs (e; φ(e)) for e an edge in Γ, forms a regular language, then G is autostackable. In 2011, Brittenham and Hermiller introduced stackable groups in [4], in part, as a means …

On Cyclic Fixed Points Of Spectra, Marcel Bökstedt, Robert R. Bruner, Sverre Lunøe-Nielsen, John Rognes

Mathematics Faculty Research Publications

For a finite ��-group �� and a bounded below ��-spectrum �� of finite type mod ��, the ��-equivariant Segal conjecture for �� asserts that the canonical map ��^��→��^ℎ��, from ��-fixed points to ��-homotopy fixed points, is a ��-adic equivalence. Let ��_(��^��) be the cyclic group of order ��^��. We show that if the ��_��-equivariant Segal conjecture holds for a ��_(��^��)-spectrum ��, as well as for each of its geometric fixed point spectra Φ^(��_(��^��))(��) for 0<��<��, then the ��_(��^��)-equivariant Segal conjecture holds for ��. Similar results also hold for weaker forms of the Segal conjecture, asking only that the canonical map induces an equivalence in sufficiently high degrees, on homotopy groups with suitable finite coefficients.

The Spacetime Geometry Of A Null Electromagnetic Field, Charles G. Torre

Presentations and Publications

We give a set of local geometric conditions on a spacetime metric which are necessary and sufficient for it to be a null electrovacuum, that is, the metric is part of a solution to the Einstein-Maxwell equations with a null electromagnetic field. These conditions are restrictions on a null congruence canonically constructed from the spacetime metric, and can involve up to five derivatives of the metric. The null electrovacuum conditions are counterparts of the Rainich conditions, which geometrically characterize non-null electrovacua. Given a spacetime satisfying the conditions for a null electrovacuum, a straightforward procedure builds the null electromagnetic field from …

Embedding And Nonembedding Results For R. Thompson's Group V And Related Groups, Nathan Corwin

Department of Mathematics: Dissertations, Theses, and Student Research

We study Richard Thompson's group V, and some generalizations of this group. V was one of the first two examples of a finitely presented, infinite, simple group. Since being discovered in 1965, V has appeared in a wide range of mathematical subjects. Despite many years of study, much of the structure of V remains unclear. Part of the difficulty is that the standard presentation for V is complicated, hence most algebraic techniques have yet to prove fruitful.

This thesis obtains some further understanding of the structure of V by showing the nonexistence of the wreath product Z wr Z^2 as …

Knots In The Canonical Book Representation Of Complete Graphs, Dana Rowland, Andrea Politano

Mathematics Faculty Publications

We describe which knots can be obtained as cycles in the canonical book representation of the complete graph K_n, and we conjecture that the canonical book representation of K_n attains the least possible number of knotted cycles for any embedding of K_n. The canonical book representation of K_n contains a Hamiltonian cycle that is a composite knot if and only if n ≥12. When p and q are relatively prime, the (p, q) torus knot is a Hamiltonian cycle in the canonical book representation of K_2p+q. …

A Discrete Approach To The Poincare-Miranda Theorem, Connor Thomas Ahlbach

HMC Senior Theses

The Poincare-Miranda Theorem is a topological result about the existence of a zero of a function under particular boundary conditions. In this thesis, we explore proofs of the Poincare-Miranda Theorem that are discrete in nature - that is, they prove a continuous result using an intermediate lemma about discrete objects. We explain a proof by Tkacz and Turzanski that proves the Poincare-Miranda theorem via the Steinhaus Chessboard Theorem, involving colorings of partitions of n-dimensional cubes. Then, we develop a new proof of the Poincare-Miranda Theorem that relies on a polytopal generalization of Sperner's Lemma of Deloera - Peterson - Su. …

Minimizing Travel Time Through Multiple Media With Various Borders, Tonja Miick

Masters Theses & Specialist Projects

This thesis consists of two main chapters along with an introduction and
conclusion. In the introduction, we address the inspiration for the thesis, which
originates in a common calculus problem wherein travel time is minimized across two media separated by a single, straight boundary line. We then discuss the correlation of this problem with physics via Snells Law. The first core chapter takes this idea and develops it to include the concept of two media with a circular border. To make the problem easier to discuss, we talk about it in terms of running and swimming speeds. We first address …

Mathematical Knowledge For Teaching And Visualizing Differential Geometry, Nathan Pinsky

HMC Senior Theses

In recent decades, education researchers have recognized the need for teachers to have a nuanced content knowledge in addition to pedagogical knowledge, but very little research was conducted into what this knowledge would entail. Beginning in 2008, math education researchers began to develop a theoretical framework for the mathematical knowledge needed for teaching, but their work focused primarily on elementary schools. I will present an analysis of the mathematical knowledge needed for teaching about the regular curves and surfaces, two important concepts in differential geometry which generalize to the advanced notion of a manifold, both in a college classroom and …

A Variety Of Proofs Of The Steiner-Lehmus Theorem, Sherri R. Gardner

Electronic Theses and Dissertations

The Steiner-Lehmus Theorem has garnered much attention since its conception in the 1840s. A variety of proofs resulting from the posing of the theorem are still appearing today, well over 100 years later. There are some amazing similarities among these proofs, as different as they seem to be. These characteristics allow for some interesting groupings and observations.

Measuring A Circle: A Math Lesson For Grades 5-10, Robert C. Moore

Faculty Publications

This article is designed to promote teaching methods that engage students in active learning and result in deep conceptual understanding by offering a sample lesson to help students (grades 5-10, ages 10-15) answer questions about and gain a deeper understanding of how to measure the circumference and area of a circle.

How To Find Killing Vectors, Charles G. Torre

How to... in 10 minutes or less

We show how to compute the Lie algebra of Killing vector fields of a metric in Maple using the commands KillingVectors and LieAlgebraData. A Maple worksheet and a PDF version can be found below.

On Contemplation In Mathematics, Frank Lucas Wolcott

Journal of Humanistic Mathematics

In a section about research, we make the case that intentional, structured reflection on the mathematical research process, by mathematical researchers themselves, would result in better mathematicians doing better mathematics. As supporting evidence, we describe the Flavors and Seasons project. In a section about teaching, we describe the contemplative education movement and share personal experiences using meditation in the math classroom. We conclude with an explicit proposal for elucidating the experiential context of mathematics, in both research and teaching environments.

Topological Symmetry Groups Of Graphs In 3-Manifolds, Erica Flapan, Harry Tamvakis

Pomona Faculty Publications and Research

We prove that for every closed, connected, orientable, irreducible 3-manifold there exists an alternating group A_n which is not the topological symmetry group of any graph embedded in the manifold. We also show that for every finite group G there is an embedding T of some graph in a hyperbolic rational homology 3-sphere such that the topological symmetry group of T is isomorphic to G.

Hyperbolicity Equations For Knot Complements, Christopher Martin Jacinto

Theses Digitization Project

This study analyzes Carlo Petronio's paper, An Algorithm Producing Hyperbolicity Equations for a Link Complement in S³. Using the figure eight knot as an example, we will explain how Petronio's algorithm was able to decompose the knot complement of an alternating knot into tetrahedra. Then, using the vertex invariants of these tetrahedra, we will explain how Petronio was able to create hyperbolicity equations.

Pointless Hyperelliptic Curves, Ryan P. Becker, Darren B. Glass

Math Faculty Publications

In this paper we consider the question of whether there exists a hyperelliptic curve of genus g which is defined over but has no rational points over for various pairs . As an example of such a result, we show that if p is a prime such that is also prime then there will be pointless hyperelliptic curves over of every genus.

The Banach-Tarski Paradox, Matthew Jacob Norman

Theses Digitization Project

The purpose of this thesis is to establish the history and motivation leading up to the Banach-Tarski Paradox, as well as its proof. This study discusses the early history of set theory as it is documented as well as the necessary basics of set theory in order to further understand the contents within. Set theory not only proved to be for the mathematical at heart but also struck interest into the mind of philosophers, theologians, and logicians.

Elementary College Geometry, Henry Africk

Open Educational Resources

This text is intended for a brief introductory course in plane geometry. It covers the topics from elementary geometry that are most likely to be required for more advanced mathematics courses. The only prerequisite is a semester of algebra.

The emphasis is on applying basic geometric principles to the numerical solution of problems. For this purpose the number of theorems and definitions is kept small. Proofs are short and intuitive, mostly in the style of those found in a typical trigonometry or precalculus text. There is little attempt to teach theorem-proving or formal methods of reasoning. However the topics are …

Polynomial Knot And Link Invariants From The Virtual Biquandle, Alissa S. Crans, Allison Henrich, Sam Nelson

Mathematics, Statistics and Data Science Faculty Works

The Alexander biquandle of a virtual knot or link is a module over a 2-variable Laurent polynomial ring which is an invariant of virtual knots and links. The elementary ideals of this module are then invariants of virtual isotopy which determine both the generalized Alexander polynomial (also known as the Sawollek polynomial) for virtual knots and the classical Alexander polynomial for classical knots. For a fixed monomial ordering <, the Gr\"obner bases for these ideals are computable, comparable invariants which fully determine the elementary ideals and which generalize and unify the classical and generalized Alexander polynomials. We provide examples to illustrate the usefulness of these invariants and propose questions for future work.

Toric Varieties And Cobordism, Andrew Wilfong

Theses and Dissertations--Mathematics

A long-standing problem in cobordism theory has been to find convenient manifolds to represent cobordism classes. For example, in the late 1950's, Hirzebruch asked which complex cobordism classes can be represented by smooth connected algebraic varieties. This question is still open. Progress can be made on this and related problems by studying certain convenient connected algebraic varieties, namely smooth projective toric varieties. The primary focus of this dissertation is to determine which complex cobordism classes can be represented by smooth projective toric varieties. A complete answer is given up to dimension six, and a partial answer is described in dimension …

Riemannian Submersions And Lagrangian Isometric Immerson 1, Yun Myung Oh

Faculty Publications

In [1], it has shown that if a Riemannian manifold admits a non- trivial Riemannian submersion with total geodesic fibers, then it cannot be isometrically immersed in any Riemannian manifold of non-positive sectional curvature as a minimal submanifold. In this paper, we consider a nontrivial Riemannian submersion and investigate some properties on Lagrangian iso- metric immersions using the submersion invariant.

Twisted Alexander Polynomials Of 2-Bridge Knots, Jim Hoste, Patrick D. Shanahan

Mathematics, Statistics and Data Science Faculty Works

We investigate the twisted Alexander polynomial of a 2-bridge knot associated to a Fox coloring. For several families of 2-bridge knots, including but not limited to, torus knots and genus-one knots, we derive formulae for these twisted Alexander polynomials. We use these formulae to confirm a conjecture of Hirasawa and Murasugi for these knots.

Torsion In One-Term Distributive Homology, Alissa S. Crans, Józef H. Przytycki, Krzysztof K. Putyra

Mathematics, Statistics and Data Science Faculty Works

The one-term distributive homology was introduced by J.H.Przytycki as an atomic replacement of rack and quandle homology, which was first introduced and developed by R.Fenn, C.Rourke and B.Sanderson, and J.S.Carter, S.Kamada and M.Saito. This homology was initially suspected to be torsion-free, but we show in this paper that the one-term homology of a finite spindle can have torsion. We carefully analyze spindles of block decomposition of type (n,1) and introduce various techniques to compute their homology precisely. In addition, we show that any finite group can appear as the torsion subgroup of the first homology of some finite spindle. Finally, …