Elements of Topology, Differential Geometry and General Relativity for Physicists: A Mathematica-based Tutorial Approach

Abstract: This book is a self-contained, tutorial introduction to topology, differential geometry, and general relativity for students and researchers in physics. Its distinguishing feature is a Mathematica-based approach that makes abstract constructions concrete through explicit, runnable notebooks and worked examples. A key contribution is a large collection of original Mathematica notebooks, written by the authors themselves, that let readers run, verify, and extend every demonstration. The first part covers point-set topology, topological spaces, continuity of maps, homotopy, and the fundamental group with applications that highlight the role of topology in modern physics. The second and largest part develops differential geometry from the ground up: manifolds, tangent and dual spaces, vector fields, pullbacks and pushforwards, Lie brackets and Lie algebras, local flows, and the Lie derivative. It then treats tensors, differential forms, the exterior derivative, volume forms, the metric tensor, and Hodge duality, emphasizing coordinate-free formulations and their computational realization. These tools are applied to Maxwell's equations in the language of forms and the generalized Stokes theorem, while Lie groups, fiber bundles, connections, and curvature bridge geometry and gauge-theoretic physics. The final part uses this framework to present general relativity, computing curvature tensors and field equations for standard spacetimes with dedicated Mathematica packages. Throughout, the book balances mathematical rigor with hands-on computation, enabling readers both to understand the theory and to reproduce every result themselves.

• The paper integrates formal mathematical exposition with executable Mathematica notebooks to teach topology, differential geometry, and general relativity.
• Key topics include topological spaces, manifolds, differential forms, gauge theory, and applications in general relativity.
• The tutorial emphasizes conceptual understanding through concrete calculations and visualizations, making it ideal for graduate students and researchers in physics.

The paper presents a self-contained tutorial on topology, differential geometry, and general relativity designed for physics students who require both conceptual foundations and symbolic-computational practice. Its central methodological commitment is to integrate formal mathematical exposition with executable Mathematica notebooks. Rather than presenting topology and geometry exclusively as abstract theories, the authors repeatedly translate definitions, coordinate constructions, tensor operations, and physical applications into runnable calculations and visualizations. The resulting work is best understood as a pedagogical resource and computational companion, not as an exhaustive reference text or a research monograph (2608.23266).

Scope and pedagogical architecture

The material is organized into three principal parts. The first develops elementary topology, including topological spaces, open and closed sets, continuity, homeomorphisms, connectedness, compactness, homotopy, fundamental groups, covering spaces, Berry curvature, the Hopf fibration, Chern numbers, $\mathbb{Z}_2$ invariants, Euler characteristics, and genus. The second, substantially larger part develops differential geometry from manifolds and tangent spaces through vector fields, differential forms, metrics, Hodge duality, Lie groups, bundles, connections, and curvature. The final part applies this formalism to general relativity through calculations involving geodesics, Christoffel symbols, curvature tensors, Schwarzschild geometry, Friedmann–Robertson–Walker spacetimes, and Einstein equations.

The authors explicitly position the book as structured course material rather than a comprehensive treatment of all applications of topology and geometry in physics. This limitation determines the exposition: proofs are often abbreviated or omitted, while examples and notebook-based verification receive considerable attention. The text is consequently strongest when introducing formal objects through concrete calculations, and weaker when a reader requires systematic coverage of the underlying mathematical theory.

The computational layer is implemented primarily in Mathematica 12.3, supplemented by the packages DifferentialForms, Difform, Ricci, and EDCRGTC. The authors provide a chapter introducing Mathematica syntax, notebooks, cells, functions, lists, matrices, modules, and symbolic manipulation. The accompanying GitHub repository is treated as an integral component of the book rather than merely as supplementary code. This is an important design choice: readers are expected to execute, modify, and extend the examples, so reproducibility is defined operationally through the notebooks.

Topological foundations and homotopy

The opening mathematical development introduces topology through its axiomatic definition and finite-set examples. Mathematica is used to enumerate subsets and test whether a proposed collection satisfies the topology axioms. These examples are elementary, but they establish the computational pattern used throughout the work: define a mathematical object, implement its defining conditions, and test or visualize the result.

Continuity is formulated through inverse images of open sets, followed by the standard reductions to $\epsilon$–$\delta$ continuity in Euclidean spaces. Homeomorphisms, connectedness, open covers, finite subcovers, and compactness are then introduced. The treatment emphasizes that properties such as connectedness depend on the topology, not merely on the underlying set. The Heine–Borel theorem is stated and connected to a notebook demonstration, although it is not proved.

