Expositions & Essays / Reading guide
Reading paths
Choose a calculation or a question, then follow connected expositions and essays.
Three studies of retained structure
A root algebra, a graph complex, and an infinitesimal probe each turn familiar data into an object with operations. The three expositions ask what a simpler description retains, what it leaves undecided, and which additional structure makes reconstruction possible. Each has an independent entry point.
- Start with calculus. What a Derivative Retains, §§1–5 follows rectangle strips and oriented boundaries to Kähler differentials and tangent probes. Calculus, polynomial rings, and modules suffice for this first-order route; §5 is a useful stopping point.
- Start with graphs. What a Boundary Map Can Prove, §1 begins with the tree criterion. Continue to §3 for worked counts, resistance, and probabilities using graphs and linear algebra, taking the matrix-tree and transfer-current formulas as given on a first pass. Return to §2 for the determinant-line and exterior-power constructions used in their proofs.
- Start with polynomials. Fourier, Symmetry, and Reconstruction, §1 poses the root-reconstruction problem; §§3–9 develop character projectors and explicit radicals. This route uses linear algebra, polynomial rings, finite group actions, and basic Galois theory. §§2 and 10 supply the cover and radical-choice geometry.
Connections worth following
One projector operation, two calculations
Fourier §3 separates root coordinates by finite abelian character projectors. Boundary Map §3.3 uses those projectors for cube, cycle, and periodic-grid Laplacians. Multiplication imposes compatible radicals in the first setting; the matrix-tree determinant converts the Laplacian spectrum into counts in the second.
Keep the complex through restriction
Boundary Map §2 retains solutions and obstructions to gluing in a complex. Fourier §12.5 computes a derived fiber of the circle transform; Derivative §6 computes one at a ramified prime. Derived restriction retains cohomology that ordinary specialization loses. Derivative §10 continues the derived-tensor calculation into self-intersection. The incidence, transform, and cotangent differentials act on different objects.
Equal invariants can leave different structures
In Fourier §12.3, equal eigenvalues conceal nilpotent monodromy. In Boundary Map §9.3, the same graph and weight-graded cohomology conceal an attachment extension. In Derivative §11, equal pointwise tangent complexes conceal different higher deformation operations. The attachment extension lives in mixed-Hodge or motivic structure; the higher operations specify a formal deformation problem. Each section states the category and comparison hypotheses its reconstruction uses.
The advanced branches use different further backgrounds: algebraic geometry for derived intersections and bundles; Hodge theory and motives for the geometric branches; étale cohomology for finite-field counts and estimates; graded algebra for formal deformation theory; and stable homotopy theory for spectral calculations. Fourier §16 constructs spectral duals and localized Galois classifications; Derivative §12 measures infinitesimal responses of commutative ring spectra. Their coherent coefficients serve different questions and hypotheses.
From mathematical examples to understanding and judgment
The expositions make calculations and their retained structure explicit. The essays ask what an argument makes available, what a description warrants, how people acquire the means to continue an inquiry, and how judgments remain open to correction. Each essay can be read independently; together they develop these different questions.
- What a New Proof Makes Possible asks what another proof makes possible when its conclusion is already known: a procedure, an estimate, a generalization, or a reusable mechanism.
- When a Description Becomes a Verdict asks whether a description retains enough information for the particular conclusion drawn from it. Its mathematical comparisons prepare a discussion of explanation, expertise, and the scope of judgment.
- Mathematical Life in the Age of AI asks how understanding is cultivated and sustained, and how assistance, institutions, credit, and shared work affect the freedom to inquire. Its account of intellectual life develops its own evidence and arguments.
- When Accountability Stops Being Reciprocal asks what happens when challenging a moral judgment becomes evidence against the challenger, and what permits scrutiny and correction. It draws on institutional cases, organizing testimony, and research on accountability.
Follow a specific example
A projection that measures the error
In What the connection between proofs reveals, the proof essay retains the orthogonal residual behind Cauchy–Schwarz and least squares. Boundary Map §3.4 uses orthogonality to identify the minimum energy of a current and the residual energy of another feasible current. The bridge uses linear algebra and inner products.
Ask what the description determines
Description §2 compares the identity and a shear: equal eigenvalues answer some questions and leave others undecided. Fourier §12.3 continues that exact example with the nilpotent module structure retained by the circle transform. Description §3 adds a different test involving induced maps. For an optional advanced comparison, Derivative §11 gives equal pointwise tangent complexes with different higher operations; it uses graded algebra and characteristic-zero formal deformation theory.
Choose a workable next calculation
Mathematical Life’s account of becoming capable considers the means to understand and test an argument. The three mathematical entries above and their individual routes give prerequisites and stopping points. To examine a retained extension directly, its concluding section computes a relative logarithm. An advanced continuation is Boundary Map §9.3: an elliptic attachment changes reconstructed symmetry. The two extensions have different pure pieces, and the attachment calculation uses its stated motivic comparison hypotheses.
Film and interpretation
The Authority of a Vision asks how learned competence, knowledge, and collective hope become claims to command in Villeneuve’s Dune. It follows a related question about knowledge and authority through the films’ characters and form. Its companion Mathematical Life in the Age of AI considers the purposes and conditions of inquiry. The film essay is an independent route and contains spoilers for both films.
Ways through Fourier, Symmetry, and Reconstruction
Through the polynomial calculations
Begin with §1, then follow the character projectors and polynomial calculations in §§3–9. These use linear algebra, polynomial rings, finite group actions, and basic Galois theory. Stop after the cubic (§5), continue through the two quartics (§8), or take the special high-degree family in §9. The calculations can be followed first in labelled roots; §2 and §10 supply the covering-space construction and explain the radical choices. To see these projectors act on integrals, §11 uses two quotient maps to split genus-two differentials into elliptic differentials. Its later Jacobian statement is an isogeny with an integral-lattice qualification.
Through a matrix calculation
§12 begins with an invertible matrix and asks what its eigenvalues forget. Its explicit transform uses modules over Laurent polynomials and two-term complexes. The calculation prepares the extension and specialization phenomena in the Fourier–Mukai theory of §13. The homepage's expandable example introduces the distinction using two linear maps.
Through arithmetic and estimates
§14 begins with a finite-field character calculation and follows it into point counts, periods, and motives. §15 explains the constant and square-root scale in a Kloosterman-sum bound. The later arguments use cohomology, ramification, and weight theorems, identified where they enter.
Ways through What a Boundary Map Can Prove
Trees, torsion, and probability
§§1–6. For a first pass with graphs and linear algebra, read the tree criterion in §1, then the worked determinant, resistance, and probability calculations in §3. Take the matrix-tree and transfer-current formulas as given on this pass; their proofs use the determinant-line and exterior-power constructions in §2. Stop after the examples, or return to those constructions for the proof mechanism. The derived gluing discussion in §2 uses complexes and exact triangles. §4 retains the integral lattice and graph Jacobian; §§5–6 extend the count and probability law to higher cells, where torsion matters.
Chromatic inequalities
§7. A hyperplane arrangement turns graph coloring into cohomology. The matroid Chow ring then supplies the intersection pairing that proves log-concavity of the reduced chromatic coefficients. The section constructs the graph-to-arrangement bridge and states the Hodge theorem used in the proof.
Reconstructed symmetry
§§8–9. Transport gives representations of the graph fundamental group. Normalization then adds component curves and their attachment points. On the chosen non-CM elliptic curve, torsion and nontorsion attachments have the same graph and graded cohomology, but motivic Galois groups of dimensions four and six. The proof develops the attachment 1-motive and uses tensor reconstruction and the comparison theorem stated in §9.
Graph polynomials and periods
§§10–11. The earlier determinant becomes a graph polynomial. Its hypersurface and coordinate boundary define the relative cohomology in which a graph integral becomes a period. Concrete examples connect the determinant calculation to the arithmetic of periods.
Ways through What a Derivative Retains
From calculus to infinitesimal points
§§1–5. Begin with calculus and the product rule. Oriented boundaries introduce degrees and signs; polynomial rings and modules enter with Kähler differentials. §5 returns to tangent probes, the chain rule, and the analytic derivative. Stop here for a complete first-order route.
Arithmetic and invisible directions
§§6–7. The Gaussian integers make ramification visible in a differential and its derived fiber. Frobenius and Artin–Schreier then separate topological behavior from infinitesimal behavior. Use §§4–5 first; §6 introduces a two-term complex, and §8 develops its general construction.
Equations, intersections, and higher operations
§§8–11. The cotangent complex and the node make a failed lift explicit in §§8–9; this is a useful stopping point after the elementary algebra. §10 is an optional geometric branch using projective geometry and normal bundles. §11 returns to the local equation, using graded algebra and characteristic-zero formal deformation theory to recover equations from higher operations. Equal pointwise tangent complexes alone leave those equations undecided.
Spectra and functors of spaces
§§12–13. §12 assumes stable homotopy theory and studies infinitesimal responses of commutative ring spectra, with MU and KU calculations. §13 studies Goodwillie approximations of functors of based spaces, using a product-cell boundary and its Whitehead attaching map. These are separate advanced branches. §14 gathers the reconstruction question and its limits.
Symmetry and reconstruction
Root algebras, graph complexes, and infinitesimal probes give independent entries into reconstruction. The shared guide connects their operations and examples.
For two shorter companion proofs, follow Two views of a polynomial composition law.
Two views of a polynomial composition law
Follow one criterion through two proofs: a direct module argument, then a Galois-theoretic and Frobenius-descent approach.
Turning arithmetic conditions into constructions
Two independent examples of making arithmetic tests explicit: algebraic traces and recurrences for a rounding problem, then factorial congruences for a prime selector.
Local control in analysis
Begin with a product oscillation estimate and Darboux sums, then read about compactness in Lebesgue's criterion. The weighting argument extends the theme to exceptional sets and convergence in measure.
Other routes through the site
- Browse the full mathematical library, or follow the shorter paths through polynomial composition, exact arithmetic, and analysis.
- Supplementary sources collect formalization files and their scope notes. The research archive records earlier papers and preprints with their publication details and corrections.
- Interests offers personal pursuits, with its own entries and photographs. These can be explored independently of the mathematical and essay routes.
- About introduces the current inquiry, writing, background, and correspondence.