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 …

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 …

Conventions, Definitions, Identities, And Other Useful Formulae, Robert A. Mcnees Iv

Physics: Faculty Publications and Other Works

As the name suggests, these notes contain a summary of important conventions, definitions, identities, and various formulas that I often refer to. They may prove useful for researchers working in General Relativity, Supergravity, String Theory, Cosmology, and related areas.

The Atiyah-Hitchin-Singer Theorem And An 8-Dimensional Generalization, Timothy Ponepal

Theses and Dissertations (Comprehensive)

The Atiyah-Hitchin-Singer theorem states that the twistor almost complex structure on a certain S² bundle over an oriented Riemannian 4-manifold (M, g) is integrable if and only if the Weyl curvature tensor of g is self-dual. These ideas were developed by Roger Penrose connecting 4-dimensional Riemannian geometry with complex geometry. We present a new approach to the Atiyah-Hitchin-Singer theorem using horizontal lifts and their respective flows, cross products and the quaternions to show that the Nijenhuis tensor vanishes if and only if the Weyl curvature tensor of g is anti-self-dual. An eight dimensional generalization is presented when the …

An Exposition Of The Curvature Of Warped Product Manifolds, Angelina Bisson

Electronic Theses, Projects, and Dissertations

The field of differential geometry is brimming with compelling objects, among which are warped products. These objects hold a prominent place in differential geometry and have been widely studied, as is evident in the literature. Warped products are topologically the same as the Cartesian product of two manifolds, but with distances in one of the factors in skewed. Our goal is to introduce warped product manifolds and to compute their curvature at any point. We follow recent literature and present a previously known result that classifies all flat warped products to find that there are flat examples of warped products …

What's New In Differentialgeometry Release Dg2022, Ian M. Anderson, Charles G. Torre

Tutorials on... in 1 hour or less

This Maple worksheet demonstrates the salient new features and functionalities of the 2022 release of the DifferentialGeometry software package.

The Kepler Problem On Complex And Pseudo-Riemannian Manifolds, Michael R. Astwood

Theses and Dissertations (Comprehensive)

The motion of objects in the sky has captured the attention of scientists and mathematicians since classical times. The problem of determining their motion has been dubbed the Kepler problem, and has since been generalized into an abstract problem of dynamical systems. In particular, the question of whether a classical system produces closed and bounded orbits is of importance even to modern mathematical physics, since these systems can often be analysed by hand. The aforementioned question was originally studied by Bertrand in the context of celestial mechanics, and is therefore referred to as the Bertrand problem. We investigate the qualitative …

The Use Of 3-D Highway Differential Geometry In Crash Prediction Modeling, Kiriakos Amiridis

Theses and Dissertations--Civil Engineering

The objective of this research is to evaluate and introduce a new methodology regarding rural highway safety. Current practices rely on crash prediction models that utilize specific explanatory variables, whereas the depository of knowledge for past research is the Highway Safety Manual (HSM). Most of the prediction models in the HSM identify the effect of individual geometric elements on crash occurrence and consider their combination in a multiplicative manner, where each effect is multiplied with others to determine their combined influence. The concepts of 3-dimesnional (3-D) representation of the roadway surface have also been explored in the past aiming to …

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.

Differentialgeometry In Brno, Ian M. Anderson

Presentations

This page will provide files supporting Ian Anderson's presentations in Brno, December 2015. The files can be found and downloaded from "Additional Files", below.

The files include:

(1) DifferentialGeometryUSU.mla: This is the Maple Library Archive file which provides all the DifferentialGeometry functionality. Here are Installation Instructions.

(2) DifferentialGeometry.help : this is the latest version of the DifferentialGeometry documentation. Copy this file to the same directory used for DifferentialGeometryUSU.mla (from step (1)).

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.

Flattening A Cone, Sean A. Broughton

Mathematical Sciences Technical Reports (MSTR)

We want to manufacture a cut-off slanted cone from a flat sheet of metal. If the cone were a normal right cone we know that we would simply cut out a sector of a circle and roll it up. However the cone is slanted. We want to know what the flattened shape looks like so that we can cut it out and roll it up to closely approximate correct final shape. We also want to minimize the amount of wasted metal after the shape is cut out.

The problem, and it generalizations may be solved analytically but the analytical solution …

Gauss-Bonnet Formula, Heather Ann Broersma

Theses Digitization Project

From fundamental forms to curvatures and geodesics, differential geometry has many special theorems and applications worth examining. Among these, the Gauss-Bonnet Theorem is one of the well-known theorems in classical differential geometry. It links geometrical and topological properties of a surface. The thesis introduced some basic concepts in differential geometry, explained them with examples, analyzed the Gauss-Bonnet Theorem and presented the proof of the theorem in greater detail. The thesis also considered applications of the Gauss-Bonnet theorem to some special surfaces.

From Loop Groups To 2-Groups, John C. Baez, Danny Stevenson, Alissa S. Crans, Urs Schreiber

Mathematics, Statistics and Data Science Faculty Works

We describe an interesting relation between Lie 2-algebras, the Kac-Moody central extensions of loop groups, and the group String(n). A Lie 2-algebra is a categorified version of a Lie algebra where the Jacobi identity holds up to a natural isomorphism called the "Jacobiator". Similarly, a Lie 2-group is a categorified version of a Lie group. If G is a simply-connected compact simple Lie group, there is a 1-parameter family of Lie 2-algebras g_k each having Lie(G) as its Lie algebra of objects, but with a Jacobiator built from the canonical 3-form on G. There appears to be no Lie 2-group …

Torus Embedding And Its Applications, Rick Hung Nguyenhuu

Theses Digitization Project

No abstract provided.