The homotopy chapter is the conceptual center of the topology section. Paths, loops, product loops, inverse loops, constant loops, and homotopies are defined explicitly. The authors then construct the fundamental group $\pi_1(\mathcal{S},x_0)$ from homotopy classes of based loops and explain the induced group operation. Associativity is treated correctly at the level of homotopy classes: concatenated loops need not be strictly associative as parametrized maps, but they are homotopic.

The discussion proceeds to base-point independence in path-connected spaces, homotopy equivalence, deformation retracts, contractibility, and the use of deformation retracts to calculate fundamental groups. The examples include the standard results

$$\pi_1(\mathbb{R})=0,\qquad \pi_1(S^1)\cong\mathbb{Z},\qquad \pi_1(T^n)\cong\mathbb{Z}^n,$$

as well as the nonabelian fundamental group of a disk with two punctures. The text also states that $\pi_1(S^n)=0$ for $n\geq 2$ and introduces higher homotopy groups using maps from an $n$-cube whose boundary is collapsed to a base point.

The accompanying visualizations are particularly effective for distinguishing contractible from noncontractible loops. The annulus, sphere, punctured sphere, and disk examples make the obstruction created by holes directly visible.

Figure 1: Homotopy of an annular disk, illustrating the obstruction to contracting a loop around a puncture.

Figure 2: Homotopy of a loop on a manifold without a hole.

Figure 3: Homotopy of a loop on a manifold with a hole.

Figure 4: Contraction of a contractible manifold to a point.

The topology section also introduces universal covering spaces through the covering $\mathbb{R}\to S^1$, $x\mapsto e^{2\pi i x}$. This example is mathematically standard and pedagogically useful because it connects the integer winding of loops on $\epsilon$0 with the deck-transformation structure of the universal cover.

Topological phases, Berry curvature, and bundles

The discussion of physical applications begins with the Integer Quantum Hall Effect. The authors present Laughlin’s flux-insertion argument in annular geometry, emphasizing spectral flow and the transfer of states between inner and outer boundaries. In units with $\epsilon$1, the argument yields

$\epsilon$2

where $\epsilon$3 is the number of filled Landau levels. The implication is that quantized Hall response is tied to the global structure of the occupied-state bundle rather than to microscopic details of the sample geometry.

The text then computes the Berry curvature for a two-level Hamiltonian $\epsilon$4. For the lower eigenstate, the Berry curvature is presented as a monopole-like radial field,

$\epsilon$5

whose flux through a sphere gives the first Chern number

$\epsilon$6

The result is numerically simple but conceptually significant: the Berry connection changes under gauge transformations, whereas the curvature and its integral remain invariant. The authors correctly connect the integer Chern number to obstruction under continuous deformation, while also noting that a change in the invariant requires a topological phase transition.

Figure 5: Visualization of the monopole-like Berry curvature associated with a two-level Hamiltonian.

The Hopf fibration is introduced as the bundle

$\epsilon$7

The paper constructs the Hopf map explicitly by identifying $\epsilon$8 with $\epsilon$9 and $\delta$0 with $\delta$1. Each point of $\delta$2 has an inverse image homeomorphic to $\delta$3, demonstrating a nontrivial fiber-bundle structure that is locally but not globally a product.

Figure 6: Visualization of the Hopf fibration, in which circular fibers in $\delta$4 project to points of $\delta$5.

The Weyl Hamiltonian example develops this bundle-theoretic perspective further. Local eigenvectors on $\delta$6 fail to define a smooth global section, so the occupied-state line bundle is nontrivial. The transition function on the equator is

$\delta$7

with winding number one. This winding is identified with the topological charge of a Weyl node. The implication is explicit: the obstruction to a globally smooth eigenstate is not a defect of gauge choice but a topological property of the band bundle.

The subsequent treatment of $\delta$8 invariants addresses time-reversal-invariant systems with $\delta$9. The sewing matrix

$\pi_1(\mathcal{S},x_0)$0

is shown to become antisymmetric at time-reversal-invariant momenta. The Fu–Kane quantity

$\pi_1(\mathcal{S},x_0)$1

is then used to distinguish the two-dimensional trivial and nontrivial classes. The authors also state the equivalent effective-Brillouin-zone formulation in terms of Berry connection and curvature. This section is conceptually ambitious, but its presentation is compressed relative to the technical complexity of quaternionic bundles, global gauge choices, and Pfaffian branch conventions.

