All units

1828 units total · 1828 shown

IDTitleSection
00.01.01Real numbers, integers, rationalsPrecalculus foundations
00.01.02Absolute value and the triangle inequalityPrecalculus foundations
00.01.03Polynomials and rational expressionsPrecalculus foundations
00.01.E1Algebra and number-systems exercise pack (Lang Basic Mathematics Part I-II supplement)Precalculus foundations
00.02.05FunctionPrecalculus foundations
00.03.01Linear equations and the linePrecalculus foundations
00.03.02Quadratic equations and the quadratic formulaPrecalculus foundations
00.03.E1Functions, trigonometry, and coordinate-geometry exercise pack (Lang Basic Mathematics Part III-V supplement)Precalculus foundations
00.04.01Inequalities (linear and quadratic)Precalculus foundations
00.05.01Real exponents and exponential functionPrecalculus foundations
00.05.02Logarithms as inverses of exponentialsPrecalculus foundations
00.05.03Complex numbers (introductory)Precalculus foundations
00.06.01Right-triangle trigonometryPrecalculus foundations
00.06.02Inverse trigonometric functionsPrecalculus foundations
00.06.03Law of sines and law of cosinesPrecalculus foundations
00.07.01Unit-circle trigonometryPrecalculus foundations
00.07.02Trigonometric identities: sum, difference, and double-anglePrecalculus foundations
00.08.01Trigonometric identities (addition formulas)Precalculus foundations
00.08.02Law of sines and law of cosinesPrecalculus foundations
00.09.01Cartesian coordinates and distance in the planePrecalculus foundations
00.10.01Conic sections (parabola, ellipse, hyperbola)Precalculus foundations
00.11.01Polar coordinates and parametric curvesPrecalculus foundations
00.11.02Conic-section parametrisations and intersectionsPrecalculus foundations
00.12.01Mathematical inductionPrecalculus foundations
00.12.02Binomial theorem and Pascal's trianglePrecalculus foundations
00.13.01Plane geometry (distance, area, pi)Precalculus foundations
00.13.02Solid geometry (volume)Precalculus foundations
01.01.01FieldAlgebra & linear algebra
01.01.02Dual space and double dualAlgebra & linear algebra
01.01.03Vector spaceAlgebra & linear algebra
01.01.04Subspace, basis, dimensionAlgebra & linear algebra
01.01.05Linear transformation: kernel, image, rank-nullityAlgebra & linear algebra
01.01.06Systems of linear equations and the Kronecker-Capelli theoremAlgebra & linear algebra
01.01.07Determinant: axiomatic + expansion + propertiesAlgebra & linear algebra
01.01.08Eigenvalue, eigenvector, characteristic polynomialAlgebra & linear algebra
01.01.09Gram-Schmidt orthonormalisation and finite-dim inner-product spaceAlgebra & linear algebra
01.01.10Adjoint operator and isometry on a finite-dimensional inner-product spaceAlgebra & linear algebra
01.01.11Jordan canonical form and minimal polynomialAlgebra & linear algebra
01.01.12Singular value decomposition (finite-dim)Algebra & linear algebra
01.01.13Spectral theorem for normal operators on a finite-dim inner-product space (principal-axes theorem)Algebra & linear algebra
01.01.14Rayleigh quotient and the Courant-Fischer min-max characterisation of eigenvaluesAlgebra & linear algebra
01.01.15Bilinear form / quadratic formAlgebra & linear algebra
01.01.16Invariant subspaces and the primary decompositionAlgebra & linear algebra
01.01.17Change of basis and the transformation lawsAlgebra & linear algebra
01.01.18Linear manifolds, hyperplanes, and affine subspacesAlgebra & linear algebra
01.01.19Simultaneous diagonalisation of two quadratic forms and the generalised eigenvalue problemAlgebra & linear algebra
01.01.E1Linear algebra exercise pack (Apostol Vol. 2 Ch. 1-5 supplement)Algebra & linear algebra
01.02.01GroupAlgebra & linear algebra
01.02.02Subgroup, coset, quotient group, isomorphism theoremsAlgebra & linear algebra
01.02.03Group action, orbit-stabiliser, class equationAlgebra & linear algebra
01.02.04Sylow theoremsAlgebra & linear algebra
01.02.05Solvable group, nilpotent group, Jordan-Holder theoremAlgebra & linear algebra
01.02.06Ring, ring homomorphism, and idealAlgebra & linear algebra
01.02.07Polynomial rings, PIDs, UFDs, and Euclidean domainsAlgebra & linear algebra
01.02.08Localisation of a commutative ringAlgebra & linear algebra
01.02.09Category, functor, natural transformation, the Yoneda lemma, and adjunctionAlgebra & linear algebra
01.02.10Tensor product of modules (commutative case)Algebra & linear algebra
01.02.11Exact sequence, short five lemma, snake lemmaAlgebra & linear algebra
01.02.12Algebraic field extension, degree, splitting fieldAlgebra & linear algebra
01.02.13Fundamental Theorem of Galois Theory (finite case)Algebra & linear algebra
01.02.14Semisimple rings, the Artin-Wedderburn structure theorem, the Jacobson radicalAlgebra & linear algebra
01.02.15Galois cohomology, Hilbert's Theorem 90, and the Brauer group of a fieldAlgebra & linear algebra
01.02.16Nakayama's lemmaAlgebra & linear algebra
01.02.17Hilbert basis theorem; Noetherian rings and modulesAlgebra & linear algebra
01.02.19Tensor algebra, exterior algebra, symmetric algebraAlgebra & linear algebra
01.02.20Free group, free product, group presentationAlgebra & linear algebra
01.02.22Krull dimension; Krull's principal ideal theoremAlgebra & linear algebra
01.02.30Chain complex in an abelian categoryAlgebra & linear algebra
01.02.31Chain homotopy and the homotopy category Algebra & linear algebra
01.02.32Mapping cone of a chain map and the distinguished triangleAlgebra & linear algebra
01.02.33Abelian category and Grothendieck axioms AB1-AB5Algebra & linear algebra
01.02.35Dold-Kan correspondenceAlgebra & linear algebra
02.01.01Topological spaceAnalysis
02.01.02Continuous mapAnalysis
02.01.05Metric spaceAnalysis
02.01.06Quotient and identification topologyAnalysis
02.01.07Fibration (Hurewicz and Serre)Analysis
02.01.08Cofibration and homotopy extension propertyAnalysis
02.01.09Compact-open topology and function spacesAnalysis
02.01.10Fibre Homotopy Equivalence and Dold's TheoremAnalysis
02.01.E1Point-set topology and the fundamental groupoid exercise pack (Brown, Topology and Groupoids supplement)Analysis
02.02.01Real-number axioms (ordered field)Analysis
02.03.02Cauchy sequences and Bolzano-WeierstrassAnalysis
02.03.03Infinite series: convergence and the standard testsAnalysis
02.04.01Step-function integral and the Darboux integralAnalysis
02.04.03Integrability of continuous functions on [a,b]Analysis
02.04.04Fundamental theorems of calculus (FTC1 and FTC2)Analysis
02.04.06Improper integrals and the comparison testAnalysis
02.05.01Multi-variable limit and continuityAnalysis
02.05.02Mean value theorem (Rolle, Lagrange, Cauchy)Analysis
02.05.03Chain rule for multi-variable functionsAnalysis
02.05.04Implicit and inverse function theoremsAnalysis
02.05.05Taylor's theorem and extrema in several variablesAnalysis
02.05.E1Multivariable calculus exercise pack (Apostol Vol. 2 Ch. 8-9 supplement)Analysis
02.06.01Logarithm as an integralAnalysis
02.06.02n-th-order linear ODE with constant coefficientsAnalysis
02.06.03Systems of linear ODEs and the matrix exponentialAnalysis
02.06.04Hyperbolic functionsAnalysis
02.06.E1Ordinary differential equations exercise pack (Apostol Vol. 2 Ch. 6-7 supplement)Analysis
02.07.01Sigma-algebra, Measurable Space, and the Borel Sigma-algebraAnalysis
02.07.02Lebesgue Outer Measure and the Carathéodory ConstructionAnalysis
02.07.03Measurable Functions, Simple Functions, Egorov's Theorem, and Lusin's TheoremAnalysis
02.07.04Lebesgue Integral Construction and the Monotone Convergence TheoremAnalysis
02.07.05Fatou's Lemma and the Dominated Convergence TheoremAnalysis
02.07.06L^p Spaces: Hölder, Minkowski, and Riesz-Fischer CompletenessAnalysis
02.07.07Fubini-Tonelli Theorem and Product MeasuresAnalysis
02.07.08Absolute Continuity and the Radon-Nikodym TheoremAnalysis
02.07.09The Whitney Extension Theorem and the Whitney Cube DecompositionAnalysis
02.07.10Rademacher's theoremAnalysis
02.07.11The Area and Coarea FormulasAnalysis
02.07.E1Geometric measure theory exercise pack (Whitney / Federer Ch. 2-3 supplement)Analysis
02.08.01First-order linear and separable ODEsAnalysis
02.08.02Second-order linear ODEs with constant coefficientsAnalysis
02.09.01Complex numbers and Euler's formulaAnalysis
02.10.01Fourier Series and the Riemann-Lebesgue LemmaAnalysis
02.10.04Fourier Transform on R^n and the Plancherel TheoremAnalysis
02.10.05Surface integral and parametric surfacesAnalysis
02.10.06The Bochner-Minlos theorem and characteristic functionals on nuclear spacesAnalysis
02.10.07The Radon transform: inversion, Plancherel, and the range theoremAnalysis
02.10.E1Vector calculus exercise pack (Apostol Vol. 2 Ch. 10-12 supplement)Analysis
02.11.01Bounded linear operatorsAnalysis
02.11.02Hahn-Banach theorem (analytic and geometric forms)Analysis
02.11.03Unbounded self-adjoint operatorsAnalysis
02.11.04Banach space fundamentalsAnalysis
02.11.05Compact operatorsAnalysis
02.11.06Normed vector spaceAnalysis
02.11.07Inner product spaceAnalysis
02.11.08Hilbert spaceAnalysis
02.11.09Open mapping and closed graph theoremsAnalysis
02.12.01Phase space, vector field, integral curveAnalysis
02.12.02Phase flow / one-parameter group Analysis
02.12.05Rectification (straightening) of a vector fieldAnalysis
02.12.08Lyapunov stability (direct method)Analysis
02.12.10Poincaré-Bendixson theoremAnalysis
02.12.12First integrals / conserved quantitiesAnalysis
02.12.13Inhomogeneous linear ODE / variation of constantsAnalysis
02.12.14Limit cycle and Liénard / Van der Pol systemsAnalysis
02.12.17Bifurcation theory pointerAnalysis
02.12.E1Qualitative theory of ODEs exercise pack (Arnold Ch. 2-3 supplement)Analysis
02.13.01Laplace Equation, Harmonic Functions, Mean-Value Property, and Maximum PrincipleAnalysis
02.13.02Poisson Equation, Fundamental Solution, and Newtonian PotentialAnalysis
02.13.03Heat Equation, Heat Kernel, and Duhamel's PrincipleAnalysis
02.13.04Wave Equation, d'Alembert Solution, Spherical Means, and Huygens PrincipleAnalysis
02.13.05Whitney deformation theoremAnalysis
02.13.06The Cauchy-Kovalevskaya Theorem and Holmgren UniquenessAnalysis
02.13.07Rectifiable currentsAnalysis
02.13.11Slicing of currentsAnalysis
02.13.E1Integration and currents exercise pack (Whitney Ch. I, IX, XI supplement)Analysis
02.14.01Wave-front set of a distributionAnalysis
02.14.02Pseudo-differential operators on a manifoldAnalysis
02.14.03Propagation of singularities along Hamiltonian flowAnalysis
02.14.04The theory of distributions and the Schwartz kernel theoremAnalysis
02.14.05Rigged Hilbert space (Gel'fand triple) and the nuclear spectral theoremAnalysis
02.15.01Brownian motion and the Wiener processAnalysis
02.15.02The Itô integral and Itô's formulaAnalysis
02.15.03Stochastic differential equations, diffusions, and the infinitesimal generatorAnalysis
02.15.04The Feynman-Kac formulaAnalysis
02.15.05The Stratonovich Integral and Stratonovich CalculusAnalysis
02.16.01Sobolev Inequalities: the Gagliardo-Nirenberg-Sobolev and Morrey InequalitiesAnalysis
02.16.02Trace and Extension Theorems for Sobolev FunctionsAnalysis
02.16.03The Rellich-Kondrachov Compactness Theorem and the Poincaré InequalitiesAnalysis
02.16.04Lax-Milgram and Existence of Weak Solutions of Elliptic Boundary-Value ProblemsAnalysis
02.16.05The Fredholm Alternative and Eigenvalues for Second-Order Elliptic OperatorsAnalysis
02.17.01Interior and Boundary H^2 Regularity of Weak Elliptic SolutionsAnalysis
02.17.02Maximum Principles for General Second-Order Elliptic OperatorsAnalysis
02.17.03The Alexandrov-Bakelman-Pucci EstimateAnalysis
02.17.04Schauder Theory: Interior and Boundary C^{2,alpha} EstimatesAnalysis
02.17.05The Classical Dirichlet Problem via the Method of ContinuityAnalysis
02.17.06Lp (Calderón-Zygmund) W^{2,p} Estimates for Elliptic EquationsAnalysis
02.17.07De Giorgi-Nash-Moser Theory: Local Boundedness and Holder Continuity of Weak SolutionsAnalysis
02.17.08The Harnack Inequality for Elliptic Equations (Moser and Krylov-Safonov)Analysis
02.17.09Quasilinear Elliptic Equations: Gradient Estimates and Existence by Leray-SchauderAnalysis
02.18.01Galerkin Existence and Energy Estimates for Second-Order Parabolic EquationsAnalysis
02.18.02Galerkin Existence and Finite Propagation Speed for Second-Order Hyperbolic EquationsAnalysis
02.18.03C0-Semigroups and the Hille-Yosida TheoremAnalysis
02.18.04The Direct Method of the Calculus of VariationsAnalysis
02.18.05Viscosity Solutions of Hamilton-Jacobi EquationsAnalysis
02.18.06Scalar Conservation Laws: Shocks, Rankine-Hugoniot, and Entropy SolutionsAnalysis
02.19.01The Hardy-Littlewood Maximal Function and the Vitali Covering LemmaAnalysis
02.19.02The Calderón-Zygmund DecompositionAnalysis
02.19.03Calderón-Zygmund Singular Integral Operators: Lp BoundednessAnalysis
02.19.04The Riesz TransformsAnalysis
02.19.05Riesz and Bessel Potentials and the Hardy-Littlewood-Sobolev InequalityAnalysis
02.20.01BMO and the John-Nirenberg InequalityAnalysis
02.20.02Real-Variable Hardy Spaces H^p and the Atomic DecompositionAnalysis
02.20.03Littlewood-Paley Theory and the Square FunctionAnalysis
02.20.04Fourier Multipliers and the Hörmander-Mikhlin TheoremAnalysis
02.20.05Oscillatory Integrals and the Method of Stationary PhaseAnalysis
02.21.01Dispersive Decay Estimates for the Schrödinger and Wave PropagatorsAnalysis
02.21.02Strichartz Estimates via the TT* MethodAnalysis
02.21.03Local Well-Posedness for Semilinear NLS/NLW via Strichartz ContractionAnalysis
02.21.04Conservation Laws, Global Well-Posedness, and the Energy-Critical ProblemAnalysis
02.21.05Bourgain X^{s,b} Spaces and Low-Regularity Well-PosednessAnalysis
02.21.06Virial Identities, Blowup, and the Soliton-Stability OutlookAnalysis
03.01.01Tensor productModern geometry
03.01.02Associative algebraModern geometry
03.01.03Ideal in an algebraModern geometry
03.01.04Tensor algebraModern geometry
03.01.05Quotient algebraModern geometry
03.02.01Topological manifoldDifferential geometry
03.02.01Smooth manifoldModern geometry
03.02.02Smooth structure and atlasesDifferential geometry
03.02.03Smooth maps between manifoldsDifferential geometry
03.02.04Frobenius theoremDifferential geometry
03.02.05Sectional curvature, Ricci tensor, scalar curvatureDifferential geometry
03.02.06Constant-curvature spaces and Killing-HopfDifferential geometry
03.02.07Killing fields and infinitesimal isometriesDifferential geometry
03.02.08Myers-Steenrod theoremDifferential geometry
03.02.09Almost-complex structure (manifold-level)Differential geometry
03.02.10Complex manifold and the Dolbeault complexDifferential geometry
03.02.11Hermitian manifold and the Kahler formDifferential geometry
03.02.12Kahler identities and the Hodge decomposition (Kahler version)Differential geometry
03.02.13Isometric immersion and the second fundamental formDifferential geometry
03.02.14Gauss, Codazzi, and Ricci equationsDifferential geometry
03.02.15Bochner technique and curvature vanishing theoremsDifferential geometry
03.02.16Weyl tensor and conformally flat metricsDifferential geometry
03.02.17Lorentzian Hopf-Rinow and global hyperbolicity (introductory pseudo-Riemannian geometry)Differential geometry
03.02.18Petrov classification of Lorentzian 4-curvatureDifferential geometry
03.02.19Jacobi fields, conjugate points, and the Morse Index TheoremDifferential geometry
03.02.20Handles, surgery, and the cobordism categoryDifferential geometry
03.02.21Rearrangement and self-indexing Morse functionsDifferential geometry
03.02.22The Whitney trick and handle cancellationDifferential geometry
03.02.23The h-cobordism theoremDifferential geometry
03.02.24The generalised Poincaré conjecture in high dimensionsDifferential geometry
03.02.25The Lefschetz hyperplane theorem via Morse theoryDifferential geometry
03.02.26Harmonic maps: energy, tension field, and the harmonic-map equationDifferential geometry
03.02.27Levi-Civita connection, exponential map, and gradient-like vector fields on a cobordismDifferential geometry
03.02.28Pointer: surgery theory and the surgery exact sequenceDifferential geometry
03.02.29The harmonic-map heat flow and the Eells–Sampson theoremDifferential geometry
03.02.30Morse functions, the Morse lemma, and the Morse indexDifferential geometry
03.02.31Handle attachment, CW homotopy type, and the Morse inequalitiesDifferential geometry
03.02.32The Riemannian Hopf–Rinow theoremDifferential geometry
03.02.33The Yamabe problem and the conformal LaplacianDifferential geometry
03.02.34The Toponogov triangle comparison theoremDifferential geometry
03.02.35Synge's theorem and the second variation of arc lengthDifferential geometry
03.02.36Einstein metrics as critical points of the total scalar curvatureDifferential geometry
03.02.37Homogeneous Einstein metrics on G/HDifferential geometry
03.02.38Infinitesimal Einstein deformations, the Lichnerowicz Laplacian on 2-tensors, and Koiso rigidityDifferential geometry
03.02.39The Cartan–Ambrose–Hicks theorem (intrinsic rigidity)Differential geometry
03.02.40The path space as a CW complex: the fundamental theorem of Morse theoryDifferential geometry
03.02.41The two-spinor calculus: -spinors, abstract indices, and the spinor–tensor dictionaryDifferential geometry
03.02.42Zero-rest-mass field equations and the spinor form of Maxwell, Weyl, and Dirac fieldsDifferential geometry
03.02.43The Newman-Penrose spin-coefficient formalismDifferential geometry
03.02.44Gauss-Bonnet and Chern-Gauss-Bonnet: from angle excess to the Euler classDifferential geometry
03.02.45Brownian motion on a Riemannian manifoldDifferential geometry
03.03.01Lie groupModern geometry
03.03.02Group actionModern geometry
03.03.03Orthogonal groupModern geometry
03.03.04Formal group lawDifferential geometry
03.03.05p-adic Lie group and the p-adic exponentialDifferential geometry
03.03.06Lie's third theorem (statement, simply-connected case)Differential geometry
03.03.07Invariant affine connections on a reductive homogeneous space and the canonical connectionDifferential geometry
03.03.10Lie groupoid: source, target, smooth compositionModern geometry
03.03.11Action Lie groupoid and action Lie algebroidModern geometry
03.03.12Bisection group of a Lie groupoid; gauge transformations as bisectionsModern geometry
03.03.13Groupoid as a small category with all morphisms invertibleModern geometry
03.04.01Lie algebraModern geometry
03.04.02Differential formsModern geometry
03.04.03Integration on manifoldsModern geometry
03.04.04Exterior derivativeModern geometry
03.04.05Stokes' theoremModern geometry
03.04.06De Rham cohomologyModern geometry
03.04.07Mayer-Vietoris sequence for de Rham cohomologyModern geometry
03.04.08Variational calculus on manifoldsModern geometry
03.04.09Compactly-supported cohomology, integration along the fiber, and the de Rham Thom isomorphismModern geometry
03.04.10Good covers, finite-dimensionality of de Rham cohomology, and the Mayer-Vietoris inductionModern geometry
03.04.11Čech-de Rham double complex and the tic-tac-toe principleModern geometry
03.04.12Künneth formula for de Rham cohomology — two proofsModern geometry
03.04.13Singular cohomology and the de Rham theorem (with coefficients)Modern geometry
03.04.14Hypercohomology of a complex of sheavesModern geometry
03.04.15Hodge Laplacian on a Riemannian manifoldModern geometry
03.04.16Lie algebroid: anchor, bracket, Leibniz lawModern geometry
03.04.17Lie functor: differentiating a Lie groupoid to its Lie algebroidModern geometry
03.04.18Pradines integration theorem and Mackenzie transitive integrabilityModern geometry
03.04.19Cotangent algebroid of a Poisson manifold; pointer to symplectic groupoidsModern geometry
03.04.20Surface integrals of 2-forms; flux of a vector field through an oriented surfaceModern geometry
03.04.21Closed and exact forms; the Poincaré lemma; the angle 1-formModern geometry
03.04.22Lie algebroid cohomology and the Chevalley-Eilenberg differentialModern geometry
03.04.23Representations of a Lie algebroid and flat A-connectionsModern geometry
03.04.24Lie bialgebroids and Poisson groupoids: the Mackenzie-Xu dualityDifferential geometry
03.04.25Double Lie groupoids, double Lie algebroids, and VB-groupoidsModern geometry
03.04.E1Mayer-Vietoris and degree-theory exercise pack (Bott-Tu Ch. I supplement)Modern geometry
03.04.E2Differential forms and Stokes exercise pack (Shifrin / Arnold supplement)Modern geometry
03.05.00General fibre bundleDifferential geometry
03.05.01Principal bundleModern geometry
03.05.02Vector bundleModern geometry
03.05.03Orthogonal frame bundleModern geometry
03.05.04Connection on a vector bundleModern geometry
03.05.05Double coverModern geometry
03.05.06Vertical subbundle and fundamental vector fieldsDifferential geometry
03.05.07Principal bundle with connectionModern geometry
03.05.08Complex vector bundleModern geometry
03.05.09Curvature of a connectionModern geometry
03.05.10Sphere bundle, the global angular form, and the Hopf index theoremModern geometry
03.05.11Horizontal lift and parallel transportDifferential geometry
03.05.12Reduction of structure group; reduction of a connectionDifferential geometry
03.05.13Associated bundle and induced connectionDifferential geometry
03.05.14Torsion tensor and the two Cartan structural equationsDifferential geometry
03.05.15Linear connection via the frame bundle; soldering formDifferential geometry
03.05.16Holonomy group and restricted holonomyDifferential geometry
03.05.17Ambrose-Singer holonomy theoremDifferential geometry
03.05.18Holonomy reduction theoremDifferential geometry
03.05.19Holomorphic vector bundleDifferential geometry
03.05.20Hermitian metric on a complex bundle; Chern connectionDifferential geometry
03.05.21Gauge groupoid of a principal bundleModern geometry
03.05.22Atiyah algebroid of a principal bundleModern geometry
03.05.23Connection on a principal bundle as splitting of the Atiyah algebroidModern geometry
03.06.03Stiefel-Whitney classesModern geometry
03.06.04Pontryagin and Chern classesModern geometry
03.06.05Invariant polynomial on a Lie algebraModern geometry
03.06.06Chern-Weil homomorphismModern geometry
03.06.07Chern-Simons forms and transgressionModern geometry
03.06.08Kostant-Weil isomorphism and prequantum line bundleModern geometry
03.06.09Dixmier-Douady class and Modern geometry
03.06.10Stiefel-Whitney and Pontryagin numbersModern geometry
03.06.11Hirzebruch signature theoremModern geometry
03.06.12Unoriented bordism and Thom's theoremModern geometry
03.06.13Oriented bordism and the Pontryagin-Thom constructionModern geometry
03.06.14Steenrod squares and the Wu formulaModern geometry
03.06.15Multiplicative sequences and the -, -, Todd generaModern geometry
03.06.16Whitney duality and immersion obstructionsModern geometry
03.06.17Combinatorial Pontryagin classes and exotic 7-spheresModern geometry
03.06.18Chern character as a ring homomorphismModern geometry
03.06.19Signature of a 4k-manifold and the intersection formModern geometry
03.06.20Borel-Hirzebruch and the cohomology of Modern geometry
03.06.21Godbillon-Vey class and secondary characteristic classes of foliationsDifferential geometry
03.06.23Modularity of the elliptic genusModern geometry
03.06.24Bott-Taubes rigidity theoremModern geometry
03.06.26Pointer: elliptic cohomologyModern geometry
03.07.05Yang-Mills actionModern geometry
03.07.06Anti-self-dual (ASD) equation on a 4-manifoldModern geometry
03.07.07BPST instanton and the Bogomolny boundModern geometry
03.07.08Conformal compactification and finite-action instantonsModern geometry
03.07.09Moduli space of ASD connections Modern geometry
03.07.10ADHM construction (Atiyah-Drinfeld-Hitchin-Manin)Modern geometry
03.07.11Penrose twistor space and the Ward correspondenceModern geometry
03.07.12The Geometry of Twistors: Null Planes, the Twistor Norm, and the Robinson CongruenceModern geometry
03.07.14Penrose transform at linear levelModern geometry
03.07.16-field as a gerbe connectionModern geometry
03.07.17Chern-Simons functional on a 3-manifoldModern geometry
03.07.18Configuration space and slice theorem on Modern geometry
03.07.19Spectral flow and the Floer grading mod 8Modern geometry
03.07.20Uhlenbeck compactness for ASD equations on cylindersModern geometry
03.07.21Gluing theorem for instanton trajectoriesModern geometry
03.07.22Orientations on instanton trajectory moduliModern geometry
03.07.23Instanton Floer homology Modern geometry
03.07.24Relative Donaldson invariants for 4-manifolds with boundaryModern geometry
03.07.25Donaldson-Floer surgery exact triangleModern geometry
03.07.26Atiyah-Floer conjectureModern geometry
03.07.27Polyfolds (Hofer-Wysocki-Zehnder)Modern geometry
03.07.28Monopole-instanton Floer equivalence (Kronheimer-Mrowka)Modern geometry
03.07.29Electromagnetism as a U(1) Yang-Mills theory — the geometric dictionaryModern geometry
03.07.30Aharonov-Bohm effect and holonomy of U(1) connectionsModern geometry
03.07.31BRST cohomology and Faddeev-Popov-ghost quantisation of gauge theoriesModern geometry
03.07.32Anomalies via descent equations and the Atiyah-Singer index theoremModern geometry
03.07.33Casson's invariant and the Euler characteristic of instanton Floer homologyModern geometry
03.07.34Simple type, basic classes, and the structure of Donaldson invariantsModern geometry
03.08.01Topological K-theoryModern geometry
03.08.02Adams operations Modern geometry
03.08.03Thom isomorphism in K-theoryModern geometry
03.08.04Classifying spaceModern geometry
03.08.05Universal bundle, , and the Borel presentation of flag-manifold cohomologyModern geometry
03.08.06Stable homotopyModern geometry
03.08.07Bott periodicityModern geometry
03.08.08Bott periodicity for U via Morse theoryModern geometry
03.08.09Worked K-theory computations: spheres, projective spaces, and toriModern geometry
03.08.10Equivariant K-theory and Modern geometry
03.08.11The group and the -homomorphismModern geometry
03.08.12KR-theory (K-theory with reality)Modern geometry
03.08.13Bott periodicity for O via iterated minimal geodesicsModern geometry
03.08.20Whitehead torsion and the s-cobordism theoremModern geometry
03.09.02Clifford algebraModern geometry
03.09.03Spin groupModern geometry
03.09.04Spin structure on an oriented Riemannian manifoldModern geometry
03.09.05Spinor bundleModern geometry
03.09.06Fredholm operatorsModern geometry
03.09.07Symbol of a differential operatorModern geometry
03.09.08Dirac operatorModern geometry
03.09.09Elliptic operators on a manifoldModern geometry
03.09.10Atiyah-Singer index theoremModern geometry
03.09.11Clifford algebra classification — the 8×8 chessboardModern geometry
03.09.12KR-theory and the (1,1)-periodicity theoremModern geometry
03.09.13Triality on Spin(8) and exceptional Lie groups via spinorsModern geometry
03.09.14Generalised Dirac bundles and the Bochner-Weitzenböck identityModern geometry
03.09.15Cl_k-linear Dirac operators and the KO-valued indexModern geometry
03.09.16Positive scalar curvature obstruction theoryModern geometry
03.09.17Witten positive-mass theorem via spinorsModern geometry
03.09.18Berger holonomy classification and parallel spinorsModern geometry
03.09.19Calibrated geometries — Special Lagrangian, associative, coassociative, CayleyModern geometry
03.09.20Heat-kernel proof of the Atiyah-Singer index theoremModern geometry
03.09.21Family, equivariant, and Lefschetz fixed-point index theoremsModern geometry
03.09.22Sobolev spaces, pseudodifferential operators, and elliptic parametricesModern geometry
03.09.23Bismut superconnectionModern geometry
03.09.24Eta invariant and Atiyah-Patodi-Singer index theoremModern geometry
03.09.25Kirillov character formula via the equivariant indexModern geometry
03.09.26Mathai-Quillen formalism and universal Thom formsModern geometry
03.09.27Pure spinors and the spinor varietyModern geometry
03.09.28The Cartan Model of Equivariant de Rham CohomologyModern geometry
03.09.29The probabilistic heat kernel and Bismut's formulaModern geometry
03.09.E1Clifford and spin algebra exercise pack (Lawson-Michelsohn Ch. I supplement)Modern geometry
03.09.E2Chapter IV applications exercise pack (Lawson-Michelsohn Ch. IV supplement)Modern geometry
03.10.02CFT basicsModern geometry
03.10.03The Wess-Zumino-Witten action and the level-k extensionModern geometry
03.10.04Minimal Models, the Kac Formula, and Null VectorsModern geometry
03.10.05The Coulomb gas, screening charges, and the conformal bootstrapModern geometry
03.11.01Central extension of a Lie algebraModern geometry
03.11.02Infinite-dimensional Lie algebra representationsModern geometry
03.11.03Virasoro algebraModern geometry
03.11.04The free loop space LM and transgressionModern geometry
03.11.05The geometric central extension of the loop group LGModern geometry
03.12.00Fundamental groupModern geometry
03.12.01Homotopy and homotopy groupModern geometry
03.12.02Covering spaceModern geometry
03.12.03SuspensionModern geometry
03.12.04SpectrumModern geometry
03.12.05Eilenberg-MacLane spaceModern geometry
03.12.06Sullivan minimal models and rational homotopy theoryModern geometry
03.12.07Whitehead tower, rational Hurewicz theorem, and Serre's finitenessModern geometry
03.12.08Fundamental groupoidModern geometry
03.12.09Seifert-van Kampen theoremModern geometry
03.12.10CW complexModern geometry
03.12.11Singular homologyModern geometry
03.12.12Simplicial and -complex homologyModern geometry
03.12.13Cellular homology and cellular approximationModern geometry
03.12.14Excision theoremModern geometry
03.12.15Eilenberg-Steenrod axiomsModern geometry
03.12.16Poincaré dualityModern geometry
03.12.17Cap productModern geometry
03.12.18Universal coefficient theoremModern geometry
03.12.19Hurewicz theoremModern geometry
03.12.20Whitehead's theoremModern geometry
03.12.21Blakers-Massey theoremModern geometry
03.12.22-complex / semi-simplicial setModern geometry
03.12.23Euler characteristicModern geometry
03.12.24Simplicial set and the simplicial category DeltaDifferential geometry
03.12.25Simplicial sets and geometric realizationModern geometry
03.12.26Functorial CW approximation Gamma X = |S_*X|Differential geometry
03.12.27Puppe cofiber sequenceDifferential geometry
03.12.28Puppe fiber sequenceDifferential geometry
03.12.29Thom space and Thom isomorphismDifferential geometry
03.12.30Minimal complex and minimal fibrationDifferential geometry
03.12.31Quillen model categoryModern geometry
03.12.32Quillen functor and Quillen equivalenceModern geometry
03.12.33Kan-Quillen model structure on sSetModern geometry
03.12.34Acyclic models and the Eilenberg-Zilber theoremModern geometry
03.12.35Simplicial model category and the function complexModern geometry
03.12.36Bisimplicial set, diagonal, and the realisation lemmaDifferential geometry
03.12.37Homotopy colimit via the Bousfield-Kan constructionModern geometry
03.12.38Bousfield-Kan spectral sequenceModern geometry
03.12.39Simplicial group and the W-bar classifying functorDifferential geometry
03.12.40Postnikov tower of a Kan complexModern geometry
03.12.41Twisted cartesian products and simplicial fibre bundlesModern geometry
03.12.42Combinatorial simplicial homotopy groups and the Kan-fibration long exact sequenceModern geometry
03.12.43Quasi-categories and the Joyal model structureModern geometry
03.12.44Mixed Hodge structures on rational homotopy theory (Morgan's theorem)Modern geometry
03.12.45Arithmetic square and integral fracture theoremsModern geometry
03.12.46The periodicity and thick subcategory theoremsModern geometry
03.12.47HELP and the unified Whitehead / cellular approximation theoremModern geometry
03.12.48Bousfield localisation of a model categoryModern geometry
03.12.49Bialgebra, Hopf algebra, and the Milnor-Moore theoremDifferential geometry
03.12.50The Cartan model for the minimal model of a homogeneous spaceModern geometry
03.12.51Massey products and the formality conditionModern geometry
03.12.52Relative homotopy group Modern geometry
03.12.53Whitehead's crossed module of a pairModern geometry
03.12.54Filtered spaceModern geometry
03.12.55Crossed complex of a filtered spaceModern geometry
03.12.56Higher Homotopy Seifert-van Kampen theoremModern geometry
03.12.57Cubical -groupoid Modern geometry
03.12.58Free crossed resolution of a groupModern geometry
03.12.59Classifying space of a crossed complexModern geometry
03.12.60Localisation of nilpotent spaces at a set of primesModern geometry
03.12.61Nilpotent groups and nilpotent spacesModern geometry
03.12.E1Rational homotopy and Sullivan minimal-model exercise pack (Bott-Tu Ch. III §19 supplement)Modern geometry
03.12.E2Singular and cellular homology exercise pack (Hatcher Ch. 2 supplement)Modern geometry
03.12.E3Simplicial homotopy theory exercise pack (Goerss-Jardine supplement)Modern geometry
03.12.E4Localization and completion exercise pack (May-Ponto supplement)Modern geometry
03.12.E5Simplicial objects and Dold-Kan exercise pack (May supplement)Modern geometry
03.13.01Spectral sequences — exact couples, filtered complexes, double complexesModern geometry
03.13.02Leray-Serre spectral sequence and the Gysin sequenceModern geometry
03.13.03Leray-Hirsch theorem and the splitting principle for vector bundlesModern geometry
03.13.04Atiyah-Hirzebruch spectral sequenceModern geometry
03.13.05The Brown-Peterson spectrum BP and its Hopf algebroidModern geometry
03.13.06The chromatic spectral sequenceModern geometry
03.13.07Greek-letter elements in the stable homotopy of spheresModern geometry
03.13.08The telescope conjecture and its disproofModern geometry
03.13.E1Spectral-sequence computation exercise pack (Bott-Tu Ch. III supplement)Modern geometry
03.14.01Quantum free particle as a representation of E(3)Modern geometry
03.14.02Complex structures and quantization: squeezed statesModern geometry
03.15.01Gradient flow, stable/unstable manifolds, and the Morse-Smale conditionModern geometry
03.15.02Trajectory spaces, the Fredholm setup, and transversalityModern geometry
03.15.03Compactness: broken trajectoriesModern geometry
03.15.04Gluing of trajectoriesModern geometry
03.15.05Coherent orientations and characteristic signsModern geometry
03.15.06The Morse complex and Modern geometry
03.15.07Continuation maps and invariance of Modern geometry
03.15.08The Morse Homology TheoremModern geometry
03.15.09Morse cohomology, cup product, and the ring structureModern geometry
03.15.10Poincaré duality via flow reversal and the filtered Morse spectral sequenceModern geometry
03.15.11From finite-dimensional Morse homology to Floer homologyModern geometry
03.15.12Witten's supersymmetric Morse theory (survey/pointer)Modern geometry
03.15.E1Morse homology exercise pack (Schwarz Morse Homology supplement)Modern geometry
03.16.01The Atiyah–Segal axioms for topological quantum field theoryModern geometry
03.16.02Classification of 2d oriented TQFTs: the Frobenius-algebra theoremModern geometry
03.16.03Extended TQFT and the cobordism hypothesisModern geometry
03.16.04Invertible field theories and the Freed–Hopkins classificationModern geometry
03.16.05Anomalies as invertible field theories in one dimension higherModern geometry
03.16.06Chern-Simons theory as a quantum TQFT, the Jones polynomial, and Reshetikhin-TuraevModern geometry
04.01.01SheafAlgebraic geometry
04.01.02Stalk of a sheafAlgebraic geometry
04.01.03SheafificationAlgebraic geometry
04.01.04Direct and inverse image of sheavesAlgebraic geometry
04.02.01SchemeAlgebraic geometry
04.02.02Affine schemeAlgebraic geometry
04.02.03Projective schemeAlgebraic geometry
04.02.04Morphism of schemesAlgebraic geometry
04.02.05Smooth, étale, and unramified morphismsAlgebraic geometry
04.02.07Nullstellensatz and dimension theoryAlgebraic geometry
04.03.01Sheaf cohomologyAlgebraic geometry
04.03.02Local systems, monodromy, and twisted cohomologyAlgebraic geometry
04.03.03Čech cohomology of sheaves on schemesAlgebraic geometry
04.03.04Cohomology of line bundles on projective spaceAlgebraic geometry
04.03.05Serre's vanishing and finiteness theoremsAlgebraic geometry
04.03.06Derived functors and ExtAlgebraic geometry
04.03.07Higher direct images and base changeAlgebraic geometry
04.03.08Étale cohomology and -adic cohomology of varietiesAlgebraic geometry
04.03.10Triangulated category — Verdier axioms TR1-TR4 and the octahedral axiomAlgebraic geometry
04.03.11Derived category — localisation at quasi-isomorphismsAlgebraic geometry
04.03.12Derived functors and via derived categoriesAlgebraic geometry
04.03.13Grothendieck spectral sequenceAlgebraic geometry
04.03.14Spectral sequence of a filtered complexAlgebraic geometry
04.03.15Sheaf cohomology - Leray spectral sequence (general form)Algebraic geometry
04.03.16Six-functor formalism — adjunctions and base changeAlgebraic geometry
04.03.17Derived tensor product ⊗^L and Tor in derived categoriesAlgebraic geometry
04.03.18t-Structure on a triangulated category — heart and truncationsAlgebraic geometry
04.03.19Perverse sheaves Perv(X) — pointer + foundationsAlgebraic geometry
04.03.20Hochschild homology and cohomologyAlgebraic geometry
04.03.21Hochschild-Kostant-Rosenberg theoremAlgebraic geometry
04.03.22Cyclic homology and Connes' long exact sequenceAlgebraic geometry
04.03.23The Verdier quotient of a triangulated categoryAlgebraic geometry
04.03.E1Cohomology of schemes exercise pack (Hartshorne Ch. III supplement)Algebraic geometry
04.04.01Riemann-Roch theorem for curvesAlgebraic geometry
04.04.02Hurwitz formulaAlgebraic geometry
04.04.03Elliptic curvesAlgebraic geometry
04.04.04Castelnuovo's Genus Bound for Space Curves and Extremal CurvesAlgebraic geometry
04.04.08Petri map mu_0 and Gieseker-Petri theoremAlgebraic geometry
04.04.09Clifford's theorem with equalityAlgebraic geometry
04.04.10Martens' theorem and Mumford's strengtheningAlgebraic geometry
04.04.11Gonality of a curveAlgebraic geometry
04.04.13Determinantal varieties and the Porteous formulaAlgebraic geometry
04.04.14The Enriques-Babbage-Petri Theorem on Canonical CurvesAlgebraic geometry
04.04.15Fulton-Lazarsfeld connectedness theoremAlgebraic geometry
04.04.16Lazarsfeld's K3-vector-bundle proof of PetriAlgebraic geometry
04.04.E1Curves exercise pack (Hartshorne Ch. IV supplement)Algebraic geometry
04.05.01Weil divisorAlgebraic geometry
04.05.02Picard groupAlgebraic geometry
04.05.03Line bundle on a schemeAlgebraic geometry
04.05.04Cartier divisorAlgebraic geometry
04.05.05Ample and very ample line bundleAlgebraic geometry
04.05.06Intersection pairing on a surfaceAlgebraic geometry
04.05.07Adjunction formula on a surfaceAlgebraic geometry
04.05.08Riemann-Roch theorem for surfacesAlgebraic geometry
04.05.09Hodge index theoremAlgebraic geometry
04.05.10Hirzebruch-Riemann-Roch theorem (general dimension)Algebraic geometry
04.05.11Worked Hirzebruch-Riemann-Roch computationsAlgebraic geometry
04.05.12Pointer: Grothendieck-Riemann-Roch (GRR)Algebraic geometry
04.05.E1Surfaces exercise pack (Hartshorne Ch. V supplement)Algebraic geometry
04.06.01Quasi-coherent sheafAlgebraic geometry
04.06.02Coherent sheafAlgebraic geometry
04.07.01Projective spaceAlgebraic geometry
04.07.02BlowupAlgebraic geometry
04.07.03Monads on projective space and the Beilinson resolutionAlgebraic geometry
04.07.04Stable rank-2 bundles on projective space and Barth's theoremAlgebraic geometry
04.08.01Sheaf of differentialsAlgebraic geometry
04.08.02Canonical sheafAlgebraic geometry
04.08.03Serre dualityAlgebraic geometry
04.09.01Hodge decompositionAlgebraic geometry
04.09.02Kodaira vanishing theoremAlgebraic geometry
04.09.03Serre's GAGA comparison theoremAlgebraic geometry
04.09.05The ddbar-lemmaAlgebraic geometry
04.09.07Hard Lefschetz theoremAlgebraic geometry
04.09.08Hodge-Riemann bilinear relationsAlgebraic geometry
04.09.09Lefschetz (1,1)-theoremAlgebraic geometry
04.09.10Akizuki-Nakano vanishing theoremAlgebraic geometry
04.09.11Kodaira embedding theoremAlgebraic geometry
04.10.01Moduli of curvesAlgebraic geometry
04.10.02Geometric invariant theoryAlgebraic geometry
04.10.03Hilbert-Mumford numerical criterionAlgebraic geometry
04.10.04Kempf-Ness theorem and the GIT-symplectic dictionaryAlgebraic geometry
04.10.05Hilbert scheme Hilb^P(X)Algebraic geometry
04.10.06Moduli of vector bundles on a curve and slope stabilityAlgebraic geometry
04.10.07Linear algebraic groups, reductivity, and finite generation of invariantsAlgebraic geometry
04.10.08Kirwan stratification of the unstable locusAlgebraic geometry
04.10.09Variation of GIT (VGIT)Algebraic geometry
04.10.11Gieseker stability and moduli of sheavesAlgebraic geometry
04.10.12Bridgeland stability conditionsAlgebraic geometry
04.10.13K-stability and the Yau-Tian-Donaldson conjectureAlgebraic geometry
04.10.14Non-reductive GITAlgebraic geometry
04.10.15Derived GIT and magic windowsAlgebraic geometry
04.10.16Abelian varieties: group law, polarizations, and the dualAlgebraic geometry
04.10.20Deformation theory of smooth curvesAlgebraic geometry
04.10.22Stable curve and Deligne-Mumford stabilityAlgebraic geometry
04.10.26Forgetful and gluing morphisms on Algebraic geometry
04.10.29Limit linear series (Eisenbud-Harris)Algebraic geometry
04.10.30Hurwitz numbers and the Hurwitz schemeAlgebraic geometry
04.10.31Severi varieties of nodal plane curves and the Harris irreducibility theoremAlgebraic geometry
04.10.32ELSV formula: Hurwitz numbers as Hodge integralsAlgebraic geometry
04.10.33Explicit low-genus moduli: Igusa-Clebsch invariants for M_2 and the plane-quartic model of M_3Algebraic geometry
04.10.34Torelli morphism and Torelli theoremAlgebraic geometry
04.10.35Moduli of stable maps and Gromov-Witten invariantsAlgebraic geometry
04.11.01Algebraic torus and character/cocharacter latticesAlgebraic geometry
04.11.02Rational polyhedral cone and dual coneAlgebraic geometry
04.11.03Affine toric variety Algebraic geometry
04.11.04Fan and the toric variety Algebraic geometry
04.11.05Smoothness and completeness via fansAlgebraic geometry
04.11.06Orbit-cone correspondenceAlgebraic geometry
04.11.07Toric resolution of singularitiesAlgebraic geometry
04.11.08Toric divisor and support functionAlgebraic geometry
04.11.09Toric Picard groupAlgebraic geometry
04.11.10Polytope-fan dictionary; the line bundle Algebraic geometry
04.11.11Algebraic moment map and the polytopeAlgebraic geometry
04.11.12Cohomology of a smooth complete toric varietyAlgebraic geometry
04.11.13Toric intersection theory and mixed volumesAlgebraic geometry
04.11.14Bernstein-Kushnirenko theoremAlgebraic geometry
04.11.15The Cox homogeneous coordinate ring and the toric GIT quotientAlgebraic geometry
04.11.16Reflexive polytope and Batyrev mirror duality (pointer)Algebraic geometry
04.12.01Tropical semiring and tropical polynomialAlgebraic geometry
04.12.02Tropical curve as balanced rational metric graphAlgebraic geometry
04.12.03Kapranov's theorem (fundamental theorem of tropical geometry)Algebraic geometry
04.12.04Newton polytope and non-archimedean amoebaAlgebraic geometry
04.12.05Mikhalkin's correspondence theoremAlgebraic geometry
04.12.06Nishinou-Siebert correspondence theoremAlgebraic geometry
04.12.07Toric degeneration of a Calabi-Yau varietyAlgebraic geometry
04.12.08Dual Intersection Complex; Tropical Manifold BAlgebraic geometry
04.12.09Gross-Siebert Reconstruction Theorem (Statement)Algebraic geometry
04.12.10Strominger-Yau-Zaslow (SYZ) ConjectureAlgebraic geometry
04.12.11Slab function and structure of a tropical manifoldAlgebraic geometry
04.12.12Theta function of a polarised tropical manifoldAlgebraic geometry
04.12.13Period integral and the mirror map (pointer)Algebraic geometry
04.12.14Logarithmic structures and log smooth morphismsAlgebraic geometry
04.12.15Log Gromov-Witten Invariants (pointer)Algebraic geometry
04.12.16The A-model, the B-model, and the mirror symmetry conjectureAlgebraic geometry
04.12.17Special Lagrangian fibrations and McLean's theoremAlgebraic geometry
05.00.01Lagrangian mechanics on the tangent bundleSymplectic geometry
05.00.02Hamilton's principle of least actionSymplectic geometry
05.00.03Legendre transformSymplectic geometry
05.00.04Noether's theoremSymplectic geometry
05.00.05The charged particle and the twisted symplectic formSymplectic geometry
05.00.06Galilean group and Newtonian mechanicsSymplectic geometry
05.00.07Galilei group and Bargmann central extensionSymplectic geometry
05.00.08Mechanical similarity / virial theoremSymplectic geometry
05.00.09Worked Lagrangian examplesSymplectic geometry
05.00.10Scattering and Rutherford formulaSymplectic geometry
05.00.11Small oscillations and normal modesSymplectic geometry
05.00.14Motion in a non-inertial frame / Coriolis forceSymplectic geometry
05.00.E1Lagrangian and variational mechanics exercise pack (Arnold Part II supplement)Symplectic geometry
05.01.01Symplectic vector spaceSymplectic geometry
05.01.02Symplectic manifoldSymplectic geometry
05.01.03Symplectic groupSymplectic geometry
05.01.04Darboux's theoremSymplectic geometry
05.01.05Moser's trickSymplectic geometry
05.02.01Hamiltonian vector fieldSymplectic geometry
05.02.02Poisson bracket and Poisson manifoldSymplectic geometry
05.02.03Integrable systemSymplectic geometry
05.02.04Action-angle coordinatesSymplectic geometry
05.02.05Cotangent bundle as canonical symplectic manifoldSymplectic geometry
05.02.06Geodesic flow as a Hamiltonian flowSymplectic geometry
05.02.07Liouville's volume theoremSymplectic geometry
05.02.08Poincaré recurrence theoremSymplectic geometry
05.02.09Poincaré-Cartan integral invariantsSymplectic geometry
05.02.10The RouthianSymplectic geometry
05.02.11Maupertuis' principle and abbreviated actionSymplectic geometry
05.02.12Hamiltonian monodromy and the spherical pendulumSymplectic geometry
05.02.E1Hamiltonian mechanics and canonical transformations exercise pack (Arnold Part III supplement)Symplectic geometry
05.03.01Coadjoint orbitSymplectic geometry
05.03.02Souriau Gibbs state on a symplectic G-spaceSymplectic geometry
05.03.03Classification of homogeneous symplectic manifolds (Kirillov-Kostant-Souriau)Symplectic geometry
05.04.01Moment mapSymplectic geometry
05.04.02Marsden-Weinstein symplectic reductionSymplectic geometry
05.04.03Atiyah-Guillemin-Sternberg convexity theoremSymplectic geometry
05.04.04Delzant theorem (symplectic toric classification)Symplectic geometry
05.04.05Duistermaat-Heckman theoremSymplectic geometry
05.04.06Symplectic blow-up and symplectic cutSymplectic geometry
05.04.07Souriau cocycle and non-equivariant moment mapsSymplectic geometry
05.05.01Lagrangian submanifoldSymplectic geometry
05.05.02Weinstein Lagrangian neighbourhood theoremSymplectic geometry
05.05.03Generating functions for symplectomorphismsSymplectic geometry
05.05.04Hamilton-Jacobi equationSymplectic geometry
05.05.05Jet bundle and total derivativeSymplectic geometry
05.05.06Prolongation of vector fields and the infinitesimal symmetry criterionSymplectic geometry
05.05.07Group-invariant solutions and symmetry reductionSymplectic geometry
05.05.08Noether's second theorem and the Bianchi identitySymplectic geometry
05.05.09Generalised symmetries (Lie-Bäcklund) and recursion operatorsSymplectic geometry
05.05.10Lie's classification of second-order ODEs and the symmetry algorithm for ODEsSymplectic geometry
05.05.11Differential invariants and the moving-frame methodSymplectic geometry
05.06.01Almost-complex structure on a symplectic manifoldSymplectic geometry
05.06.02Pseudoholomorphic curveSymplectic geometry
05.06.03Newlander-Nirenberg integrability theoremSymplectic geometry
05.07.01Gromov non-squeezing theoremSymplectic geometry
05.07.02Symplectic capacitySymplectic geometry
05.07.04Eliashberg-Gromov -rigidity of Symplectic geometry
05.08.01Arnold conjecture and Floer homology setupSymplectic geometry
05.08.02Floer homologySymplectic geometry
05.08.03Maslov indexSymplectic geometry
05.08.04Conley-Zehnder indexSymplectic geometry
05.09.01Kolmogorov-Arnold-Moser theoremSymplectic geometry
05.09.02Adiabatic invariantsSymplectic geometry
05.09.03Birkhoff normal formSymplectic geometry
05.09.04Williamson normal form for quadratic HamiltoniansSymplectic geometry
05.09.05Euler-Arnold equationsSymplectic geometry
05.09.06Nekhoroshev estimatesSymplectic geometry
05.09.07Exponential accuracy of the adiabatic invariantSymplectic geometry
05.09.08Infinite-dimensional Poisson manifolds and Hamiltonian evolution equationsSymplectic geometry
05.09.09Finite-gap integration and theta-function solutionsSymplectic geometry
05.09.10KP hierarchy, Sato Grassmannian, and tau-functionsSymplectic geometry
05.09.11Master symmetries and the Fuchssteiner constructionSymplectic geometry
05.09.12Casimir functions of degenerate Poisson structuresSymplectic geometry
05.09.E1Symplectic geometry and integrable systems exercise pack (Arnold Part III appendices supplement)Symplectic geometry
05.10.01Contact manifoldSymplectic geometry
05.10.02Symplectisation of a contact manifoldSymplectic geometry
05.10.03Gray's stability theoremSymplectic geometry
05.10.04Contact topology and Reeb dynamicsSymplectic geometry
05.11.01Prequantum line bundle and the integrality conditionSymplectic geometry
05.11.02Prequantisation of the spin coadjoint orbitSymplectic geometry
05.11.03Polarisation, half-densities, and metaplectic correctionSymplectic geometry
05.11.04The Groenewold–van Hove no-go theoremSymplectic geometry
05.11.05Geometric quantization of coadjoint orbits and the Borel–Weil theoremSymplectic geometry
05.11.09Quantization of the relativistic particleSymplectic geometry
05.12.01Lagrangian Grassmannian and the universal Maslov classSymplectic geometry
05.12.03Legendrian singularities and wave-front evolutionSymplectic geometry
05.12.04Lagrangian and Legendrian cobordismSymplectic geometry
05.14.01Helicity as a Casimir invariant of the ideal fluidSymplectic geometry
05.14.02Helicity as Asymptotic Linking Number (Arnold's Theorem)Symplectic geometry
05.14.03The Hopf invariant and the vortex-unknotting obstructionSymplectic geometry
05.14.04Ideal magnetohydrodynamics: frozen flux and magnetic helicitySymplectic geometry
05.14.05Arnold's energy-Casimir stability theoremSymplectic geometry
05.14.06KdV and Camassa-Holm as geodesics on the Bott-Virasoro groupSymplectic geometry
05.14.07Beltrami fields, ABC flows, and chaotic streamlinesSymplectic geometry
05.14.08Fast dynamo problem and Arnold cat-map dynamoSymplectic geometry
05.15.01Wasserstein metric and Otto's formal Riemannian calculusSymplectic geometry
05.15.02Korteweg / Madelung quantum hydrodynamicsSymplectic geometry
06.01.01Holomorphic functionRiemann surfaces
06.01.02Cauchy integral formulaRiemann surfaces
06.01.03Residue theoremRiemann surfaces
06.01.04Analytic continuationRiemann surfaces
06.01.05Meromorphic functionRiemann surfaces
06.01.06Riemann mapping theoremRiemann surfaces
06.01.07Riemann sphereRiemann surfaces
06.01.08Möbius (linear-fractional) transformationsRiemann surfaces
06.01.10Cauchy-Riemann equations and harmonic conjugateRiemann surfaces
06.01.11Harmonic functions on the planeRiemann surfaces
06.01.12Maximum modulus + Schwarz lemmaRiemann surfaces
06.01.13Argument principle and Rouché's theoremRiemann surfaces
06.01.14Normal families and Montel's theoremRiemann surfaces
06.01.15Gamma function Gamma(z)Riemann surfaces
06.01.16Riemann zeta function zeta(s)Riemann surfaces
06.01.17Weierstrass factorization theoremRiemann surfaces
06.01.18Mittag-Leffler theorem on CRiemann surfaces
06.01.19Schwarz-Christoffel formulaRiemann surfaces
06.01.20Picard's little theoremRiemann surfaces
06.01.21Picard's great theoremRiemann surfaces
06.01.22Phragmen-Lindelof principleRiemann surfaces
06.01.23Schwarz reflection principleRiemann surfaces
06.01.24Dirichlet problem on the disc + Perron's methodRiemann surfaces
06.01.25Weierstrass p-functionRiemann surfaces
06.01.26Modular function and j-invariantRiemann surfaces
06.01.27Power series and Laurent seriesRiemann surfaces
06.01.28Index / winding number of a closed curveRiemann surfaces
06.01.29Schottky's and Bloch's theoremsRiemann surfaces
06.01.30Riemann-Hurwitz for plane meromorphic / sphere mapsRiemann surfaces
06.01.31Jacobi theta functions and the triple productRiemann surfaces
06.01.E1Complex analysis exercise pack I (Ahlfors Ch. 1-4 supplement)Riemann surfaces
06.01.E2Complex analysis exercise pack II (Ahlfors Ch. 5-8 supplement)Riemann surfaces
06.02.01Branch point and ramificationRiemann surfaces
06.02.02Branched coverings of Riemann surfacesRiemann surfaces
06.02.03Riemann's existence theorem for algebraic curvesRiemann surfaces
06.03.01Riemann surfaceRiemann surfaces
06.03.02Genus of a Riemann surfaceRiemann surfaces
06.03.03Uniformization theoremRiemann surfaces
06.03.04Uniformization via constant-curvature conformal metrics and Ricci flow on surfacesRiemann surfaces
06.03.05The prescribed-Gaussian-curvature equation on a surface (Kazdan-Warner)Riemann surfaces
06.04.01Riemann-Roch theorem for compact Riemann surfacesRiemann surfaces
06.04.02Čech cohomology of holomorphic line bundlesRiemann surfaces
06.04.03Hodge decomposition on a compact Riemann surfaceRiemann surfaces
06.04.04Serre duality on a curveRiemann surfaces
06.04.05Hilbert-space PDE for Riemann surfaces
06.04.07Survey of sheaf cohomology on Riemann surfacesRiemann surfaces
06.05.01Divisor on a Riemann surfaceRiemann surfaces
06.05.02Holomorphic line bundle on a Riemann surfaceRiemann surfaces
06.05.03Riemann-Hurwitz formulaRiemann surfaces
06.06.01Holomorphic 1-form / abelian differentialRiemann surfaces
06.06.02Period matrixRiemann surfaces
06.06.03Jacobian varietyRiemann surfaces
06.06.04Abel-Jacobi mapRiemann surfaces
06.06.05Theta functionRiemann surfaces
06.06.06Jacobi inversion theoremRiemann surfaces
06.06.07Riemann's bilinear relationsRiemann surfaces
06.06.08Schottky problemRiemann surfaces
06.06.09Weierstrass points and gap sequencesRiemann surfaces
06.07.01Holomorphic functions of several variablesRiemann surfaces
06.07.02Hartogs phenomenonRiemann surfaces
06.08.01Gauss-Manin connectionRiemann surfaces
06.08.02Variation of Hodge structure on the JacobianRiemann surfaces
06.08.03Moduli of Riemann surfacesRiemann surfaces
06.09.01Stein Riemann surfacesRiemann surfaces
06.09.02Cartan's Theorems A and B for Stein Riemann surfacesRiemann surfaces
06.09.03Behnke-Stein theoremRiemann surfaces
06.09.04Cousin I (additive)Riemann surfaces
06.09.05Cousin II (multiplicative)Riemann surfaces
06.09.06Mittag-Leffler on RSRiemann surfaces
06.09.07Runge approximation on RSRiemann surfaces
06.09.08Survey: Cartan-Serre Stein theory in higher dimRiemann surfaces
06.10.01Domains of holomorphy and holomorphic convexityRiemann surfaces
06.10.02Plurisubharmonic functionsRiemann surfaces
06.10.03Pseudoconvexity and the Levi formRiemann surfaces
06.10.04The ∂̄-equation and Hörmander's L² estimatesRiemann surfaces
06.10.05Solution of the Levi problemRiemann surfaces
06.10.06Bochner-Martinelli kernel and formulaRiemann surfaces
06.10.07Cauchy-Fantappiè and Henkin-Ramirez kernelsRiemann surfaces
06.10.08Bergman kernel and Bergman metricRiemann surfaces
06.10.09Szegő kernel and Fefferman boundary asymptoticsRiemann surfaces
06.10.10The ∂̄-Neumann problem and subelliptic estimatesRiemann surfaces
06.10.11Cousin I/II and the Levi problem in Riemann surfaces
06.10.12Invariant metrics: Carathéodory, Kobayashi, BergmanRiemann surfaces
06.10.13Automorphism groups and the Fefferman mapping theoremRiemann surfaces
06.10.14Weierstrass preparation and divisionRiemann surfaces
06.10.15Tangential CR complex, ∂̄_b, and the Lewy exampleRiemann surfaces
06.10.16Wong-Rosay theorem and boundary rigidityRiemann surfaces
06.10.17Local analytic Nullstellensatz and the ideal–germ correspondenceRiemann surfaces
06.10.18Analytic sets: local parametrisation, dimension, and irreducible componentsRiemann surfaces
06.10.19The local ring of an analytic set; regular points, singular locus, Remmert–SteinRiemann surfaces
06.10.20Coherent analytic sheaves and Oka's coherence theoremRiemann surfaces
06.10.21Cartan Theorems A and B in (with proof)Riemann surfaces
06.10.22Complex spaces and coherence on themRiemann surfaces
06.10.E1Several complex variables exercise pack (Krantz supplement)Riemann surfaces
06.11.01Ideal boundary and exhaustions of an open Riemann surfaceRiemann surfaces
06.11.02Hilbert space of differentials; orthogonal decomposition on an open surfaceRiemann surfaces
06.11.03Green's function on a Riemann surface and the type problem (parabolic vs. hyperbolic)Riemann surfaces
06.11.04Null-classes O_G, O_HB, O_HD, O_AD and the classification of open surfacesRiemann surfaces
06.11.05Capacity and harmonic measure of the ideal boundaryRiemann surfaces
06.11.06Extremal length and the modulus of curve familiesRiemann surfaces
07.01.01Group representationRepresentation theory
07.01.02Schur's lemmaRepresentation theory
07.01.03Character of a representationRepresentation theory
07.01.04Character orthogonalityRepresentation theory
07.01.05Regular representationRepresentation theory
07.01.06Tensor product of representationsRepresentation theory
07.01.07Induced representationRepresentation theory
07.01.08Frobenius reciprocityRepresentation theory
07.01.09Non-abelian Fourier transform on a finite groupRepresentation theory
07.01.10Artin's induction theoremRepresentation theory
07.01.11Brauer's induction theoremRepresentation theory
07.01.12Frobenius-Schur indicatorRepresentation theory
07.01.13The irreducible representations of GL₂(𝔽_q)Representation theory
07.02.01Maschke's theoremRepresentation theory
07.02.02The Fong-Swan theoremRepresentation theory
07.02.03Grothendieck groups and the cde-triangleRepresentation theory
07.02.04Brauer characterRepresentation theory
07.02.06Block theory of kGRepresentation theory
07.02.E1Finite-group representation exercise pack (Serre Linear Representations supplement)Representation theory
07.03.01Highest weight representationRepresentation theory
07.04.01Cartan-Weyl classificationRepresentation theory
07.04.02Compact real form of a complex semisimple Lie algebraRepresentation theory
07.04.03Cartan involutionRepresentation theory
07.04.05Real forms of a complex semisimple Lie algebraRepresentation theory
07.04.06Orthogonal symmetric Lie algebraRepresentation theory
07.04.07Riemannian symmetric spaceRepresentation theory
07.04.08Restricted root systemRepresentation theory
07.04.09Iwasawa decomposition G=KANRepresentation theory
07.04.10Bruhat decompositionRepresentation theory
07.04.11Invariant differential operators on G/K and the Harish-Chandra isomorphismRepresentation theory
07.04.12Spherical function on G/KRepresentation theory
07.04.13Classification tables of irreducible Riemannian symmetric spaces (Cartan's list)Representation theory
07.04.14Hermitian symmetric spaceRepresentation theory
07.05.01Symmetric group representationRepresentation theory
07.05.02Young diagram and tableauRepresentation theory
07.05.03Specht moduleRepresentation theory
07.05.04Schur-Weyl dualityRepresentation theory
07.05.05Random walk on a finite group; Upper Bound LemmaRepresentation theory
07.05.06Association schemes, the Bose-Mesner algebra, and Krawtchouk/Hahn polynomialsRepresentation theory
07.05.07Riffle shuffle and the 7-shuffle theoremRepresentation theory
07.05.08Cutoff phenomenonRepresentation theory
07.05.09Strong stationary time; coupling argumentRepresentation theory
07.05.10Murnaghan-Nakayama ruleRepresentation theory
07.05.11Spectral analysis of permutation-valued dataRepresentation theory
07.05.12Metrics on S_nRepresentation theory
07.05.13Models for partially ranked data on S_n/S_{n-k}Representation theory
07.05.14De Finetti / exchangeability and the symmetric groupRepresentation theory
07.05.15The Bernoulli-Laplace and Ehrenfest urn diffusion modelsRepresentation theory
07.05.16Wreath products and the representations of the hyperoctahedral groupRepresentation theory
07.05.E1Lie-group and Lie-algebra representation exercise pack (Fulton-Harris supplement)Representation theory
07.06.01Lie algebra representationRepresentation theory
07.06.02Universal enveloping algebraRepresentation theory
07.06.03Root systemRepresentation theory
07.06.04Weyl groupRepresentation theory
07.06.05Dynkin diagramRepresentation theory
07.06.06Verma moduleRepresentation theory
07.06.07Weyl character formulaRepresentation theory
07.06.08Weyl dimension formulaRepresentation theory
07.06.09Borel-Weil theoremRepresentation theory
07.06.10Casimir elementRepresentation theory
07.06.11Representations of Representation theory
07.06.12Representations of Representation theory
07.06.13Free Lie algebras, the Hall basis, and Magnus's theoremRepresentation theory
07.06.14Engel's theorem + Lie's theoremRepresentation theory
07.06.15The Campbell–Baker–Hausdorff formulaRepresentation theory
07.06.16Cartan's criterion for solvability and semisimplicityRepresentation theory
07.06.17Cartan subalgebraRepresentation theory
07.06.18Root-space decompositionRepresentation theory
07.06.19Cartan matrixRepresentation theory
07.06.20Serre relations and Serre's theoremRepresentation theory
07.06.21The Killing form and the trace formRepresentation theory
07.06.22Weyl complete-reducibility theoremRepresentation theory
07.06.23Lie algebra cohomology and Whitehead's lemmasRepresentation theory
07.06.24The Hochschild-Serre spectral sequence for a Lie-algebra idealRepresentation theory
07.06.25Weyl construction of the classical-group irreduciblesRepresentation theory
07.06.26 via the octonionsRepresentation theory
07.06.27Lie superalgebras: the graded bracket, the super-Jacobi identity, and basic classificationRepresentation theory
07.06.28Supermanifolds as ringed spaces, the functor of points, and super Lie groupsRepresentation theory
07.06.29Composition algebras and the octonionsRepresentation theory
07.06.E2Lie algebra structure exercise pack (Serre Lie Algebras and Lie Groups supplement)Representation theory
07.07.01Compact Lie group representationRepresentation theory
07.07.02Peter-Weyl theoremRepresentation theory
07.07.03Haar measureRepresentation theory
07.07.04Weyl integration formulaRepresentation theory
07.07.05Representations of SU(2) and SO(3): the double cover, spin, and projective representationsRepresentation theory
07.07.06Wigner's classification of the unitary irreducible representations of the Poincaré groupRepresentation theory
07.07.07Mackey theory of induced representations and systems of imprimitivityRepresentation theory
07.07.08Crystallographic point groups, space groups, and the crystallographic restriction theoremRepresentation theory
07.07.09Representations of the Lorentz group: , the reps, and Wigner's theoremRepresentation theory
07.07.10The unitary dual of : principal, discrete, and complementary seriesRepresentation theory
08.01.01Partition function (statistical mechanics)Statistical field theory
08.01.02Ising modelStatistical field theory
08.01.03Boltzmann distribution and canonical ensembleStatistical field theory
08.01.04Free energyStatistical field theory
08.02.01Mean-field theory and Curie-Weiss modelStatistical field theory
08.02.02Spontaneous symmetry breakingStatistical field theory
08.02.03Mermin-Wagner theoremStatistical field theory
08.03.01Onsager solution of the 2D Ising model (transfer matrix)Statistical field theory
08.03.02Transfer matrixStatistical field theory
08.04.01Renormalisation group (real-space block decimation)Statistical field theory
08.04.02Wilson-Fisher fixed point and universalityStatistical field theory
08.04.03Beta function (renormalisation group)Statistical field theory
08.04.04Block-spin decimationStatistical field theory
08.04.05Momentum-shell (Wilson) renormalization groupStatistical field theory
08.05.01Critical exponents and scaling lawsStatistical field theory
08.05.02Correlation functions (statistical mechanics)Statistical field theory
08.06.01Gaussian field theory and free bosonStatistical field theory
08.06.02Conformal symmetry at criticalityStatistical field theory
08.07.01Path integral formulation of statistical mechanicsStatistical field theory
08.08.01Wilson's lattice gauge theoryStatistical field theory
08.08.02Wilson actionStatistical field theory
08.08.03Effective field theoryStatistical field theory
08.08.04The roughening transition and the confining stringStatistical field theory
08.09.01Quantum-classical correspondence (Wick rotation)Statistical field theory
08.10.01Bosonic Fock space and second quantisationStatistical field theory
08.10.02Fokker-Planck equation and equilibrium distributionStatistical field theory
08.10.03φ⁴ theory and the Dyson seriesStatistical field theory
08.10.04Wick's theorem for operator productsStatistical field theory
08.10.05Feynman propagator and the contour-integral representationStatistical field theory
08.10.06One-loop renormalisation in φ⁴Statistical field theory
08.10.07Wightman axioms (W1–W7)Statistical field theory
08.10.08Langevin updates and lattice numericsStatistical field theory
08.10.09Fermionic Fock space, Pauli exclusion, anticommutatorsStatistical field theory
08.10.10Dirac field and the Dirac adjoint Statistical field theory
08.10.11Supersymmetric quantum mechanics: superpotential, supercharges, and the Witten indexStatistical field theory
08.10.12The Nicolai map and stochastic quantisation of supersymmetric theoriesStatistical field theory
08.10.13Parisi-Sourlas dimensional reduction and random-field supersymmetryStatistical field theory
08.10.14The Martin-Siggia-Rose / Janssen-De Dominicis response-field formalismStatistical field theory
08.10.15Stochastic perturbation theory and the tree expansionStatistical field theory
08.11.02Debye theory of specific heats of solidsStatistical field theory
08.11.03Real gases — virial expansion and van der WaalsStatistical field theory
08.12.01Fluctuation-dissipation theorem (Landau-Callen-Welton)Statistical field theory
08.12.02Equilibrium fluctuations of thermodynamic quantitiesStatistical field theory
08.13.01The Yang–Baxter equation and the star–triangle relationStatistical field theory
08.13.02The six-vertex (ice-type) model and the Bethe ansatzStatistical field theory
08.13.03The eight-vertex model (Baxter 1971)Statistical field theory
08.13.04The corner transfer matrixStatistical field theory
08.13.05The hard-hexagon model (Baxter 1980)Statistical field theory
08.13.07The spherical model (Berlin-Kac)Statistical field theory
08.13.08The Ising model on the Bethe latticeStatistical field theory
08.14.01Brownian motion, the Wiener measure, and the path integralStatistical field theory
08.14.02Grassmann integration and the 2D Ising model as free fermionsStatistical field theory
08.14.03The large-N limitStatistical field theory
08.14.04Lattice fermions and the doubling problemStatistical field theory
08.14.05The Pfaffian and the dimer modelStatistical field theory
08.14.06Pointer: matrix models and the topological expansionStatistical field theory
08.14.07The Kardar-Parisi-Zhang equation and dynamic scalingStatistical field theory
08.14.08Liouville field theory and 2D quantum gravity (KPZ-DDK scaling)Statistical field theory
08.15.01The Kosterlitz-Thouless transition (2D XY model)Statistical field theory
08.15.02The nonlinear σ-model and the O(n) renormalization groupStatistical field theory
08.15.03Topological defects in ordered mediaStatistical field theory
09.01.01Kinematics — position, velocity, accelerationClassical mechanics
09.01.02Newton's laws of motionClassical mechanics
09.01.03Conservation laws — energy, momentum, angular momentumClassical mechanics
09.01.04Two-body central-force problem, Kepler orbits, and Rutherford scatteringClassical mechanics
09.02.01The action principle and variational calculusClassical mechanics
09.02.02Euler-Lagrange equationsClassical mechanics
09.03.01Noether's theorem — symmetries and conservation lawsClassical mechanics
09.03.03Quantum free particle as a representation of Quantum mechanics
09.04.01Legendre transform — from Lagrangian to HamiltonianClassical mechanics
09.04.02Hamilton's equationsClassical mechanics
09.04.07Complex structures and quantization; squeezed statesQuantum mechanics
09.05.01Canonical transformationsClassical mechanics
09.05.02Hamilton-Jacobi equationClassical mechanics
09.06.01Action-angle variablesClassical mechanics
09.07.01Continuum Mechanics and Field TheoryClassical mechanics
09.08.01KAM theorem and chaosClassical mechanics
10.01.01Coulomb's law and Gauss's lawElectromagnetism & special relativity
10.01.02Laplace equation and boundary value problemsElectromagnetism & special relativity
10.01.03Conductors, capacitance, and electrostatic energyElectromagnetism & special relativity
10.01.04Dielectrics, polarization P, and the electric displacement DElectromagnetism & special relativity
10.01.05Multipole expansion of the electrostatic potentialElectromagnetism & special relativity
10.02.01Biot-Savart law and Ampere's lawElectromagnetism & special relativity
10.03.01Faraday's law and electromagnetic inductionElectromagnetism & special relativity
10.03.03Energy and momentum in the electromagnetic field: Poynting vector, Maxwell stress tensor, conservation lawsElectromagnetism & special relativity
10.04.01Maxwell's equations in differential formElectromagnetism & special relativity
10.04.02EM waves and the wave equationElectromagnetism & special relativity
10.05.01Special relativity — postulates and Lorentz transformationsElectromagnetism & special relativity
10.05.02Relativistic kinematics and dynamicsElectromagnetism & special relativity
10.05.03Four-velocity, four-momentum, and the relativistic energy-momentum identityElectromagnetism & special relativity
10.06.01Covariant electrodynamics — Faraday tensorElectromagnetism & special relativity
10.07.01Radiation from accelerating charges — Larmor formulaElectromagnetism & special relativity
11.01.01First and second laws of thermodynamicsStatistical mechanics
11.01.02Thermodynamic potentials and Legendre transformsStatistical mechanics
11.02.01Maxwell-Boltzmann distribution from kinetic theoryStatistical mechanics
11.03.01Microcanonical ensembleStatistical mechanics
11.04.01Canonical ensemble and partition functionStatistical mechanics
11.04.02Souriau Gibbs state on a symplectic -spaceStatistical mechanics
11.05.01Bose-Einstein distributionStatistical mechanics
11.05.02Fermi-Dirac distribution and electron gasStatistical mechanics
11.05.03Blackbody radiation: Planck distribution, Stefan-Boltzmann law, Wien displacement lawStatistical mechanics
11.05.04Bose-Einstein condensation and the critical temperatureStatistical mechanics
11.05.05Fermi gas: heat capacity, electron specific heat, and Pauli paramagnetismStatistical mechanics
11.05.06Photon gas, phonon gas, and the Debye model of solidsStatistical mechanics
11.06.01Ising model and phase transitionsStatistical mechanics
11.07.01Critical phenomena and renormalization groupStatistical mechanics
12.01.01Wave-particle duality and the double-slitQuantum mechanics & QFT
12.01.02Stern-Gerlach and spin-1/2Quantum mechanics & QFT
12.02.01Hilbert-space formalism of quantum mechanicsQuantum mechanics & QFT
12.02.02Operators, observables, and HermiticityQuantum mechanics & QFT
12.02.03Density matrix and pure / mixed statesQuantum mechanics & QFT
12.03.01Schrödinger and Heisenberg picturesQuantum mechanics & QFT
12.04.01Particle in a boxQuantum mechanics & QFT
12.04.02Quantum harmonic oscillatorQuantum mechanics & QFT
12.05.01Angular momentum operators and SU(2) representationsQuantum mechanics & QFT
12.05.02Spherical harmonics and Legendre polynomialsQuantum mechanics & QFT
12.05.03Addition of angular momenta and Clebsch-Gordan coefficientsQuantum mechanics & QFT
12.05.04Free Klein-Gordon scalar quantum fieldQuantum mechanics & QFT
12.05.05Free Dirac spin-1/2 quantum fieldQuantum mechanics & QFT
12.05.06Free Maxwell / massive vector fields; photon and ProcaQuantum mechanics & QFT
12.05.07Molecular vibrations and spectroscopic selection rules via symmetryQuantum mechanics & QFT
12.06.01Hydrogen atom bound statesQuantum mechanics & QFT
12.06.04Crossing symmetry; CPT theorem at the -matrix levelQuantum mechanics & QFT
12.07.01Time-independent perturbation theoryQuantum mechanics & QFT
12.07.02Time-dependent perturbation theory and Fermi's golden ruleQuantum mechanics & QFT
12.07.03Variational method (Rayleigh-Ritz) in quantum mechanicsQuantum mechanics & QFT
12.07.04WKB approximation and Bohr-Sommerfeld quantisationQuantum mechanics & QFT
12.07.05Stark and Zeeman effects in LL3 framingQuantum mechanics & QFT
12.07.07Adiabatic theorem and Berry phase previewQuantum mechanics & QFT
12.07.08Berry phase and the geometric phaseQuantum mechanics & QFT
12.08.01Scattering TheoryQuantum mechanics & QFT
12.08.02Born approximation and the Lippmann-Schwinger equationQuantum mechanics & QFT
12.08.03Partial-wave expansion and phase shiftsQuantum mechanics & QFT
12.08.04Inelastic collisions and the distorted-wave Born approximationQuantum mechanics & QFT
12.09.01Identical Particles and Many-Body Quantum MechanicsQuantum mechanics & QFT
12.09.02Exchange interaction and the helium atomQuantum mechanics & QFT
12.09.03Hartree-Fock self-consistent field methodQuantum mechanics & QFT
12.09.04Multi-electron atomic structure and LS couplingQuantum mechanics & QFT
12.09.05Diatomic molecule and the Born-Oppenheimer approximationQuantum mechanics & QFT
12.10.01Path integral formulation of quantum mechanicsQuantum mechanics & QFT
12.11.01Dirac equation and relativistic spinQuantum mechanics & QFT
12.11.02Klein-Gordon equation in external EM field: Coulomb and uniform-magnetic casesQuantum mechanics & QFT
12.11.03Dirac equation in a Coulomb fieldQuantum mechanics & QFT
12.11.04Klein paradoxQuantum mechanics & QFT
12.11.05Furry's theorem and charge-conjugation symmetry of QEDQuantum mechanics & QFT
12.12.01Canonical Quantum Field TheoryQuantum mechanics & QFT
12.12.02Coulomb gauge vs Lorenz gauge in QEDQuantum mechanics & QFT
12.12.03Compton scattering and the Klein-Nishina formulaQuantum mechanics & QFT
12.12.04Møller scattering (electron-electron)Quantum mechanics & QFT
12.12.05Bhabha scattering (electron-positron)Quantum mechanics & QFT
12.12.06Bethe-Heitler bremsstrahlung and pair productionQuantum mechanics & QFT
12.13.01Bosonic Fock space and second quantisationQuantum mechanics & QFT
12.13.02Fermionic Fock space, Pauli exclusion, and anticommutatorsQuantum mechanics & QFT
12.13.03Cluster decomposition and the connected S-matrixQuantum mechanics & QFT
12.14.01CCR algebra, Weyl algebra, and quasi-free statesQuantum mechanics & QFT
12.14.02The Heisenberg group, the Schrödinger representation, and Stone–von Neumann as quantizationQuantum mechanics & QFT
12.15.01Time-reversal symmetry and Kramers' degeneracyQuantum mechanics & QFT
12.15.02Parity, discrete-symmetry groups, and the Wigner-Eckart theoremQuantum mechanics & QFT
12.16.01Electron self-energy and mass renormalization at one loopQuantum mechanics & QFT
12.16.02One-loop QED vertex function and the anomalous magnetic momentQuantum mechanics & QFT
12.16.03Vacuum polarization at one loop and the Uehling potentialQuantum mechanics & QFT
12.16.04Lamb shift from one-loop QEDQuantum mechanics & QFT
12.16.05Infrared divergences and the Bloch-Nordsieck cancellation in QEDQuantum mechanics & QFT
12.16.06Power counting, the superficial degree of divergence, and renormalizability classificationQuantum mechanics & QFT
12.17.01Density matrix, pure states, and mixed statesQuantum mechanics & QFT
12.17.02Entanglement, Schmidt decomposition, and entanglement entropyQuantum mechanics & QFT
12.17.03Bell inequalities, CHSH inequality, and the Tsirelson boundQuantum mechanics & QFT
12.17.07Quantum teleportation and superdense codingQuantum mechanics & QFT
12.18.01The Higgs mechanism: spontaneously broken gauge symmetryQuantum mechanics & QFT
12.18.02The Goldstone theorem and effective Goldstone LagrangiansQuantum mechanics & QFT
12.18.03Asymptotic freedom and the running gauge couplingQuantum mechanics & QFT
12.18.04Theta-vacua, the vacuum angle, and the strong-CP problemQuantum mechanics & QFT
12.18.05The chiral (Adler-Bell-Jackiw) anomaly from the triangle diagramQuantum mechanics & QFT
12.18.06Operator product expansion and short-distance behaviourQuantum mechanics & QFT
12.18.13Vortices (Nielsen-Olesen / Abrikosov flux tubes)Quantum mechanics & QFT
12.18.16Lattice gauge theory and confinement (QFT pointer)Quantum mechanics & QFT
12.19.01The supersymmetry algebra: Coleman-Mandula, Haag-Lopuszanski-Sohnius, and the graded extension of PoincareQuantum mechanics & QFT
12.19.02Superspace, superfields, and Berezin integrationQuantum mechanics & QFT
12.19.03Supermultiplets and the Wess-Zumino model: Bose-Fermi degeneracy, the superpotential, and the auxiliary F-fieldQuantum mechanics & QFT
12.19.04Super-Yang-Mills and the non-renormalization theorem: the vector superfield, Wess-Zumino gauge, , and supergraphsQuantum mechanics & QFT
12.19.05Spontaneous SUSY breaking: the Goldstino theorem, O'Raifeartaigh and Fayet-Iliopoulos, the supertrace sum rule, and the field-theory Witten indexQuantum mechanics & QFT
12.19.06Supersymmetric QCD and Seiberg duality: the moduli space of vacua, holomorphy, and N=1 electric-magnetic dualityQuantum mechanics & QFT
13.01.01The equivalence principleGeneral relativity & cosmology
13.02.01Tensors on smooth manifoldsGeneral relativity & cosmology
13.02.02Geodesics and parallel transportGeneral relativity & cosmology
13.02.03Cartan tetrad and spin-connection formulation of general relativityGeneral relativity & cosmology
13.03.01Riemann curvature tensorGeneral relativity & cosmology
13.04.01Einstein field equationsGeneral relativity & cosmology
13.04.02Einstein-Hilbert action and variational derivation of the Einstein equationsGeneral relativity & cosmology
13.04.03Palatini first-order variational formulation of general relativityGeneral relativity & cosmology
13.04.04Stress-energy tensor as functional derivative of the matter actionGeneral relativity & cosmology
13.05.01Schwarzschild solutionGeneral relativity & cosmology
13.05.02Orbits in Schwarzschild geometryGeneral relativity & cosmology
13.05.03Solar-system tests of general relativity: perihelion precession, light bending, Shapiro time delay, gravitational redshift, frame-draggingGeneral relativity & cosmology
13.05.04Kerr black hole, ergosphere, and the Penrose processGeneral relativity & cosmology
13.06.01Black HolesGeneral relativity & cosmology
13.06.03Black hole thermodynamics: the four laws, Bekenstein-Hawking entropy, and the area theoremGeneral relativity & cosmology
13.06.04Hawking radiation: Bogoliubov derivation, thermal spectrum, and black-hole evaporationGeneral relativity & cosmology
13.07.01Linearized GR and gravitational wavesGeneral relativity & cosmology
13.07.02Null infinity, the BMS group, and the Bondi-Sachs mass-loss formulaGeneral relativity & cosmology
13.08.01FLRW cosmology and Friedmann equationsGeneral relativity & cosmology
13.09.01Globally hyperbolic Lorentzian manifoldsGeneral relativity & cosmology
13.09.02Klein-Gordon equation on a globally hyperbolic spacetimeGeneral relativity & cosmology
13.09.03Hadamard states via the wave-front-set criterionGeneral relativity & cosmology
13.09.04Existence of Hadamard states via the FNW deformation argumentGeneral relativity & cosmology
13.09.05Hadamard states by pseudo-differential calculus (Gérard-Wrochna)General relativity & cosmology
13.09.06Wick polynomials in curved spacetime via Hadamard parametrix subtractionGeneral relativity & cosmology
13.09.07Time-ordered products and Hollands-Wald renormalisation on curved spacetimesGeneral relativity & cosmology
13.09.08Bunch-Davies state on de Sitter spacetimeGeneral relativity & cosmology
13.09.09Unruh effect via the Bisognano-Wichmann theoremGeneral relativity & cosmology
13.09.10Hartle-Hawking and Unruh states on SchwarzschildGeneral relativity & cosmology
13.09.11Quantum energy inequalities (Fewster)General relativity & cosmology
13.09.12The Peierls bracket and the covariant phase space of an interacting field theoryGeneral relativity & cosmology
14.01.01Atomic structure and electron configurationsGeneral & physical chemistry
14.02.01Lewis structures and VSEPRGeneral & physical chemistry
14.02.02Hybridization and valence bond theoryGeneral & physical chemistry
14.03.01Stoichiometry and gas lawsGeneral & physical chemistry
14.04.01Hydrogen atom quantum chemistryGeneral & physical chemistry
14.05.02Molecular orbital theory for homonuclear diatomicsGeneral & physical chemistry
14.06.01Chemical thermodynamics: free energies and equilibriumGeneral & physical chemistry
14.07.01Statistical Mechanics for ChemistryGeneral & physical chemistry
14.08.01Chemical kinetics: rate laws and the Arrhenius equationGeneral & physical chemistry
14.09.01Solutions and Phase EquilibriaGeneral & physical chemistry
14.10.01Acid-base chemistry: Bronsted-Lowry, Lewis, and pKaGeneral & physical chemistry
14.11.01Electrochemistry: the Nernst equation and electrochemical cellsGeneral & physical chemistry
14.12.01UV-Vis, IR, and NMR — fundamentals of molecular spectroscopyGeneral & physical chemistry
15.01.01Structure of organic molecules — stereochemistryOrganic chemistry
15.02.01Functional groups and nomenclatureOrganic chemistry
15.03.01Acids and bases in organic chemistryOrganic chemistry
15.04.02SN1 vs SN2 substitution mechanismsOrganic chemistry
15.05.01Electrophilic addition to alkenesOrganic chemistry
15.06.01Aromatic chemistry — EAS, HuckelOrganic chemistry
15.07.01Carbonyl chemistry — nucleophilic additionOrganic chemistry
15.08.01Radical and Pericyclic ReactionsOrganic chemistry
15.09.01Organometallic Methods in SynthesisOrganic chemistry
15.10.01Retrosynthetic analysisOrganic chemistry
15.11.01NMR spectroscopy of organic moleculesOrganic chemistry
15.12.01Amino acids and protein chemistryOrganic chemistry
15.13.01Nucleic acid chemistryOrganic chemistry
15.14.01Enzyme mechanismOrganic chemistry
16.01.01Periodic trends quantifiedInorganic chemistry
16.02.01Symmetry and group theory in chemistryInorganic chemistry
16.03.01Crystal field theory fundamentalsInorganic chemistry
16.03.02Crystal field splitting in octahedral complexesInorganic chemistry
16.04.01Coordination chemistryInorganic chemistry
16.04.02Crystal field stabilization energy and the spectrochemical seriesInorganic chemistry
16.05.01Organometallic chemistryInorganic chemistry
16.06.01Bioinorganic chemistryInorganic chemistry
16.07.01Solid-state chemistryInorganic chemistry
17.01.01Biomolecules in cells — overviewMolecular & cellular biology
17.02.01Cell membranes: structureMolecular & cellular biology
17.02.02Membrane transport — passive and activeMolecular & cellular biology
17.03.01Cellular organization: organellesMolecular & cellular biology
17.03.02Cytoskeleton and contractile proteinsMolecular & cellular biology
17.04.01Cellular respiration: glycolysis and CACMolecular & cellular biology
17.04.02Oxidative phosphorylation and ATP synthesisMolecular & cellular biology
17.04.03Photosynthesis: light and dark reactionsMolecular & cellular biology
17.05.01DNA replicationMolecular & cellular biology
17.05.02TranscriptionMolecular & cellular biology
17.05.03TranslationMolecular & cellular biology
17.06.01Mutation and repairMolecular & cellular biology
17.07.01Cell signaling: receptors and GPCRsMolecular & cellular biology
17.07.02Receptor tyrosine kinases and the MAPK signaling cascadeMolecular & cellular biology
17.08.01Cell cycle and mitosisMolecular & cellular biology
17.09.01Resting membrane potential and ion channelsMolecular & cellular biology
17.09.02The action potential — ionic basisMolecular & cellular biology
17.10.01Innate immunity at the molecular levelMolecular & cellular biology
18.01.01Body plans and organizationOrganismal biology
18.02.01Cardiovascular physiology — the heartOrganismal biology
18.02.02Cardiac action potentials, pacemaker physiology, and the ECGOrganismal biology
18.03.01Respiratory physiology — gas exchange and transportOrganismal biology
18.04.01Skeletal muscle physiologyOrganismal biology
18.04.02Muscle contraction — the actin-myosin cycleOrganismal biology
18.05.01Nervous system — gross anatomy and systemsOrganismal biology
18.06.01Digestive physiology and nutritionOrganismal biology
18.07.01Endocrine system — hormones and regulationOrganismal biology
18.08.01Renal physiology — homeostasis and the nephronOrganismal biology
18.09.01Reproductive biologyOrganismal biology
18.10.01ImmunologyOrganismal biology
18.11.01Embryology and morphogenesisOrganismal biology
19.01.01Mendelian genetics — segregation and dominanceEcology & evolution
19.02.01Hardy-Weinberg equilibriumEcology & evolution
19.02.05Wright-Fisher model and the diffusion approximationEcology & evolution
19.03.01Natural selection — directional, stabilizing, and disruptiveEcology & evolution
19.03.02Sexual selectionEcology & evolution
19.03.03Kin selection and Hamilton's ruleEcology & evolution
19.04.01Genetic driftEcology & evolution
19.05.01Quantitative genetics — heritability and the breeder's equationEcology & evolution
19.06.01Speciation — allopatric and sympatricEcology & evolution
19.07.01Phylogenetics — tree reconstructionEcology & evolution
19.08.01MacroevolutionEcology & evolution
19.09.01Population ecology — Lotka-VolterraEcology & evolution
19.10.01Community ecology — interactions and food websEcology & evolution
19.11.01Ecosystem ecologyEcology & evolution
19.12.01BiogeographyEcology & evolution
19.13.01CoevolutionEcology & evolution
19.14.01Conservation biologyEcology & evolution
19.15.01Origin of life — mechanistic scenariosEcology & evolution
20.01.01Epistemology: knowledge, justification, and truthPhilosophy
20.02.01Theories of justice: Rawls, Nozick, and fairnessPhilosophy
20.02.02Rights: natural, human, and legalPhilosophy
20.02.03Freedom and liberty: negative, positive, and free willPhilosophy
20.02.04The trolley problem and moral dilemmasPhilosophy
20.02.05The good life: eudaimonia, flourishing, and meaningPhilosophy
20.02.06Ethics of artificial intelligencePhilosophy
20.03.01The measurement problem in quantum mechanicsPhilosophy
20.04.01Aesthetics: beauty, art, and judgmentPhilosophy
20.05.02The unit of selectionPhilosophy
20.06.01Consciousness: the hard problem, qualia, and the mind-body debatePhilosophy
20.07.01Democratic theory: participation, deliberation, and representationPhilosophy
20.08.01Philosophy of science: demarcation, falsification, and paradigmsPhilosophy
20.09.01Philosophy of mathematics: Platonism, constructivism, and the nature of numbersPhilosophy
20.10.01Confucianism: ethics, society, and the exemplary personPhilosophy
20.11.01Buddhism: the Four Noble Truths, the Eightfold Path, and the question of sufferingPhilosophy
20.12.01Advaita Vedanta and Hindu philosophy: Brahman, Atman, and the question of realityPhilosophy
20.13.01Daoism: wu wei, the Dao, and natural harmonyPhilosophy
21.01.01Divisibility, GCD, Bézout's identity, and the Euclidean algorithmNumber theory
21.01.02Primes, the fundamental theorem of arithmetic, and the infinitude of primesNumber theory
21.01.03Congruences, the Chinese remainder theorem, and the ring structure of ℤ/nℤNumber theory
21.01.04Fermat's little theorem, Euler's theorem, and Wilson's theoremNumber theory
21.01.05Primitive roots and the structure of Number theory
21.01.06Quadratic residues, the Legendre symbol, and Euler's criterionNumber theory
21.01.07Quadratic reciprocity (Gauss's theorema aureum)Number theory
21.01.08Pell equation and continued fractionsNumber theory
21.02.01Finite fields — structure and squaresNumber theory
21.02.02Quadratic reciprocity via Gauss sumsNumber theory
21.02.03-adic numbers and Number theory
21.02.04Hensel's lemmaNumber theory
21.02.05Hilbert symbol and the product formulaNumber theory
21.02.06Witt's theorem: cancellation and the Witt decompositionNumber theory
21.02.07Number fields: ring of integers, ideal class group, and the Dirichlet unit theoremNumber theory
21.02.08Hasse-Minkowski theoremNumber theory
21.02.09The Brauer-Manin obstructionNumber theory
21.03.01Riemann Zeta Function Number theory
21.03.02Dirichlet -functions Number theory
21.03.03Dedekind Zeta Function, Hecke -Functions, Artin -FunctionsNumber theory
21.03.04Dirichlet densityNumber theory
21.04.01Modular Forms on Number theory
21.04.02Hecke Operators and Hecke AlgebraNumber theory
21.04.03Eichler-Shimura CorrespondenceNumber theory
21.04.04Theta Series of Quadratic Forms and Sums of SquaresNumber theory
21.04.05Ramanujan -function and Ramanujan conjecturesNumber theory
21.05.01-adic Galois RepresentationsNumber theory
21.06.01Modularity Theorem (Statement) and BSD ConjectureNumber theory
21.06.02Sato-Tate conjectureNumber theory
21.07.01-extensions and Iwasawa TheoryNumber theory
21.07.02-adic -functions and the Iwasawa Main ConjectureNumber theory
21.09.01Arakelov geometry and arithmetic surfaces (survey)Number theory
21.09.02Faltings / Mordell theoremNumber theory
21.09.03Heights and the Néron–Tate canonical heightNumber theory
21.10.01Langlands Philosophy SurveyNumber theory
21.11.01Arithmetic Functions, Dirichlet Convolution, and Möbius InversionNumber theory
21.11.02Average Orders of Arithmetic Functions and the Summation ToolkitNumber theory
21.11.03Chebyshev's Bounds, Bertrand's Postulate, and Mertens' TheoremsNumber theory
21.11.04Perron's Formula and Mellin InversionNumber theory
21.11.05The Selberg-Delange MethodNumber theory
21.12.01The von Mangoldt Function, the Chebyshev Psi Function, and the Logarithmic Derivative of ZetaNumber theory
21.12.02The Prime Number Theorem via Contour IntegrationNumber theory
21.12.03Effective Zero-Free Regions for Zeta and the Prime Number Theorem Error TermNumber theory
21.12.04The Riemann-von Mangoldt Explicit FormulaNumber theory
21.13.01Zero-Free Regions for Dirichlet L-Functions and Exceptional (Siegel) ZerosNumber theory
21.13.02Siegel's Theorem on the Exceptional ZeroNumber theory
21.13.03The Prime Number Theorem in Arithmetic Progressions and Siegel-WalfiszNumber theory
21.13.04The Polya-Vinogradov InequalityNumber theory
21.13.05The Approximate Functional Equation, Analytic Conductor, and Convexity BoundNumber theory
21.14.01The Large Sieve Inequality and Brun-TitchmarshNumber theory
21.14.02The Bombieri-Vinogradov TheoremNumber theory
21.14.03Mean Values of Multiplicative Functions: Halász's TheoremNumber theory
21.14.04Combinatorial Sieve Methods: Brun and SelbergNumber theory
21.14.05Kloosterman Sums and the Kuznetsov Spectral FormulaNumber theory
21.15.01Poisson and Voronoi SummationNumber theory
21.15.02Weyl Sums, Weyl Differencing, and EquidistributionNumber theory
21.15.03van der Corput's Method for Exponential SumsNumber theory
21.15.04Gauss, Jacobi, Kloosterman, and Salié Sums; the Weil BoundNumber theory
21.15.05The Vinogradov Mean Value TheoremNumber theory
21.16.01The Partition Function, Generating Functions, and the Pentagonal Number TheoremNumber theory
21.16.02The Hardy-Ramanujan-Rademacher Asymptotics via the Circle MethodNumber theory
22.01.01NounsGrammar
22.01.02VerbsGrammar
22.01.03Sentences: subject and predicateGrammar
22.01.04PronounsGrammar
22.01.05AdjectivesGrammar
22.01.06AdverbsGrammar
22.01.07PrepositionsGrammar
22.01.08ConjunctionsGrammar
22.01.09InterjectionsGrammar
22.01.10Noun phrases and verb phrasesGrammar
22.01.11Subject-verb agreementGrammar
22.01.12Verb tense: present, past, futureGrammar
22.01.13Perfect and progressive aspectsGrammar
22.01.14Active and passive voiceGrammar
22.01.15Clauses: independent and dependentGrammar
22.01.16Compound and complex sentencesGrammar
22.01.17Relative clausesGrammar
22.01.18Punctuation: end marks and commasGrammar
22.01.19Punctuation: semicolons, colons, dashesGrammar
22.01.20Apostrophes and quotation marksGrammar
22.01.21Common errors: fragments, run-ons, dangling modifiersGrammar
22.01.22Parallel structureGrammar
22.01.23Pronoun case and referenceGrammar
22.01.24Capitalization conventionsGrammar
22.02.01Writing a clear sentenceWriting
22.02.02Paragraph structureWriting
22.02.03Transitions and flowWriting
22.02.04Thesis statementWriting
22.02.05Structuring an argumentWriting
22.02.06Using evidenceWriting
22.02.07Counterargument and rebuttalWriting
22.02.08Introduction and conclusionWriting
22.02.09Citation and attributionWriting
22.02.10Revision and editingWriting
22.02.11Style and voiceWriting
22.03.01Literal vs Figurative LanguageLiterature techniques
22.03.02Metaphor and SimileLiterature techniques
22.03.03Symbolism and AllegoryLiterature techniques
22.03.04IronyLiterature techniques
22.03.05Foreshadowing and SuspenseLiterature techniques
22.03.06Point of ViewLiterature techniques
22.03.07Tone and MoodLiterature techniques
22.03.08ThemeLiterature techniques
22.03.09Motif and RepetitionLiterature techniques
22.03.10Unreliable NarrationLiterature techniques
22.03.11Satire and ParodyLiterature techniques
22.03.12Imagery and Sensory DetailLiterature techniques
22.03.13AllusionLiterature techniques
22.03.14PersonificationLiterature techniques
22.03.15Hyperbole and UnderstatementLiterature techniques
22.04.01Reading guide: The Catcher in the Rye (Salinger)Literature techniques
22.04.02Reading guide: The Great Gatsby (Fitzgerald)Literature techniques
22.04.03Reading guide: The Old Man and the Sea (Hemingway)Literature techniques
22.04.04Reading guide: Nineteen Eighty-Four (Orwell)Literature techniques
23.01.01Scarcity and choiceEconomics
23.01.02Opportunity CostEconomics
23.01.03Supply and DemandEconomics
23.01.04Market EquilibriumEconomics
23.01.05ElasticityEconomics
23.01.06Price ControlsEconomics
23.01.07Consumer and Producer SurplusEconomics
23.01.08Costs of ProductionEconomics
23.01.09Perfect CompetitionEconomics
23.01.10MonopolyEconomics
23.01.11Oligopoly and Monopolistic CompetitionEconomics
23.01.12Profit MaximizationEconomics
23.01.13Labor Markets and WagesEconomics
23.01.14Money and BankingEconomics
23.01.15Inflation and DeflationEconomics
23.01.16GDP and economic measurementEconomics
23.01.17UnemploymentEconomics
23.01.18Fiscal policyEconomics
23.01.19Monetary policyEconomics
23.01.20International trade and comparative advantageEconomics
23.01.21Exchange ratesEconomics
23.01.22Game theory basicsEconomics
23.01.23Externalities and public goodsEconomics
23.01.24Income inequality and redistributionEconomics
23.01.25Behavioral economicsEconomics
23.01.26Market failuresEconomics
23.01.27Economic systemsEconomics
23.01.28Development economicsEconomics
23.01.29Personal finance: budgeting, saving, compound interestEconomics
23.01.30Personal finance: credit, debt, investingEconomics
23.02.01What is governmentCivics
23.02.02Types of governmentCivics
23.02.03What is a constitutionCivics
23.02.04Separation of powersCivics
23.02.05The legislatureCivics
23.02.06The executiveCivics
23.02.07The judiciaryCivics
23.02.08How a law is madeCivics
23.02.09Electoral systemsCivics
23.02.10Political parties and interest groupsCivics
23.02.11Rights and civil libertiesCivics
23.02.12Federalism and local governmentCivics
23.02.13International organizationsCivics
23.02.14Treaties and international lawCivics
23.02.15Citizenship and civic participationCivics
23.03.01Maps and Map ProjectionsGeography
23.03.02Latitude, Longitude, and Coordinate SystemsGeography
23.03.03Continents and OceansGeography
23.03.04LandformsGeography
23.03.05Climate Zones and BiomesGeography
23.03.06Population Distribution and DensityGeography
23.03.07Urbanization and SettlementGeography
23.03.08Natural Resources and DistributionGeography
23.03.09Cultural GeographyGeography
23.03.10Political GeographyGeography
23.03.11Human MigrationGeography
23.03.12Environmental GeographyGeography
24.01.00Numerical-PDE chapter README and notation crosswalkNumerical analysis & PDE
24.01.01Propositional logic and truth tablesLogic
24.01.01Sobolev spaces and Numerical analysis & PDE
24.01.02Sobolev spaces of differential forms Numerical analysis & PDE
24.01.03Weak / variational formulation of elliptic PDENumerical analysis & PDE
24.01.04Babuška-Brezzi (inf-sup) condition for saddle-point problemsNumerical analysis & PDE
24.02.01Predicate logic and quantifiersLogic
24.02.01Classical conforming FEM — Galerkin, Céa, Bramble-HilbertNumerical analysis & PDE
24.02.02Mixed FEM for the Poisson equation (Raviart-Thomas)Numerical analysis & PDE
24.03.01Informal fallacies and argument analysisLogic
24.03.01Whitney forms Numerical analysis & PDE
24.03.02Nédélec first-kind edge elements and Numerical analysis & PDE
24.03.03Polynomial differential form spaces and Numerical analysis & PDE
24.03.04Discrete de Rham complex and the FEEC subcomplex axiomNumerical analysis & PDE
24.03.05Bounded cochain projection and the commuting diagramNumerical analysis & PDE
24.03.06FEEC convergence theorem (Arnold-Falk-Winther)Numerical analysis & PDE
24.03.07Abstract Hilbert complexes, the abstract Hodge decomposition, and abstract Galerkin stabilityNumerical analysis & PDE
24.04.01Deductive reasoning and syllogismsLogic
24.04.01Mixed FEM for the Hodge LaplacianNumerical analysis & PDE
24.04.02Maxwell equations and FEEC edge elementsNumerical analysis & PDE
24.04.03Linearised elasticity via AFW symmetric-tensor mixed elementsNumerical analysis & PDE
24.04.04Smooth FEEC pointer (Falk-Neilan)Numerical analysis & PDE
24.04.05Isogeometric exterior calculus pointerNumerical analysis & PDE
24.04.06Virtual element exterior calculus pointerNumerical analysis & PDE
24.04.07Eigenvalue approximation and discrete compactness in FEECNumerical analysis & PDE
24.04.E1Finite element exterior calculus exercise pack (Arnold-Falk-Winther supplement)Numerical analysis & PDE
24.05.01Inductive reasoning, analogy, and causationLogic
24.06.01Decision theory and Bayesian reasoningLogic
24.07.01Cognitive biases and rationalityLogic
24.08.01Critical thinking in media, science, and everyday lifeLogic
25.01.01Computational thinking and algorithmsComputer science
25.01.01Propositional logic and truth tablesLogic
25.02.01Data structures: arrays, trees, and graphsComputer science
25.02.01Predicate logic and quantifiersLogic
25.03.01Algorithmic complexity and Big-O notationComputer science
25.03.01Informal fallacies and argument analysisLogic
25.04.01Programming paradigms: functional, OOP, and beyondComputer science
25.04.01Deductive reasoning and syllogismsLogic
25.05.01Operating systems: processes and memoryComputer science
25.06.01Computer networks and internet architectureComputer science
25.07.01Databases: relational, NoSQL, and data modelingComputer science
25.08.01Cybersecurity, encryption, and privacyComputer science
25.09.01Artificial intelligence and machine learningComputer science
25.10.01Software engineering and design patternsComputer science
25.11.01Distributed systems and consensusComputer science
25.12.01Computing ethics and societal impactComputer science
26.01.01Descriptive statistics: central tendency and variabilityStatistics
26.02.01Probability theory: rules and distributionsStatistics
26.03.01Random variables and expected valueStatistics
26.04.01Sampling distributions and the Central Limit TheoremStatistics
26.05.01Hypothesis testing, p-values, and confidence intervalsStatistics
26.06.01Correlation and regression analysisStatistics
26.07.01Bayesian statistics: prior and posteriorStatistics
26.08.01Nonparametric methods and resamplingStatistics
26.09.01Experimental design and ANOVAStatistics
26.10.01Statistical literacy, misuse, and data ethicsStatistics
27.01.01Plate tectonics and continental driftEarth science
27.02.01Minerals, rocks, and the rock cycleEarth science
27.03.01Earthquakes, volcanoes, and geologic hazardsEarth science
27.04.01Atmosphere, weather, and climate basicsEarth science
27.05.01Oceanography: currents, tides, and marine ecosystemsEarth science
27.06.01Hydrology: the water cycle and groundwaterEarth science
27.07.01Climate change: evidence, impacts, and mitigationEarth science
27.08.01Earth history and the geologic time scaleEarth science
28.01.01The solar system: planets, moons, and small bodiesAstronomy
28.02.01Stars and stellar evolutionAstronomy
28.03.01Galaxies and the Milky WayAstronomy
28.04.01Cosmology: the Big Bang, expansion, and fate of the universeAstronomy
28.05.01Exoplanets: detection methods and habitabilityAstronomy
28.06.01Space exploration: history and futureAstronomy
29.01.01Introduction to psychology and research methodsPsychology
29.02.01Neuroscience: brain and behaviourPsychology
29.03.01Sensation and perception: how the brain constructs reality from sensory dataPsychology
29.04.01Learning and memory: conditioning, cognitive maps, encoding, storage, retrieval, and forgettingPsychology
29.05.01Cognition and intelligence: thinking, reasoning, and the measurement of mindPsychology
29.06.01Developmental Psychology Across the LifespanPsychology
29.07.01Social psychology: social influence, group dynamics, prejudice, and relationshipsPsychology
29.08.01Personality theories and assessmentPsychology
29.09.01Psychological disorders: diagnosis, controversy, and the limits of classificationPsychology
29.10.01Therapy and treatment approachesPsychology
29.11.01Motivation and emotion: drives, needs, feelings, and the forces that shape behaviourPsychology
29.12.01Cross-Cultural and Indigenous PsychologyPsychology
30.01.01The sociological imagination and research methodsSociology
30.02.01Culture and society: a global perspectiveSociology
30.03.01Socialization and Identity FormationSociology
30.04.01Social stratification: class, race, gender, and casteSociology
30.05.01Social institutions: family, education, religion, and mediaSociology
30.06.01Deviance and social control: who defines normal, who punishes difference, and why it mattersSociology
30.07.01Globalization and social movements: how people organize across borders to challenge powerSociology
30.08.01Urbanization and demography: the global movement of people and the cities that shape their livesSociology
31.01.01Anthropology: the four fields and holismAnthropology
31.02.01Cultural anthropology: ethnography and fieldworkAnthropology
31.03.01Archaeology: material culture and excavationAnthropology
31.04.01Biological anthropology: evolution and homininsAnthropology
31.05.01Linguistic anthropology: language, culture, and societyAnthropology
31.06.01Applied anthropology: globalization, ethics, and decolonizationAnthropology
32.01.01Prehistory and human migration out of AfricaWorld history
32.02.01Mesopotamia and the Fertile CrescentWorld history
32.03.01Ancient Egypt and NubiaWorld history
32.04.01Indus Valley Civilization and Vedic IndiaWorld history
32.05.01Ancient China: Shang through Han dynastiesWorld history
32.06.01Classical Greece and the Hellenistic worldWorld history
32.07.01Roman Republic and Empire: from founding myths to the fall and beyondWorld history
32.08.01Classical India: Mauryan Empire, Gupta Golden Age, and South Indian KingdomsWorld history
32.09.01Pre-Columbian Americas: Olmec, Maya, Aztec, Inca, and North American civilizationsWorld history
32.10.01Islamic Golden Age and the CaliphatesWorld history
32.11.01Medieval Europe and the CrusadesWorld history
32.12.01Sub-Saharan African kingdomsWorld history
32.13.01The Mongol Empire and its legacyWorld history
32.14.01Age of Exploration: Multiple PerspectivesWorld history
32.15.01Colonialism and imperialism: colonizer and colonizedWorld history
32.16.01The Atlantic Slave Trade: African, European, and American PerspectivesWorld history
32.17.01Enlightenment and Revolutions: American, French, Haitian, and Latin AmericanWorld history
32.18.01Industrial Revolution and its global consequencesWorld history
32.19.01Meiji Japan, Qing collapse, and the Scramble for AfricaWorld history
32.20.01World War I: Global PerspectivesWorld history
32.21.01Interwar Period and the Rise of Totalitarianism: Fascism, Communism, and Liberal Democracy in CrisisWorld history
32.22.01World War II: Global Theaters and Multi-Perspective HistoriesWorld history
32.23.01Decolonization: India, Algeria, Vietnam, Congo, and the end of empireWorld history
32.24.01The Cold War: US, Soviet, Chinese, and Non-Aligned PerspectivesWorld history
32.25.01Globalization, Neoliberalism, and the Post-Colonial WorldWorld history
32.26.01The 21st Century: Digital Revolution, Climate Crisis, and Shifting PowerWorld history
33.01.01Ancient science: Mesopotamia, Greece, China, and IndiaHistory of science
33.02.01Islamic Golden Age and medieval European scienceHistory of science
33.03.01The Scientific Revolution: Copernicus to NewtonHistory of science
33.04.01Industrial Revolution, chemistry, and electromagnetismHistory of science
33.05.01The relativity and quantum revolutionsHistory of science
33.06.01Genetics, DNA, and the molecular biology revolutionHistory of science
33.07.01The digital revolution: computing and the internetHistory of science
33.08.01Contemporary science: challenges, open science, and the futureHistory of science
34.01.01Music fundamentals: rhythm, melody, and harmonyMusic & art
34.02.01Music history: Western and world traditionsMusic & art
34.03.01Visual art: elements, principles, and compositionMusic & art
34.04.01Art history: cave paintings to contemporaryMusic & art
34.05.01Film and photography as visual storytellingMusic & art
34.06.01Architecture and design of the built environmentMusic & art
34.07.01Aesthetics theory: taste, judgment, and cultureMusic & art
34.08.01Digital media, art, and technologyMusic & art
35.01.01The human body: organ systems and homeostasisHealth & medicine
35.02.01Infectious disease, immunity, and vaccinesHealth & medicine
35.03.01Chronic disease: cardiovascular disease, diabetes, and cancerHealth & medicine
35.04.01Nutrition: macronutrients, micronutrients, and dietHealth & medicine
35.05.01Mental health: disorders, stigma, and treatmentHealth & medicine
35.06.01Public health, epidemiology, and health systemsHealth & medicine
35.07.01Pharmacology: how drugs work and ethicsHealth & medicine
35.08.01Future of medicine: genomics, AI, and global healthHealth & medicine
36.01.01Media foundations: history and theoryMedia literacy
36.02.01News and journalism: verification and source evaluationMedia literacy
36.03.01Propaganda and persuasion: rhetorical analysisMedia literacy
36.04.01Digital literacy: algorithms, filter bubbles, and echo chambersMedia literacy
36.05.01Visual literacy: images, data visualization, and manipulationMedia literacy
36.06.01Media ethics: responsible consumption and productionMedia literacy
37.01.01Probability Spaces and the Kolmogorov Extension TheoremProbability & stochastics
37.02.01The Borel-Cantelli Lemmas and the Kolmogorov 0-1 LawProbability & stochastics
37.02.02The Strong Law of Large NumbersProbability & stochastics
37.02.03The Ergodic Theorems: Birkhoff, von Neumann, and KingmanProbability & stochastics
37.03.01Characteristic Functions, Inversion, and the Lévy Continuity TheoremProbability & stochastics
37.03.02The Lindeberg–Feller Central Limit TheoremProbability & stochastics
37.03.03Donsker's Invariance Principle and the Functional Central Limit TheoremProbability & stochastics
37.04.01Discrete-Time Martingales, Stopping Times, and Optional StoppingProbability & stochastics
37.04.02Doob's Upcrossing Inequality and the Almost-Sure Martingale Convergence TheoremProbability & stochastics
37.04.03Doob's Maximal and L^p Inequalities, Uniform Integrability, and L^p-Bounded MartingalesProbability & stochastics
37.04.04Kakutani's Theorem on Product Martingales and Absolute Continuity of Product MeasuresProbability & stochastics
37.05.01The Markov Property, Transition Matrices, and the Chapman–Kolmogorov EquationsProbability & stochastics
37.05.02Class Structure, Irreducibility, and PeriodicityProbability & stochastics
37.05.03Hitting Probabilities and Expected Hitting TimesProbability & stochastics
37.05.04The Strong Markov Property and the Recurrence/Transience DichotomyProbability & stochastics
37.05.05Invariant Measures and Distributions; Positive and Null RecurrenceProbability & stochastics
37.05.06Convergence to Equilibrium via CouplingProbability & stochastics
37.05.07The Ergodic Theorem for Markov Chains and Detailed BalanceProbability & stochastics
37.05.08Continuous-Time Markov Chains I: Q-Matrices, Jump Chains, and Holding TimesProbability & stochastics
37.05.09Continuous-Time Markov Chains II: The Kolmogorov Backward and Forward EquationsProbability & stochastics
37.05.10Recurrence, Invariant Distributions, and Convergence for Continuous-Time ChainsProbability & stochastics
37.05.11The Poisson Process: Equivalent CharacterizationsProbability & stochastics
37.05.12Birth–Death Processes and Queueing ChainsProbability & stochastics
37.06.01Continuous Local Martingales, Quadratic Variation, and the Doob–Meyer DecompositionProbability & stochastics
37.06.02The Brownian Martingale Representation TheoremProbability & stochastics
37.06.03Brownian Local Time and Tanaka's FormulaProbability & stochastics
37.07.01The Large Deviation Principle: Rate Functions, Bounds, and GoodnessProbability & stochastics
37.07.02Cramér's Theorem and the Legendre-Fenchel Rate FunctionProbability & stochastics
37.07.03The Legendre-Fenchel Transform and Convex Duality of Rate FunctionsProbability & stochastics
37.07.04The Gärtner-Ellis TheoremProbability & stochastics
37.07.05Sanov's Theorem and the Large Deviation Principle for Empirical MeasuresProbability & stochastics
37.07.06Relative Entropy as a Rate Function and the Donsker-Varadhan Variational FormulaProbability & stochastics
37.07.07Varadhan's Integral Lemma and the Laplace PrincipleProbability & stochastics
37.07.08The Contraction Principle and the Inverse Contraction PrincipleProbability & stochastics
37.07.09Exponential Tightness, Exponential Approximation, and the Dawson–Gärtner Projective LimitProbability & stochastics
37.07.10Schilder's Theorem: Small-Noise Large Deviations for Brownian MotionProbability & stochastics
37.07.11Freidlin–Wentzell Theory: Large Deviations for Small-Noise DiffusionsProbability & stochastics
37.08.01The Wigner Semicircle Law and the Moment MethodProbability & stochastics
37.08.02The Stieltjes Transform and the Semicircle Law via the ResolventProbability & stochastics
37.08.03Gaussian Ensembles GOE/GUE/GSE and the Joint Eigenvalue DensityProbability & stochastics
37.08.04Determinantal Point Processes and Sine-Kernel Bulk UniversalityProbability & stochastics
37.08.05The Airy Kernel and the Tracy-Widom Edge LawProbability & stochastics
37.08.06The Largest Eigenvalue and the Operator-Norm BoundProbability & stochastics
37.08.07Spectral Concentration: Log-Sobolev and the Herbst ArgumentProbability & stochastics
37.08.08Free Probability: Freeness, Free Convolution, and the R-TransformProbability & stochastics
37.08.09The Ben Arous–Guionnet Large Deviation Principle for the Empirical Spectral MeasureProbability & stochastics
38.01.01Dynamical Systems, Orbits, and Limit SetsDynamical systems & ergodic theory
38.01.02Minimality and RecurrenceDynamical systems & ergodic theory
38.01.03Topological Transitivity, Topological Mixing, and Devaney ChaosDynamical systems & ergodic theory
38.01.04Circle Rotations and Unique ErgodicityDynamical systems & ergodic theory
38.01.05The Poincaré Rotation Number and Denjoy's TheoremDynamical systems & ergodic theory
38.02.01Shift Spaces and SubshiftsDynamical systems & ergodic theory
38.02.02Shifts of Finite Type, Transition Matrices, and CodingDynamical systems & ergodic theory
38.02.03Perron-Frobenius Theory, SFT Growth Rate, and Subshift EntropyDynamical systems & ergodic theory
38.03.01Hyperbolic Sets, Anosov and Axiom-A Systems, and the Smale Spectral DecompositionDynamical systems & ergodic theory
38.03.02The Smale Horseshoe and the Smale-Birkhoff Homoclinic TheoremDynamical systems & ergodic theory
38.03.03The Hadamard-Perron Stable and Unstable Manifold TheoremDynamical systems & ergodic theory
38.03.04Shadowing and Structural StabilityDynamical systems & ergodic theory
38.04.01Measure-Preserving Systems, Poincaré Recurrence, and the Kac FormulaDynamical systems & ergodic theory
38.04.02Ergodicity, Unique Ergodicity, and EquidistributionDynamical systems & ergodic theory
38.05.01The Mixing Hierarchy: Mixing, Weak Mixing, and ErgodicityDynamical systems & ergodic theory
38.05.02Spectral Theory of Dynamical Systems and the Halmos-von Neumann TheoremDynamical systems & ergodic theory
38.06.01Topological EntropyDynamical systems & ergodic theory
38.06.02Kolmogorov-Sinai Entropy and the Generator TheoremDynamical systems & ergodic theory
38.06.03The Shannon-McMillan-Breiman TheoremDynamical systems & ergodic theory
38.06.04Topological Pressure, the Variational Principle, and Equilibrium StatesDynamical systems & ergodic theory
38.07.01The Oseledets Multiplicative Ergodic Theorem and Lyapunov ExponentsDynamical systems & ergodic theory
38.07.02Pesin Theory and the Entropy FormulaDynamical systems & ergodic theory
38.07.03The Hopf Argument for Ergodicity of Geodesic and Anosov FlowsDynamical systems & ergodic theory
38.07.04The Livšic Cohomological Rigidity TheoremDynamical systems & ergodic theory
39.01.01C*-Algebras: Axioms, Spectrum, and the Continuous Functional CalculusOperator algebras & NCG
39.01.02Commutative C*-Algebras and Gelfand DualityOperator algebras & NCG
39.01.03States, the GNS Construction, and the Gelfand-Naimark Representation TheoremOperator algebras & NCG
39.01.04The Toeplitz Algebra, Cuntz Algebras, and ExtensionsOperator algebras & NCG
39.02.01AF Algebras, Bratteli Diagrams, and the Irrational Rotation AlgebraOperator algebras & NCG
39.02.02Operator K-Theory: K_0 and K_1 of C*-AlgebrasOperator algebras & NCG
39.02.03The Six-Term Exact Sequence, Bott Periodicity, and AF ClassificationOperator algebras & NCG
39.03.01Von Neumann Algebras and the Bicommutant TheoremOperator algebras & NCG
39.03.02The Predual, Normal States, and the σ-Weak TopologyOperator algebras & NCG
39.03.03The Kaplansky Density TheoremOperator algebras & NCG
39.03.04Comparison of Projections and the Murray-von Neumann Type ClassificationOperator algebras & NCG
39.03.05Traces, Continuous Dimension, and the II_1 FactorOperator algebras & NCG
39.04.01Cyclic and Separating Vectors and the Standard FormOperator algebras & NCG
39.04.02Tomita's Theorem: the Modular Operator and Modular ConjugationOperator algebras & NCG
39.04.03The Modular Automorphism Group and the KMS ConditionOperator algebras & NCG
39.04.04The Connes Classification of Type III FactorsOperator algebras & NCG
39.05.01Completely Positive Maps and the Stinespring Dilation TheoremOperator algebras & NCG
39.05.02Operator Systems, Arveson's Extension Theorem, and the Choi-Effros TheoremOperator algebras & NCG
39.05.03Tensor Products of C*-Algebras: the Minimal and Maximal NormsOperator algebras & NCG
39.05.04Nuclear C*-Algebras and the Completely Positive Approximation PropertyOperator algebras & NCG
39.05.05Exact C*-Algebras and Nuclear EmbeddabilityOperator algebras & NCG
39.05.06Amenable Groups: Invariant Means, the Følner Condition, and Paradoxical DecompositionsOperator algebras & NCG
39.05.07Group C*-Algebras: Amenability and NuclearityOperator algebras & NCG
39.05.08QuasidiagonalityOperator algebras & NCG
39.05.09Group Approximation Properties and the Connes Embedding ProblemOperator algebras & NCG
39.05.10Exact Groups, Amenable Actions, and Property AOperator algebras & NCG
39.06.01Spectral Triples and the Reconstruction TheoremOperator algebras & NCG
39.06.02The Connes Distance FormulaOperator algebras & NCG
39.06.03Fredholm Modules and the K-Theory/K-Homology Index PairingOperator algebras & NCG
39.06.04The Noncommutative Torus and Its GeometryOperator algebras & NCG
39.06.05The Dixmier Trace and the Noncommutative IntegralOperator algebras & NCG
39.06.06The Connes-Moscovici Local Index FormulaOperator algebras & NCG
39.07.01Cyclic Cohomology and the Pairing with K-TheoryOperator algebras & NCG
39.07.02The Chern Character in K-HomologyOperator algebras & NCG
40.01.01Basic Counting and the Twelvefold WayCombinatorics & graph theory
40.01.02Inclusion-Exclusion and the SieveCombinatorics & graph theory
40.01.03Generating Functions: Ordinary, Exponential, and the Exponential FormulaCombinatorics & graph theory
40.01.04Rational Generating Functions, the Transfer-Matrix Method, and P-PartitionsCombinatorics & graph theory
40.01.05Permutation Statistics: Descents, the Major Index, and Eulerian PolynomialsCombinatorics & graph theory
40.01.06q-Analogues, Gaussian Binomial Coefficients, and the Combinatorics of PartitionsCombinatorics & graph theory
40.01.07Trees, Cayley's Formula, the Matrix-Tree Theorem, and Lagrange InversionCombinatorics & graph theory
40.02.01Posets, Lattices, and Birkhoff's Representation TheoremCombinatorics & graph theory
40.02.02The Incidence Algebra, the Möbius Function of a Poset, and Möbius InversionCombinatorics & graph theory
40.02.03Eulerian Posets, Face Lattices, and the Characteristic PolynomialCombinatorics & graph theory
40.03.01The Ring of Symmetric Functions and Its BasesCombinatorics & graph theory
40.03.02Schur Functions: the Combinatorial Definition and the Jacobi-Trudi DeterminantCombinatorics & graph theory
40.03.03The Cauchy Identity, Dual Bases, and the Hall Inner ProductCombinatorics & graph theory
40.03.04The Robinson-Schensted-Knuth CorrespondenceCombinatorics & graph theory
40.03.05The Littlewood-Richardson Rule, Skew Schur Functions, and Jeu de TaquinCombinatorics & graph theory
40.03.06The Frobenius Characteristic Map and the Symmetric-Function DictionaryCombinatorics & graph theory
40.03.07Plane Partitions and the MacMahon Box FormulaCombinatorics & graph theory
40.03.08Quasisymmetric Functions and Gessel's Fundamental BasisCombinatorics & graph theory
40.04.01Graphs, Basic Invariants, and the Foundational LemmasCombinatorics & graph theory
40.04.02Matchings I: König's Theorem and Hall's Marriage TheoremCombinatorics & graph theory
40.04.03Matchings II: Tutte's 1-Factor Theorem and the Tutte-Berge FormulaCombinatorics & graph theory
40.04.04Connectivity and Menger's TheoremCombinatorics & graph theory
40.04.05Planar Graphs: Euler's Formula, Kuratowski's and Wagner's TheoremsCombinatorics & graph theory
40.04.06Vertex Colouring: Brooks' Theorem and the Chromatic PolynomialCombinatorics & graph theory
40.04.07Edge Colouring and List Colouring: Vizing's Theorem and ChoosabilityCombinatorics & graph theory
40.04.08Map Colouring: the Five-Colour Theorem and the Four-Colour TheoremCombinatorics & graph theory
40.04.09Network Flows: Max-Flow Min-Cut and Nowhere-Zero FlowsCombinatorics & graph theory
40.04.10Graph Minors and the Robertson-Seymour TheoremCombinatorics & graph theory
40.04.11Hamilton Cycles: Dirac, Ore, and Chvátal-ErdősCombinatorics & graph theory
40.05.01Extremal Graph Theory: Turán's Theorem and Erdős-Stone-SimonovitsCombinatorics & graph theory
40.05.02Bipartite Extremal Problems: the Kővári-Sós-Turán TheoremCombinatorics & graph theory
40.05.03The Szemerédi Regularity Lemma and the Triangle Removal LemmaCombinatorics & graph theory
40.05.04Ramsey's Theorem and Ramsey NumbersCombinatorics & graph theory
40.06.01Balanced Incomplete Block Designs and Fisher's InequalityCombinatorics & graph theory
40.06.02Symmetric Designs and the Bruck-Ryser-Chowla TheoremCombinatorics & graph theory
40.06.03Finite Projective and Affine Planes, MOLS, and the 36-Officers ProblemCombinatorics & graph theory
40.06.04Steiner Systems and the Existence of Steiner Triple SystemsCombinatorics & graph theory
40.06.05Hadamard Matrices and the Paley ConstructionCombinatorics & graph theory
40.06.06Linear Codes and the Hamming, Singleton, and Gilbert-Varshamov BoundsCombinatorics & graph theory
40.06.07Perfect Codes: the Hamming and Golay CodesCombinatorics & graph theory
40.06.08Cyclic Codes: BCH, Reed-Solomon, Reed-Muller, and Assmus-MattsonCombinatorics & graph theory
40.06.09Strongly Regular Graphs and the Design-Graph DictionaryCombinatorics & graph theory
40.06.10Pólya-Redfield Enumeration and the Cycle IndexCombinatorics & graph theory
40.07.01The Probabilistic Method: First-Moment and Counting ArgumentsCombinatorics & graph theory
40.07.02Linearity of Expectation and the Deletion MethodCombinatorics & graph theory
40.07.03The Second-Moment Method and Thresholds for Random GraphsCombinatorics & graph theory
40.07.04The Lovász Local Lemma and the Moser-Tardos AlgorithmCombinatorics & graph theory
40.07.05Concentration for Combinatorial Functionals: Azuma and the Bounded-Differences MethodCombinatorics & graph theory
40.07.06The Entropy Method and Shearer's LemmaCombinatorics & graph theory
40.07.07Correlation Inequalities: FKG, Harris, and the Janson InequalitiesCombinatorics & graph theory
40.07.08Combinatorial Discrepancy: Spencer's Theorem and the Beck-Fiala BoundCombinatorics & graph theory
40.07.09The Rödl Nibble and the Semi-Random MethodCombinatorics & graph theory
40.08.01The Symbolic Method for Unlabelled StructuresCombinatorics & graph theory
40.08.02The Symbolic Method for Labelled StructuresCombinatorics & graph theory
40.08.03Meromorphic Coefficient AsymptoticsCombinatorics & graph theory
40.08.04Singularity Analysis and the Transfer TheoremsCombinatorics & graph theory
40.08.05Asymptotics of Tree Families and Simple Varieties of TreesCombinatorics & graph theory
40.08.06The Saddle-Point Method for Asymptotic EnumerationCombinatorics & graph theory
40.08.07Limit Laws and the Quasi-Powers TheoremCombinatorics & graph theory
41.01.01Categories, Functors, and the Duality PrincipleCategory theory
41.01.02Natural Transformations, Functor Categories, and Equivalence of CategoriesCategory theory
41.02.01Limits and Colimits as Universal ConesCategory theory
41.02.02Constructing Limits: Products, Equalizers, Preservation, and Filtered ColimitsCategory theory
41.03.01Adjunctions: Hom-Set and Unit-Counit DefinitionsCategory theory
41.03.02RAPL, Reflective Subcategories, and the Adjoint Functor TheoremsCategory theory
41.04.01Representable Functors and Universal ElementsCategory theory
41.04.02The Yoneda Lemma, the Yoneda Embedding, and DensityCategory theory
41.05.01Monads, Eilenberg-Moore Algebras, and the Kleisli CategoryCategory theory
41.05.02Beck's Monadicity Theorem and Lawvere TheoriesCategory theory
41.06.01Ends, Coends, and the Calculus of (Co)endsCategory theory
41.06.02Kan Extensions: All Concepts Are Kan ExtensionsCategory theory
41.07.01Monoidal Categories and Mac Lane's Coherence TheoremCategory theory
42.01.01Propositional Logic as a Formal SystemMathematical logic
42.01.02The Compactness Theorem for Propositional LogicMathematical logic
42.01.03First-Order Languages: Syntax and Unique ReadabilityMathematical logic
42.01.04Structures and Tarski's Definition of TruthMathematical logic
42.01.05A Deductive Calculus for First-Order Logic and SoundnessMathematical logic
42.01.06Gödel's Completeness Theorem and the Henkin ConstructionMathematical logic
42.01.07Compactness and the Löwenheim-Skolem Theorems for First-Order LogicMathematical logic
42.01.08Representability of Recursive Functions in ArithmeticMathematical logic
42.01.09Gödel Numbering, the Fixed-Point Lemma, and the Incompleteness TheoremsMathematical logic
42.01.10The Entscheidungsproblem, Church's Theorem, and Decidable TheoriesMathematical logic
42.02.01Structures, Embeddings, and Elementary EquivalenceMathematical logic
42.02.02The Compactness Theorem and the Method of DiagramsMathematical logic
42.02.03Types and the Omitting Types TheoremMathematical logic
42.02.04Saturation, Homogeneity, and Monster ModelsMathematical logic
42.02.05Quantifier Elimination and Model-CompletenessMathematical logic
42.02.06Categoricity: Ryll-Nardzewski, Morley, and Baldwin-LachlanMathematical logic
42.02.07Strongly Minimal Sets, Morley Rank, and StabilityMathematical logic
42.02.08O-Minimality and the Cell Decomposition TheoremMathematical logic
42.02.09Indiscernibles and Ehrenfeucht-Mostowski ModelsMathematical logic
42.03.01The ZFC Axioms and the Cumulative HierarchyMathematical logic
42.03.02Ordinals, Transfinite Induction, and RecursionMathematical logic
42.03.03Cardinals and the Arithmetic of the InfiniteMathematical logic
42.03.04Cofinality, Cardinal Exponentiation, and the Singular Cardinals HypothesisMathematical logic
42.03.05The Axiom of Choice and Its EquivalentsMathematical logic
42.03.06The Constructible Universe L and the Consistency of GCHMathematical logic
42.03.07Forcing I: Posets, Generic Filters, Names, and the Fundamental TheoremMathematical logic
42.03.08Forcing II: Cohen and the Independence of the Continuum HypothesisMathematical logic
42.03.09Martin's Axiom, Iterated Forcing, and Large CardinalsMathematical logic
42.03.10Club Sets, Stationary Sets, and Fodor's LemmaMathematical logic
42.04.01Models of Computation and the Church-Turing ThesisMathematical logic
42.04.02The Halting Problem, Undecidability, and the Recursion TheoremMathematical logic
42.04.03Computably Enumerable Sets: Creative and Simple SetsMathematical logic
42.04.04Turing Reducibility, Oracles, and the JumpMathematical logic
42.04.05The Arithmetical Hierarchy and Post's TheoremMathematical logic
42.04.06The Turing Degrees and the Priority MethodMathematical logic
42.04.07Unsolvable Problems: the Word Problem and Hilbert's TenthMathematical logic
42.04.08Kolmogorov Complexity and Algorithmic RandomnessMathematical logic
42.05.01Sequent Calculus, Cut-Elimination, and the Consistency of ArithmeticMathematical logic
43.01.01Floating-point arithmetic and the IEEE modelNumerical analysis & scientific computing
43.01.02Conditioning and condition numbers of problemsNumerical analysis & scientific computing
43.01.03Backward stability and backward-error analysis of algorithmsNumerical analysis & scientific computing
43.02.01The Bisection Method and the Scalar Root-Finding ProblemNumerical analysis & scientific computing
43.02.02Fixed-Point Iteration, Contraction Convergence, and Order of ConvergenceNumerical analysis & scientific computing
43.02.03Newton's Method and the Secant Method: Superlinear and Quadratic ConvergenceNumerical analysis & scientific computing
43.03.01Gaussian elimination, LU factorization, and its stabilityNumerical analysis & scientific computing
43.03.02Cholesky factorization and the symmetric positive-definite solveNumerical analysis & scientific computing
43.03.03Perturbation theory and a posteriori error for linear systemsNumerical analysis & scientific computing
43.03.08Symmetric-indefinite factorisation: the Bunch-Kaufman LDLᵀ algorithmNumerical analysis & scientific computing
43.04.01Least squares: normal equations vs QR vs SVD conditioningNumerical analysis & scientific computing
43.04.08Updating and downdating matrix factorisationsNumerical analysis & scientific computing
43.05.08Total least squares and the generalised SVDNumerical analysis & scientific computing
43.06.01Power iteration, inverse iteration, and Rayleigh quotient iterationNumerical analysis & scientific computing
43.06.02Reduction to Hessenberg/tridiagonal formNumerical analysis & scientific computing
43.06.03The QR algorithm for eigenvalues, with shiftsNumerical analysis & scientific computing
43.06.04Bauer-Fike and the conditioning of eigenvaluesNumerical analysis & scientific computing
43.06.10The generalised eigenvalue problem Ax=λBx and the QZ algorithmNumerical analysis & scientific computing
43.06.11Computing matrix functions: the matrix exponentialNumerical analysis & scientific computing
43.06.12Sylvester and Lyapunov matrix equations: the Bartels-Stewart algorithmNumerical analysis & scientific computing
43.07.01Stationary iterative methods: Jacobi, Gauss-Seidel, SORNumerical analysis & scientific computing
43.07.02Arnoldi and Lanczos iterationsNumerical analysis & scientific computing
43.07.03GMRESNumerical analysis & scientific computing
43.07.04The conjugate gradient methodNumerical analysis & scientific computing
43.07.05PreconditioningNumerical analysis & scientific computing
43.08.01Polynomial interpolation: existence, uniqueness, and the Lagrange formNumerical analysis & scientific computing
43.08.02Interpolation error and the Runge phenomenonNumerical analysis & scientific computing
43.08.03Hermite interpolation and piecewise / cubic spline interpolationNumerical analysis & scientific computing
43.08.04Best uniform approximation, minimax, and Chebyshev polynomialsNumerical analysis & scientific computing
43.08.05Least-squares approximation and orthogonal polynomialsNumerical analysis & scientific computing
43.09.01Newton-Cotes rules and their error via the Peano kernelNumerical analysis & scientific computing
43.09.02Composite rules, Euler-Maclaurin, and Romberg / adaptive quadratureNumerical analysis & scientific computing
43.09.03Gauss quadrature via orthogonal polynomialsNumerical analysis & scientific computing
43.10.01One-step methods: Euler, trapezoidal, Runge-Kutta; consistency and orderNumerical analysis & scientific computing
43.10.02Linear multistep methods: Adams and BDF families, order via the characteristic polynomialsNumerical analysis & scientific computing
43.10.03Zero-stability, the root condition, and the Dahlquist equivalence theoremNumerical analysis & scientific computing
43.10.04Absolute stability, stability regions, and the linear test equationNumerical analysis & scientific computing
43.10.05Stiff equations, A-stability, and the Dahlquist second barrierNumerical analysis & scientific computing
43.10.06Finite-difference methods for two-point boundary-value problemsNumerical analysis & scientific computing
43.11.01Finite differences for the elliptic BVP: the 5-point Laplacian and its convergenceNumerical analysis & scientific computing
43.11.02The method of lines and stability for parabolic problemsNumerical analysis & scientific computing
43.11.03Von Neumann stability analysis and the CFL conditionNumerical analysis & scientific computing
43.11.04Hyperbolic finite differences: upwind, Lax-Friedrichs, Lax-Wendroff; numerical diffusion and dispersionNumerical analysis & scientific computing
43.11.05The Lax-Richtmyer equivalence theorem for finite-difference schemesNumerical analysis & scientific computing