fix: proofread Algebraic Geometry I part - #335
Merged
Merged
Conversation
Proofread the "Algebraic Geometry I: Classical Varieties" part
(affine-var, zariski, proj-var, bezout, quasi-proj).
Corrections:
- bezout: Hilbert function of the parabola is 2d+1, not 2d-1
(matches the listed values h(0)=1, h(1)=3, h(2)=5).
- bezout: the Bezout moral referred to V(f) as a "hyperplane of
degree k"; a hyperplane is degree 1, so this should be
"hypersurface".
- proj-var: CP^n is lines through the origin in C^{n+1}, not C^n.
- proj-var: fix stray "F" -> "f" and "correspond" -> "corresponds".
- quasi-proj: the pullback f^# phi maps to C, not to Y\{25}; and the
pullback of pi_1 is pi_1 o f, not f o pi_1 (composition order).
- affine-var: V(f) for irreducible f is a "codimension one curve",
not a "degree one curve"; plus "topology alone" and grammar fixes.
- Assorted typos and article/agreement fixes across the part.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VPfQ41txA54GEZ5cFU2ohN
24 tasks
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Proofreading pass over the Algebraic Geometry I: Classical Varieties part (issue #315), covering
tex/alg-geom/{affine-var,zariski,proj-var,bezout,quasi-proj}.tex.Mathematical corrections
bezout.tex: The Hilbert function of the parabolabezout.tex: The geometric moral of Bézout's theorem calledproj-var.tex:quasi-proj.tex: The pullbackaffine-var.tex: For irreducibleMinor fixes
proj-var.tex: stray$F$→$f$; "no longer correspond" → "corresponds".bezout.tex: missing\capinso and $c_{\text{new}} = \deg I+(f)$ then) in the Bézout solution; "the Pascal's theorem" → "Pascal's theorem".affine-var.tex: "corresponding to be" → "corresponding to"; "topology along" → "topology alone".zariski.tex: "difference than" → "difference from"; "a accurate" → "an accurate"; "call ... as the" / "they maps" → "call ... the" / "they map".quasi-proj.tex: "It what follows" → "In what follows"; "complete settles" → "completely settles"; article agreement ("an quasi-projective" → "a", "a affine" → "an", "a irreducible" → "an").No large mathematical rewrites were needed; all changes are typo/grammar/notation-level corrections.
🤖 Generated with Claude Code
https://claude.ai/code/session_01VPfQ41txA54GEZ5cFU2ohN
Generated by Claude Code