Manifolds, charts, and tangent spaces

The differential-geometric development begins with smooth manifolds as spaces locally diffeomorphic to $\pi_1(\mathcal{S},x_0)$2. Charts, atlases, transition functions, and differentiability are introduced through explicit examples. The sphere is covered using stereographic projections from the north and south poles, with the transition map

$\pi_1(\mathcal{S},x_0)$3

on the overlap. The Möbius strip is used to foreshadow nonorientability and nontrivial bundles.

Figure 7: The unit sphere viewed as a two-dimensional manifold embedded in $\pi_1(\mathcal{S},x_0)$4.

Figure 8: Stereographic projection of the unit circle from a pole to an affine coordinate line.

Figure 9: A Möbius strip, providing an elementary example of a nonorientable surface.

Tangent vectors are defined through equivalence classes of curves and, equivalently, as derivations on smooth functions. The authors emphasize that tangent vectors are intrinsic objects even though their coordinate components depend on a chart. At a point $\pi_1(\mathcal{S},x_0)$5, the coordinate basis is written as

$\pi_1(\mathcal{S},x_0)$6

and an arbitrary vector has components $\pi_1(\mathcal{S},x_0)$7 in this basis.

The proof that $\pi_1(\mathcal{S},x_0)$8 is an $\pi_1(\mathcal{S},x_0)$9-dimensional vector space is constructive: coordinate curves are used to produce a basis, and the chain rule identifies the coefficients of an arbitrary tangent vector. This approach is well suited to Mathematica visualization, particularly for tangent vectors on spheres and tori.

Figure 10: Tangent vectors along representative curves on embedded surfaces, including a torus.

The dual space $$\pi_1(\mathbb{R})=0,\qquad \pi_1(S^1)\cong\mathbb{Z},\qquad \pi_1(T^n)\cong\mathbb{Z}^n,$$0 is introduced as the space of linear functionals on $$\pi_1(\mathbb{R})=0,\qquad \pi_1(S^1)\cong\mathbb{Z},\qquad \pi_1(T^n)\cong\mathbb{Z}^n,$$1. The differential $$\pi_1(\mathbb{R})=0,\qquad \pi_1(S^1)\cong\mathbb{Z},\qquad \pi_1(T^n)\cong\mathbb{Z}^n,$$2 of a function is defined by

$$\pi_1(\mathbb{R})=0,\qquad \pi_1(S^1)\cong\mathbb{Z},\qquad \pi_1(T^n)\cong\mathbb{Z}^n,$$3

and the coordinate covectors $$\pi_1(\mathbb{R})=0,\qquad \pi_1(S^1)\cong\mathbb{Z},\qquad \pi_1(T^n)\cong\mathbb{Z}^n,$$4 are shown to form the dual basis. The distinction between covariant and contravariant transformation laws is then derived directly from invariance of the scalar contraction $$\pi_1(\mathbb{R})=0,\qquad \pi_1(S^1)\cong\mathbb{Z},\qquad \pi_1(T^n)\cong\mathbb{Z}^n,$$5.

Vector fields, flows, and Lie derivatives

The tangent bundle is defined as the disjoint union of tangent spaces, and a vector field is a smooth section of this bundle. Integral curves reduce the geometric problem to first-order ordinary differential equations in local coordinates. The text states the local existence and uniqueness result needed to conclude that integral curves do not cross.

The example

$$\pi_1(\mathbb{R})=0,\qquad \pi_1(S^1)\cong\mathbb{Z},\qquad \pi_1(T^n)\cong\mathbb{Z}^n,$$6

produces circular integral curves in $$\pi_1(\mathbb{R})=0,\qquad \pi_1(S^1)\cong\mathbb{Z},\qquad \pi_1(T^n)\cong\mathbb{Z}^n,$$7. The corresponding VectorPlot and StreamPlot commands make the distinction between a vector field and its integral curves explicit.

Figure 11: A rotational vector field and representative integral curves in the plane.

The torus example constructs a vector field from the coordinate tangent vectors,

$$\pi_1(\mathbb{R})=0,\qquad \pi_1(S^1)\cong\mathbb{Z},\qquad \pi_1(T^n)\cong\mathbb{Z}^n,$$8

and visualizes the resulting flow on the embedded surface.

Figure 12: A smooth vector field on a torus generated from the two angular directions.

Local flows are then introduced as one-parameter families of local diffeomorphisms. The relation

