Cosmology, Relativity, and Gravity Commons^™

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.

Introduction To Classical Field Theory, Charles G. Torre

All Complete Monographs

This is an introduction to classical field theory. Topics treated include: Klein-Gordon field, electromagnetic field, scalar electrodynamics, Dirac field, Yang-Mills field, gravitational field, Noether theorems relating symmetries and conservation laws, spontaneous symmetry breaking, Lagrangian and Hamiltonian formalisms.

Trapped Surfaces, Topology Of Black Holes, And The Positive Mass Theorem, Lan-Hsuan Huang, Dan A. Lee

Publications and Research

No abstract provided.

A New Non-Inheriting Homogeneous Solution Of The Einstein-Maxwell Equations With Cosmological Term, Charles G. Torre

Research Vignettes

No abstract provided.

The Differentialgeometry Package, Ian M. Anderson, Charles G. Torre

Downloads

This is the entire DifferentialGeometry package, a zip file (DifferentialGeometry.zip) containing (1) a Maple Library file, DifferentialGeometryUSU.mla, (2) a Maple help file DifferentialGeometry.help, (3) a Maple Library file, DGApplicatons.mla. This is the latest version of the DifferentialGeometry software; it supersedes what is released with Maple.

Installation instructions

A New Non-Inheriting Homogeneous Solution Of The Einstein-Maxwell Equations With Cosmological Term, Ian M. Anderson, Charles G. Torre

Publications

We find a new homogeneous solution to the Einstein-Maxwell equations with a cos- mological term. The spacetime manifold is R × S3. The spacetime metric admits a simply transitive isometry group G = R × SU(2) and is Petrov type I. The spacetime is geodesically complete and globally hyperbolic. The electromagnetic field is non- null and non-inheriting: it is only invariant with respect to the SU(2) subgroup and is time-dependent in a stationary reference frame.

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.

Graded Quivers, Generalized Dimer Models And Toric Geometry, Sebastián Franco, Azeem Hasan

Publications and Research

The open string sector of the topological B-model on CY (m+2)-folds is described by m-graded quivers with superpotentials. This correspondence extends to general m the well known connection between CY (m+2)-folds and gauge theories on the world-volume of D(5-2m)-branes for m = 0, ..., 3. We introduce m-dimers, which fully encode the m-graded quivers and their superpotentials, in the case in which the CY (m+2)-folds are toric. Generalizing the well known m = 1,2 cases, m-dimers significantly simplify the connection between geometry and m-graded quivers. A key …

Spacetime Groups, Ian M. Anderson, Charles G. Torre

Publications

A spacetime group is a connected 4-dimensional Lie group G endowed with a left invariant Lorentz metric h and such that the connected component of the isometry group of h is G itself. The Newman-Penrose formalism is used to give an algebraic classification of spacetime groups, that is, we determine a complete list of inequivalent spacetime Lie algebras, which are pairs (g,η), with g being a 4-dimensional Lie algebra and η being a Lorentzian inner product on g. A full analysis of the equivalence problem for spacetime Lie algebras is given which leads to a completely algorithmic solution to the …

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.

Symmetric Criticality In General Relativity, Charles G. Torre

Research Vignettes

In this worksheet I explore the local Lagrangian version of the Principle of Symmetric Criticality (PSC) due to Anderson, Fels, and Torre], which asserts the commutativity of the processes (i) of symmetry reduction (for finding group-invariant fields) and (ii) forming Euler-Lagrange equations. There are two obstructions to PSC, which I will call the Lie algebra obstruction and the isotropy obstruction. In this worksheet I will illustrate these obstructions in the General Theory of Relativity.

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.

Introduction To The Usu Library Of Solutions To The Einstein Field Equations, Ian M. Anderson, Charles G. Torre

Tutorials on... in 1 hour or less

This is a Maple worksheet providing an introduction to the USU Library of Solutions to the Einstein Field Equations. The library is part of the DifferentialGeometry software project and is a collection of symbolic data and metadata describing solutions to the Einstein equations.

Series Solutions Of Polarized Gowdy Universes, Doniray Brusaferro

Theses and Dissertations

Einstein's field equations are a system of ten partial differential equations. For a special class of spacetimes known as Gowdy spacetimes, the number of equations is reduced due to additional structure of two dimensional isometry groups with mutually orthogonal Killing vectors. In this thesis, we focus on a particular model of Gowdy spacetimes known as the polarized T³ model, and provide an explicit solution to Einstein's equations.

Perihelion Precession In The General Theory Of Relativity, Charles G. Torre

Tutorials on... in 1 hour or less

This is a relatively quick and informal sketch of a demonstration that general relativistic corrections to the bound Kepler orbits introduce a perihelion precession. Any decent textbook on the general theory of relativity will derive this result. My analysis aligns with that found in the good old text "Introduction to General Relativity", by Adler, Bazin and Schiffer.

Exotic Statistics For Strings In 4d Bf Theory, John C. Baez, Derek K. Wise, Alissa S. Crans

Alissa Crans

After a review of exotic statistics for point particles in 3d BF theory, and especially 3d quantum gravity, we show that string-like defects in 4d BF theory obey exotic statistics governed by the 'loop braid group'. This group has a set of generators that switch two strings just as one would normally switch point particles, but also a set of generators that switch two strings by passing one through the other. The first set generates a copy of the symmetric group, while the second generates a copy of the braid group. Thanks to recent work of Xiao-Song Lin, we can …

General Relativity And Differential Geometry, Harry Hausner

Honors Theses

N/A

The Geometry Of Spacetime And Its Singular Nature, Filip Dul

Honors Scholar Theses

