Pith. sign in

REVIEW 3 major objections 5 minor 32 references

Integral cohomology of quotients via toric geometry

T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that the integral cohomology of a quotient by a prime-order group is completely controlled by the number of fixed points and Jordan-block invariants, once the equivariant cohomology spectral sequence degenerates.

desk verdict A substantial and mostly coherent paper whose abstract overstates the main theorem; the applications depend on a cited classification that is load-bearing but likely correct. read the letter →

arxiv 1908.05953 v2 pith:PMYMDZ4F submitted 2019-08-16 math.AG math.GT

Grégoire Menet This is my paper · ORCID
classification math.AGmath.GT MSC 14M2514J5055N9114J2814C05
keywords integralcohomologyofquotientsequivariantspectralsequencetoricblow-upJordan-blockinvariantsBeauville–BogomolovformhyperkählermanifoldsK3[m]-typesymplecticautomorphismsisolatedfixedpoints
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Prime-order group actions on compact complex manifolds are the basic building block for understanding quotients in integral cohomology. This paper claims that whenever the equivariant cohomology spectral sequence of $(X,G)$ with $\mathbb{F}_p$ coefficients degenerates at the second page, the integral cohomology of the quotient $X/G$ is completely determined: all surjectivity coefficients vanish, all even cohomology is $p$-torsion-free, and the $p$-torsion in odd degrees is a direct sum of copies of $\mathbb{Z}/p\mathbb{Z}$ whose number is the fixed-point count minus a Jordan-block invariant. The proof supplies a new tool, the integral cohomology of toric blow-ups of quotient singularities, and applies the result to compute Beauville–Bogomolov lattices of singular symplectic orbifolds coming from Hilbert schemes of points on K3 surfaces under order-5 and order-7 automorphisms. If correct, this provides the first systematic way to get the full integral cohomology of such quotients rather than only rational or invariant information.

What carries the argument

The load-bearing tools are the $\ell_q$ invariants, which count Jordan blocks of size $q$ for the action of a generator of $G$ on $H^k(X,\mathbb{F}_p)$, together with the split $\ell_+,\ell_-$ of a free $\mathbb{Z}[G]$-module. These invariants encode the group cohomology of $G$ with coefficients in $H^*(X,\mathbb{Z})$ and $H^*(X,\mathbb{F}_p)$, and the paper proves a structure theorem valid for every prime $p$. On the geometric side, the paper uses toric blow-ups of $\mathbb{C}^n/G$ and $\mathbb{P}^n/G$: these resolve isolated quotient singularities, have torsion-free even cohomology, and their exceptional cycles generate sublattices of discriminant $p^2$. Poincaré duality of the resolved quotient then forces the coefficients of surjectivity to vanish and computes the torsion.

What would settle it

Test the explicit prediction for a natural order-5 automorphism on $S^{[2]}$: the paper gives $\eta=14$, $H^3\oplus H^7=(\mathbb{Z}/5\mathbb{Z})^{11}$, and $H^5=(\mathbb{Z}/5\mathbb{Z})^4$; an independent computation of these groups that disagrees would refute Theorem 4.13. Likewise, a non-standard symplectic automorphism of order 5 or 7 on a K3$[m]$-type manifold with $m\le 6$ would break the isomorphism (40) on which the applications rest.

Watch

Extended reading notes

Core claim

The central claim is Theorem 4.13: let $X$ be a compact complex manifold, $G$ a cyclic automorphism group of prime order $p$ with $\eta(G)$ isolated fixed points, and assume the equivariant cohomology spectral sequence of $(X,G)$ with $\mathbb{F}_p$ coefficients degenerates at the second page. Then $\alpha_k(X)=0$ for all $1\le k\le 2n$; $H^{2k}(X/G,\mathbb{Z})$ is $p$-torsion-free for all $0\le k\le n$; and for $1\le k\le n-1$, $\operatorname{tors}_p\big(H^{2k+1}(X/G,\mathbb{Z})\oplus H^{2n-2k+1}(X/G,\mathbb{Z})\big)=(\mathbb{Z}/p\mathbb{Z})^{\eta(G)-\ell^{2k}_+(X)}$, where $\ell^{2k}_+(X)$ counts trivial Jordan blocks in the $\mathbb{F}_p[G]$-module $H^{2k}(X,\mathbb{Z})$. The paper also proves that degeneration is equivalent, under a vanishing condition on the first cohomology invariant, to the numerical identity $\eta(G)=\ell^{2*}_+(X)+\ell^{2*+1}_-(X)$, and that odd surjectivity coefficients satisfy a pairing identity. The applications are Theorems 1.2 and 1.3, giving the Beauville–Bogomolov lattices $U(5)\oplus U^2\oplus\langle -10(m-1)\rangle$ and $U\oplus\Lambda\oplus\langle -14(m-1)\rangle$ with explicit Fujiki constants.

