================================================================================ COMPREHENSIVE LITERATURE RESEARCH: GEOMETRIC UNFOLDING ================================================================================ Compiled: 2026-03-10 Scope: Broad, cross-domain academic literature survey Purpose: Pure data collection -- no editorial conclusions drawn ================================================================================ TABLE OF CONTENTS ----------------- 1. Mathematical Unfolding (Polyhedra, Nets, Durer's Conjecture) 2. Star Unfolding and Source Unfolding 3. Dimensional Progression and Dimensional Reduction 4. Higher-Dimensional Polytopes and Their Unfoldings 5. Geometric Phase Transitions 6. Origami Mathematics and Computational Origami 7. Fractal Geometry and Self-Similarity Across Scales 8. Topology and Manifold Theory 9. Surgery Theory and Cobordism 10. Thurston Geometrization and Eight Model Geometries 11. Golden Ratio in Geometry 12. Penrose Tilings and Aperiodic Order 13. The Aperiodic Monotile (Einstein Tile) 14. Fibonacci Spirals and Phyllotaxis in Nature 15. Crystallography and Lattice Geometry 16. Quasicrystals 17. Geometric Algebra and Clifford Algebras 18. Conformal Geometry and Conformal Mappings 19. Projective Geometry and Perspective 20. Non-Euclidean Geometry 21. The Erlangen Program 22. Geometric Unfolding in Physics (Gauge Theory, Fiber Bundles) 23. Differential Geometry in General Relativity 24. Kaluza-Klein Theory and Extra Dimensions 25. Geometric Quantization 26. Symmetry Breaking and Geometric Transitions 27. Berry Phase and Geometric Phase in Quantum Mechanics 28. Morphogenesis and Biological Pattern Formation 29. Reaction-Diffusion Systems and Chemical Waves 30. D-Branes, Extra Dimensions, and String Theory Compactification 31. Mirror Symmetry 32. AdS/CFT Correspondence and the Holographic Principle 33. Loop Quantum Gravity and Spin Foams 34. Penrose Twistor Theory 35. Category Theory and Geometric Structures 36. Computational Geometry and Mesh Unfolding 37. Topological Data Analysis and Persistent Homology 38. Voronoi Tessellations and Delaunay Triangulations 39. Minimal Surfaces and Soap Films 40. Geometric Flows (Ricci, Mean Curvature, Willmore) 41. Catastrophe Theory 42. Hopf Fibration 43. Gauss-Bonnet Theorem and Generalizations 44. Spinor Geometry 45. Symplectic Geometry and Hamiltonian Mechanics 46. Information Geometry 47. Lie Groups and Continuous Symmetry 48. Coxeter Groups and Reflection Symmetry 49. Sphere Packing 50. Platonic Solids and Regular Polytopes 51. Weyl Geometry and Conformal Rescaling 52. Protein Folding Geometry 53. Differential Forms and Exterior Algebra 54. Penrose Diagrams and Conformal Compactification 55. The Amplituhedron and Positive Geometry 56. Euler Characteristic as Topological Invariant 57. Moduli Spaces 58. Dimensional Analysis and Scaling Laws ================================================================================ 1. MATHEMATICAL UNFOLDING (POLYHEDRA, NETS, DURER'S CONJECTURE) ================================================================================ DEFINITION AND HISTORICAL BACKGROUND: A net of a polyhedron is an arrangement of non-overlapping edge-joined polygons in the plane that can be folded (along edges) to become the faces of the polyhedron. An early instance of polyhedral nets appears in the works of Albrecht Durer, whose 1525 book "A Course in the Art of Measurement with Compass and Ruler" (Underweysung der Messung) included nets for the Platonic solids and several of the Archimedean solids. DURER'S CONJECTURE (SHEPHARD'S CONJECTURE): In 1975, G. C. Shephard asked whether every convex polyhedron has at least one net, or simple edge-unfolding. This question, also known as Durer's conjecture or Durer's unfolding problem, remains unresolved as of the current literature. KEY RESULTS: - Every edge unfolding of the Platonic solids has been shown to be without self-overlap, yielding a valid net. - Mohammad Ghomi (Georgia Institute of Technology) showed that every polytope is combinatorially equivalent to an unfoldable one. - A few families of convex polyhedra, such as prismoids and domes, have been proved to always have edge unfoldings. - The answer is known to be NO for nonconvex polyhedra, even with triangular faces. There exists a polyhedron composed of triangles, homeomorphic to a sphere, that has no one-piece non-overlapping edge-unfolding (four "hats" glued to the faces of a regular tetrahedron). - Among 20 questions about different classes of polyhedra and types of cuts, 6 remain unresolved. RELATED PROBLEMS: - The "Fewest Nets" problem: If a convex polyhedron has F faces, what is the fewest number of connected, flat, non-overlapping pieces into which it may be cut by slicing along edges? The answer may be 1, but this has not been proved. - "Vertex-unfolding": permits facets to remain connected only at vertices instead of along edges, broadening the class of unfoldable polyhedra. NOTABLE RESEARCHERS AND INSTITUTIONS: - Joseph O'Rourke (Smith College) -- extensive survey work on unfolding - Erik Demaine (MIT) -- computational origami and folding algorithms - Mohammad Ghomi (Georgia Institute of Technology) -- Durer's problem advances - Martin Demaine (MIT) -- computational origami KEY REFERENCES: - Ghomi, M. "Durer's Unfolding Problem for Convex Polyhedra." AMS Notices, 2018. - O'Rourke, J. "Unfolding Polyhedra." 2008 survey paper. - Demaine, E. & O'Rourke, J. "Geometric Folding Algorithms: Linkages, Origami, Polyhedra." Cambridge University Press, 2007. - The Open Problem Project (TOPP), Problem 9: Edge-Unfolding Convex Polyhedra. Sources: - https://ghomi.math.gatech.edu/Papers/durernotices.pdf - https://www.science.smith.edu/~jorourke/Papers/PolyUnf0.pdf - https://arxiv.org/abs/1908.07152 - http://www.openproblemgarden.org/op/d_urers_conjecture - https://topp.openproblem.net/p9 ================================================================================ 2. STAR UNFOLDING AND SOURCE UNFOLDING ================================================================================ STAR UNFOLDING: The star unfolding of a convex polyhedron is a net obtained by cutting the polyhedron along geodesics (shortest paths) through its faces. It has also been called the Alexandrov unfolding after Aleksandr Danilovich Aleksandrov, who first considered it. The star unfolding may be used as the basis for polynomial-time algorithms for various other problems involving geodesics on convex polyhedra. SOURCE UNFOLDING: The source unfolding is another way of cutting a convex polyhedron into a simple polygon net. It cuts the polyhedron at points that have multiple equally short geodesics to the given base point. More specifically, the source unfolding is obtained by cutting the ridge tree (also known as the cut locus), the locus of points that have more than one shortest path to a point. ALEXANDROV'S THEOREM: States that if a metric space is geodesic, homeomorphic to a sphere, and locally Euclidean except for a finite number of cone points of positive angular defect (necessarily summing to 4 pi), then there exists a convex polyhedron whose development is the given space. Moreover, this polyhedron is uniquely defined from the metric: any two convex polyhedra with the same surface metric must be congruent to each other as three-dimensional sets. RECENT EXTENSIONS: Research has extended these concepts to quasigeodesic loops and other generalizations, including star unfolding from geodesic curves (Kiazyk & Lubiw, 2015) and via quasigeodesic loops (Itoh & O'Rourke, 2009). Sources: - https://en.wikipedia.org/wiki/Star_unfolding - https://link.springer.com/article/10.1007/s00454-009-9223-x - https://drops.dagstuhl.de/storage/00lipics/lipics-vol034-socg2015/LIPIcs.SOCG.2015.390/ ================================================================================ 3. DIMENSIONAL PROGRESSION AND DIMENSIONAL REDUCTION ================================================================================ MANIFOLD LEARNING FRAMEWORK: Nonlinear dimensionality reduction, also known as manifold learning, aims to project high-dimensional data onto lower-dimensional latent manifolds. A manifold is a higher-dimensional extension of curves and surfaces, describing a space that locally resembles Euclidean space but may have a more complex global structure. KEY MATHEMATICAL CONCEPTS: - A differential manifold is a topological space where every point has a neighbourhood homeomorphic to an open subset of Euclidean space, with these homeomorphisms compatible under change of coordinates. - Principal curves and manifolds give the natural geometric framework for nonlinear dimensionality reduction by explicitly constructing an embedded manifold and encoding using standard geometric projection. - Mathematical prerequisites include smooth manifolds, tangent spaces, Riemannian metrics, and geodesic distance. GEOMETRIC METHODS: - Principal Geodesic Analysis exploits geodesic distances, tangent space representations, and intrinsic statistical measures to achieve faithful low-dimensional embeddings. - UMAP (Uniform Manifold Approximation and Projection) uses Riemannian geometry and algebraic topology for dimension reduction. - Dimensionality reduction on Riemannian manifolds uses SPD (symmetric positive definite) data and tangent space methods. CROSS-DIMENSIONAL STRUCTURES: Mathematicians have extended manifold theory to include complex manifolds, symplectic manifolds, and algebraic varieties, with applications in theoretical physics, computer graphics, and other fields. Data naturally reside on nonlinear manifolds in applications including computer vision, signal processing, medical imaging, and shape analysis. Sources: - https://en.wikipedia.org/wiki/Nonlinear_dimensionality_reduction - https://www.annualreviews.org/content/journals/10.1146/annurev-statistics-040522-115238 - https://link.springer.com/book/10.1007/978-3-031-10602-6 - https://arxiv.org/html/2602.05936 ================================================================================ 4. HIGHER-DIMENSIONAL POLYTOPES AND THEIR UNFOLDINGS ================================================================================ 4-POLYTOPE VISUALIZATION: A 4-polytope (or polychoron) is a four-dimensional analogue of a polyhedron. Over 1,700 uniform 4-polytopes are known to exist. VISUALIZATION METHODS: - Cross-Sections (Slicing): A slice through a 4-polytope reveals a 3D cross- section. The extra dimension can be equated with time to produce a smooth animation of these cross sections. - Projections: A 4D shape can be projected onto 3-space or onto a flat sheet. A Schlegel diagram uses stereographic projection of points on the surface of a 3-sphere into three dimensions. - Stereographic projection maps the 4D sphere onto 3D space using a conformal transformation, preserving angles and creating curved edges, which reveals the true structure of 4D polytopes -- especially their internal symmetries. - Nets (Unfolding): A net of a 4-polytope is composed of polyhedral cells that are connected by their faces and all occupy the same three-dimensional space, just as the polygon faces of a net of a polyhedron are connected by their edges and all occupy the same plane. 4D polytopes have 3D nets, where each side of a polychoron is a 3D cell. NOTABLE EXAMPLES: - The 120-cell has a 3D net consisting of 120 regular dodecahedra. - The tesseract (8-cell) unfolds into 8 cubes. - The 600-cell unfolds into 600 tetrahedra. Sources: - https://en.wikipedia.org/wiki/4-polytope - https://en.wikipedia.org/wiki/Schlegel_diagram - https://arxiv.org/pdf/1607.01102 - https://www.software3d.com/4D.php ================================================================================ 5. GEOMETRIC PHASE TRANSITIONS ================================================================================ TOPOLOGY-GEOMETRY CONNECTION: At the basis of equilibrium phase transitions there must be major changes in the topology of submanifolds of the phase space of Hamiltonian systems. The geometrization of Hamiltonian flows in terms of geodesic flows on suitably defined Riemannian manifolds reveals peculiar geometrical changes of the mechanical manifolds at the phase transition point. CRITICAL PHENOMENA AND GEOMETRY: Critical phenomena emerge when a projection map acquires a multi-valued nature. When this topological feature and the associated critical fluctuations are incorporated into a geometric theory of spacetime, a phase transition from Riemannian geometry to a conformally invariant geometry follows, providing a geometric basis for the scale invariance associated with critical phenomena. THE TOPOLOGICAL HYPOTHESIS: The topological hypothesis suggests that the existence of a phase transition could be inferred from changes to the topology of the accessible part of the configuration space. Such a topological change is often associated with a dramatic change in the configuration space geometry. QUANTUM PHASE TRANSITIONS: Geometrical methods are employed in the analysis of quantum phase transitions and non-equilibrium dissipative phase transitions. When varying the measurement strength, the mapping between measurement sequence and geometric phase undergoes a topological transition. KEY RESEARCH: - Franzosi, R. & Pettini, M. "From Geometry of Hamiltonian Dynamics to Topology of Phase Transitions." Entropy, 2024. - Wood, W.R. "Critical matter and geometric phase transitions." Physics Letters A, 2004. Sources: - https://www.mdpi.com/1099-4300/26/10/840 - https://www.sciencedirect.com/science/article/abs/pii/S0375960104001252 - https://www.sciencedirect.com/science/article/abs/pii/S0370157319303655 - https://link.aps.org/doi/10.1103/PhysRevE.107.064107 ================================================================================ 6. ORIGAMI MATHEMATICS AND COMPUTATIONAL ORIGAMI ================================================================================ FLAT FOLDABILITY: The mathematics of flat foldability is governed by several key theorems: - Kawasaki's theorem: Without specified crease directions, a single-vertex crease pattern is flat-foldable precisely if the alternate angles around the vertex sum to 180 degrees. - Maekawa's theorem: At any vertex, the number of valley and mountain creases must differ by exactly two (i.e., |M - V| = 2). COMPUTATIONAL COMPLEXITY: - Bern & Hayes (1996): The problem of assigning mountain and valley folds to a crease pattern to produce a flat origami from a flat sheet is NP-complete. - More generally, evaluating whether a given crease pattern folds into any flat origami is NP-hard. - Rigid foldability (whether origami can fold with rigid panels) has been shown to be NP-hard. THE FOLD-AND-CUT THEOREM: In 1998, Erik Demaine, Martin Demaine, and Anna Lubiw proved that any pattern of straight-line cuts can be made by folding and one complete straight cut. This means any shape with straight sides can be cut from a single sheet of paper by folding it flat and making a single straight complete cut. The proof was constructive. A second method (the Disc-Packing Method) was produced by Demaine, Bern, Eppstein, and Hayes. UNIVERSAL FOLDING ALGORITHM: In 2017, Erik Demaine (MIT) and Tomohiro Tachi (University of Tokyo) published a universal algorithm that generates practical paper-folding patterns to produce any 3D structure. RIGID ORIGAMI: Rigid origami studies whether folding can occur when paper is replaced by rigid panels (metal), connected only by hinges along creases. Intrinsic necessary and sufficient conditions for single-vertex origami crease patterns to fold rigidly have been developed. MIURA FOLD: Invented by Japanese astrophysicist Koryo Miura, the Miura fold forms a tessellation of the surface by parallelograms. Engineering advantages include: - Only one input required to deploy the structure. - A folded Miura fold can be packed compactly and unpacked in one motion. - In 1995, a solar panel with Miura fold design was unfolded on the Space Flyer Unit, a Japanese satellite. - Modern prototypes: 60 solar cells, ~388 Wp, compress area by approximately 8x (from 1.97 m^2 to 0.24 m^2 retracted). KEY REFERENCES: - Demaine, E. & O'Rourke, J. "Geometric Folding Algorithms: Linkages, Origami, Polyhedra." Cambridge University Press, 2007. - Hull, T. "Origametry." Cambridge University Press. - Demaine, E. "Folding and Unfolding." MIT course 6.885. Sources: - https://en.wikipedia.org/wiki/Mathematics_of_paper_folding - https://erikdemaine.org/foldcut/ - https://erikdemaine.org/folding/ - https://en.wikipedia.org/wiki/Miura_fold - https://par.nsf.gov/biblio/10209599 ================================================================================ 7. FRACTAL GEOMETRY AND SELF-SIMILARITY ACROSS SCALES ================================================================================ MANDELBROT'S FRAMEWORK: The term "fractal" was coined by Benoit Mandelbrot in 1975, based on his 1967 paper on self-similarity where he discusses fractional dimensions. A fractal is defined as a set for which the Hausdorff-Besicovitch dimension strictly exceeds the topological dimension. Self-similarity is also known as expanding symmetry or unfolding symmetry. HAUSDORFF DIMENSION: Introduced in 1918 by Felix Hausdorff, it is a measure of roughness or fractal dimension. For strictly self-similar fractals: D = log(N)/log(S), where N is the number of self-similar copies and S is the scaling factor. CLASSIC FRACTALS AND THEIR DIMENSIONS: - Cantor set: Hausdorff dimension ln(2)/ln(3) approximately 0.63. Topological dimension 0. Created by iteratively removing the middle third of intervals. - Koch curve: Hausdorff dimension approximately 1.2619. Generated by replacing the middle third of each line segment with two sides of an equilateral triangle. - Sierpinski triangle: Hausdorff dimension ln(3)/ln(2) approximately 1.58. Union of three copies of itself, each shrunk by factor 1/2. - Mandelbrot set: The boundary has Hausdorff dimension 2. - Menger sponge: Hausdorff dimension approximately 2.73. SELF-SIMILARITY PROPERTIES: - Exact self-similarity: The fractal is identical at all scales (Koch curve). - Quasi-self-similarity: The fractal appears approximately identical at different scales (Mandelbrot set). - Statistical self-similarity: The fractal has statistical measures preserved across scales (coastlines, Brownian motion). APPLICATIONS: Fractal geometry has applications in neuroscience, materials science, ecology, computer graphics, geology, and finance. Fractal dimensions are used to characterize irregular and self-similar patterns in natural objects including coastlines, mountain ranges, clouds, and biological structures. Sources: - https://en.wikipedia.org/wiki/Fractal - https://en.wikipedia.org/wiki/Fractal_dimension - https://en.wikipedia.org/wiki/Hausdorff_dimension - https://en.wikipedia.org/wiki/List_of_fractals_by_Hausdorff_dimension - https://maths-people.anu.edu.au/~john/Assets/Research%20Papers/fractals_self-similarity.pdf ================================================================================ 8. TOPOLOGY AND MANIFOLD THEORY ================================================================================ FUNDAMENTAL CONCEPTS: A manifold is a topological space that locally resembles Euclidean space. The study of manifolds combines ideas from topology, geometry, and analysis. EULER CHARACTERISTIC: The Euler characteristic chi(X) is a topological invariant. For polyhedra, V - E + F = 2 (Euler's formula). Generalization: for a surface of genus g, chi = 2 - 2g. For higher-dimensional cell complexes, the Euler characteristic is the alternating sum: chi = sum(-1)^i * c_i, where c_i is the number of i-cells. From algebraic topology: chi = sum(-1)^i * b_i, where b_i are the Betti numbers (ranks of homology groups). GAUSS-BONNET THEOREM: Links curvature to topology. For a compact 2D Riemannian manifold with boundary, the integral of Gaussian curvature K over the surface plus the integral of geodesic curvature along the boundary equals 2*pi*chi. The total integral of all curvatures remains the same no matter how the surface is deformed. The Chern-Gauss-Bonnet theorem generalizes this to higher even- dimensional Riemannian manifolds (Shiing-Shen Chern, 1944). A far-reaching generalization is the Atiyah-Singer Index Theorem. CLASSIFICATION RESULTS: - Compact surfaces are classified by genus and orientability. - Higher-dimensional classification uses surgery theory, cobordism, and other tools (see Sections 9, 10). Sources: - https://en.wikipedia.org/wiki/Euler_characteristic - https://en.wikipedia.org/wiki/Gauss%E2%80%93Bonnet_theorem - https://en.wikipedia.org/wiki/Chern%E2%80%93Gauss%E2%80%93Bonnet_theorem ================================================================================ 9. SURGERY THEORY AND COBORDISM ================================================================================ SURGERY THEORY: Surgery refers to cutting out parts of a manifold and replacing them with parts of another manifold, matching up along the cut or boundary. The idea is to start with a well-understood manifold and perform surgery to produce one having desired properties, such that effects on homology, homotopy groups, or other invariants are known. KEY RESULTS: - h-Cobordism theorem (Smale, 1960s): fundamental in high-dimensional manifold study. - Classification of exotic spheres (Milnor, Kervaire). - s-Cobordism theorem. - In most applications, the manifold comes with additional geometric structure (map to a reference space, bundle data). One wants surgery to endow the manifold with the same kind of additional structure. COBORDISM: Two manifolds belong to the same cobordism class if one can be obtained from the other by a sequence of spherical modifications. In geometric topology, cobordisms are intimately connected with Morse theory. A manifold can be obtained from another by a sequence of spherical modifications if and only if they belong to the same cobordism class. Sources: - https://en.wikipedia.org/wiki/Surgery_theory - https://en.wikipedia.org/wiki/Cobordism - https://math.uchicago.edu/~shmuel/tom-readings/Wall,%20Surgery%20on%20Compact%20Manifolds.pdf ================================================================================ 10. THURSTON GEOMETRIZATION AND EIGHT MODEL GEOMETRIES ================================================================================ THE GEOMETRIZATION CONJECTURE: Proposed by William Thurston, the conjecture states that every closed 3-manifold can be decomposed in a canonical way into pieces that each have one of eight types of geometric structure. Thurston classified these 8 model geometries, sometimes called Thurston geometries: THE EIGHT GEOMETRIES: Three isotropic types: 1. Spherical (S^3) 2. Euclidean (E^3) 3. Hyperbolic (H^3) Five anisotropic types: 4. S^2 x R 5. H^2 x R 6. SL(2,R) (universal cover) 7. Nil geometry 8. Sol geometry PERELMAN'S PROOF: In 2003, Grigori Perelman sketched a proof of the geometrization conjecture by extending Hamilton's Ricci flow program to include surgery whenever the Ricci flow produces singularities. Both the Poincare conjecture and Thurston's geometrization conjecture have been established through Perelman's work. HYPERBOLIC 3-MANIFOLDS: Hyperbolic geometry is the most rich and least understood of the eight geometries. Thurston's uniformization theorem for Haken manifolds implies that almost every knot K in S^3 is hyperbolic: the complement S^3 - K admits a complete hyperbolic structure of finite volume. The Mostow rigidity theorem states that the hyperbolic structure of a hyperbolic 3-manifold of finite volume is uniquely determined by its homotopy type, so geometric invariants such as volume define topological invariants. Thurston received the Fields Medal in 1982 partially for his proof of the geometrization conjecture for Haken manifolds. Sources: - https://en.wikipedia.org/wiki/Geometrization_conjecture - https://arxiv.org/abs/2005.12772 - https://people.math.harvard.edu/~ctm/papers/home/text/papers/evo/evo.pdf - https://arxiv.org/pdf/2002.00564 ================================================================================ 11. GOLDEN RATIO IN GEOMETRY ================================================================================ MATHEMATICAL PROPERTIES: The golden ratio phi = (1 + sqrt(5))/2 approximately 1.6180339887. It is the ratio of a regular pentagon's diagonal to its side and thus appears in the construction of the dodecahedron and icosahedron. The appearance in five-fold symmetry occurs because phi is intrinsically related to the number 5: a 360-degree circle divided into five equal sections produces a 72-degree angle, and cos(72 degrees) = (phi - 1)/2 = 1/(2*phi). GEOMETRIC APPEARANCES: - Pentagon: The diagonal-to-side ratio is phi. - Icosahedron: The vertices of three mutually orthogonal golden rectangles form a regular icosahedron. Two opposite edges of a regular icosahedron define a golden rectangle. - Dodecahedron: Constructed from golden ratio proportions. - Penrose tilings: Both kites and darts have sides in the golden ratio; the areas of the two tile shapes are also in the golden ratio; in an infinite plane, the ratio of darts to kites is the golden ratio. - Fibonacci sequence: The ratio of consecutive Fibonacci numbers converges to the golden ratio. Sources: - https://en.wikipedia.org/wiki/Golden_ratio - https://www.goldennumber.net/penrose-tiling/ - https://www.polyhedra-world.nc/gold_.htm ================================================================================ 12. PENROSE TILINGS AND APERIODIC ORDER ================================================================================ DISCOVERY: Roger Penrose discovered that two simple shapes (kites and darts, or thick and thin rhombs) can tile a surface infinitely without ever repeating. The tiles are constructed from shapes related to the pentagon (and hence to the golden ratio), supplemented by matching rules to ensure aperiodicity. PROPERTIES: - Non-periodic: The tiling never exactly repeats. - Long-range order: Despite non-periodicity, the tiling exhibits long-range order detectable by diffraction. - Self-similarity: Penrose tilings can be "inflated" and "deflated" at multiple scales, exhibiting a hierarchical structure. - Five-fold symmetry: The diffraction pattern shows ten-fold symmetry. - Golden ratio appears throughout: side lengths, areas, tile ratios. CONNECTION TO QUASICRYSTALS: Penrose tilings provided a mathematical model for quasicrystals before their experimental discovery. Coxeter's work on crystal symmetry inspired both Penrose tilings and Escher's hyperbolic tessellations. Sources: - https://en.wikipedia.org/wiki/Penrose_tiling - https://people.maths.ox.ac.uk/ritter/masterclasses/ritter-lectures-on-penrose-tilings.pdf - https://www.math.utah.edu/~treiberg/PenroseSlides.pdf ================================================================================ 13. THE APERIODIC MONOTILE (EINSTEIN TILE) ================================================================================ THE DISCOVERY (2023): In March 2023, David Smith, a mathematical hobbyist from Yorkshire, England, discovered a single shape -- an aperiodic monotile, also called "the hat" or "einstein" (from German "ein Stein" meaning "one stone"). Working with Craig Kaplan (University of Waterloo), Chaim Goodman-Strauss, and Joseph Samuel Myers, they proved the shape tiles the plane aperiodically. THE HAT: The hat is a 13-sided polygon that can tile the entire plane without ever forming a repeating pattern. It uses both rotations and reflections. THE SPECTRE (MAY 2023): A follow-up discovery produced a family of shapes called "spectres," each of which can tile the plane using only rotations and translations (no reflections needed). The Spectre is a "chiral" aperiodic monotile -- no tiling with unreflected copies has a repeating pattern. SIGNIFICANCE: This resolved a long-standing open problem in combinatorial geometry (the "einstein problem"): whether a single tile could force aperiodicity. Sources: - https://arxiv.org/abs/2303.10798 - https://cs.uwaterloo.ca/~csk/hat/ - https://en.wikipedia.org/wiki/Einstein_problem ================================================================================ 14. FIBONACCI SPIRALS AND PHYLLOTAXIS IN NATURE ================================================================================ PHYLLOTAXIS AND THE GOLDEN ANGLE: Most plant species show spiral phyllotaxis with the divergence angle close to the golden angle, 137.5 degrees, related to the Fibonacci sequence. In the vast majority of plants with spiral phyllotaxis, the number of parastichies follows Fibonacci numbers (e.g., sunflower heads: 55 clockwise and 34 counterclockwise spirals -- consecutive Fibonacci numbers). THE DOUADY-COUDER MODEL: The "standard model" of phyllotaxis was developed by physicists Stephane Douady and Yves Couder. The DC2 model postulates an inhibitory field emanated from each leaf primordium. Primordium initiation occurs when the inhibitory field falls below a threshold on the SAM (shoot apical meristem) periphery. Computer simulations with DC2 successfully produced all major types of phyllotaxis. KEY FINDINGS: - Both a constant divergence angle close to the golden angle and Fibonacci spirals emerge from the dynamic interaction between recently created organs. - The frequent occurrence of Fibonacci numbers in visible spirals is explained by the stability of fixed points in the dynamical system and the structure of their bifurcation diagram. - Fixed points correspond to spiral or helical lattices commonly occurring in plants. GEOMETRIC CANALIZATION: Recent research (Besnard et al., 2020) frames phyllotaxis as "geometric canalization during plant development" -- the geometry of the meristem constrains the pattern formation process, channeling it toward Fibonacci patterns. Sources: - https://pmc.ncbi.nlm.nih.gov/articles/PMC10764405/ - https://www.biorxiv.org/content/10.1101/2023.02.13.528401v1.full - https://journals.biologists.com/dev/article/147/19/dev165878/225951/ - https://mathworld.wolfram.com/Phyllotaxis.html ================================================================================ 15. CRYSTALLOGRAPHY AND LATTICE GEOMETRY ================================================================================ BRAVAIS LATTICES: A Bravais lattice is a category of translative symmetry groups in three directions. There are 14 Bravais lattices in three dimensions, classified into 7 crystal systems: triclinic, monoclinic, orthorhombic, tetragonal, trigonal, hexagonal, and cubic. SPACE GROUPS: Normal crystal structures can be described by one of the 230 space groups, which describe the rotational and translational symmetry elements present in the structure. In 1992, the International Union of Crystallography altered its definition of a crystal to acknowledge both periodic and aperiodic ordering. LATTICE GEOMETRY: Each Bravais lattice consists of translations by vectors n1*a1 + n2*a2 + n3*a3 where n_i are integers and a_i are three non-coplanar primitive vectors. Sources: - https://en.wikipedia.org/wiki/Crystal_system - https://en.wikipedia.org/wiki/Quasicrystal ================================================================================ 16. QUASICRYSTALS ================================================================================ SHECHTMAN'S DISCOVERY: In 1982, Dan Shechtman observed unusual diffractograms in rapidly solidified Al-Mn alloy, exhibiting icosahedral symmetry (five-fold rotational symmetry), previously thought impossible in crystallography. This earned him the 2011 Nobel Prize in Chemistry. MATHEMATICAL STRUCTURE: - Quasicrystal structures show long-range order but no translational periodicity. - Key insight: quasiperiodic order can be modeled as a projection from higher dimensions. A slice through a perfect periodic lattice in six dimensions at an irrational angle produces, in the three-dimensional intersection, icosahedral symmetry -- fivefold rotations, order without repetition. - Related to Penrose tilings as 2D analogues of quasicrystalline order. CRYSTALLOGRAPHIC IMPACT: In 1992, the International Union of Crystallography redefined "crystal" to mean any solid with a clear-cut diffraction pattern, acknowledging that ordering can be either periodic or aperiodic. Sources: - https://en.wikipedia.org/wiki/Quasicrystal - https://pmc.ncbi.nlm.nih.gov/articles/PMC4865295/ - http://jcrystal.com/steffenweber/qc.html ================================================================================ 17. GEOMETRIC ALGEBRA AND CLIFFORD ALGEBRAS ================================================================================ DEFINITION: A geometric algebra (Clifford algebra) is an algebra generated by a vector space with a quadratic form. It is built from two fundamental operations: addition and the geometric product. Multiplication of vectors produces higher- dimensional objects called multivectors (scalars, vectors, bivectors, etc.). HISTORICAL DEVELOPMENT: - Hermann Grassmann (1840s): developed exterior algebra. - William Kingdon Clifford (1878): expanded Grassmann's work to form Clifford algebras. - David Hestenes (1960s): repopularized the term "geometric algebra" and advocated its importance to relativistic physics. APPLICATIONS: - Physics: spacetime algebra, electromagnetic theory, quantum mechanics, relativity, spinor theory. - Geometry: projective geometry, orthogonal maps, rotations and transformations. - Computer science: computer graphics, robotics, computer vision. - Every Lie algebra can be represented as a bivector algebra; hence every Lie group can be represented as a spin group. COMPUTATIONAL ADVANTAGES: Geometric algebra offers significant advantages over traditional vector algebra for handling rotations and transformations in any number of dimensions. It unifies and extends concepts from linear algebra, complex numbers, quaternions, and differential forms. Sources: - https://arxiv.org/abs/0907.5356 - https://en.wikipedia.org/wiki/Geometric_algebra - https://en.wikipedia.org/wiki/Clifford_algebra - https://math.mit.edu/~dunkel/Teach/18.S996_2022S/books/Hestenes-Sobczyk1984_Book_CliffordAlgebraToGeometricCalc.pdf ================================================================================ 18. CONFORMAL GEOMETRY AND CONFORMAL MAPPINGS ================================================================================ DEFINITION: Conformal geometry is the study of the set of angle-preserving (conformal) transformations on a space. In two real dimensions, conformal geometry is precisely the geometry of Riemann surfaces. RIEMANN SURFACES: Riemann surfaces are one-dimensional complex manifolds. Every simply connected Riemann surface is conformally equivalent to one of three: the open unit disk, the complex plane, or the Riemann sphere (Uniformization Theorem). RIEMANN MAPPING THEOREM: Any simply connected, open subset of the complex plane (not the entire plane) can be mapped conformally onto any other such subset. CONFORMAL MAPPINGS IN HIGHER DIMENSIONS: In two dimensions, the (orientation-preserving) conformal mappings are precisely the locally invertible complex analytic functions. There are far fewer conformal maps in higher dimensions (Liouville's theorem: in dimensions >= 3, conformal maps are Mobius transformations). APPLICATIONS: Conformal mapping is applied in aerospace engineering, biomedical sciences (brain mapping, genetic mapping), earth sciences (geophysics, cartography), image processing, and fluid dynamics. Sources: - https://en.wikipedia.org/wiki/Conformal_geometry - https://en.wikipedia.org/wiki/Conformal_map - https://en.wikipedia.org/wiki/Riemann_mapping_theorem ================================================================================ 19. PROJECTIVE GEOMETRY AND PERSPECTIVE ================================================================================ HISTORICAL DEVELOPMENT: - Pappus of Alexandria (3rd century): first projective properties discovered. - Filippo Brunelleschi (1425): began investigating geometry of perspective. - Johannes Kepler & Girard Desargues: independently developed "point at infinity." - Joseph Gergonne (1825): noted the principle of duality; independently discovered by Jean-Victor Poncelet. - 19th century: Poncelet, Lazare Carnot established projective geometry as independent field. Rigorously founded by Karl von Staudt, perfected by Peano, Pieri, Padoa, and Fano. DUALITY PRINCIPLE: Given any theorem of projective plane geometry, substituting "point" for "line," "lie on" for "pass through," "collinear" for "concurrent," "intersection" for "join" (or vice versa) yields another valid theorem. Example: "Two distinct points determine a unique line" dualizes to "Two distinct lines determine a unique point." UNIFYING ROLE: Projective geometry was emphasized as the unifying frame for all other geometries by Felix Klein. Euclidean geometry is more restrictive than affine geometry, which is more restrictive than projective geometry. Sources: - https://en.wikipedia.org/wiki/Projective_geometry - https://en.wikipedia.org/wiki/Duality_(projective_geometry) - https://www.encyclopedia.com/science/encyclopedias-almanacs-transcripts-and-maps/projective-geometry-leads-unification-all-geometries ================================================================================ 20. NON-EUCLIDEAN GEOMETRY ================================================================================ TYPES: Non-Euclidean geometry arises by replacing the parallel postulate with alternatives: - Hyperbolic geometry: Through a point not on a line, there are infinitely many parallel lines. Negative curvature. Visualized on saddle-shaped surfaces. Sum of angles in a triangle < 180 degrees. - Elliptic/Spherical geometry: Through a point not on a line, there are no parallel lines. Positive curvature. Sum of angles in a triangle > 180 degrees. PHYSICAL APPLICATIONS: - General Relativity: Hyperbolic geometry plays an important role in Einstein's theory. Minkowski (1908) introduced worldlines and proper time. - Cosmology: A universe of subcritical density has hyperbolic geometry; supercritical density has spherical geometry. - Navigation: Pilots and ship captains use spherical geometry to calculate geodesics (shortest paths) across the Earth's surface. HYPERBOLIC TESSELLATIONS: There are infinitely many regular tessellations of the hyperbolic plane. If 1/n + 1/k < 1/2, then {n,k} is a hyperbolic tessellation. Escher's Circle Limit series (inspired by Coxeter) are artistic representations of hyperbolic tessellations in the Poincare disk model. Sources: - https://en.wikipedia.org/wiki/Non-Euclidean_geometry - https://en.wikipedia.org/wiki/Hyperbolic_geometry - https://eschermath.org/wiki/Hyperbolic_Geometry.html ================================================================================ 21. THE ERLANGEN PROGRAM ================================================================================ OVERVIEW: Published by Felix Klein in 1872 at the University of Erlangen-Nuremberg, the Erlangen program is a method of characterizing geometries based on group theory and projective geometry. Klein proposed that group theory was the most useful way of organizing geometrical knowledge. CORE PRINCIPLE: Each geometry is defined by its symmetry group -- the group of transformations that preserve the geometry's invariants. The hierarchy of geometries corresponds to an inclusion of transformation groups: topology (homeomorphisms) contains projective (projective transformations) contains affine (affine transformations) contains Euclidean (isometries). IMPACT: - Unified disparate geometries (Euclidean, affine, projective, hyperbolic) into a single framework. - Deeply influenced differential geometry, mathematical physics, quantum theory. - When topology is described in terms of properties invariant under homeomorphism, the underlying Erlangen idea is in operation. - Developed in close collaboration with Sophus Lie (met in Berlin, 1869). Sources: - https://en.wikipedia.org/wiki/Erlangen_program - https://ncatlab.org/nlab/show/Erlangen+program - https://people.maths.ox.ac.uk/hitchin/files/LectureNotes/Projective_geometry/Chapter_4_The_Klein_programme.pdf ================================================================================ 22. GEOMETRIC UNFOLDING IN PHYSICS (GAUGE THEORY, FIBER BUNDLES) ================================================================================ FIBER BUNDLES AS PHYSICAL FOUNDATION: Gauge fields in Yang-Mills theory, electromagnetism, QED, and QCD are globally connections on principal bundles or their associated bundles. Fiber bundles provide the data to globally twist functions on spacetime. GAUGE PRINCIPLE: The gauge principle states that we may never strictly identify any two phenomena in physics but must always ask for gauge transformations connecting them. A local gauge transformation is a change of basis for internal spaces at each spacetime point. MATHEMATICAL FRAMEWORK: Both general relativity and Yang-Mills theory may be conceived as theories of a principal connection on a principal bundle over spacetime. Hermann Weyl tried to geometrize Maxwell's theory in the spirit of Einstein, opening the doors to gauge theories which Yang and Mills generalized to non-abelian gauge groups. CARTAN GEOMETRY: Cartan geometries are deformed analogues of Klein geometries. A Cartan geometry extends a Klein geometry by attaching to each point of a manifold a copy of a Klein geometry, treating it as tangent to the manifold. The flat Cartan geometries (zero curvature) are locally equivalent to homogeneous spaces. Cartan connections supply parallel transport between infinitesimal model spaces. EHRESMANN CONNECTIONS: An infinitesimal connection on a fiber bundle involves splitting the tangent space into vertical and horizontal bundles. The language of connections on fiber bundles encompasses Ehresmann connections on principal bundles, Koszul connections on vector bundles, and Cartan connections on Klein geometry bundles. Sources: - https://ncatlab.org/nlab/show/fiber+bundles+in+physics - https://arxiv.org/pdf/1607.03089 - https://philsci-archive.pitt.edu/11146/1/Fiber_bundles_YM_and_GR.pdf - https://en.wikipedia.org/wiki/Cartan_connection - https://arxiv.org/pdf/gr-qc/0611154 ================================================================================ 23. DIFFERENTIAL GEOMETRY IN GENERAL RELATIVITY ================================================================================ RIEMANNIAN MANIFOLDS: Riemannian geometry studies smooth manifolds with a Riemannian metric (inner product on tangent space at each point varying smoothly). For general relativity, pseudo-Riemannian (Lorentzian) manifolds are used, where one diagonal metric entry is negative. CURVATURE: The Riemann tensor encodes all curvature information and involves second derivatives of the metric. It allows mathematical determination of whether a space is flat or curved, and quantifies the curvature in any region. EINSTEIN FIELD EQUATIONS: G_mu_nu + Lambda * g_mu_nu = (8*pi*G/c^4) * T_mu_nu The Einstein field equations describe how mass and energy (stress-energy tensor) relate to spacetime curvature (Einstein tensor). Solutions are spacetime metrics. The equations are nonlinear, making exact solutions very difficult. REGGE CALCULUS: Introduced by Tullio Regge in 1961, Regge calculus produces simplicial approximations of spacetimes satisfying the Einstein equations. It replaces continuous spacetime with triangulated structures (simplicial complexes), with geometry described by edge lengths and "deficit angles" measuring deviation from flatness. Applications: numerical simulation of black hole collisions, quantum gravity via path integral formulations. Sources: - https://en.wikipedia.org/wiki/Mathematics_of_general_relativity - https://www.damtp.cam.ac.uk/user/tong/gr/grhtml/S3.html - https://en.wikipedia.org/wiki/Regge_calculus ================================================================================ 24. KALUZA-KLEIN THEORY AND EXTRA DIMENSIONS ================================================================================ OVERVIEW: Kaluza-Klein theory attempts to unify gravitation and electromagnetism through a fifth spatial dimension beyond conventional four-dimensional spacetime. The extra dimension is compact (a tiny circle), and the technique of introducing compact dimensions is called compactification. THE KALUZA MIRACLE: The electromagnetic stress-energy tensor emerges from the 5D vacuum equations as a source in the 4D equations, demonstrating how electromagnetic fields arise from gravitational geometry alone. GAUGE SYMMETRY EMERGENCE: Yang-Mills theory in 4 dimensions arises with gauge group corresponding to the isometry of the extra-dimensional manifold. A circle yields electromagnetism coupled to gravity. The theory generalizes to general principal G-bundles for arbitrary Lie groups. DIMENSIONAL REDUCTION: Charge space and gauge symmetry can be interpreted as reflecting the existence of compactified extra dimensions. This concept generalizes: higher-dimensional spacetimes can be decomposed into 4D spacetime plus compact internal spaces, with the geometry of the internal space determining the observed gauge symmetries and particle content. Sources: - https://en.wikipedia.org/wiki/Kaluza%E2%80%93Klein_theory - https://arxiv.org/pdf/gr-qc/9805018 - https://ncatlab.org/nlab/show/Kaluza-Klein+mechanism - https://web.stanford.edu/~bvchurch/assets/files/talks/Kaluza-Klein.pdf ================================================================================ 25. GEOMETRIC QUANTIZATION ================================================================================ FRAMEWORK: Geometric quantization is a mathematical approach to defining a quantum theory corresponding to a given classical theory, proposed by Bertram Kostant and Jean-Marie Souriau. It works on a very wide class of symplectic manifolds. CONSTRUCTION STEPS: 1. Prequantization: Associates to a symplectic manifold M the Hilbert space of square-integrable sections of a complex line bundle L over M. Maps smooth functions on M to differential operators. The line bundle L (prequantum line bundle) has a connection whose curvature form is the symplectic structure. 2. Polarization: Choice of an integrable distribution on M that selects an irreducible subspace. A polarized section satisfies nabla_X s = 0 for all vector fields X in the polarization P. 3. Metaplectic correction: Replaces square-integrable sections by half- densities, necessary because the subspace of polarized sections can be too small or empty in basic cases. 4. Quantum Hilbert space: The space of sections of L that are covariantly constant in the direction of the polarization. SIGNIFICANCE: Geometric quantization maintains manifest analogies between classical and quantum theories. It is coordinate-free and geometrically natural. Sources: - https://en.wikipedia.org/wiki/Geometric_quantization - https://ncatlab.org/nlab/show/geometric+quantization - https://www.mathematik.uni-muenchen.de/~schotten/GEQ/GEQ.pdf - https://math.berkeley.edu/~alanw/GofQ.pdf ================================================================================ 26. SYMMETRY BREAKING AND GEOMETRIC TRANSITIONS ================================================================================ SPONTANEOUS SYMMETRY BREAKING: A system's ground state does not share the symmetry of the underlying equations. The vacuum state transitions geometrically: below critical temperature, non-zero magnetization occurs (SO(3) -> SO(2)). The system has a family of vacua related by rotations; the choice of a particular vacuum breaks the symmetry. THE HIGGS MECHANISM: Essential for generating mass in the Standard Model. Without it, all bosons would be massless. The mechanism involves spontaneous breaking of gauge symmetry: Nambu-Goldstone bosons are absorbed by gauge bosons, which acquire mass. The W+, W-, and Z0 bosons have relatively large masses due to this mechanism. GEOMETRIC NATURE: The order parameter field acquires an expectation value that is not invariant under the symmetry group. The potential energy landscape has a "Mexican hat" shape (for U(1) breaking), with a circle of minima. The geometric structure of the vacuum manifold (the space of degenerate ground states) determines the topological defects that can form. ADE CLASSIFICATION: Vladimir Arnold gave some of the catastrophes (related to symmetry breaking) the ADE classification, reflecting deep connections with simple Lie groups. Sources: - https://en.wikipedia.org/wiki/Spontaneous_symmetry_breaking - https://en.wikipedia.org/wiki/Higgs_mechanism - https://www.math.ru.nl/~landsman/SSB.pdf - https://arxiv.org/html/2512.04741v1 ================================================================================ 27. BERRY PHASE AND GEOMETRIC PHASE IN QUANTUM MECHANICS ================================================================================ DEFINITION: The geometric phase (Berry phase) is a phase difference acquired over a cycle when a system undergoes cyclic adiabatic processes. It results from the geometrical properties of the parameter space of the Hamiltonian. FORMULATIONS: - Aharonov-Bohm phase: Phase from vector potential in region with zero field. - Berry phase (1984): Adiabatic cyclic evolution of quantum states. - Pancharatnam phase: Generalization for nonclosed loops / noncyclic evolution, originally for light polarization. HOLONOMY CONNECTION: The geometric phase is an example of holonomy -- failure of parallel transport around closed cycles to preserve geometric information. It occurs whenever there are at least two parameters characterizing a wave near some singularity or hole in the topology. APPLICATIONS: Geometric phase is influential in condensed-matter physics, optics, high-energy physics, particle physics, fluid mechanics, gravity, and cosmology. Topological transitions of the generalized Pancharatnam-Berry phase have been studied in various contexts. Sources: - https://en.wikipedia.org/wiki/Geometric_phase - https://www.nature.com/articles/s42254-019-0071-1 - https://arxiv.org/abs/1912.12596 ================================================================================ 28. MORPHOGENESIS AND BIOLOGICAL PATTERN FORMATION ================================================================================ TURING'S FRAMEWORK (1952): Alan Turing's paper "The Chemical Basis of Morphogenesis" described how patterns (stripes, spots) can arise spontaneously from a homogeneous state through reaction-diffusion systems. Two or more interacting chemical species with different diffusion rates can induce spontaneous spatial patterns (Turing instability). THE MECHANISM: Substance P (activator) promotes production of both P and substance S (inhibitor). S inhibits P production. If S diffuses more readily than P, sharp concentration waves form. The interplay between differential diffusion and chemical reaction creates Turing instability. BIOLOGICAL APPLICATIONS: - Animal coat patterns (leopard spots, zebra stripes) - Fingerprint formation - Kidney and lung branching morphogenesis - Mouse tooth patterning - The concept of morphogens (diffusing chemical signals) is central to developmental biology PROTEIN FOLDING GEOMETRY: Protein structure prediction is a related geometric challenge. The folding problem has a static aspect (predicting native structure from amino acid sequence) involving potential energy optimization and global minimization, and a dynamic aspect involving molecular dynamics simulation. AlphaFold (DeepMind) achieved breakthroughs in structure prediction using deep neural networks incorporating physical and biological knowledge about protein structure. Sources: - https://en.wikipedia.org/wiki/Turing_pattern - https://www.nature.com/articles/s43588-022-00306-0 - https://journals.biologists.com/dev/article/149/24/dev200974/286110/ - https://www.nature.com/articles/s41586-021-03819-2 ================================================================================ 29. REACTION-DIFFUSION SYSTEMS AND CHEMICAL WAVES ================================================================================ BELOUSOV-ZHABOTINSKY (BZ) REACTIONS: A classical example of non-equilibrium thermodynamics showing that chemical reactions can exhibit self-organization far from equilibrium. In petri dishes, BZ reactions produce colored spots growing into expanding concentric rings or spirals. OBSERVED PATTERNS: - Turing patterns - Packet waves and standing waves - Antispirals and segmented spirals - Accelerating waves and oscillons - Three-dimensional scroll waves (in thicker solution layers) MATHEMATICAL ANALYSIS: - Hopf bifurcation causes equilibrium instability and births self-oscillation. - Cooperative action of reaction and diffusion generates chemical waves. - The Oregonator model provides quantitative predictions of wave velocity with strong Arrhenius temperature dependence. - The system resembles the ideal Turing pattern from reaction-diffusion equations. Sources: - https://en.wikipedia.org/wiki/Belousov%E2%80%93Zhabotinsky_reaction - http://www.scholarpedia.org/article/Belousov-Zhabotinsky_reaction - https://pmc.ncbi.nlm.nih.gov/articles/PMC7898267/ ================================================================================ 30. D-BRANES, EXTRA DIMENSIONS, AND STRING THEORY COMPACTIFICATION ================================================================================ COMPACTIFICATION: String theory requires 10-dimensional spacetime. In Kaluza-Klein compactification, the extra 6 (or 7) dimensions are described by a compact manifold, while the 4 extended dimensions are standard 4D flat space. CALABI-YAU MANIFOLDS: A Calabi-Yau manifold is a Ricci-flat Kahler manifold with applications in superstring theory. In 1985, Edward Witten, Philip Candelas, Gary Horowitz, and Andrew Strominger used Calabi-Yau manifolds to compactify the extra six dimensions. These manifolds preserve handedness of particles and sufficient supersymmetry to replicate aspects of the Standard Model. GEOMETRIC IMPLICATIONS: The geometry of the folded dimensions gives rise to different types of observable particles. If the Calabi-Yau has three holes (higher-dimensional analogues), three families of particles are predicted -- matching the Standard Model. D-BRANES: In braneworld models, the Calabi-Yau may be large but matter is confined to a D-brane (a lower-dimensional submanifold). In the B-model of topological string theory, D-branes are complex submanifolds of a Calabi-Yau. Submanifolds can exist in various dimensions. Sources: - https://en.wikipedia.org/wiki/Calabi%E2%80%93Yau_manifold - https://homes.psd.uchicago.edu/~sethi/Teaching/P484-W2004/calabi-yau.pdf - https://arxiv.org/pdf/hep-th/9702155 ================================================================================ 31. MIRROR SYMMETRY ================================================================================ HOMOLOGICAL MIRROR SYMMETRY (KONTSEVICH): Maxim Kontsevich conjectured (1994) that mirror symmetry for a pair of Calabi- Yau manifolds X and Y could be explained as an equivalence of triangulated categories: the derived category of coherent sheaves on X (algebraic geometry) and the derived Fukaya category of Y (symplectic geometry). SIGNIFICANCE: This provides an unexpected bridge between complex geometry and symplectic geometry. Mirror symmetry exchanges the complex structure and symplectic structure on mirror pairs. SYZ CONJECTURE: Strominger, Yau, and Zaslow proposed that mirror symmetry can be understood via special Lagrangian torus fibrations, providing a geometric picture of the duality. VERIFICATION: Only in a few examples has the conjecture been fully verified. Kontsevich noted it could be proved for elliptic curves using theta functions; Polishchuk and Zaslow provided such a proof. Sources: - https://en.wikipedia.org/wiki/Homological_mirror_symmetry - https://en.wikipedia.org/wiki/Mirror_symmetry_(string_theory) - https://www.claymath.org/wp-content/uploads/2022/03/Mirror-Symmetry.pdf ================================================================================ 32. AdS/CFT CORRESPONDENCE AND THE HOLOGRAPHIC PRINCIPLE ================================================================================ THE CORRESPONDENCE: The AdS/CFT correspondence (Maldacena, 1998) conjectures an exact equivalence between string theory on anti-de Sitter space and a conformal field theory on its boundary. The most studied example: N=4 supersymmetric Yang-Mills theory in 3+1 dimensions and type IIB superstring theory on AdS5 x S5. HOLOGRAPHIC PRINCIPLE: Proposed by Gerard 't Hooft and Leonard Susskind, the holographic principle states that the description of a volume of space can be encoded on a lower- dimensional boundary. All information in the bulk is coded at its border. GEOMETRIC DIMENSIONAL REDUCTION: The boundary of anti-de Sitter space has fewer dimensions than AdS itself. The theories are conjectured to be exactly equivalent despite living in different numbers of dimensions. This suggests spacetime and gravity may be emergent from more fundamental non-gravitational degrees of freedom on a lower-dimensional boundary. Sources: - https://en.wikipedia.org/wiki/AdS/CFT_correspondence - https://en.wikipedia.org/wiki/Holographic_principle - https://arxiv.org/abs/hep-th/9912139 ================================================================================ 33. LOOP QUANTUM GRAVITY AND SPIN FOAMS ================================================================================ LOOP QUANTUM GRAVITY (LQG): LQG is a background-independent quantization of general relativity. Its main prediction: the spectra of geometrical operators (area and volume) are discrete, with discreteness becoming important at the Planck scale (~10^{-35} m). PLANCK-SCALE GEOMETRY: LQG provides a physical picture of the microstructure of quantum spacetime characterized by Planck-scale discreteness, mathematically realizing Wheeler's "spacetime foam" intuition. SPIN FOAMS: A spin foam formulates a path integral summation over quantized, discrete spacetime geometries. Transition amplitudes between quantum states of geometry are represented as histories of spin networks -- graphs encoding quantized areas and volumes at the Planck scale. RELATED FORMALISMS: Group field theory, causal spin networks, and other approaches are at the roots of or strictly related to LQG. Sources: - https://en.wikipedia.org/wiki/Loop_quantum_gravity - https://pmc.ncbi.nlm.nih.gov/articles/PMC5256093/ - https://pmc.ncbi.nlm.nih.gov/articles/PMC5255902/ ================================================================================ 34. PENROSE TWISTOR THEORY ================================================================================ OVERVIEW: Introduced by Roger Penrose in 1967, twistor theory reformulates spacetime geometry and quantum field equations using complex manifolds called twistor spaces. The primary goal: bridging general relativity and quantum mechanics by treating light rays as more fundamental than spacetime points. TWISTOR SPACE: Twistor space is the complex three-dimensional projective space CP^3. This is most naturally understood as the space of chiral (Weyl) spinors for the conformal group SO(4,2)/Z_2 of Minkowski spacetime, the fundamental representation of the spin group SU(2,2). THE PENROSE TRANSFORM: Establishes a correspondence between solutions of massless field equations in spacetime and cohomology classes in twistor space. Especially natural for massless fields of arbitrary spin. APPLICATIONS: - Differential and integral geometry - Nonlinear differential equations - Representation theory - Scattering amplitudes in particle physics - Connection to the amplituhedron (see Section 55) Sources: - https://en.wikipedia.org/wiki/Twistor_theory - https://arxiv.org/abs/1712.02196 - https://www.maths.ox.ac.uk/groups/mathematical-physics/research-areas/twistor-theory-scattering-amplitudes ================================================================================ 35. CATEGORY THEORY AND GEOMETRIC STRUCTURES ================================================================================ SHEAVES: A sheaf is a tool for systematically tracking data (sets, abelian groups, rings) attached to the open sets of a topological space. Geometric structures such as differentiable manifolds or schemes can be expressed in terms of sheaves of rings. Vector bundles and divisors are naturally specified as sheaves. TOPOS THEORY: A topos is a category that behaves like the category of sheaves of sets on a topological space. Grothendieck topoi find applications in algebraic geometry; elementary topoi are used in logic. A topos completely defines its own mathematical framework, generalizing notions of space and logic. GROTHENDIECK TOPOLOGY: A structure on a category C making objects act like open sets of a topological space. A category with a Grothendieck topology is called a site. FOUNDATIONAL SIGNIFICANCE: From the perspective of Grothendieck (geometry) and Lawvere (logic), a topos is an arena for mathematical discourse. It has all features of the set-theoretical universe needed for mathematical construction, but as a strictly categorical notion. Sources: - https://en.wikipedia.org/wiki/Topos - https://en.wikipedia.org/wiki/Sheaf_(mathematics) - https://en.wikipedia.org/wiki/Grothendieck_topology - https://ncatlab.org/nlab/show/Sheaves+in+Geometry+and+Logic ================================================================================ 36. COMPUTATIONAL GEOMETRY AND MESH UNFOLDING ================================================================================ SURFACE PARAMETERIZATION: A fundamental task in geometry processing. Methods involve decomposing a 3D surface into discrete patches, building correspondence between 3D meshes and 2D isomorphic counterparts through piecewise mapping, and minimizing distortion. KEY METHODS: - Angle-Based Flattening: Defines flattening as a constrained optimization problem in terms of angles only, minimizing relative angle deformation. - Physically-Based Methods: Transfer surface to mass-spring system, flatten by unwrapping and spreading forces, dissipate curvature difference. - Conformal Flattening: Preserves angles, permits only uniform change in length. Boundary First Flattening (BFF) provides full control over target shape. APPLICATIONS: Surface flattening for texture mapping, mesh generation (finite element method), manufacturing (sheet metal unfolding), garment design, and 3D printing. Sources: - https://geometry-central.net/surface/algorithms/parameterization/ - https://people.eecs.berkeley.edu/~jrs/meshpapers/ShefferPraunRose.pdf - https://arxiv.org/pdf/1704.06873 ================================================================================ 37. TOPOLOGICAL DATA ANALYSIS AND PERSISTENT HOMOLOGY ================================================================================ OVERVIEW: Topological Data Analysis (TDA) is premised on the idea that the shape of datasets contains relevant information. It combines algebraic topology with applied mathematics. PERSISTENT HOMOLOGY: The main tool. It constructs a nested sequence of simplicial complexes (filtration), computes homology at each stage, and tracks which topological features (connected components, loops, voids) persist across scales. The result is a "barcode" or "persistence diagram" summarizing the data's multi-scale shape. MATHEMATICAL FOUNDATION: PH is robust to perturbations, independent of dimensions and coordinates, and provides compact representation of qualitative features. From algebraic topology: the Euler-Poincare formula links Betti numbers to the Euler characteristic. ADVANCED TECHNIQUES: - Persistent topological Laplacians and Dirac operators - Persistent de Rham cohomology - Persistent Hodge Laplacian and Hodge decomposition - Discrete Morse theory for computational efficiency SOFTWARE: javaPlex, Dionysus, Perseus, PHAT, DIPHA, GUDHI, Ripser, TDAstats. APPLICATIONS: Data skeletonization, shape study, graph reconstruction, image analysis, materials science, disease progression, sensor networks, cosmic web, complex networks, fractal geometry, viral evolution, financial crash early warning, bacteria classification, super-resolution microscopy. Sources: - https://en.wikipedia.org/wiki/Topological_data_analysis - https://www.frontiersin.org/journals/artificial-intelligence/articles/10.3389/frai.2021.667963/full - https://link.springer.com/article/10.1140/epjds/s13688-017-0109-5 ================================================================================ 38. VORONOI TESSELLATIONS AND DELAUNAY TRIANGULATIONS ================================================================================ VORONOI DIAGRAM: A partition of a plane where each seed has a cell consisting of all points closer to that seed than any other. Voronoi diagrams arise naturally whenever something grows at uniform rate from separate points. DELAUNAY TRIANGULATION: The dual graph of the Voronoi diagram. It subdivides the convex hull of a point set into triangles whose circumcircles contain no other points. In 2D, if two triangles share an edge in the Delaunay triangulation, their circumcenters are connected in the Voronoi diagram. NATURAL PATTERNS: - Giraffe coat patterns (melanin-secreting cells growing outward) - Onion skin cells - Jackfruit shells - Biological tissue fibers - Bee hives APPLICATIONS: - Finite element method mesh generation - Computer animations and 3D modeling - GIS terrain analysis - Robotics route planning - Hydrology (rainfall estimation) - Ecology (forest canopy growth patterns) - Zoology (animal territory modeling) Sources: - https://en.wikipedia.org/wiki/Voronoi_diagram - https://en.wikipedia.org/wiki/Delaunay_triangulation - https://www.csun.edu/~ctoth/Handbook/chap27.pdf ================================================================================ 39. MINIMAL SURFACES AND SOAP FILMS ================================================================================ DEFINITION: A minimal surface has zero mean curvature everywhere -- the surface of smallest area bounded by a closed curve. Physical models: soap films formed by dipping wire frames in soap solution. THE PLATEAU PROBLEM: Proposed by Lagrange in 1760, named after physicist Joseph Plateau: given a smooth closed curve in space, does a surface of minimal area bounded by it exist? Jesse Douglas won the first Fields Medal (1936) for proving existence. Jean Taylor later proved Plateau's empirical laws mathematically. KEY HISTORICAL RESULTS: - 1776: Meusnier discovered the helicoid and catenoid as zero-mean-curvature surfaces. - The helicoid, catenoid, and plane are the classical minimal surfaces. - The Young-Laplace equation relates mean curvature to pressure difference. OPEN PROBLEMS: Whether there exists a closed curve bounding infinitely many minimal surfaces remains unknown. The theory of minimal surfaces continues to have many interesting unsolved problems. Sources: - https://en.wikipedia.org/wiki/Minimal_surface - https://pi.math.cornell.edu/~mec/Summer2009/Fok/introduction.html - https://www.hklaureateforum.org/en/soap-films-minimal-surfaces-and-beyond ================================================================================ 40. GEOMETRIC FLOWS (RICCI, MEAN CURVATURE, WILLMORE) ================================================================================ RICCI FLOW: Identified by Richard Hamilton in 1982, the Ricci flow evolves a Riemannian metric in a way similar to the heat equation, "smoothing" the geometry. Key properties: - Hamilton proved: any smooth closed 3-manifold with positive Ricci curvature admits a unique Thurston geometry (spherical metric). - Perelman (2002-2003) extended Hamilton's program with surgery techniques to prove the Thurston geometrization conjecture and the Poincare conjecture. - The flow usually deforms toward rounder shape, except where singularities form. Surgery chops the manifold at singularities; separate pieces form ball-like shapes. MEAN CURVATURE FLOW: A parabolic PDE where the velocity of a surface point is given by the mean curvature at that point. Interpreted as "smoothing." - Huisken's theorem: Every smooth convex surface collapses to a point, converging to spherical shape. - For 1D: the Gage-Hamilton-Grayson theorem (curve-shortening flow). - Develops singularities except in special cases. WILLMORE FLOW: The L^2-gradient flow of the Willmore energy (integral of squared mean curvature). A highly nonlinear 4th-order PDE system. Applications in differential geometry, image reconstruction, and mathematical biology. Used in surface reconstruction and de-noising. Sources: - https://en.wikipedia.org/wiki/Ricci_flow - https://www.claymath.org/wp-content/uploads/2022/03/Ricci-pdf.pdf - https://en.wikipedia.org/wiki/Mean_curvature_flow ================================================================================ 41. CATASTROPHE THEORY ================================================================================ OVERVIEW: Developed by Rene Thom in the 1960s, catastrophe theory analyzes how continuous variations in parameters can produce discontinuous changes in a system's state. It draws on singularity theory and topology. THE SEVEN ELEMENTARY CATASTROPHES: For potential functions with <= 2 active variables and <= 4 active parameters, there are exactly 7 generic bifurcation geometries: 1. Fold (codimension 1) 2. Cusp (codimension 2) 3. Swallowtail (codimension 3) 4. Butterfly (codimension 4) 5. Hyperbolic umbilic (codimension 3) 6. Elliptic umbilic (codimension 3) 7. Parabolic umbilic (codimension 4) MATHEMATICAL FRAMEWORK: - Classification relies on analyzing equivalence classes of singularities under diffeomorphisms. - Singularities are generic and stable under perturbation. - Bifurcation sets are where qualitative changes occur. - Vladimir Arnold gave the catastrophes an ADE classification, reflecting deep connections with simple Lie groups. KEY REFERENCE: Thom, R. "Structural Stability and Morphogenesis" (1972). Sources: - https://en.wikipedia.org/wiki/Catastrophe_theory - https://people.math.wisc.edu/~jwrobbin/catastrophe/catastrophe_talk.pdf - https://encyclopediaofmath.org/wiki/Thom_catastrophes ================================================================================ 42. HOPF FIBRATION ================================================================================ DEFINITION: Discovered by Heinz Hopf in 1931, the Hopf fibration describes a 3-sphere as a fiber bundle of circles over a 2-sphere. Each distinct point of S^2 maps from a distinct great circle of S^3. It is locally a product space but not globally trivial. KEY PROPERTIES: - Each fiber (circle) is linked with every other fiber exactly once (Hopf link). - The collection of fibers over a circle in S^2 is a torus. - Stereographic projection induces nested tori made of linking Villarceau circles filling all of 3-space (except the z-axis). - S^3 is homeomorphic to the union of two solid tori sharing a common boundary. GENERALIZATIONS: Four fiber bundles exist where total space, base space, and fiber are all spheres, corresponding to the four normed division algebras: - Real: S^1 -> S^1 -> RP^1 - Complex: S^3 -> S^2 (Hopf fibration) with fiber S^1 - Quaternionic: S^7 -> S^4 with fiber S^3 - Octonionic: S^15 -> S^8 with fiber S^7 APPLICATIONS: The state space of a pure qubit is S^3. The Hopf map projects this onto the Bloch sphere (observable states). Sources: - https://en.wikipedia.org/wiki/Hopf_fibration - https://nilesjohnson.net/hopf-articles/Lyons_Elem-intro-Hopf-fibration.pdf - https://www.dynamicmath.xyz/hopf-fibration/ ================================================================================ 43. GAUSS-BONNET THEOREM AND GENERALIZATIONS ================================================================================ CLASSICAL THEOREM: For a compact 2D Riemannian manifold with boundary: integral(K dA) + integral(k_g ds) = 2*pi*chi(M) where K is Gaussian curvature, k_g is geodesic curvature of the boundary, and chi(M) is the Euler characteristic. The total curvature is a topological invariant. CHERN-GAUSS-BONNET (HIGHER DIMENSIONS): Shiing-Shen Chern (1944) generalized to higher even-dimensional Riemannian manifolds. This was the first proof without assuming embedding in Euclidean space. The formula is only defined for even dimensions (Euler characteristic vanishes for odd dimensions). ATIYAH-SINGER INDEX THEOREM: A far-reaching generalization where the index of an elliptic operator is expressed in terms of characteristic classes including the Euler class. Sources: - https://en.wikipedia.org/wiki/Gauss%E2%80%93Bonnet_theorem - https://en.wikipedia.org/wiki/Chern%E2%80%93Gauss%E2%80%93Bonnet_theorem ================================================================================ 44. SPINOR GEOMETRY ================================================================================ SPINORS AND ROTATIONS: A spinor transforms to its negative under a 360-degree rotation of space; it takes 720 degrees to return to the original state. For a rotation angle theta, a spinor rotates by theta/2. SU(2) AS DOUBLE COVER OF SO(3): SU(2) is the universal covering group of SO(3). Even-weight representations correspond to ordinary SO(3) representations; odd-weight representations correspond to spinorial (projective) representations. DIRAC EQUATION: The Dirac equation for relativistic quantum mechanics uses 4-component spinors in 4D spacetime. The coefficients must transform as spinors under coordinate changes for the equation to remain invariant. GEOMETRIC ALGEBRA PERSPECTIVE: When spinors are defined as elements of the even subalgebra of a real geometric algebra, algebraic, geometric, and physical methods are unified. Every Lie algebra can be represented as a bivector algebra, so every Lie group can be represented as a spin group. Sources: - https://en.wikipedia.org/wiki/Spinor - https://en.wikipedia.org/wiki/Spinors_in_three_dimensions - https://www.researchgate.net/publication/222669703_The_Construction_of_Spinors_in_Geometric_Algebra ================================================================================ 45. SYMPLECTIC GEOMETRY AND HAMILTONIAN MECHANICS ================================================================================ PHASE SPACE: The state of a classical mechanical system is described by positions (q) and momenta (p) in phase space. For n particles, phase space is R^{6n}. SYMPLECTIC MANIFOLDS: A symplectic manifold (M, omega) is a 2n-dimensional manifold with a closed, nondegenerate 2-form omega. The symplectic form measures oriented areas (analogous to how the metric tensor measures lengths and angles). HAMILTONIAN MECHANICS: The Hamiltonian H (energy function) induces a Hamiltonian vector field on the symplectic manifold. The symplectic structure induces a Poisson bracket, giving the space of functions a Lie algebra structure. Hamilton's equations become intrinsically geometric. SIGNIFICANCE: Symplectic geometry is why classical mechanics naturally gives way to quantum mechanics: the Poisson bracket becomes the commutator, geometric quantization builds quantum mechanics from the symplectic structure. Sources: - https://en.wikipedia.org/wiki/Symplectic_geometry - https://www.math.columbia.edu/~woit/qftnotes2.pdf - https://cohn.mit.edu/symplectic/ ================================================================================ 46. INFORMATION GEOMETRY ================================================================================ DEFINITION: Information geometry applies differential geometry to study probability theory and statistics. Statistical manifolds are Riemannian manifolds whose points are probability distributions. FISHER INFORMATION METRIC: A Riemannian metric on smooth statistical manifolds that calculates distances between probability distributions. It endows parameter spaces with intrinsic geometric structure -- distances, angles, geodesics, curvature are all meaningful. SPECIAL STRUCTURES: - Exponential families have a Hessian metric and two flat affine connections with a canonical Bregman divergence. - Amari discovered dually flat geometry within statistical manifolds using non- Levi-Civita connections. - The geometry extends beyond the Fisher metric to include cubic and higher- order tensor structures. APPLICATIONS: Statistical inference, machine learning, neural networks, information theory, thermodynamics. Sources: - https://en.wikipedia.org/wiki/Information_geometry - https://en.wikipedia.org/wiki/Fisher_information_metric - https://pmc.ncbi.nlm.nih.gov/articles/PMC7650632/ ================================================================================ 47. LIE GROUPS AND CONTINUOUS SYMMETRY ================================================================================ DEFINITION: Named after Sophus Lie (1842-1899), Lie groups are smooth manifolds that are also groups. They lie at the intersection of algebra and geometry. MOTIVATION: Lie wanted to model continuous symmetries of differential equations, as finite groups model discrete symmetries of algebraic equations (Galois theory). APPLICATIONS TO DIFFERENTIAL EQUATIONS: Symmetry group methods can reduce the number of independent variables in PDEs and reduce the order of ODEs. Much of the known solution methods are special cases of the general Lie symmetry method. PHYSICS: All fundamental forces -- gravity, electromagnetism, strong and weak nuclear forces -- are defined by Lie group symmetries (diffeomorphism group, U(1), SU(3), SU(2), respectively). Sources: - https://en.wikipedia.org/wiki/Lie_group - https://www.quantamagazine.org/what-are-lie-groups-20251203/ - https://arxiv.org/html/1901.01543v10 ================================================================================ 48. COXETER GROUPS AND REFLECTION SYMMETRY ================================================================================ DEFINITION: Coxeter groups (H. S. M. Coxeter, 1934) are abstract groups that admit descriptions in terms of reflections. Each generator has order 2 (reflection performed twice = identity). Finite Coxeter groups are precisely the finite Euclidean reflection groups. CLASSIFICATION: Classified using Coxeter diagrams (nodes = generators, edges = relations). Types include: - A_n, B_n, D_n, E_6, E_7, E_8, F_4, G_2, H_3, H_4, I_2(n) - The A, B, D, E series correspond to Weyl groups of simple Lie algebras. - The D_n, E_6, E_7, E_8 types are symmetry groups of semiregular polytopes. ROOT SYSTEMS: A normalized root system R is a finite subset of a vector space, normalized so that s_alpha(beta) is in R for all alpha, beta in R. The reflection formula: s_alpha(lambda) = lambda - (lambda, alpha)*alpha. CONNECTIONS: Coxeter groups connect combinatorics, geometry, and representation theory. Root systems, Weyl groups, affine Weyl groups, invariant theory, and Kazhdan- Lusztig polynomials all intersect through Coxeter theory. Sources: - https://en.wikipedia.org/wiki/Coxeter_group - https://www.math.ru.nl/~heckman/CoxeterGroups.pdf - https://people.math.osu.edu/davis.12/papers/Davis-MSC.pdf ================================================================================ 49. SPHERE PACKING ================================================================================ KEPLER CONJECTURE (1611): No arrangement of equally sized spheres filling space has greater average density than face-centered cubic and hexagonal close packing. Density: pi/(3*sqrt(2)) approximately 74.05%. HALES' PROOF (1998): Thomas Hales proved the Kepler conjecture by exhaustion, minimizing a function with 150 variables and solving about 100,000 linear programming problems. The proof was computer-assisted; referees were "99% certain" of correctness. In 2014, the Flyspeck project completed a formal computer-verified proof. HIGHER DIMENSIONS: - Dimension 8: Maryna Viazovska proved optimal packing in 2016 (using the E8 lattice). This quickly led to a solution in dimension 24 (Leech lattice). - Optimal packing in dimensions other than 1, 2, 3, 8, and 24 remains open. Sources: - https://en.wikipedia.org/wiki/Kepler_conjecture - https://annals.math.princeton.edu/wp-content/uploads/annals-v162-n3-p01.pdf - https://arxiv.org/html/2402.08032v1 ================================================================================ 50. PLATONIC SOLIDS AND REGULAR POLYTOPES ================================================================================ PLATONIC SOLIDS (3D): Exactly five convex regular polyhedra: - Tetrahedron (4 triangular faces), dual of itself - Cube (6 square faces), dual of octahedron - Octahedron (8 triangular faces), dual of cube - Dodecahedron (12 pentagonal faces), dual of icosahedron - Icosahedron (20 triangular faces), dual of dodecahedron Only three symmetry groups (each polyhedron shares with its dual): - Tetrahedral: 24 symmetries - Octahedral: 48 symmetries - Icosahedral: 120 symmetries REGULAR 4-POLYTOPES: Six convex regular 4-polytopes: 1. 5-cell (pentachoron) -- analogue of tetrahedron 2. 8-cell (tesseract) -- analogue of cube 3. 16-cell (hexadecachoron) -- analogue of octahedron 4. 24-cell -- unique to 4D (transitional form) 5. 120-cell -- analogue of dodecahedron 6. 600-cell -- analogue of icosahedron DIMENSION 5+: Exactly three regular polytopes in each higher dimension (n >= 5): the regular simplex, the measure polytope (hypercube), and the cross polytope. No higher- dimensional regular polytopes contain pentagons. SYMMETRY GROUPS: All symmetry groups of 4-polytopes are Coxeter groups. The biggest unifying theme: finite reflection groups. Sources: - https://en.wikipedia.org/wiki/Platonic_solid - https://en.wikipedia.org/wiki/Regular_4-polytope - https://math.ucr.edu/home/baez/platonic.html ================================================================================ 51. WEYL GEOMETRY AND CONFORMAL RESCALING ================================================================================ WEYL TRANSFORMATION: A local rescaling of the metric tensor: g_mu_nu(x) -> Omega^2(x) * g_mu_nu(x), producing another metric in the same conformal class. HISTORICAL CONTEXT: Hermann Weyl (1918) introduced this as part of an attempt to unify gravity and electromagnetism. In Weyl geometry, both the orientation and the length of vectors vary under parallel transport (unlike Riemannian geometry, where only orientation varies). WEYL GEOMETRY: A consistent generalization of Riemannian geometry. Lengths are relative, not absolute. Physical quantities are independent of any local choice of unit system. MODERN APPLICATIONS: Recent work explores Weyl conformal geometry as a gauge theory of the Weyl group (Poincare + dilatation symmetries). Masses become geometric quantities. Applications to fundamental physics including conformal formulations of the Standard Model. Sources: - https://en.wikipedia.org/wiki/Weyl_transformation - https://arxiv.org/pdf/1801.03178 - https://link.springer.com/article/10.1140/epjc/s10052-020-7639-x ================================================================================ 52. PROTEIN FOLDING GEOMETRY ================================================================================ THE FOLDING PROBLEM: The static problem: predicting folded (native, tertiary) structure from amino acid sequence. Involves potential energy function selection, parameter fitting, and global optimization. MATHEMATICAL MODELS: - Molecular dynamics: solution of ODEs or stochastic differential equations. - Wako-Saito-Munoz-Eaton (WSME) model: coarse-grained structure-based model calculating free energy landscapes. - Geometric computation of packing, side-chain volumes, and interactions is essential in molecular modeling. DEEP LEARNING BREAKTHROUGH: AlphaFold (DeepMind) achieved highly accurate protein structure prediction using deep neural networks incorporating physical and biological knowledge. It leverages multi-sequence alignments and geometric constraints. Sources: - https://en.wikipedia.org/wiki/Protein_structure_prediction - https://www.nature.com/articles/s41586-021-03819-2 - https://epubs.siam.org/doi/10.1137/S0036144594278060 ================================================================================ 53. DIFFERENTIAL FORMS AND EXTERIOR ALGEBRA ================================================================================ DEFINITION: Differential forms provide a coordinate-independent approach to multivariable calculus on manifolds. A k-form can be integrated over an oriented k-manifold. 1-forms measure infinitesimal oriented length; 2-forms measure infinitesimal oriented area. EXTERIOR PRODUCT: The fundamental operation on differential forms (wedge product, symbol ^). Alternating and associative. Built on Grassmann's exterior algebra. STOKES' THEOREM (GENERALIZED): Green's theorem, the divergence theorem, and classical Stokes' theorem all generalize to a single theorem relating the exterior derivative and integration over submanifolds: integral(M, d*omega) = integral(dM, omega). APPLICATIONS: Differential forms are the natural language for electromagnetism (Maxwell's equations), thermodynamics, fluid mechanics, and general relativity. Elie Cartan's exterior differential calculus (circa 1900) remains foundational. Sources: - https://en.wikipedia.org/wiki/Differential_form - https://pi.math.cornell.edu/~sjamaar/manifolds/manifold.pdf - https://math.mit.edu/classes/18.952/2018SP/files/18.952_book.pdf ================================================================================ 54. PENROSE DIAGRAMS AND CONFORMAL COMPACTIFICATION ================================================================================ DEFINITION: A Penrose diagram is a 2D diagram capturing causal relations between spacetime points through conformal treatment of infinity. The conformal factor is chosen so infinite spacetime maps to a finite diagram with infinity on the boundary. CONFORMAL COMPACTIFICATION: Conformal transformations preserve angles but not distances. By mapping the infinite boundary onto finite regions, the asymptotic structure of spacetime becomes analyzable. CAUSAL STRUCTURE: Light rays travel at 45-degree angles in Penrose diagrams, facilitating analysis of causal relationships. Diagonal boundary lines correspond to null infinity (or singularities). Corners represent spacelike and timelike conformal infinities. APPLICATIONS: Analyzing black hole spacetimes, cosmological models, and the global causal structure of solutions to Einstein's equations. Sources: - https://en.wikipedia.org/wiki/Penrose_diagram - https://phys.libretexts.org/Bookshelves/Relativity/General_Relativity_(Crowell)/07:_Symmetries/7.03:_Penrose_Diagrams_and_Causality - https://link.springer.com/chapter/10.1007/978-3-030-10919-6_8 ================================================================================ 55. THE AMPLITUHEDRON AND POSITIVE GEOMETRY ================================================================================ DISCOVERY: Introduced in 2013 by Nima Arkani-Hamed and Jaroslav Trnka, the amplituhedron is a geometric object whose volume encodes scattering amplitudes in quantum field theory. KEY INSIGHT: Locality and unitarity arise as consequences of positivity, encoded in the positive geometry of the amplituhedron. Calculations proceed without assuming quantum mechanical properties of locality and unitarity as fundamental inputs. COMPARISON TO FEYNMAN DIAGRAMS: The amplituhedron approach simplifies scattering amplitude calculations because locality is implicit rather than manifest (as in Feynman diagrams), making computations significantly more efficient. BROADER IMPLICATIONS: The amplituhedron provides a concrete example of a theory where spacetime and quantum mechanics are emergent rather than fundamental. The program of "positive geometry" has expanded to cosmological correlators and other areas. Sources: - https://en.wikipedia.org/wiki/Amplituhedron - https://arxiv.org/abs/1312.2007 - https://www.quantamagazine.org/physicists-discover-geometry-underlying-particle-physics-20130917/ ================================================================================ 56. EULER CHARACTERISTIC AS TOPOLOGICAL INVARIANT ================================================================================ CLASSICAL FORMULA: For convex polyhedra: V - E + F = 2. Generalization: V - E + F = 2 - 2g for surfaces of genus g. The Euler characteristic is independent of how the surface is deformed (topological invariant). HIGHER DIMENSIONS: For combinatorial cell complexes: chi = sum(-1)^i * c_i (alternating sum of cell counts). The Euler-Poincare formula links this to homology: chi = sum(-1)^i * b_i, where b_i = rank(H_i(X)) are Betti numbers. APPLICATIONS: Classification of Platonic solids, proof of the four-color theorem setup, network theory, DNA topology, and countless areas of pure and applied mathematics. Sources: - https://en.wikipedia.org/wiki/Euler_characteristic - https://plus.maths.org/content/eulers-polyhedron-formula ================================================================================ 57. MODULI SPACES ================================================================================ DEFINITION: A moduli space is a geometric space whose points represent isomorphism classes of algebro-geometric objects. These arise as solutions to classification problems, parametrizing objects by coordinates on the resulting space. RIEMANN SURFACE MODULI: - Riemann first proved results about moduli spaces of algebraic curves. - Teichmuller space describes "marked" Riemann surfaces; the analytic moduli space is obtained by quotienting by the mapping class group. - Deligne-Mumford moduli space provides compactification of the moduli space of Riemann surfaces. - Algebraic stacks were introduced by Deligne-Mumford (1969) to prove irreducibility of the moduli space of curves of a given genus. BROADER CONTEXT: Moduli spaces appear throughout mathematics: algebraic geometry, differential geometry, mathematical physics, and string theory (moduli spaces of instantons, vector bundles, and Calabi-Yau manifolds). Sources: - https://en.wikipedia.org/wiki/Moduli_space - https://web.ma.utexas.edu/users/benzvi/math/pcm0178.pdf - https://websites.umich.edu/~alexmw/CourseNotes.pdf ================================================================================ 58. DIMENSIONAL ANALYSIS AND SCALING LAWS ================================================================================ BUCKINGHAM PI THEOREM: If n variables contain m primary dimensions (M, L, T), the equation relating them has (n - m) dimensionless groups. First proved by Joseph Bertrand (1878), widely popularized by Rayleigh and Buckingham. GEOMETRIC SCALING: The theorem formalizes the observation that physics laws are independent of unit systems. Dimensional analysis reduces complex physical problems by exploiting dimensional homogeneity. APPLICATIONS: Fluid mechanics, engineering, physics, botany, social sciences, and any field where scaling relationships between variables must be established from incomplete knowledge of governing equations. Sources: - https://en.wikipedia.org/wiki/Buckingham_pi_theorem - https://ocw.mit.edu/courses/mechanical-engineering/2-25-advanced-fluid-mechanics-fall-2013/dimensional-analysis/ ================================================================================ END OF COMPILATION ================================================================================ NOTES ON METHODOLOGY: This research was compiled from academic literature, survey papers, textbooks, and authoritative online sources (Wikipedia, nLab, MathWorld, arXiv, AMS, Springer, Nature, Cambridge University Press, etc.). All data represents the state of the literature as reported in the sources consulted. No editorial conclusions or synthesis across domains was performed. Where quantitative results are stated, they reflect published findings. ACTIVE RESEARCH FRONTIERS IDENTIFIED: - Durer's conjecture remains open (Section 1) - Sphere packing in dimensions other than 1,2,3,8,24 (Section 49) - Homological mirror symmetry verified in few cases (Section 31) - Loop quantum gravity: discreteness of geometry at Planck scale (Section 33) - Amplituhedron: spacetime as emergent from geometry (Section 55) - Topological data analysis: rapidly expanding applied field (Section 37) - Minimal surfaces: bounded by curves with infinitely many solutions? (Sec 39) - Geometric phase transitions: topological hypothesis (Section 5) - Protein folding: deep learning vs. geometric approaches (Section 52) - Aperiodic monotile generalizations and higher dimensions (Section 13) ================================================================================