One hundred years ago, Albert Einstein revolutionized our understanding of gravity, and thus the large-scale structure of spacetime, by implementing differential geometry as the pri- mary medium of its description, thereby condensing the relationship between mass, energy and curvature of spacetime manifolds with the Einstein field equations (EFE), the primary compo- nent of his theory of General Relativity. In this paper, we use the language of Semi-Riemannian Geometry to examine the Schwarzschild and the Friedmann-Lemaˆıtre-Robertson-Walker met- rics, which represent some of the most well-known solutions to the EFE. Our investigation of these metrics will lead us to the problem of …

Conventions, Definitions, Identities, And Other Useful Formulae, Robert Mcnees

Robert A McNees IV

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 Kretschmann Scalar, Charles G. Torre

How to... in 10 minutes or less

On a pseudo-Riemannian manifold with metric g, the "Kretschmann scalar" is a quadratic scalar invariant of the Riemann R tensor of g, defined by contracting all indices with g. In this worksheet we show how to calculate the Kretschmann scalar from a metric.

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)).

On The Existence And Uniqueness Of Static, Spherically Symmetric Stellar Models In General Relativity, Josh Michael Lipsmeyer

Masters Theses

The "Fluid Ball Conjecture" states that a static stellar model is spherically symmetric. This conjecture has been the motivation of much work since first mentioned by Kunzle and Savage in 1980. There have been many partial results( ul-Alam, Lindblom, Beig and Simon,etc) which rely heavily on arguments using the positive mass theorem and the equivalence of conformal flatness and spherical symmetry. The purpose of this paper is to outline the general problem, analyze and compare the key differences in several of the partial results, and give existence and uniqueness proofs for a particular class of equations of state which represents …

Geometrization Conditions For Perfect Fluids, Scalar Fields, And Electromagnetic Fields, Charles G. Torre, Dionisios Krongos

Charles G. Torre

Rainich-type conditions giving a spacetime “geometrization” of matter fields in general relativity are reviewed and extended. Three types of matter are considered: perfect fluids, scalar fields, and electromagnetic fields. Necessary and sufficient conditions on a spacetime metric for it to be part of a perfect fluid solution of the Einstein equations are given. Formulas for constructing the fluid from the metric are obtained. All fluid results hold for any spacetime dimension. Geometric conditions on a metric which are necessary and sufficient for it to define a solution of the Einstein-scalar field equations and formulas for constructing the scalar field from …

Schwarzschild Spacetime And Friedmann-Lemaitre-Robertson-Walker Cosmology, Zachary Cohen

Honors Scholar Theses

The advent of General Relativity via Einstein's field equations revolutionized our understanding of gravity in our solar system and universe. The idea of General Relativity posits that gravity is entirely due to the geometry of the universe -- that is, the mass distribution throughout the universe results in the "curving" of spacetime, which gives us the physics we see on a large scale. In the framework of General Relativity, we find that the universe behaves differently than was predicted in the model of gravitation developed by Newton. We will derive the general relativistic model for a simple system near a …

The Riemann Curvature Tensor, Its Invariants, And Their Use In The Classification Of Spacetimes, Jesse Hicks

Presentations and Publications

The equivalence problem in general relativity is to determine whether two solutions of the Einstein field equations are isometric. Petrov has given a classification of metrics according to their isometry algebras. This talk discusses the use of the Petrov classification scheme, together with the use of scalar curvature invariants, to address the equivalence problem. These are the slides for a presentation at the Mathematics Association of America Spring 2015 conference at Brigham Young University.

Geometrization Conditions For Perfect Fluids, Scalar Fields, And Electromagnetic Fields, Charles G. Torre, Dionisios Krongos

Presentations and Publications

Rainich-type conditions giving a spacetime “geometrization” of matter fields in general relativity are reviewed and extended. Three types of matter are considered: perfect fluids, scalar fields, and elec- tromagnetic fields. Necessary and sufficient conditions on a spacetime metric for it to be part of a perfect fluid solution of the Einstein equa- tions are given. Formulas for constructing the fluid from the metric are obtained. All fluid results hold for any spacetime dimension. Ge- ometric conditions on a metric which are necessary and sufficient for it to define a solution of the Einstein-scalar field equations and for- mulas for constructing …

Rationality Of The Spectral Action For Robertson-Walker Metrics And The Geometry Of The Determinant Line Bundle For The Noncommutative Two Torus, Asghar Ghorbanpour

Electronic Thesis and Dissertation Repository

In noncommutative geometry, the geometry of a space is given via a spectral triple $(\mathcal{A,H},D)$. Geometric information, in this approach, is encoded in the spectrum of $D$ and to extract them, one should study spectral functions such as the heat trace $\Tr (e^{-tD^2})$, the spectral zeta function $\Tr(|D|^{-s})$ and the spectral action functional, $\Tr f(D/\Lambda)$.

The main focus of this thesis is on the methods and tools that can be used to extract the spectral information. Applying the pseudodifferential calculus and the heat trace techniques, in addition to computing the newer terms, we prove the rationality of the spectral action …

Perihelion Precession In General Relativity, Charles G. Torre

Charles G. Torre

This is a Maple worksheet providing a relatively quick and informal sketch of a demonstration that general relativistic corrections to the bound Kepler orbits introduce a perihelion precession. Any decent textbook will derive this result. My analysis aligns with that found in the old text "Introduction to General Relativity", by Adler, Bazin and Schiffer. The plan of the analysis is as follows. * Model the planetary orbits as geodesics in the (exterior) Schwarzschild spacetime. * Compute the geodesic equations. * Simplify them using symmetries and first integrals. * Isolate the differential equation expressing the radial coordinate as a function of …

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

Charles G. Torre

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 …

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 …