Load-bearing premise

The order-5 and order-7 applications rest on the cited classification that every symplectic automorphism of those orders on a K3$[m]$-type manifold with $m\le 6$ is standard; if a non-standard one existed, the symmetric-power description of the cohomology action would fail and the lattice computations would not go through.

Editorial extensions

If this is right

  • The coefficients of surjectivity $\alpha_k(X)$ vanish in every degree, so the transfer image from $X$ already accounts for the full torsion-free cohomology of the quotient.
  • The $p$-torsion of odd cohomology is paired symmetrically between degrees $2k+1$ and $2n-2k-1$, with total count $\eta(G)-\ell^{2k}_+(X)$.
  • For hyperkähler manifolds of K3$[m]$-type with symplectic automorphism groups of order 5 ($m\le 4$) or 7 ($m\le 6$), the quotient is a singular primitively symplectic variety with Beauville–Bogomolov lattice $U(5)\oplus U^2\oplus\langle -10(m-1)\rangle$ or $U\oplus\Lambda\oplus\langle -14(m-1)\rangle$, and with the stated Fujiki constant.
  • Degeneration of the equivariant spectral sequence can be detected by a representation-theoretic numerical identity, so no geometric computation is needed once the $\mathbb{Z}[G]$-module structure of $H^*(X,\mathbb{Z})$ is known.
  • Previous results that were restricted to primes $p\le 19$ are extended to every prime, because the Jordan-block structure theorem holds without restriction.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same package could be applied to composite-order groups by decomposing actions into prime-order steps; nothing in the main theorem uses cyclicity beyond the Jordan-block description, though the fixed-point hypotheses would need checking.
  • If the standardness classification cited for orders 5 and 7 is extended to order 11 or 13 under suitable bounds on $m$, the method would immediately produce the next Beauville–Bogomolov lattices for singular symplectic varieties.
  • The paper leaves open the split of the odd torsion between paired degrees; testing the conjectured split on computed Hilbert-scheme examples, say $m=4$, would be a direct numerical check.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper develops a toric blow-up technique to compute the integral cohomology of quotients X/G, where X is a compact complex manifold and G is a cyclic group of prime order acting with only isolated fixed points. The main theoretical results are: a description of the cohomology of toric blow-ups of Cn/G and Pn/G (Section 3); a criterion for degeneration of the equivariant cohomology spectral sequence in terms of Boissière–Nieper-Wisskirchen–Sarti invariants and the number of fixed points (Theorem 4.9); and a computation of coefficients of surjectivity, p-torsion in even degrees, and odd-degree torsion of X/G under a degeneration hypothesis (Theorems 1.1 and 4.13). The applications compute Beauville–Bogomolov lattices of quotients of K3[m]-type hyperkähler manifolds by symplectic automorphisms of order 5 and 7 (Theorems 1.2 and 1.3). The central technical chain appears coherent, but the advertised statements omit some standing hypotheses, and the order-5 and order-7 applications rely on an external classification result.

Significance. If the results are correct, they provide a general method for computing integral cohomology of quotients by prime-order cyclic groups with isolated fixed points, and they give the first Beauville–Bogomolov forms for singular primitively symplectic varieties of dimension strictly greater than 4. The paper contains genuinely new technical ingredients: the systematic use of toric blow-ups for isolated quotient singularities, explicit computations of the resulting lattices, and a degeneration criterion expressed through the Boissière–Nieper-Wisskirchen–Sarti invariants. The proofs are detailed and, where they depend on the author's prior work [23], the paper explains which statements are being generalized and how the earlier p≤19 restriction is removed. The main reservations concern completeness of the stated hypotheses and the heavy but legitimate dependence on the external classification of symplectic automorphisms for the headline applications.

