Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Positive geometries and canonical forms via mixed Hodge theory

T0 review · 3 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read A Hodge-number condition decides when canonical forms are unique.

desk verdict A genuinely useful Hodge-theoretic reframing of canonical forms, with an overbroad recursion statement in the intro and one sign-consistency gap in a key proof. read the letter →

arxiv 2501.03202 v3 pith:VW6QOSWA submitted 2025-01-06 math.AG hep-thmath-phmath.MP

Francis Brown , Clément Dupont This is my paper · ORCID
classification math.AGhep-thmath-phmath.MP MSC 14C3014F4032S35
keywords positivegeometriescanonicalformsmixedHodgetheorylogarithmicgenuszeropairsresidueshyperplanearrangementsconvexpolytopes
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

The paper establishes that the existence and uniqueness of canonical forms—logarithmic differential forms whose residues match the boundary structure of a domain—are governed by the mixed Hodge theory of a relative homology group. For a compact complex variety X of dimension n and a closed subvariety Y such that X\Y is smooth, the paper defines the genus of the pair (X,Y) as the sum of the Hodge numbers $h^{{-p,0}}$ of H_n(X,Y) for p>0. When this genus vanishes, the R-map from logarithmic n-forms to the weight-zero quotient of H_n(X,Y) is an isomorphism, and its inverse sends every relative n-cycle to a unique canonical form. This gives a non-recursive definition of canonical forms that satisfies linearity, recursion, invariance under modification, functoriality, and multiplicativity, generalizing the recursive positive geometries used in scattering amplitudes.

What carries the argument

The load-bearing mechanism is the R-map, defined as the composition of three identifications: the Hodge-filtration isomorphism $\Omega$^n_log(X\Y) ≃ F^n H^n(X\Y;C), Poincaré duality to $F^{0}$ H_n(X,Y;C), and the projection of H_n(X,Y) onto its weight-zero quotient gr^W_0 H_n(X,Y). The kernel of this surjective map has dimension equal to the genus of (X,Y), namely the sum of the Hodge numbers $h^{{-p,0}}$ for p>0, and the map is an isomorphism exactly in the genus-zero case. The paper also introduces the combinatorial rank, the Hodge number $h^{{0,0}}$ of H_n(X,Y), which counts the dimension of the space of canonical forms; when Y is a smooth normal crossing divisor, the R-map is computed by iterated corner residues, giving a direct non-recursive way to evaluate canonical forms.

What would settle it

Find a compact complex variety X and a closed subvariety Y such that X\Y is smooth and H_n(X,Y) has vanishing Hodge numbers $h^{{-p,0}}$ for all p>0, but the R-map is not an isomorphism, or exhibit a relative cycle $\sigma$ in such a pair for which Res(omega_sigma) differs from omega_{partial $\sigma$}; either observation would refute the main theorem.

Watch

Extended reading notes

Core claim

The central claim is the theorem that for every genus zero pair (X,Y) — a compact complex variety X of dimension n together with a closed subvariety Y such that X\Y is smooth and H_n(X,Y) has vanishing Hodge numbers $h^{{-p,0}}$ for all p>0 — the iterated residue map R: $\Omega$^n_log(X\Y) -> gr^W_0 H_n(X,Y)_C is an isomorphism. The paper defines the canonical map can: H_n(X,Y) -> $\Omega$^n_log(X\Y) by composing the quotient to gr^W_0 with the inverse of R, and calls can($\sigma$)=omega_sigma the canonical form of $\sigma$. The map is shown to be linear, compatible with residues of boundaries via Res(omega_sigma)=omega_{d $\sigma$}, invariant under modifications, functorial for pushforwards and pullbacks, and multiplicative under products of pairs. The genus zero condition is equivalent to uniqueness of canonical forms, while existence is equivalent to the non-vanishing of the combinatorial rank $h^{{0,0}}$. In particular, every logarithmic n-form on X\Y is the canonical form of some relative cycle with complex coefficients.

Load-bearing premise

The central claim depends on the imported fact that Poincaré duality intertwines boundary maps in homology with residue maps on logarithmic forms under the paper's sign convention; if that compatibility failed, the recursion identity Res(omega_sigma)=omega_{partial sigma} would no longer hold.

Editorial extensions