$$\pi_1(\mathbb{R})=0,\qquad \pi_1(S^1)\cong\mathbb{Z},\qquad \pi_1(T^n)\cong\mathbb{Z}^n,$$9

is derived from uniqueness of integral curves. A useful application follows: the transport equation

$\pi_1(S^n)=0$0

is solved by pullback along the flow,

$\pi_1(S^n)=0$1

This is one of the most effective mathematical-physical connections in the book because it shows that the method of characteristics is naturally expressed through geometric flows.

The Lie bracket of vector fields is derived as the commutator of derivations,

$\pi_1(S^n)=0$2

with local components

$\pi_1(S^n)=0$3

The polar-coordinate example illustrates that a geometrically natural orthonormal frame need not be a coordinate frame: the radial and angular unit vector fields have a nonvanishing commutator.

The Lie derivative is defined through the infinitesimal action of a flow. For vector fields,

$\pi_1(S^n)=0$4

while for a one-form $\pi_1(S^n)=0$5,

$\pi_1(S^n)=0$6

The treatment correctly emphasizes that the Lie derivative compares fields transported by a diffeomorphism, not vectors located at unrelated tangent spaces.

The Mathematica examples verify invariance and non-invariance directly. For example, the rotational vector field preserves $\pi_1(S^n)=0$7, yielding

$\pi_1(S^n)=0$8

Differential forms, metrics, and Hodge duality

Differential forms are introduced as antisymmetric covariant tensors. The wedge product is developed algebraically, including graded commutativity,

$\pi_1(S^n)=0$9

for a $n\geq 2$0-form $n\geq 2$1 and a $n\geq 2$2-form $n\geq 2$3. Contraction with vector fields and pullback under smooth maps are also defined. The computational notebooks implement these operations using DifferentialForms.

The exterior derivative is defined in coordinates and shown to satisfy linearity, the graded Leibniz rule, and

$n\geq 2$4

Closed and exact forms are distinguished, and the Poincaré lemma is stated in its local form. The punctured-plane one-form

$n\geq 2$5

is used to demonstrate the distinction between local and global exactness. In polar coordinates, $n\geq 2$6, but the angular coordinate is multivalued globally. Thus a form may be closed and locally exact while failing to be globally exact because of the topology of its domain.

Orientation and integration are subsequently formulated through nonvanishing top-degree forms. The coordinate invariance of integration is explained through the Jacobian transformation of both the volume form and the integration domain. Euler characteristic calculations for polyhedra complement this differential-form treatment with discrete topological examples.

Figure 13: A unit cube used to demonstrate volume and Euler characteristic computations.

Figure 14: A tetrahedron with Euler characteristic $n\geq 2$7.

Figure 15: A cube with an internal cubic cavity, illustrating how topology changes the Euler characteristic.

The metric is introduced as a symmetric, nondegenerate $n\geq 2$8 tensor. The text explains the metric-induced isomorphism between vectors and covectors, index raising and lowering, signatures, and the metric volume form

$n\geq 2$9

The Mathematica examples include Cartesian, spherical, and Minkowski metrics, their inverses, and inner products.

The Hodge star maps $n$0-forms to $n$1-forms. In signature $n$2, the authors state

$n$3

They verify elementary examples in Euclidean three-space, such as

$n$4

and explain the relation between the Hodge dual of a two-form and the three-dimensional cross product.

Maxwell theory and Stokes’ theorem

The Maxwell chapter is among the clearest applications in the book. The electric and magnetic fields are combined into the electromagnetic two-form

$n$5

The homogeneous Maxwell equations are obtained from

$n$6

while the inhomogeneous equations are written as

$n$7

The electromagnetic action is expressed compactly as

$n$8

In flat spacetime, the notebook recovers

$n$9

The important implication is that the differential-form formulation is not merely a compact notation: it separates metric-independent structure, encoded in $\mathbb{R}\to S^1$0, from metric-dependent structure, encoded in the Hodge operator. This distinction is essential for extending electromagnetism from flat to curved spacetime.

Stokes’ theorem is presented as

$\mathbb{R}\to S^1$1

with the fundamental theorem of calculus, the planar circulation theorem, and the divergence theorem as special cases. The Mathematica verification of the volume integral over a ball is quantitatively explicit: $\mathbb{R}\to S^1$2 and the boundary integral reproduces the same value. This is a strong example of symbolic computation serving as a consistency check for orientation, pullback, boundary parametrization, and integration.

