mathematics

Synge's theorem

Synge's theorem is a mathematics topic covered in the lgStudy science library. This page brings together a partial reference excerpt, illustrations, worked examples, real-world applications and a short study plan, so you can understand Synge's theorem rather than just read about it. In short: In mathematics, specifically Riemannian geometry, Synge's theorem is a classical result relating the curvature of a Riemannian manifold to its topology. It is named for John Lighton Synge, who proved it in 1936.

Key takeaways

Synge's theorem belongs to mathematics; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect Synge's theorem to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of Synge's theorem from memory before moving on to harder problems.

Reference excerpt

In mathematics, specifically Riemannian geometry, Synge's theorem is a classical result relating the curvature of a Riemannian manifold to its topology. It is named for John Lighton Synge, who proved it in 1936.

Theorem and sketch of proof Let M be a closed Riemannian manifold with positive sectional curvature. The theorem asserts:

If M is even-dimensional and orientable, then M is simply connected. If M is odd-dimensional, then it is orientable. In particular, a closed manifold of even dimension can support a positively curved Riemannian metric only if its fundamental group has one or two elements. The proof of Synge's theorem can be summarized as follows. Given a geodesic S1 → M with an orthogonal and parallel vector field along the geodesic (i.e. a parallel section of the normal bundle to the geodesic), then Synge's earlier computation of the second variation formula for arclength shows immediately that the geodesic may be deformed so as to shorten its length. The only tool used at this stage is the assumption on sectional curvature. The construction of a parallel vector field along any path is automatic via parallel transport; the nontriviality in the case of a loop is whether the values at the endpoints coincide. This reduces to a problem of pure linear algebra: let V be a finite-dimensional real inner product space with T: V → V an orthogonal linear map with an eigenvector v with eigenvalue one. If the determinant of T is positive and the dimension of V is even, or alternatively if the determinant of T is negative and the dimension of V is odd, then there is an eigenvector w of T with eigenvalue one which is orthogonal to v. In context, V is the tangent space to M at a point of a geodesic loop, T is the parallel transport map defined by the loop, and v is the tangent vector to the geodesic. Given any noncontractible loop in a complete Riemannian manifold, there is a representative of its (free) homotopy class which has minimal possible arclength, and it is a geodesic. According to Synge's computation, this implies that there cannot be a parallel and orthogonal vector field along this geodesic. However:

Orientability implies that the parallel transport map along every loop has positive determinant. Even-dimensionality then implies the existence of a parallel vector field, orthogonal to the geodesic. Non-orientability implies the non-contractible loop can be chosen so that the parallel transport map has negative determinant. Odd-dimensionality then implies the existence of a parallel vector field, orthogonal to the geodesic. This contradiction establishes the non-existence of noncontractible loops in the first case, and the impossibility of non-orientability in the latter case. Alan Weinstein later rephrased the proof so as to establish fixed points of isometries, rather than topological properties of the underlying manifold.

References

Sources.

do Carmo, Manfredo Perdigão (1992). Riemannian geometry. Mathematics: Theory & Applications (Translated from the second Portuguese edition of 1979 original ed.). Boston, MA: Birkhäuser Boston. ISBN 978-0-8176-3490-2. MR 1138207. Zbl 0752.53001. Jost, Jürgen (2017). Riemannian geometry and geometric analysis. Universitext (Seventh edition of 1995 original ed.). Springer, Cham. doi:10.1007/978-3-319-61860-9. ISBN 978-3-319-61859-3. MR 3726907. Zbl 1380.53001. Petersen, Peter (2016). Riemannian geometry. Graduate Texts in Mathematics. Vol. 171 (Third edition of 1998 original ed.). Springer, Cham. doi:10.1007/978-3-319-26654-1. ISBN 978-3-319-26652-7. MR 3469435. Zbl 1417.53001. Synge, John Lighton (1936). "On the connectivity of spaces of positive curvature". Quarterly Journal of Mathematics. Oxford Series. 7 (1): 316–320. doi:10.1093/qmath/os-7.1.316. JFM 62.0861.04. Zbl 0015.41601.

Worked examples

Example 1 — a first encounter with Synge's theorem

Start with the simplest possible case. Write down what Synge's theorem claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In mathematics, the smallest case is usually a single object, a single equation or a single measurement. Check that every symbol or term in your sentence has a meaning in that case.

Example 2 — changing one variable

Take the situation from Example 1 and change exactly one quantity: double it, halve it, or set it to zero. Predict what should happen to Synge's theorem before you calculate. Comparing your prediction with the result is the fastest way to find out whether you understand the idea or only the words.

Example 3 — an exam-style question

Typical questions about Synge's theorem ask you to (a) state it precisely, (b) apply it to given data, and (c) explain a limitation. Practise writing all three answers in under five minutes; the third part is what separates a full-mark answer from an average one.

Applications of Synge's theorem

In research: Synge's theorem appears in mathematics research whenever the underlying quantities have to be modelled precisely. Papers usually cite it as a starting assumption and then explore where it breaks down.
In technology and industry: Engineering practice reuses Synge's theorem in design rules, simulations and safety margins. Knowing the idea lets you read a specification sheet and understand why the numbers look the way they do.
In the classroom: Synge's theorem is common in secondary-school and first-year university syllabi. It links to neighbouring topics Differential geometry stubs, Theorems in Riemannian geometry, so understanding it makes those chapters shorter.
In everyday life: Look for Synge's theorem outside the textbook — in sport, cooking, traffic, electronics or the sky above you. An example you found yourself is remembered far longer than one you were given.

Ask Teacher Smith questions about this articleOpens your AI tutor with a question about “Synge's theorem” →

Affiliate

Preply — study more efficiently by working with a personal tutor. 50% off.

How to study Synge's theorem in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what Synge's theorem means in your own words.
Compare your version with the excerpt and mark what you missed.
Work through the three examples above with pen and paper.
Explain Synge's theorem out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is Synge's theorem in simple terms?

Why does Synge's theorem matter?

Because it connects several mathematics ideas at once: it gives you a definition you can apply, a quantity you can calculate, and a way to check whether a result is plausible.

How should I study Synge's theorem?

Read the excerpt, restate it from memory, then work through the examples and applications listed on this page. The five-step study plan above takes about twenty minutes.

What does this page cover?

It gives you a compact reference excerpt plus original lgStudy explanations, examples, applications and study material on Synge's theorem.