major comments (3)
  1. [Theorem 1.1 (Introduction) and Section 4.1] The statement of Theorem 1.1 in the introduction, and the abstract, omit the standing hypothesis made at the start of Section 4.1 that H*(X,Z) is p-torsion-free. This hypothesis is used throughout the proof of Theorem 4.13, for instance in Proposition 2.16, Lemma 4.6, and in the definition of the invariants ℓ^k_+(X) on the torsion-free part of cohomology. Without this assumption the conclusions α_k(X)=0 and p-torsion-freeness of H^{2k}(X/G,Z) are not established, so the theorem as printed is stronger than what is proved. The abstract also omits the spectral-sequence degeneration hypothesis that is explicitly required in Theorem 1.1. Please restate Theorem 1.1 and the abstract with the full set of hypotheses.
  2. [Theorem 4.9 / Remark 4.10] The introduction and abstract advertise necessary and sufficient conditions for degeneration of the equivariant cohomology spectral sequence, but the equivalence in Theorem 4.9(iii) is proved only under the additional assumption ℓ^1_p(X)=0, and Remark 4.10 states that the author has not been able to remove this condition. As stated, condition (3) alone is not shown to imply degeneration. Please qualify the claim in the abstract and in Section 1.2, and state the status of the extra condition directly in Theorem 4.9. In the proof of Corollary 5.2, Theorem 4.9(iii) is invoked without explicitly checking ℓ^1_p(X)=0; for hyperkähler manifolds H^1(X,Z)=0, so the condition is automatic, but it should be stated.
  3. [Section 5.3 / Corollary 5.7] Theorems 1.2 and 1.3 depend on the external classification, cited to [24, Theorem 7.2.7 and Section 7.3] and [25, Theorem 2.5], that every symplectic automorphism of order 5 or 7 on a hyperkähler manifold of K3[m]-type with m≤6 is standard. This is a load-bearing dependence: equation (40) is used to prove ℓ^{2*}_-(S[m])=0, and without the classification the F_p[G]-module structure of H^*(X,F_p) could have nonzero ℓ^{2*}_- components, so the spectral-sequence degeneration and the subsequent lattice computations would not follow. The paper should state this dependence explicitly in the statements of Theorems 1.2 and 1.3, and should either give the precise theorem in [24]/[25] covering the full range m≤6 or provide a proof of the needed classification statement.
minor comments (5)
  1. [Section 5.2, proof of Corollary 5.2] The torsion-freeness of H^*(S[m],Z) is attributed to [31, Theorem 2.2], but the reference [31] is titled as concerning the Hilbert scheme of two points; the integral basis theorem of [28] already gives torsion-freeness for all m, so the citation should be corrected or supplemented.
  2. [Abstract and Section 1.2] The abstract says 'We describe the integral cohomology of X/G' without mentioning the degeneration hypothesis of Theorem 1.1 or the p-torsion-freeness assumption; the introduction's bullet list for Theorem 4.9 similarly overstates the result by omitting the condition ℓ^1_p(X)=0.
  3. [Throughout] There are numerous typos and OCR artifacts that should be cleaned: 'man ifold' in the abstract, 'propostion' in Section 2.4, 'therm' in the proof of Theorem 4.9, and several '/integerdivide/' artifacts in Section 3.2 and in displayed diagrams. These do not affect the mathematics but make the text hard to read.
  4. [Section 4.4] In the paragraph after Definition 4.3, the term 'coefficient of resolution' is used before its notation β^{2k}(X) is introduced; please make the definition self-contained at first use.
  5. [Section 4.5, proof of Theorem 4.9] When Lemma 2.25 is applied to conclude that all even u^k vanish, the range of k is checked tersely; in particular the cases k=n and k=n+1 deserve an explicit sentence, since the lemma's hypothesis is only stated for k≥n+2.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central derivation is self-contained, and the order-5/7 applications depend on an external classification and on the author's prior published work, but no result reduces to its own input by construction.

full rationale

