How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
A proper singular curve with weight-zero cohomology
Example
Assume AC (The Axiom of Choice). Let be an integral complex projective curve whose normalization is an isomorphism outside a single ordinary node, with two distinct points above that node. Then is one-dimensional of weight , illustrating that proper singular cohomology need not be pure of its degree.
Verification
Given: The Axiom of Choice (The Axiom of Choice), an integral complex rational projective curve with a single singular point, an ordinary node, and its normalization identifying two distinct points and an isomorphism over the complement of the node.
[F1] Normalization resolves the singularities of a projective curve and Finite morphisms are proper: the normalization of an integral projective curve over a perfect field is a nonsingular projective curve and the normalization map is finite and birational, hence proper and surjective; for the rational nodal curve the normalization is and is an isomorphism over the smooth locus.
[F2] Proper hypercovers compute constructible derived cohomology and Proper cohomology and functorial mixed Hodge weights: the Cech nerve of a proper surjection is a proper hypercover, its descent spectral sequence is strongly convergent with finite diagonals, and for a proper hypercover with smooth projective terms the associated mixed Hodge complex has with weights at most .
[F4] The reduction of a scheme, Fibre product of schemes and Morphisms from a proper scheme to a separated one are proper: reduction keeps the underlying points and kills nilpotents; fibre products represent compatible tuples; projective complex schemes are proper by Projective morphisms are proper, and a morphism from a proper complex scheme to a separated complex scheme is proper. The matching and split conventions are those of Split augmented simplicial schemes and matching objects.
[F3] Stereographic projection identifies the Riemann sphere with the unit two-sphere, Homology of spheres and Cohomology over a field is dual to homology over that field: , so and , the latter as the dual of ; also and all higher groups vanish.
Use the reduced Cech nerve , with factors and maps deleting or repeating entries. Reduction is functorial: a map from a reduced scheme kills nilpotents and hence factors through the target reduction. The underlying points off the node form the diagonal; over the node the tuples are in . The diagonal is a closed immersion, and its complement consists of the mixed tuples, an open finite set of closed complex points. This set is also closed, so these points and the diagonal are open-and-closed components. The mixed components are reduced points. The reduced diagonal component equals : its closed immersion has the whole underlying support, so its ideal lies in the zero nilradical of that reduced component. Thus is smooth projective. Every compatible boundary tuple of geometric points has exactly the compatible vertices of the Cech nerve, so it lifts to ; this proves surjectivity of every matching map, even if its target has nilpotents. These maps are proper by [F4], since their sources are projective and the finite matching limits are separated. The augmentation is proper surjective by [F1]. The reduced nerve is also split: repeated adjacent entries are degeneracies, and compressing successive equal entries gives the unique alternating nondegenerate tuple; for the nondegenerate part is . Apply [F2]. Its row has one copy of for the diagonal and one per mixed tuple; by [F3] the positive rows vanish except for the single diagonal copy in degree two.
Compute the degree-zero row in low degrees. On one has , and on one has ; the alternating sum of the two face pullbacks sends a constant to the differences of the two diagonal values, hence is zero. On the six nonconstant tuples contribute the coordinates for , and evaluating the alternating sum on these components and on the diagonal gives on the diagonal and on , and on , where . Hence exactly when and , so is one-dimensional, generated by .
The other total-degree-one entry is by [F3], so it contributes nothing; the spectral sequence is first-quadrant with finite diagonals and degenerates at by [F2]. Therefore is one-dimensional, and by the weight identification of [F2] its graded pieces are and . The first-quadrant weight identification also makes all graded pieces of negative weight zero; together with the upper bound and finiteness of the weight filtration, this gives and : the whole one-dimensional space is pure of weight and type (Rational mixed Hodge structures), as asserted.
Depends on
- Cohomology over a field is dual to homology over that field
- Finite morphisms are proper
- Homology of spheres
- The reduction of a scheme
- Fibre product of schemes
- Morphisms from a proper scheme to a separated one are proper
- Projective morphisms are proper
- Split augmented simplicial schemes and matching objects
- Normalization resolves the singularities of a projective curve
- The Axiom of Choice
- Rational mixed Hodge structures
- Proper cohomology and functorial mixed Hodge weights
- Proper hypercovers compute constructible derived cohomology
- Stereographic projection identifies the Riemann sphere with the unit two-sphere
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
94 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Pierre Deligne, Theorie de Hodge III, Publ. Math. IHES 44 (1974) 5-77, (8.2.1)-(8.2.4) (standard reference, not scraped)
- Andrzej Weber, Notes on Mixed Hodge Structures (Srni, January 2005), Sections 1.3 and 4.3 (standard reference, not scraped)