If this is right

  • Canonical forms can be computed non-recursively by taking iterated residues at corners, even when the classical recursive definition of a positive geometry fails because some boundary face is not itself genus zero.
  • The genus-zero condition is strictly weaker than being mixed Tate, so the framework applies to examples such as smooth cubic threefolds, which have nonzero Hodge numbers h^{-1,-2} and h^{-2,-1}.
  • For hyperplane arrangements, the space of canonical forms has an explicit basis indexed by non-broken-circuit sets, and the canonical form of any region is a sum of dlog monomials weighted by iterated boundaries at corners.
  • For convex polytopes, the paper gives a general vertex-sum formula for the canonical form, which it believes to be new.

Reading between the lines

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

  • A direct corollary the authors leave implicit: every genus zero pair should give a de Rham projection from periods to single-valued periods, extending the single-valued integration formalism beyond the cluster-variety setting where it was previously discussed.
  • The nbc-basis formula for arrangements is purely combinatorial, suggesting that canonical forms for arrangements may be expressible through matroid activities and may generalise to arbitrary matroids beyond hyperplane arrangements.
  • The recursion property is imported from a Poincaré-duality compatibility in earlier work; a self-contained proof of that compatibility under the paper's nonstandard residue sign convention would remove the main external dependency of the argument.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper introduces a mixed-Hodge-theoretic framework for positive geometries. For a compact complex variety X of dimension n and a closed subvariety Y such that X\Y is smooth, the authors define the genus of the pair (X,Y) as the sum of the Hodge numbers h^{-p,0} of H_n(X,Y) for p>0, and the combinatorial rank as the dimension of gr^W_0 H_n(X,Y). The main construction is the R-map from the space of logarithmic n-forms on X\Y to gr^W_0 H_n(X,Y), which is surjective with kernel of dimension equal to the genus. When the genus is zero, the inverse of this map defines a canonical form can(σ) for every relative homology class σ. The paper proves several compatibilities of this construction: linearity, recursion via residues, invariance under modifications, functoriality, and multiplicativity. It also develops tools for computing genus and combinatorial rank, and gives extensive examples, including hyperplane arrangements, convex polytopes, nodal and cuspidal cubics, and moduli spaces of genus-zero curves.

Significance. If the main theorem is correct as stated, this is a substantial conceptual advance: it replaces the semi-algebraic and often recursive definition of positive geometries with a parameter-free construction from mixed Hodge theory, and it applies to pairs that are genus zero but not recursive in the sense of Arkani-Hamed–Bai–Lam. The paper is honest about the limitations of recursion and gives many nontrivial worked examples, including a new-looking formula for canonical forms of convex polytopes and an nbc-basis formula for hyperplane arrangements. The central definition via the R-map, Lemma 2.3, and the five stated compatibilities are elegant and, modulo the external input from [BD21], the core construction is rigorous. The main weaknesses are local but load-bearing: the advertised recursion property is stated more broadly than it is proved, the sign comparison with [BD21] is asserted rather than derived, and one codimension hypothesis in Proposition 2.14 is missing from the statement but used in the proof.

major comments (3)
  1. [Introduction, Theorem (p.1) and §2.4.3] Property (b) of the main theorem is stated for every genus zero pair, but the proof given in Proposition 2.14 requires additional hypotheses: Y must have codimension 1, Z must have codimension at least 1, both X\Z and Y\Z must be smooth, and (Y,Z) must have genus zero. The paper itself notes in §2.4.3 that genus zero is not recursive, giving the example (X,Y)=(P^1×C,{0}×C), whose face C has positive genus; in that case ω_{∂σ} is not even defined. As written, the introductory theorem overclaims: the recursion formula can only be asserted under the hypotheses of Proposition 2.14 and should be restated with those hypotheses explicitly included.
  2. [§2.4.1, proof of Proposition 2.14] The commutativity of diagram (32) is imported from [BD21, Proposition 4.12], but the present paper adopts a nonstandard residue sign convention (Remark 1.6). The sentence that the (−1)^{n−1} sign from loc. cit. disappears "is consistent with the sign convention" is an assertion, not a derivation. Since equation (33), Corollary 2.18, Proposition 6.7, and the examples in §5 depend on the exact sign in the residue-boundary comparison, the proof should include an explicit local-coordinate sign computation, or a precise statement of how the residue convention here is related to the one in [BD21], showing that the diagram commutes with the signs used in this paper.
  3. [§2.4.1, Proposition 2.14(2)(b)] The proof of part (b) invokes Proposition 4.7, which requires Z to have codimension at least 2 in X, but the statement of Proposition 2.14 only assumes that Z has codimension at least 1. The sentence "Since Z has codimension ≥ 2 in X" in the proof is therefore not justified by the stated hypotheses. This is load-bearing because part (b) claims that Res is injective exactly when X has combinatorial rank zero, and the missing hypothesis also affects the application in Proposition 2.15. Please either add the codimension-2 hypothesis to the statement or provide a separate argument covering the codimension-1 case.
minor comments (4)
  1. [Figures 3 and 5 (§5.4.3 and §5.5.1)] The captions of Figures 3 and 5 say that the vertical line v=0 is the exceptional divisor, but in both charts the exceptional divisor is defined by u=0, as stated in the main text. Please correct the captions to match the equations.
  2. [§5.5.1, proof of Proposition 5.6] The sentence ending "...has a logarithmic pole at infinity (In fact, this must be the case since we know that Ω^2_log(P^2\C∪L′) has dimension 1 by (50))" is missing a period after "infinity", and the parenthetical justification is slightly awkward because it invokes the dimension statement that the proposition is in the process of establishing.
  3. [§3.2.5, Definition 3.15] In the definition of "locally of product type", the notation (U×V, Y_U×V, U×Z_V) is introduced without explaining that Y_U and Z_V are the local pieces of Y and Z respectively; adding one sentence of clarification would improve readability.
  4. [§5.4.1] In the first proof of Proposition 5.2, the notation Res_{Y+∩Y−}Res_{Y−}(ω)=1 and ∂_{Y+∩Y−}∂_{Y−}(σ)=1 is used without defining the order of iterated residues and iterated boundaries; since signs depend on that order, a brief convention note would help the reader verify the displayed equalities.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: canonical forms are defined from an R-map isomorphism supplied by mixed Hodge theory, and the recursion/corner-residue properties are proved from independent prior theorems rather than assumed as inputs.

full rationale

The central construction is self-contained: Hodge theory gives a surjective R-map with kernel equal to the genus (Lemmas 2.3 and 2.5); when the genus is zero, R is an isomorphism, and Definition 2.6 defines can as the inverse of R composed with the quotient map. Thus uniqueness of canonical forms is a direct consequence of the definition, not an imported conclusion. The advertised recursion formula Res(ϖ_σ)=ϖ_{∂σ} is not definitionally equal to the R-map; it is proved in Proposition 2.14 by importing the Poincaré-duality/residue commutativity from [BD21, Proposition 4.12] and then applying modification invariance. That cited result is a prior theorem by the same authors, but it is a parameter-free statement with its own proof and its assumptions do not include the present main theorem; under the review rules, this counts as independent support rather than circularity. The same applies to the corner-residue imports [BD21, Propositions 4.7, 4.8, 4.13] in Proposition 2.17. The sign adjustment, explicitly described as a convention in Remark 1.6, could affect correctness if erroneous, but it is not a case of the paper assuming what it proves. The introduction's theorem states recursion without the hypotheses of Proposition 2.14, and the paper itself acknowledges in section 2.4.3 that genus zero is not a recursive condition; this is an overbreadth or precision issue, not a circular reduction. No fitted parameters, no target quantities reused as inputs, and no renaming of known results are used to generate the canonical forms. Consequently, no circular steps are identified.

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

The central claim rests on standard mixed Hodge theory, resolution of singularities, Poincaré duality, and several cited results including two from the authors' prior work. No free parameters are fitted and no new physical or geometric entities are postulated; 'genus zero pair' and 'combinatorial rank' are definitions built from existing mixed Hodge data.

assumptions (7)
  • standard math Deligne's mixed Hodge structure on relative (co)homology of complex varieties, including the Hodge-number support bounds (14).
    Used throughout Section 1.2 to define genus, combinatorial rank, and to compute the kernel of the R-map in Lemma 2.3.
  • standard math Poincaré duality (16) is an isomorphism of mixed Hodge structures between H^k(X,Y) and H^{2n-k}(X\Y)(n).
    Bridges relative homology and logarithmic cohomology in Definition 2.4 of the R-map.
  • standard math Degeneration of the logarithmic de Rham spectral sequence and functoriality of log forms, giving Omega^k_log(U) isomorphic to F^k H^k(U)_C and independence of compactification (Prop 1.8).
    Foundational for defining canonical forms as global logarithmic forms.
  • standard math Hironaka embedded resolution of singularities and Nagata compactification provide smooth normal-crossing compactifications and modifications.
    Used in invariance under modification, residue and boundary computations, and Proposition 2.14.
  • domain assumption Compatibility of iterated residue maps with boundary maps under Poincaré duality, [BD21, Props 4.7, 4.8, 4.12, 4.13].
    Self-cited prior theorems by the same authors; they carry the proof of recursion (Prop 2.14) and corner-residue computations (Prop 2.17).
  • standard math Brieskorn purity for hyperplane arrangement complements and the Orlik-Solomon and nbc basis theory, including Szenes' biorthogonality property (62).
    Used in Section 6 to compute canonical forms of arrangements and convex polytopes.
  • standard math Zaslavsky's face-count formula for real affine hyperplane arrangements.
    Used in the proof of Proposition 6.2 to match the dimension of H_n(P^n,A) with the number of bounded regions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Positive geometries and canonical forms via mixed Hodge theory." pith.science (2026). https://pith.science/paper/VW6QOSWA

@misc{pith2026250103202,
  author       = {Pith},
  title        = {Pith review of: Positive geometries and canonical forms via mixed Hodge theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VW6QOSWA}},
  note         = {Machine review of arXiv:2501.03202}
}
read the original abstract

''Positive geometries'' are a class of semi-algebraic domains which admit a unique ''canonical form'': a logarithmic form whose residues match the boundary structure of the domain. The study of such geometries is motivated by recent progress in particle physics, where the corresponding canonical forms are interpreted as the integrands of scattering amplitudes. We recast these concepts in the language of mixed Hodge theory, and identify ''genus zero pairs'' of complex algebraic varieties as a natural and general framework for the study of positive geometries and their canonical forms. In this framework, we prove some basic properties of canonical forms which have previously been proved or conjectured in the literature. We give many examples and study in detail the case of arrangements of hyperplanes and convex polytopes.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Positive Geometry of Polytopes and Polypols

    math.AG 2025-06 unverdicted

    A self-described collection of known results explaining positive geometries and canonical forms for polytopes and quasi-regular rational polypols.

Reference graph

Works this paper leans on

33 extracted references · 15 canonical work pages · cited by 1 Pith paper

  1. [1]

    write newline

    " write newline "" before.all 'output.state := FUNCTION output.nonempty.mrnumber duplicate missing pop "" 'skip if duplicate empty 'pop " " swap * " " * write if FUNCTION blank.sep after.quote 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip output.state after.quote = after.quoted.block 'outpu...

    work page

  2. [2]

    Arkani - Hamed, Y

    N. Arkani - Hamed, Y. Bai, and T. Lam, Positive geometries and canonical forms, Journal of High Energy Physics 2017 (2017) http://dx.doi.org/10.1007/JHEP11(2017)039, no. 11, 39

    doi:10.1007/jhep11(2017)039 2017

  3. [3]

    Arkani - Hamed, S

    N. Arkani - Hamed, S. He, and T. Lam, Cluster configuration spaces of finite type, SIGMA, Symmetry Integrability Geom. Methods Appl. 17 (2021) http://dx.doi.org/10.3842/SIGMA.2021.092, paper 092, 41

    work page doi:10.3842/sigma.2021.092 2021

  4. [4]

    Arkani - Hamed and J

    N. Arkani - Hamed and J. Trnka, The Amplituhedron , Journal of High Energy Physics 2014 (2014) http://dx.doi.org/10.1007/JHEP10(2014)030, no. 10, 30

    doi:10.1007/jhep10(2014)030 2014

  5. [5]

    Brown and C

    F. Brown and C. Dupont, Single-valued integration and double copy, http://dx.doi.org/doi:10.1515/crelle-2020-0042 Journal f\" u r die reine und angewandte Mathematik (Crelles Journal) 2021 (2021) , no. 775, 145--196

    doi:10.1515/crelle-2020-0042 2021

  6. [6]

    Bloch, H

    S. Bloch, H. Esnault, and D. Kreimer, On motives associated to graph polynomials, Communications in Mathematical Physics 267 (2006) http://dx.doi.org/10.1007/s00220-006-0040-2, no. 1, 181--225

    doi:10.1007/s00220-006-0040-2 2006

  7. [7]

    Brauner, C

    S. Brauner, C. Eur, E. Pratt, and R. Vlad, Wondertopes. https://arxiv.org/abs/2403.04610

    arXiv

  8. [8]

    Brieskorn, Sur les groupes de tresses [d'apr\`es V

    E. Brieskorn, Sur les groupes de tresses [d'apr\`es V . I . A rnol'd] , S\'eminaire Bourbaki : vol. 1971/72, expos\'es 400-417, S\'eminaire Bourbaki, no. 14, Springer-Verlag, 1973, pp. 21--44. http://www.numdam.org/item/SB_1971-1972__14__21_0/

    work page 1971

Show all 33 references
  1. [9]

    Brown, Notes on motivic periods, Communications in Number Theory and Physics 11 (2017) http://dx.doi.org/10.4310/CNTP.2017.v11.n3.a2, no

    F. Brown, Notes on motivic periods, Communications in Number Theory and Physics 11 (2017) http://dx.doi.org/10.4310/CNTP.2017.v11.n3.a2, no. 3, 557--655

    2017 doi

  2. [10]

    Chataur and J

    D. Chataur and J. Cirici, Rational homotopy of complex projective varieties with normal isolated singularities, Forum Mathematicum 29 (2017) http://dx.doi.org/10.1515/forum-2015-0101, no. 1, 41--57

    2017 doi

  3. [11]

    M. Chan, S. Galatius, and S. Payne, Tropical curves, graph complexes, and top weight cohomology of M _g , Journal of the American Mathematical Society 34 (2021) http://dx.doi.org/10.1090/jams/965, no. 2, 565--594

    2021 doi

  4. [12]

    Deligne and A

    P. Deligne and A. Dimca, Filtrations de Hodge et par l'ordre du p\^ole pour les hypersurfaces singuli\`eres , http://dx.doi.org/10.24033/asens.1616 Annales scientifiques de l'\'Ecole Normale Sup\'erieure, Quatri\`eme S\' e rie 23 (1990) , no. 4, 645--656

    1990 doi

  5. [13]

    Deligne, Th\' e orie de H odge

    P. Deligne, Th\' e orie de H odge. I , Actes du C ongr\`es I nternational des M ath\' e maticiens ( N ice, 1970), T ome 1, Gauthier-Villars, Paris, 1971, pp. 425--430. https://www.mathunion.org/icm/proceedings

    1970

  6. [14]

    1, 5--57

    , Th \'e orie de Hodge, II , http://dx.doi.org/10.1007/BF02684692 Publications Math \'e matiques de l'Institut des Hautes \'E tudes Scientifiques 40 (1971) , no. 1, 5--57

    1971 doi

  7. [15]

    1, 5--77

    , Th \'e orie de Hodge, III , http://dx.doi.org/10.1007/BF02685881 Publications Math \'e matiques de l'Institut des Hautes \'E tudes Scientifiques 44 (1974) , no. 1, 5--77

    1974 doi

  8. [16]

    Dimca, http://dx.doi.org/10.1007/978-3-319-56221-6 Hyperplane arrangements

    A. Dimca, http://dx.doi.org/10.1007/978-3-319-56221-6 Hyperplane arrangements. An introduction , Universitext, Cham: Springer, 2017

    2017 doi

  9. [17]

    Early, A

    N. Early, A. Geiger, M. Panizzut, B. Sturmfels, and C. He Yun, Positive del P ezzo geometry . https://arxiv.org/abs/2306.13604

    arXiv

  10. [18]

    Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002

    A. Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002. https://pi.math.cornell.edu/ hatcher/AT/ATpage.html

    2002

  11. [19]

    Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero

    H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero. I , II , Annals of Mathematics. Second Series 79 (1964) http://dx.doi.org/10.2307/1970547, 109--203; 79 (1964), 205--326

    1964 doi

  12. [20]

    Hirzebruch, Topological methods in algebraic geometry

    F. Hirzebruch, Topological methods in algebraic geometry. New appendix and translation from the second German edition by R . L . E . Schwarzenberger . With an additional section by A . Borel . 3rd enlarged ed. , Grundlehren Math. Wiss., vol. 131, Berlin-Heidelberg-New York: Sp...

    1966

  13. [21]

    W. V. D. Hodge, The topological invariants of algebraic varieties, Proceedings of the I nternational C ongress of M athematicians, C ambridge, M ass., 1950, vol. 1, Amer. Math. Soc., Providence, R.I., 1952, pp. 182--192. https://www.mathunion.org/icm/proceedings

    1950

  14. [22]

    Huybrechts, The geometry of cubic hypersurfaces http://dx.doi.org/10.1017/9781009280020, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 2023

    D. Huybrechts, The geometry of cubic hypersurfaces http://dx.doi.org/10.1017/9781009280020, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 2023

    2023 doi

  15. [23]

    M. M. Kapranov, Veronese curves and Grothendieck - Knudsen moduli space \( M_ 0,n \) , Journal of Algebraic Geometry 2 (1993), no. 2, 239--262

    1993

  16. [24]

    K. Kohn, R. Piene, K. Ranestad, F. Rydell, B. Shapiro, R. Sinn, M.- S . Sorea, and S. Telen, Adjoints and canonical forms of polypols, Doc. Math. 30 (2025) http://dx.doi.org/10.4171/DM/991, no. 2, 275--346

    2025 doi

  17. [25]

    Lam, An invitation to positive geometries, Open problems in algebraic combinatorics, Proc

    T. Lam, An invitation to positive geometries, Open problems in algebraic combinatorics, Proc. Sympos. Pure Math., vol. 110, Amer. Math. Soc., Providence, RI, 2024, pp. 159--179

    2024

  18. [26]

    https://arxiv.org/abs/2405.17332

    , Moduli spaces in positive geometry. https://arxiv.org/abs/2405.17332

    arXiv

  19. [27]

    Nagata, Imbedding of an abstract variety in a complete variety, Journal of Mathematics of Kyoto University 2 (1962) http://dx.doi.org/10.1215/kjm/1250524969, 1--10

    M. Nagata, Imbedding of an abstract variety in a complete variety, Journal of Mathematics of Kyoto University 2 (1962) http://dx.doi.org/10.1215/kjm/1250524969, 1--10

    1962

  20. [28]

    Orlik and L

    P. Orlik and L. Solomon, Combinatorics and topology of complements of hyperplanes, Inventiones Mathematicae 56 (1980) http://dx.doi.org/10.1007/BF01392549, no. 2, 167--189

    1980 doi

  21. [29]

    Orlik and H

    P. Orlik and H. Terao, Arrangements of hyperplanes http://dx.doi.org/10.1007/978-3-662-02772-1, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 300, Springer-Verlag, Berlin, 1992

    doi

  22. [30]

    Serre, G\' e om\' e trie alg\' e brique et g\' e om\' e trie analytique , Annales de l'Institut Fourier (Grenoble) 6 (1955/56) http://dx.doi.org/10.5802/aif.59, 1--42

    J.-P. Serre, G\' e om\' e trie alg\' e brique et g\' e om\' e trie analytique , Annales de l'Institut Fourier (Grenoble) 6 (1955/56) http://dx.doi.org/10.5802/aif.59, 1--42

    1955 doi

  23. [31]

    Szenes, Iterated residues and multiple Bernoulli polynomials , International Mathematics Research Notices 1998 (1998) http://dx.doi.org/10.1155/S1073792898000567, no

    A. Szenes, Iterated residues and multiple Bernoulli polynomials , International Mathematics Research Notices 1998 (1998) http://dx.doi.org/10.1155/S1073792898000567, no. 18, 937--956

    1998 doi

  24. [32]

    Voisin, http://dx.doi.org/10.1017/CBO9780511615344 Hodge theory and complex algebraic geometry

    C. Voisin, http://dx.doi.org/10.1017/CBO9780511615344 Hodge theory and complex algebraic geometry. I , Cambridge Studies in Advanced Mathematics, vol. 76, Cambridge University Press, Cambridge, 2002. Translated from the French original by Leila Schneps

    2002 doi

  25. [33]

    T. Zaslavsky, http://dx.doi.org/10.1090/memo/0154 Facing up to arrangements: Face -count formulas for partitions of space by hyperplanes , Memoirs of the American Mathematical Society, vol. 154, Providence, RI: American Mathematical Society (AMS), 1975

    doi

Pith tools

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