I find no circular step in this paper. The core results (toric blow-up cohomology, degeneration criteria, Theorems 1.1 and 4.13) are proved from stated geometric and algebraic assumptions using standard toric geometry, group cohomology, and discriminant computations; no displayed equation is equivalent to its own hypothesis by definition. The Boissiere-Nieper-Wisskirchen-Sarti invariants are defined independently from the Fp[G]-module structure, while the surjectivity coefficients are defined by a separate exact sequence; the relations between them are derived rather than assumed. Theorem 4.9's equivalence (2) iff (3) is a direct consequence of the Lefschetz fixed point formula, and the proof of Theorem 4.13 derives the vanishing of the resolution coefficients and torsion formulas from nonnegativity plus Lemma 4.7. The applications in Section 5 do rest on the cited Mongardi classification that all order-5 and order-7 symplectic automorphisms on K3[m]-type with m at most 6 are standard, and the proof of Corollary 5.2 uses equation (40); if that classification failed, the application would fail. This is a genuine external dependency, not a circular reduction: the classification is from different authors, published, and testable independently of this paper's conclusions. The paper also relies extensively on the author's prior article [23] for discriminant, transfer, and lattice formulas; those are published results with stated assumptions that do not include the present target theorems, and the new ingredients (toric blow-ups, degeneration criteria, higher-dimensional BB lattices) are not merely restatements of [23]. Remark 4.10 honestly reports that the hypothesis ell^1_p(X)=0 is not removed in Theorem 4.9; this is a limitation affecting the equivalence of degeneration conditions, but it is not a sign of circularity. No fitted parameter is renamed as a prediction, and no self-citation is used to forbid alternatives. The paper therefore receives a circularity score of 0.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free numerical parameters are fitted. The central claim relies on standard topological facts (Poincaré duality, Smith transfer, toric resolution), on a deformation-invariance assumption for the Z[G]-module structure, on an external classification of automorphisms, and on one unresolved extra hypothesis in Theorem 4.9.

assumptions (6)
  • standard math Poincaré duality for the smooth toric resolution ~M of the quotient M = X/G
    Used throughout Section 4 to relate discriminants of sublattices and unimodularity, e.g., in (24) and after (34) in Theorem 4.13.
  • standard math Smith theory transfer map π_* with π_*∘π^* = p·id and π^*∘π_* = Σ_g g^*
    Quoted from Smith [30] and used in Section 1 to link cohomology of X, X/G, and the BNS invariants.
  • domain assumption Existence of toric blow-ups resolving quotient singularities of C^n/G via regular subdivisions of fans
    From Danilov [11, Section 8.2], used in Example 3.8 and Definition 3.9 to construct ~M.
  • domain assumption Deformation invariance of the Z[G]-module structure of the cohomology of K3[m]-type manifolds
    Used in the proof of Corollary 5.2 to transfer the computation from S[m] to any standard pair (X,G).
  • domain assumption Classification that all symplectic automorphisms of order 5 and 7 on K3[m]-type with m ≤ 6 are standard
    Cited to [24, Theorem 7.2.7] and [25, Theorem 2.5]; load-bearing for Theorems 1.2 and 1.3.
  • ad hoc to paper The additional hypothesis ℓ^1_p(X)=0 in Theorem 4.9(iii)
    The author states in Remark 4.10 that the condition is believed removable but not proved; it is needed for the equivalence (3)⇒(4).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Integral cohomology of quotients via toric geometry." pith.science (2026). https://pith.science/paper/PMYMDZ4F

@misc{pith2026190805953,
  author       = {Pith},
  title        = {Pith review of: Integral cohomology of quotients via toric geometry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PMYMDZ4F}},
  note         = {Machine review of arXiv:1908.05953}
}
abstract