Lie groups and fiber bundles

The Lie-group chapters connect the preceding differential-geometric constructions to symmetry and gauge theory. Lie groups are defined as smooth manifolds equipped with smooth multiplication and inversion. Examples include $\mathbb{R}\to S^1$3, $\mathbb{R}\to S^1$4, $\mathbb{R}\to S^1$5, $\mathbb{R}\to S^1$6, $\mathbb{R}\to S^1$7, and Lorentz groups.

Left and right translations identify tangent spaces at arbitrary group elements with the tangent space at the identity. Left-invariant vector fields form a Lie algebra, and the paper proves the isomorphism

$\mathbb{R}\to S^1$8

The structure constants are introduced through

$\mathbb{R}\to S^1$9

One-parameter subgroups provide the infinitesimal description of Lie groups. For matrix groups, the exponential representation

$x\mapsto e^{2\pi i x}$0

is derived, and the allowed matrices $x\mapsto e^{2\pi i x}$1 are identified with the Lie algebra. The examples correctly distinguish compact connected groups, for which every element lies on a one-parameter subgroup, from general noncompact groups. The stated $x\mapsto e^{2\pi i x}$2 example illustrates that not every group element is necessarily a real exponential of a Lie-algebra element.

The Mathematica constructions for $x\mapsto e^{2\pi i x}$3 verify

$x\mapsto e^{2\pi i x}$4

and the Jacobi identity directly. The $x\mapsto e^{2\pi i x}$5 discussion lists commutation relations in a physically recognizable basis, although the large algebraic display is not accompanied by an equally detailed derivation.

Fiber bundles are introduced through local trivializations, transition functions, structure groups, sections, associated bundles, and principal bundles. The tangent bundle and Möbius strip are used to distinguish locally trivial from globally trivial bundles. The frame bundle is identified as a principal $x\mapsto e^{2\pi i x}$6 bundle, while gauge transformations arise as changes of local trivialization in associated bundles.

This framework provides the conceptual bridge between the earlier Berry-bundle examples and the later treatment of connections and curvature. In particular, the nontrivial transition function of the Weyl bundle is placed within the same general formalism as gauge fields and principal bundles.

Limitations and open questions

The paper’s principal limitation is scope. It covers a very broad range of subjects, but many results are stated rather than proved. This is appropriate for a tutorial, but readers seeking a rigorous treatment of general topology, smooth manifolds, characteristic classes, Lie-group integration, bundle connections, or general relativity will need additional references.

The computational dependence on Mathematica also introduces practical constraints. The notebooks are developed and tested with Mathematica 12.3 and rely on several external packages whose syntax, compatibility, and maintenance may vary. The paper does not provide a systematic comparison with open-source alternatives such as SageMath, SymPy, or Julia-based differential-geometry systems. Consequently, reproducibility is strongest for readers with access to the specified software environment.

Several mathematical statements in the presented material require careful qualification. For example, assertions concerning the topology of matrix groups, the relation between vector bundles and homotopy groups, and the exponential surjectivity of compact Lie groups depend on hypotheses that are not always made explicit. Some notation and formulas in the source text also contain typographical or transcription errors, particularly in tensor-index expressions and Mathematica snippets. These issues do not invalidate the pedagogical program, but they mean that readers should verify formulas against standard definitions and the repository before treating the text as a formal reference.

The paper leaves open the question of how far its notebook-based methodology can scale to more advanced constructions. In particular, it does not fully develop computational treatments of characteristic classes beyond elementary Chern-number examples, systematic connection one-forms, curvature two-forms, covariant derivatives, or the global geometric structure of general-relativistic spacetimes. It also does not establish a uniform abstraction layer across the different Mathematica packages, so the computational interface changes substantially between chapters.

Conclusion

“Elements of Topology, Differential Geometry and General Relativity for Physicists: A Mathematica-based Tutorial Approach” (2608.23266) offers a broad instructional synthesis of mathematical physics and symbolic computation. Its distinctive contribution is not a new theorem or physical model, but the systematic pairing of definitions and standard results with executable Mathematica demonstrations. The strongest sections are those in which geometry is naturally computational—homotopies, stereographic charts, tangent vectors, Lie derivatives, differential forms, Hodge duality, Maxwell theory, Stokes’ theorem, and Lie-algebra calculations. Its value depends on reading the formal exposition together with the notebooks, while its breadth necessarily comes at the expense of proof-level completeness and uniform technical precision.