TB: Fearless Symmetry (Ash & Gross)
Core Thesis
Galois representations — the machinery that connects number theory, group theory, and geometry — are the deepest tools in modern mathematics. The book attempts to explain why whole numbers are so much harder than polynomials and what modern algebraic number theory says about the structure of solutions to equations.
Key Takeaways
Mathematical definitions and usage
- Mathematical definitions create usage, they do not describe it. A definition cannot be wrong, only inconsistent or useless.
- Proving things about polynomials is usually much easier than proving things about integers: polynomials have roots and can be differentiated. (Is there a notion of differentiation applicable to integers or primes?)
Complex and algebraic numbers
- Complex numbers were forced on the world when solving cubic equations: intermediate steps involve imaginary numbers even when final solutions are real.
- Every root of a polynomial with complex coefficients is already in ℂ (algebraic closure).
- Not every number in Q-algebraic can be obtained from integers with repeated +, −, ×, ÷, and nth roots — some roots require more exotic operations.
- π is not algebraic over ℚ — this fact is extraordinarily hard to prove.
Galois theory and representations
- The Absolute Galois Group G has only one element besides the identity that can be completely described: complex conjugation.
- A representation that is not faithful emphasizes certain features of the source group and obscures others — enabling better understanding of the source by studying simpler shadows.
- Some very large groups (including the Monster group) have been shown to be isomorphic to the Galois group of a polynomial.
Open conjectures
- Poincaré conjecture (now proved), Riemann Hypothesis, P = NP remain among the deepest open problems.
Mental Models
- The Map is Not the Territory — representations are intentional distortions (maps) of groups; choosing the right distortion reveals structure invisible in the original