We describe the integral cohomology of $X/G$ where $X$ is a compact complex manifold and $G$ a cyclic group of prime order with only isolated fixed points. As a preliminary step, we investigate the integral cohomology of toric blow-ups of quotients of $\mathbb{C}^n$. We also provide necessary and sufficient conditions for the spectral sequence of equivariant cohomology of $(X,G)$ to degenerate at the second page. As an application, we compute the Beauville--Bogomolov form of $X/G$ when $X$ is a Hilbert scheme of points on a K3 surface and $G$ a symplectic automorphism group of orders 5 or 7.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 29 canonical work pages

  1. [23]

    Menet, On the integral cohomology of quotients of complex manifold s, Journal de Mathé- matiques pures et appliquées, 119 (2018), no.9, 280-325

    G. Menet, On the integral cohomology of quotients of complex manifold s, Journal de Mathé- matiques pures et appliquées, 119 (2018), no.9, 280-325

    work page 2018

  2. [24]

    Mongardi, Automorphisms of hyperkähler manifolds , PhD Thesis, University of Rome 3 (2013)

    G. Mongardi, Automorphisms of hyperkähler manifolds , PhD Thesis, University of Rome 3 (2013)

    work page 2013

  3. [25]

    Mongardi, On natural deformations of symplectic automorphisms of manif olds of K3[n] type, C

    G. Mongardi, On natural deformations of symplectic automorphisms of manif olds of K3[n] type, C. R. Math. Acad. Sci. Paris315 (2013), no. 13-14, 561-564

    work page 2013

  4. [1]

    Aguilar, C

    M.A. Aguilar, C. Prieto, Transfers for ramified covering maps in homology and cohomolog y. Int. J. Math. Sci., (2006), Art. ID 94651, 28pp

    work page 2006

  5. [2]

    Artebani, A

    M. Artebani, A. Sarti, S. Taki K3 surfaces with non-symplectic automorphisms of prime order. With an appendix by Shigeyuki Kond o. J. Math. Pures Appl. (9) 95 (2011), no. 5, 553-563

    work page 2011

  6. [3]

    Bakker, C

    B. Bakker, C. Lehn, The global moduli theory of symplectic varieties , arXiv1812.09748

    arXiv

  7. [4]

    Boissière, M

    S. Boissière, M. Nieper-Wisskirchen, A. Sarti Smith theory and irreducible holomorphic sym- plectic manifolds, J. Topo. 6 (2013), no. 2, 361-390

    work page 2013

  8. [5]

    Brion Piecewise polynomial functions, convex polytopes and enum erative geometry, Math., Polish Acad

    M. Brion Piecewise polynomial functions, convex polytopes and enum erative geometry, Math., Polish Acad. of Sciences, Banach Cent. Publ. 36, 25-44 (1996 )

    work page 1996

