To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
In 1973 Roger Penrose proposed an inequality which states that, in an isolated gravitational system with nonnegative local energy density, the total mass of the system must be at least as much as that contributed by any black holes contained within. The original motivation for proposing the inequality is the fact that a counterexample of this inequality would produce a counterexample for the cosmic censorship conjecture. While the Penrose inequality in full generality remains an open problem, we present in this chapter the main ideas of three proofs of the Riemannian Penrose inequality, a special case that arises in the time-symmetric setting. In this setting, the Penrose inequality is formulated on an asymptotically flat manifold with nonnegative scalar curvature that contains closed minimal surfaces, and asserts a bound of the total mass in terms of the area of the outermost minimal surface. We begin with Lam's proof for the graphical case, then move to the inverse mean curvature flow approach of Huisken and Ilmanen, and finish with a sketch of Bray's conformal flow technique.
The theory of special relativity incorporates a modification of Newtonian mechanics together with electromagnetism. A natural question to consider is how gravitation fits into the framework of relativity. In this chapter we focus our analysis of this question along two main ideas, that of the equivalence between uniform acceleration and a uniform gravitational field, and that of the gravitational redshift. These will lead us to the Einstein equation, which we then show can be given a variational formulation. We present some solutions of the Einstein equation, with particular attention given to the Schwarzschild spacetime and its Kruskal extension.
This chapter develops the geometry of and analysis on initial data sets that arise in models of isolated gravitational systems. We begin with some detailed discussion and analysis involving the Laplace operator on asymptotically flat manifolds, which we use to develop density and deformation results on scalar curvature, leading to a proof of the Riemannian positive mass theorem. In the last section of the chapter we develop a technique for localized scalar curvature deformation, and we apply it to glue an asymptotically flat end with vanishing scalar curvature to an end of a Riemannian Schwarzschild metric, maintaining zero scalar curvature throughout.
Many physical models admit an initial value formulation. In this chapter we discuss an initial value formulation for the vacuum Einstein equation. A vacuum initial data set will be given geometrically as a manifold endowed with Riemannian metric and a symmetric two-tensor. That these give the first and second fundamental forms of an embedding into a Lorentzian manifold satisfying the vacuum Einstein equation imposes, via the Gauss and Codazzi equations, constraints on the initial data. These conditions, which govern the space of allowable initial data sets for the vacuum Einstein equation, comprise the Einstein constraint equations, the study of solutions to which form an interesting and rich subject for geometric analysis.
The tangent space at any point on a Lorentzian manifold can be partitioned into three classes, timelike, null and spacelike vectors, from which the causal structure derives. In this chapter we introduce some basic concepts of Lorentzian causality needed in the discussion of the Penrose singularity theorem in the next chapter.
This chapter presents the classical Penrose singularity theorem. The main ingredients of the proof concern, on the one hand, the caussal structure of a globally hyperbolic spacetime, and on the other, differential geometry techniques involving Jacobi fields together with the Riccati and Raychaudhuri equations.
Minkowskian geometry provides a mathematical model of spacetime that resolves a number of perplexing issues that had arisen in physics by the dawn of the twentieth century. The model leads to surprising predictions for physics, which have been confirmed experimentally. In the chapter we review several well-known features of Minkowski spacetime, including Lorentz transformations, time dilation and Lorentz contraction, as well as its conformal compactification.
This book introduces and explores some of the deep connections between Einstein's theory of gravitation and differential geometry. As an outgrowth of graduate summer schools, the presentation is aimed at graduate students in mathematics and mathematical physics, starting from the foundations of special and general relativity, and moving to more advanced results in geometric analysis and the Einstein constraint equations. Topics include the formulation of the Einstein field equation and the Einstein constraint equations; gluing construction of initial data sets which are Schwarzschild near infinity; and an introduction to the Riemannian Penrose inequality. While the book assumes a background in differential geometry and real analysis, a number of basic results in geometry are provided. There are well over 100 exercises, many woven into the fabric of the chapters as well as others collected at the end of chapters, to give readers a chance to engage and extend the text.
We construct skew corner-free subsets of $[n]^2$ of size $n^2\exp(\!-O(\sqrt{\log n}))$, thereby improving on recent bounds of the form $\Omega(n^{5/4})$ obtained by Pohoata and Zakharov. We also prove that any such set has size at most $O(n^2(\log n)^{-c})$ for some absolute constant $c \gt 0$. This improves on the previously best known upper bound $O(n^2(\log\log n)^{-c})$, coming from Shkredov’s work on the corners theorem.
We prove new statistical results about the distribution of the cokernel of a random integral matrix with a concentrated residue. Given a prime p and a positive integer n, consider a random $n \times n$ matrix $X_n$ over the ring $\mathbb{Z}_p$ of p-adic integers whose entries are independent. Previously, Wood showed that as long as each entry of $X_n$ is not too concentrated on a single residue modulo p, regardless of its distribution, the distribution of the cokernel $\mathrm{cok}(X_n)$ of $X_n$, up to isomorphism, weakly converges to the Cohen–Lenstra distribution, as $n \rightarrow \infty$. Here on the contrary, we consider the case when $X_n$ has a concentrated residue $A_n$ so that $X_n = A_n + pB_n$. When $B_n$ is a Haar-random $n \times n$ matrix over $\mathbb{Z}_p$, we explicitly compute the distribution of $\mathrm{cok}(P(X_n))$ for every fixed n and a non-constant monic polynomial $P(t) \in \mathbb{Z}_p[t]$. We deduce our result from an interesting equidistribution result for matrices over $\mathbb{Z}_p[t]/(P(t))$, which we prove by establishing a version of the Weierstrass preparation theorem for the noncommutative ring $\mathrm{M}_n(\mathbb{Z}_p)$ of $n \times n$ matrices over $\mathbb{Z}_p$. We also show through cases the subtlety of the “universality” behavior when $B_n$ is not Haar-random.
Let $\mathrm{Mod}(S_g)$ be the mapping class group of the closed orientable surface of genus $g \geq 1$, and let $\mathrm{LMod}_{p}(X)$ be the liftable mapping class group associated with a finite-sheeted branched cover $p:S \to X$, where X is a hyperbolic surface. For $k \geq 2$, let $p_k: S_{k(g-1)+1} \to S_g$ be the standard k-sheeted regular cyclic cover. In this paper, we show that $\{\mathrm{LMod}_{p_k}(S_g)\}_{k \geq 2}$ forms an infinite family of self-normalising subgroups in $\mathrm{Mod}(S_g)$, which are also maximal when k is prime. Furthermore, we derive explicit finite generating sets for $\mathrm{LMod}_{p_k}(S_g)$ for $g \geq 3$ and $k \geq 2$, and $\mathrm{LMod}_{p_2}(S_2)$. For $g \geq 2$, as an application of our main result, we also derive a generating set for $\mathrm{LMod}_{p_2}(S_g) \cap C_{\mathrm{Mod}(S_g)}(\iota)$, where $C_{\mathrm{Mod}(S_g)}(\iota)$ is the centraliser of the hyperelliptic involution $\iota \in \mathrm{Mod}(S_g)$. Let $\mathcal{L}$ be the infinite ladder surface, and let $q_g : \mathcal{L} \to S_g$ be the standard infinite-sheeted cover induced by $\langle h^{g-1} \rangle$ where h is the standard handle shift on $\mathcal{L}$. As a final application, we derive a finite generating set for $\mathrm{LMod}_{q_g}(S_g)$ for $g \geq 3$.
In an earlier work, we defined a “generalised Temperley–Lieb algebra” $TL_{r, 1, n}$ corresponding to the imprimitive reflection group G(r, 1, n) as a quotient of the cyclotomic Hecke algebra. In this work we introduce the generalised Temperley–Lieb algebra $TL_{r, p, n}$ which corresponds to the complex reflection group G(r, p, n). Our definition identifies $TL_{r, p, n}$ as the fixed-point subalgebra of $TL_{r, 1, n}$ under a certain automorphism $\sigma$. We prove the cellularity of $TL_{r, p, n}$ by proving that $\sigma$ induces a special shift automorphism with respect to the cellular structure of $TL_{r, 1, n}$. We also give a description of the cell modules of $TL_{r, p, n}$ and their decomposition numbers, and finally we point to how our algebras might be categorified and could lead to a diagrammatic theory.
The space of monic squarefree complex polynomials has a stratification according to the multiplicities of the critical points. We introduce a method to study these strata by way of the infinite-area translation surface associated to the logarithmic derivative $df/f$ of the polynomial. We determine the monodromy of these strata in the braid group, thus describing which braidings of the roots are possible if the orders of the critical points are required to stay fixed. Mirroring the story for holomorphic differentials on higher-genus surfaces, we find the answer is governed by the framing of the punctured disk induced by the horizontal foliation on the translation surface.