Primary text: www.cimat.mx/~gil/docencia/2007/lie/ParkCityLectures.pdf

Lecture 8, Theorem 3, printed p.135: Kähler reduction at zero; central-level qualification, p.136; scalar-circle projective-space example, pp.136–138. The cover identifies the 1991 Park City lectures and the corrected unofficial version of February 19, 2003.

Primary lecture: www.math.stonybrook.edu/~cschnell/mat615/lectures/lecture4.pdf

Author page: www.math.stonybrook.edu/~cschnell/

Theorem 4.1, p.1: explicit Appel-Humbert datum, quotient action and Picard-group isomorphism; the printed lecture heading gives February 6 but no year.

Author book page: www-fourier.univ-grenoble-alpes.fr/~demailly/documents.html

Primary text: www-fourier.ujf-grenoble.fr/~demailly/source_files/analgeom/agbook.pdf

Current manuscript URL: www-fourier.univ-grenoble-alpes.fr/~demailly/manuscripts/agbook.pdf

Consulted passages: Chapter I, Cauchy formula (3.2), fundamental solution Corollary (3.4) and support caveat Remark (3.5), printed p.21; Chapter II, hypersurface Theorem (6.6), printed p.106; multiplicative meromorphic sheaf and divisor sequence (6.15), printed p.110.

Consulted passages: Theorem 4.12, printed pp.458–459; holomorphic Lefschetz formula with nondegenerate fixed points.

Consulted passages: Part I §§2.1, 2.5–2.8 (arc length, curvature, torsion, spherical frames); Part VI §§7.1–7.5 (boundary terms, geodesic polygons, global Gauss-Bonnet and proof).

Second edition, Graduate Texts in Mathematics 218, Springer. DOI: doi.org/10.1007/978-1-4419-9982-5

Inspected academic course copy: julianchaidez.net/materials/reu/lee_smooth_manifolds.pdf

Theorem 9.44 and the paragraph immediately preceding it define local flow commutation on entire time rectangles. The text explicitly distinguishes this from merely requiring both endpoint compositions to exist for incomplete vector fields.

Princeton University Press book; inspected title page dates the edition 1963. Institutional scan: pagine.dm.unipi.it/~a019210/Milnor_Morse%20theory.pdf

Lemma 2.2 gives the exact smooth quadratic normal form and its completion-of-squares proof. Corollary 2.3 gives isolation of nondegenerate critical points and contrasts degenerate examples such as x cubed.

Author preprint: arxiv.org/abs/math/0309036v3

Full text: arxiv.org/pdf/math/0309036

Section 1, pages 2–3, defines finite-separation wallspaces and explicitly calls their wall-count function a pseudometric. The arXiv version is dated 4 October 2004; the PDF also displays a later compilation date, which is not used as publication metadata.

Corrected author-hosted text: www.imo.universite-paris-saclay.fr/~frederic.haglund/special%28corrected%29.pdf

Definition 2.1, page 4, uses cubical cells with face identifications. Theorem 1.1, page 2, specifies the hyperplane conditions for a local isometry to a right-angled Artin Salvetti complex.

Journal full text: nyjm.albany.edu/j/2008/14-7.pdf

New York Journal of Mathematics 14 (2008), pages 193–204. Theorem 1 distinguishes orientation-preserving and orientation-reversing closed geodesics for nonorientable surfaces. Sections 2–3 explain their different trace weights.

Author preprint: arxiv.org/abs/math/0504571v2

Full text: arxiv.org/pdf/math/0504571

Section 1 states the compact orientable setting and oriented closed-geodesic multiplicities. Section 2, equation (1), page 3, gives the Selberg trace formula with its spectral normalization; the following discussion identifies primitive oriented geodesics and iterates.

Primary text: arxiv.org/abs/math/0101108

Sections 4.1–4.2 pp13–14 Euler structures; Lemma5.1 and Section5.2 p18 coefficient-sensitive solid-torus filling.

Primary text: webhomes.maths.ed.ac.uk/~v1ranick/papers/kirbycal.pdf

Section 1 Operations One and Two and Theorem 1, pp35–36. PDF title typesets S^3.

Primary text: webhomes.maths.ed.ac.uk/~v1ranick/papers/kauffmanjones.pdf

Definition 2.1 and Figure 2, pp396–397; Section 2 regular isotopy and writhe normalization. DOI10.1016/0040-9383(87)90009-7

Primary text: homepages.math.uic.edu/~kauffman/Zeeman.pdf

Main theorem Section 6; Corollary 2 p487; pp471–472 explain punctured/open and bounded-punctured fibers.

Primary text: ymsc.tsinghua.edu.cn/__local/7/15/F3/1E411B916C9D723E37FB7758B37_1452B110_655FB.pdf

Slides 12–21, especially slide 21 Dehn region/crossing figure. Author names retained as verified initials; no guessed expansion of S. Kim.

Primary text: arxiv.org/abs/0806.3068v2

Section 1, pages 2–3: Seifert-matrix conditions, metabolic equivalence, invertible representatives and associated isometric structures.

Full text: arxiv.org/pdf/0806.3068

Primary text: pi.math.cornell.edu/~hatcher/VBKT/VB.pdf

Section 2.2; Corollary 2.12, page 55. Author landing page pi.math.cornell.edu/~hatcher/VBKT/VBpage.html verifies version and unfinished status.

Author-hosted expanded appendix: pi.math.cornell.edu/~hatcher/AT/ATapp.pdf

The opening note identifies this as an expanded version intended for a second edition, with standalone pages 1–28. Theorem A.6, pages 6–7, identifies compactly generated products with cellular products and states ordinary-product sufficient conditions. The opening construction gives the zero-skeleton/positive-cell attachment convention.

Primary author PDF: math.uchicago.edu/~may/PAPERS/Final1.pdf

Geometry and Topology Monographs 16, pages 215–282. DOI: doi.org/10.2140/gtm.2009.16.215

Sections 2 and 5 fix the countably infinite inner-product universe, finite-subspace indexing and the strict indexed-spectrum model. The text uses the mathematical symbol E infinity in its title; the source-card spelling keeps a stable readable identifier.