Show all 32 references
  1. [6]

    Brion The equivariant Cohomology Ring of Toric Varieties , Summer School 2000: Geom- etry of Toric Varieties

    M. Brion The equivariant Cohomology Ring of Toric Varieties , Summer School 2000: Geom- etry of Toric Varieties

    2000

  2. [7]

    Brown Cohomology of Groups , Graduate Texts in Mathematics 87

    K. Brown Cohomology of Groups , Graduate Texts in Mathematics 87

  3. [8]

    Chenevier Théorie algébrique des nombres , gaetan.chenevier.perso.math.cnrs.fr/MAT552

    G. Chenevier Théorie algébrique des nombres , gaetan.chenevier.perso.math.cnrs.fr/MAT552

  4. [9]

    Curtis, I

    C.W. Curtis, I. Reiner Representation theory of finite groups and associative algeb ras, Wiley Classics Library, John Wiley & Sons Inc., New York, 1988 Reprint of the 1962 original, A Wiley-Interscience Publication. MR 1013113 (90g:16001)

    1988

  5. [10]

    Dolgachev, Classical Algebraic Geometry , Cambridge University Press (2012)

    I.V. Dolgachev, Classical Algebraic Geometry , Cambridge University Press (2012)

    2012

  6. [11]

    Danilov, The geometry of toric varieties , (Russian) Uspekhi Mat

    V.I. Danilov, The geometry of toric varieties , (Russian) Uspekhi Mat. Nauk 33 (1978), no. 2(200), 85-134, 247

    1978

  7. [12]

    Franz, Describing toric varieties and their equivariant cohomology , Colloq

    M. Franz, Describing toric varieties and their equivariant cohomology , Colloq. Math. 121, No. 1, 1-16 (2010)

    2010

  8. [13]

    Fulton, Introduction to Toric Varieties , The William H

    W. Fulton, Introduction to Toric Varieties , The William H. Roever lecture in Geometry, Princeton University Press

  9. [14]

    Garbagnati, A

    A. Garbagnati, A. Sarti, Symplectic automorphisms of prime order on K3 surfaces . J. Algebra 318 2007, no. 1, 323-350

    2007

  10. [15]

    Göttsche, Hilbert Scheme of Zero-Dimensional Subschemes of Smooth Vari eties

    L. Göttsche, Hilbert Scheme of Zero-Dimensional Subschemes of Smooth Vari eties. Lecture Notes in Mathematics 1572, Springer (1994)

    1994

  11. [16]

    Kapfer, Computing cup products in integral cohomology of Hilbert sch emes of points on K3 surfaces, LMS J

    S. Kapfer, Computing cup products in integral cohomology of Hilbert sch emes of points on K3 surfaces, LMS J. Comput. Math. 19, No.1, 78-97 (2016)

    2016

  12. [17]

    Kapfer, G

    S. Kapfer, G. Menet, Integral cohomology of the generalized Kummer fourfold , Algebraic Geometry, 5 (5) (2018) 523-567

    2018

  13. [18]

    Kapfer, G

    S. Kapfer, G. Menet, Erratum : Integral cohomology of the Generalized Kummer fourfold , (the integral cohomology of the generalized Kummer fourfol d is torsion free), to appear in Algebraic Geometry, arXiv:1907.07031. 31

    1907 arXiv

  14. [19]

    Kirschner, Period Mappings with Applications to Symplectic Complex Spa ces, Lectures Notes in Mathematics 2140, Springer

    T. Kirschner, Period Mappings with Applications to Symplectic Complex Spa ces, Lectures Notes in Mathematics 2140, Springer

  15. [20]

    Masley, H.L

    J.M. Masley, H.L. Montgomery, Cyclotomic fields with unique factorization , J. Reine Angew. Math. 286/287 (1976), 248-256

    1976

  16. [21]

    Menet, Beauville–Bogomolov lattice for a singular symplectic vari ety of dimension 4 , Jour- nal of pure and apply algebra (2014), 1455-1495

    G. Menet, Beauville–Bogomolov lattice for a singular symplectic vari ety of dimension 4 , Jour- nal of pure and apply algebra (2014), 1455-1495

    2014

  17. [22]

    Menet, Global Torelli theorem for irreducible symplectic orbifolds , arXiv:1805.12426

    G. Menet, Global Torelli theorem for irreducible symplectic orbifolds , arXiv:1805.12426

    arXiv

  18. [26]

    Mongardi, K

    G. Mongardi, K. Tari and M. Wandel, Automorphisms of generalised Kummer fourfolds , Manuscr. Math. 155, No. 3-4, 449-469 (2018)

    2018

  19. [27]

    Namikawa, Extension of 2-forms and symplectic varieties , J

    Y. Namikawa, Extension of 2-forms and symplectic varieties , J. Reine Angew. Math. 539 (2001), 123-147

    2001

  20. [28]

    Z. Qin, W. Wang, Integral operators and integral cohomology classes of Hilbert schemes, Math. Ann. 331 (2005), no.3, 669-692

    2005

  21. [29]

    Oda, Convex bodies and algebraic geometry , Springer-Verlag, New York Berlin Heidelberg, 1988

    T. Oda, Convex bodies and algebraic geometry , Springer-Verlag, New York Berlin Heidelberg, 1988

    1988

  22. [30]

    Smith, Transfer and ramified coverings , Math

    L. Smith, Transfer and ramified coverings , Math. Proc. Camb. Phil. Soc. (1983), 93, 485-493

    1983

  23. [31]

    Totaro, The integral cohomology of the Hilbert scheme of two points , Forum Math

    B. Totaro, The integral cohomology of the Hilbert scheme of two points , Forum Math. Sigma 4 (2016)

    2016

  24. [32]

    Voisin, Hodge Theory and Complex Algebraic Geometry

    C. Voisin, Hodge Theory and Complex Algebraic Geometry. I,II , Cambridge Stud. Adv. Math., 76, 77, Cambridge Univ. Press, 2003. Grégoire Menet Insitut Fourier 100 rue des Mathématiques, Gières (France), gregoire.menet@univ-grenoble-alpes.fr 32

    2003

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.