Physical Sciences and Mathematics Commons^™

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.

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

Research Vignettes

No abstract provided.

When Is A Linear Connection A Metric Connection?, Ian M. Anderson, Charles G. Torre

Tutorials on... in 1 hour or less

In this worksheet we use the DG software to answer the following question: When is there a metric tensor on M whose Christoffel symbols coincide with the components of a given linear connection?

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.

The De Rham Decomposition Theorem, Ian M. Anderson, Charles G. Torre

Tutorials on... in 1 hour or less

In this worksheet we show how the DG software provides for a local implementation of the de Rham decomposition theorem for Riemannian manifolds.

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.

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.

Ε-Kernel Coresets For Stochastic Points, Haitao Wang, Lingxiao Huang, Jian Li, Jeff Mark Phillips

Computer Science Faculty and Staff Publications

With the dramatic growth in the number of application domains that generate probabilistic, noisy and uncertain data, there has been an increasing interest in designing algorithms for geometric or combinatorial optimization problems over such data. In this paper, we initiate the study of constructing epsilon-kernel coresets for uncertain points. We consider uncertainty in the existential model where each point's location is fixed but only occurs with a certain probability, and the locational model where each point has a probability distribution describing its location. An epsilon-kernel coreset approximates the width of a point set in any direction. We consider approximating the …

An Introduction To Differential Geometry Through Computation, Mark E. Fels

Mathematics and Statistics Faculty Presentations

No abstract provided.

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.

On The Construction Of Simply Connected Solvable Lie Groups, Mark E. Fels

Research Vignettes

This worksheet contains the implementation of Theorems 4.2, 5.4 and 5.7 in the paper On the Construction of Solvable Lie Groups. All the examples in the paper are demonstrated here, along with one in Section 6 that was too long to include in the article.

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

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 …

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 …

Non-Isomorphic Real Simple Lie Algebras Of The Same Complex Type And Character, Ian M. Anderson

Tutorials on... in 1 hour or less

Complex simple Lie algebras are classified by their root types. The type of a real simple Lie algebra is the root type of the associated complex algebra. The character of a real simple Lie algebra is the signature of its Killing form.

For many root types, the character is sufficient to uniquely classify the corresponding real Lie algebras. However, one should not take this statement to be literally true – there are a few cases where the character does not suffice to distinguish all possible real forms.

In this worksheet we will show that the 2 real non-isomorphic Lie algebras …

Cartan Involutions And Cartan Decompositions Of A Semi-Simple Lie Algebra, Ian M. Anderson

Tutorials on... in 1 hour or less

In this worksheet we shall review the basic definitions and properties of Cartan involutions and Cartan decompositions and illustrate these using the DifferentialGeometry software package for Lie algebras.

A Rank 7 Pfaffian System On A 15-Dimensional Manifold With F4 Symmetry Algebra, Ian M. Anderson

Tutorials on... in 1 hour or less

Let I be a differential system on a manifold M. The infinitesimal symmetry algebra of I is the set of all vectors fields X on M such that preserve I. In this worksheet we present an example, due to E. Cartan of a rank 7 Pfaffian system on a 15-dimensional manifold whose infinitesimal symmetry algebra is the split real form of the exceptional Lie algebra f4 .

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 …

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 …

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.

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 …