Skip to content

fix: proofread Algebraic Geometry I part - #335

Merged
vEnhance merged 1 commit into
mainfrom
claude/loving-clarke-g3la7s
Jul 9, 2026
Merged

fix: proofread Algebraic Geometry I part#335
vEnhance merged 1 commit into
mainfrom
claude/loving-clarke-g3la7s

Conversation

@vEnhance

@vEnhance vEnhance commented Jul 8, 2026

Copy link
Copy Markdown
Owner

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 parabola $\CC[x,y,z]/(zy-x^2)$ was stated as $2d-1$, but the listed values are $h(0)=1$, $h(1)=3$, $h(2)=5$, and the decomposition $\CC[y,z]\oplus x\CC[y,z]$ gives $(d+1)+d = 2d+1$. Corrected to $2d+1$.
  • bezout.tex: The geometric moral of Bézout's theorem called $\VV(f)$ (for $f$ of degree $k$) a "hyperplane of degree $k$". A hyperplane has degree $1$; this should be hypersurface.
  • proj-var.tex: $\CP^n$ is described as lines through the origin in $\CC^n$; it should be $\CC^{n+1}$ (as stated correctly elsewhere in the chapter, and consistent with the $\Aff^{n+1}$ used in the surrounding proof).
  • quasi-proj.tex: The pullback $f^\sharp\varphi$ was written with codomain $Y\setminus{25}$; a regular function maps to $\CC$. Also, the pullback of $\pi_1$ is the composite $\pi_1 \circ f$ (apply $f$ first), not $f\circ\pi_1$ — fixed in two places.
  • affine-var.tex: For irreducible $f$, $\VV(f)$ was called a "degree one curve"; the polynomial $y-x^2$ has degree $2$, and what is meant is codimension one.

Minor fixes

  • proj-var.tex: stray $F$$f$; "no longer correspond" → "corresponds".
  • bezout.tex: missing \cap in $h_{I_1\cap\dots\cap I_{m-1}}$; removed a garbled fragment (so 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

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
@vEnhance vEnhance added the proofreading-campaign Systematic full proofreading of text label Jul 8, 2026 — with Claude
@vEnhance vEnhance mentioned this pull request Jul 8, 2026
24 tasks
@vEnhance
vEnhance merged commit f4a6187 into main Jul 9, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

proofreading-campaign Systematic full proofreading of text

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants