Open questions and potential solutions

Apply the frozen spherical classifying-space theorem, then the natural Orlik–Solomon comparison. Normalized logarithmic generators are rational winding classes, so the complex comparison descends to rational coefficients using a finite Salvetti model. For the finite regular cover, averaging invariant cochains identifies downstairs cohomology with upstairs invariants, multiplicatively. In D₄, suitable coordinates make the eight-element normaliser quotient act by independent sign changes. Its seven hyperplanes are three coordinate planes and four diagonal planes. Their nine rank-two intersections determine the pure polynomial; the fixed-lattice trace formula and averaging determine the quotient polynomial.

Use the supplied spherical classifying-space models to reduce group cohomology to arrangement-complement cohomology. Establish the rational, equivariant Orlik–Solomon identification and finite-cover invariant-ring comparison separately. Compute the D₄ normaliser action explicitly, enumerate its rank-two lattice incidences, and average fixed-lattice trace polynomials.

1. Write $E={\mathrm{\Theta }}_J$, $M=E_{\mathbb{C}}\setminus {\bigcup }_{H\in \mathcal{A}}{H}_{\mathbb{C}}$ and $Y=M\mathrm{/}G$. The spherical model input gives a regular $G$-cover $M\to Y$ and classifying-space models for $N(P,J)$ and $N(A,J)$ respectively. Thus their rational cohomology rings are those of $M$ and $Y$. For the ring comparison, the universal-cover singular chains form a free resolution; the front/back simplex diagonal defining the cup product is the same upstairs and downstairs. Applying equivariant Hom with trivial coefficients gives the usual classifying-space comparison, including its rational coefficient version. [D-choice, D-groups, D-arrangement, D-spherical-model, D-group-cohomology, D-cohomology-basics]
2. For each $H$, choose a nonzero complex linear form ${\alpha }_H$ with kernel $H_{\mathbb{C}}$. Let ${\lambda }_H={\alpha }_H^{\ast }\eta$, where $\eta \in H^1({\mathbb{C}}^{\ast };\mathbb{Q})$ evaluates to one on a positive circle. Its complex image is represented by $d{\alpha }_H\mathrm{/}(2\pi i{\alpha }_H)$. The finite Salvetti model and finite cellular cochains give $H^{\ast }(M;\mathbb{Q}){\otimes }_{\mathbb{Q}}\mathbb{C}\cong H^{\ast }(M;\mathbb{C})$. The complex Orlik–Solomon theorem therefore makes the rational dependency relations vanish and makes $e_H\mapsto {\lambda }_H$ an isomorphism: its kernel and cokernel vanish after the faithful field extension. For the left cohomological action $g\cdot u=(g^{-1}{)}^{\ast }u$, multiplication of defining forms by nonzero constants does not change their logarithmic classes, so $g{\lambda }_H={\lambda }_{gH}$. This proves the rational equivariant comparison. [D-os-definition, D-os-comparison, D-finite-salvetti, D-cohomology-basics, D-circle-generator, step:1]
3. Every singular simplex of $Y$ lifts to $M$, and its lifts form a $G$-torsor. Consequently pullback identifies $C^{\ast }(Y;\mathbb{Q})$ with $C^{\ast }(M;\mathbb{Q}{)}^G$, compatibly with differentials and cup products. Averaging by $\mathrm{\mid }G{\mathrm{\mid }}^{-1}{\sum }_{g}g$ shows that taking invariants commutes with cohomology: average a cycle representing an invariant class for surjectivity, and average a primitive for injectivity. Hence $H^{\ast }(Y;\mathbb{Q})\cong H^{\ast }(M;\mathbb{Q}{)}^G$ as graded algebras. This argument uses the finite cover directly and requires no unsupported equivariance assertion for a relative Salvetti equivalence. [D-cover-cochains, D-group-cohomology, D-cohomology-basics, step:1]
4. Combining steps 1–3 proves both asserted algebra isomorphisms. Distinct proper central hyperplanes have no dependent singleton or dependent pair, so the Orlik–Solomon ideal has no degree-one part. Its degree-one basis is therefore the set of $e_H$. The action permutes this basis, and an invariant vector has one independent coefficient per orbit. This proves both general first-Betti-number formulas, including the empty-arrangement case. [D-os-definition, step:1, step:2, step:3]
5. Use orthonormal coordinates with ${\alpha }_1=e_1-e_2$, ${\alpha }_2=e_2-e_3$, ${\alpha }_3=e_3-e_4$, ${\alpha }_4=e_3+e_4$, and Coxeter form one-half the dot product. The simple reflections generate exactly the even signed permutations: the first three generate all coordinate permutations, and the product of the last two changes two signs, whose conjugates generate all even sign changes. Faithfulness identifies this group with $W(D_4)$, of order $24\cdot 8=192$, with roots $\{\pm e_i\pm e_j:i<j\}$. Its twelve root lines form one orbit. Normalising $⟨s_{{\alpha }_2}⟩$ means preserving the line $\mathbb{R}{\alpha }_2$, so its normaliser has order 16 and $G$ has order 8. The three roots ${\beta }_1={\alpha }_1+{\alpha }_2+{\alpha }_3=e_1-e_4$, ${\beta }_2={\alpha }_1+{\alpha }_2+{\alpha }_4=e_1+e_4$, and ${\beta }_3={\alpha }_3+{\alpha }_2+{\alpha }_4=e_2+e_3$ are mutually orthogonal and orthogonal to ${\alpha }_2$. Their reflections give eight distinct quotient elements and hence all of $G$. [D-d4-realisation, D-faithfulness, D-groups]
6. Put $X=f({\alpha }_1)$, $Z=f({\alpha }_3)$ and $V=f({\alpha }_4)$ on $E$. Restricting the root set from step 5 gives precisely the seven normal forms $X,Z,V,X+Z,X+V,Z+V,X+Z+V$. Set $y_1=X+Z$, $y_2=X+V$, $y_3=Z+V$. Their inverse expressions are $2X=y_1+y_2-y_3$, $2Z=y_1+y_3-y_2$ and $2V=y_2+y_3-y_1$. The arrangement therefore has normals $y_1,y_2,y_3,y_1+y_2+y_3,y_1+y_2-y_3,y_1-y_2+y_3,-y_1+y_2+y_3$, numbered $H_1,\dots ,H_7$ in that order. Since $y_i=f({\beta }_i)$, the three reflections act by independent sign changes of the $y_i$. Each coordinate plane is fixed, while the four diagonal planes form one orbit. The orbit sizes are consequently $1,1,1,4$. [D-d4-realisation, D-arrangement, step:5]
7. The rank-two intersections are exhausted by the three double incidences $\{1,2\},\{1,3\},\{2,3\}$ and the six triple incidences $\{1,4,7\},\{1,5,6\},\{2,4,6\},\{2,5,7\},\{3,4,5\},\{3,6,7\}$. Substitution in the displayed forms verifies each incidence and distinguishes the nine lines. These incidences account for all $3+6\cdot 3=21$ pairs of hyperplanes. In the reverse-inclusion intersection lattice, the rank-one Möbius values are −1, a line lying in $m$ planes has value $m-1$, and the origin has value $-(1-7+15)=-9$. The identity-element case of the character formula therefore yields $P_M(t)=1+7t+15t^2+9t^3$. [D-lattice-character, step:6]
8. For $g=\mathrm{diag}(1,1,-1)$, the fixed lattice contains all three coordinate planes and five rank-two lines: the three coordinate axes and the two lines $y_3=0$, $y_1=\pm y_2$. In this fixed poset the axes have Möbius value 1; each additional line contains just one fixed hyperplane and has value 0. The origin then has value $-(1-3+3)=-1$. The fixed-lattice formula, using ranks from the full lattice, gives trace polynomial $1+3t+3t^2+t^3$. Coordinate permutations and multiplication by scalar −1 reduce every non-scalar sign change to this case. Both scalar elements fix the full lattice and have trace polynomial $P_M(t)$. Averaging the eight traces gives $(2P_M(t)+6(1+3t+3t^2+t^3))\mathrm{/}8=1+4t+6t^2+3t^3$. Steps 1–4 identify these two polynomials with the asserted group-cohomology polynomials. [D-lattice-character, step:3, step:4, step:6, step:7]

• D-choice: Assume the Axiom of Choice, as required by the supplied spherical model and the choices of free-resolution representatives. Source: math:def-axiom-of-choice; Definition. Reading limits: Read the library definition. The axiom is an explicit mathematical assumption, not an observed or proved assertion.
• D-groups: The groups are N(W,J)=Norm_W($W_J$)/$W_J$ and N(A,J)=Norm_A($A_J$)/$A_J$; N(P,J) is the image of P intersect Norm_A($A_J$), with P the kernel of A→W. Source: def-normaliser-quotients-artin-tits-normalisers; Definition. Reading limits: Read the frozen local definition. These are quotient groups; no full-normaliser cohomology identification is inferred.
• D-arrangement: In spherical type, the relative complement is M=(Θ_J tensor C) minus the union of the complexifications of the distinct proper restricted root hyperplanes. Source: def-relative-complement-artin-tits-normalisers; Definition, spherical specialization. Reading limits: Read the frozen definition, including the general product-cone convention and its spherical specialization. Duplicate restricted hyperplanes are removed.
• D-spherical-model: For finite S and finite W, under Choice, the relative complement and its regular N(W,J)-quotient are classifying-space models for N(P,J) and N(A,J), with their stated complex-linear action and covering exact sequence. Source: thm-main-kpi-summary-artin-tits-normalisers; Statement, Facts F1–F5, Proof steps 1.1 and 2.1; immediate exact-sequence and asphericity suppliers. Reading limits: Read the frozen theorem and composition proof and the relevant immediate supplier arguments; checked original Theorem 1.8 on p.3, Theorem 6.7 on p.26 and Corollary 6.14 on p.27. The full transitive proof closure was not freshly reaudited. This is an input to a new consequence, not proof of the model theorem by citing itself.
• D-os-definition: For a finite central arrangement, $O{S}_Q$ is the exterior algebra on $e_H$ modulo the boundaries of dependent products; dependence means that the intersection codimension is smaller than the number of selected hyperplanes. Source: https://sites.math.washington.edu/~billey/classes/561.fall.2021/past.articles/orlik.solomon.1980.pdf; §2, printed pp.170–171, definition preceding Theorem 2.6. Reading limits: Freshly read the extracted definition and dependence convention. The rational algebra is defined by the same integer relations; the source's general convention is complex coefficients.
• D-os-comparison: For a finite complex central arrangement, the logarithmic-generator map $O{S}_C$→H*(M;C) is an equivariant graded-algebra isomorphism for linear arrangement automorphisms. Source: https://sites.math.washington.edu/~billey/classes/561.fall.2021/past.articles/orlik.solomon.1980.pdf; Printed pp.167–169; §5, Theorem 5.2 and proof, p.185; Corollary 5.7 proof, p.186. Reading limits: Freshly read these extracted statements and proof paragraphs. Requested screenshots of pp.185–186 failed, so no fresh visual reading is claimed. The rational descent is supplied locally in step 2.
• D-finite-salvetti: The arrangement Salvetti complex is homotopy equivalent to the product complement. For a finite arrangement in its full real vector space, its facet/chamber indexing set is finite, hence this construction is a finite simplicial model. Source: https://www.numdam.org/item/AFST_2014_6_23_2_361_0.pdf; §3.1, construction on printed pp.385–386 and Theorem 3.1 on p.386. Reading limits: Freshly read the extracted construction and exact theorem, and the proof opening. Imported the homotopy equivalence; did not reconstruct the full proof. Finiteness here follows from the finite indexing set, not from local finiteness alone. No arbitrary-normaliser equivariance is imported.
• D-group-cohomology: Group cohomology is derived invariants. Classifying-space cochains compute it; averaging over a finite group is exact when its order is invertible. The rational and multiplicative versions use the same resolution and cochain diagonal. Source: https://math.mit.edu/~hrm/palestine/weibel/06-group_homology_and_cohomology.pdf; Definition 6.1.2, printed p.161; Proposition 6.1.10, p.163; §6.7.1, p.192; Definition 6.10.4 and Theorem 6.10.5 with proof, pp.204–205. Reading limits: Read the extracted definitions, averaging proof, cup-product passage and classifying-space chain proof. Theorem 6.10.5 is printed with integral coefficients; applying the displayed Hom resolution with Q and its same diagonal supplies the specialization used here. No whole-chapter review is claimed.
• D-cover-cochains: For a free properly discontinuous action, singular simplices downstairs lift upstairs, and any two lifts differ by a unique deck transformation. The downstairs singular chains are the coinvariants of the upstairs chains. Source: https://math.mit.edu/~hrm/palestine/weibel/06-group_homology_and_cohomology.pdf; §6.10 opening, printed p.203; Lemma 6.10.2 and proof, p.204. Reading limits: Read the extracted complete lemma proof and action hypothesis. Step 3 explicitly derives the invariant-cochain and invariant-ring conclusions for the present finite cover.
• D-cohomology-basics: Cellular cochains compute singular cohomology, and the front/back simplex formula defines its cup product. For a finite CW model, extension Q→C commutes with cohomology because its cellular cochain groups have finite rank and field extension is exact. Source: https://pi.math.cornell.edu/~hatcher/AT/ATch3.pdf; §3.1, simplicial/cellular comparison and Theorem 3.5 with proof, printed pp.202–203; §3.2, cup-product formula and Lemma 3.6, pp.206–207. Reading limits: Freshly read these extracted passages and proofs. The finite-rank scalar-extension deduction is local linear algebra. The rest of Chapter 3 was not reviewed.
• D-circle-generator: C* retracts radially to S¹. The circle has one vertex and one edge with zero cellular differential, so its first rational cohomology has a generator evaluating to one on the positive loop; its complex image is represented by dz/(2πiz). Source: self-contained; Local normalization used in proof step 2. Reading limits: The retraction is z↦z/|z|, and the stated normalized form integrates to one around z=exp(2πit). The circle cochain calculation uses D-cohomology-basics; no independent literature reading is claimed for this local normalization.
• D-faithfulness: For a finite-rank Coxeter system, its canonical real reflection representation and dual representation are faithful. Source: math:thm-cg-root-length-criterion-and-faithfulness; Statement, clause (3). Reading limits: Read the exact library statement and hypotheses. Imported faithfulness only; did not freshly reconstruct its proof or audit the supplier.
• D-d4-realisation: The displayed four D₄ simple roots have Coxeter form one-half the Euclidean dot product. Their reflections generate the even signed permutations; their root orbit is exactly {±$e_i$±$e_j$:$i<j$}. Source: self-contained; Proof steps 5–6, explicit root and signed-permutation calculation. Reading limits: Computed locally from the four reflection maps and checked against the original numbering on PDF p.27. Exact enumeration independently gives group order 192 and rank-one parabolic normaliser order 16. The argument does not use the article's atomic braid example or its freeness wording as a premise.
• D-lattice-character: For a finite arrangement lattice L and its automorphism g, the cohomological trace polynomial is the sum over g-fixed flats of μ_{$L^g$}(0,X)(−t)^{$r_L$(X)}. Ranks are inherited from L, while Möbius values are computed in the fixed poset. Source: https://sites.math.washington.edu/~billey/classes/561.fall.2021/past.articles/orlik.solomon.1980.pdf; Theorem 4.8 and Remark 4.9, printed p.182; Corollary 5.7, p.186. Reading limits: Freshly read the extracted theorem, its proof paragraph, the fixed-lattice caveat and Corollary 5.7. Imported this established character formula; the nine-flat incidence certificate and its applications are local calculations.

Decision: accept

Accept the insight in its stated finite-rank spherical scope, assuming Choice and using rational coefficients. All eight argument steps are supported relative to the explicit spherical-model input. Independent exact calculations reproduce |W(D₄)|=192, normaliser order 16, quotient order 8, orbit sizes 1,1,1,4, and Poincaré polynomials 1+7t+15t²+9t³ and 1+4t+6t²+3t³. The identified article defects do not invalidate this consequence.

Dependency review: D-choice, D-groups and D-arrangement match the actual supplier definitions, including quotient groups, distinct proper restrictions and the spherical specialization. D-spherical-model supplies precisely the classifying groups and regular covering used; its local composition and immediate comparison, asphericity and action arguments were inspected. It is a premise for this new consequence, not circular proof of itself. D-os-definition, D-os-comparison and D-lattice-character agree with Orlik–Solomon, §2, Theorems 4.8 and 5.2, and Corollary 5.7. The fixed-poset Möbius values and full-lattice ranks are used correctly. Rational descent follows from the winding classes and finite-model coefficient extension. D-finite-salvetti applies to the finite arrangement in its full real space; Paris, §3.1 supplies that model without the erroneous general finiteness inference. D-group-cohomology and D-cover-cochains match Weibel, §§6.1, 6.7.1 and 6.10; the invariant-cochain proof establishes the ring comparison directly. D-cohomology-basics matches Hatcher, Theorem 3.5 and §3.2. D-circle-generator and D-d4-realisation are valid local calculations; D-faithfulness has applicable finite-rank hypotheses. The reachable 160-item local dependency graph has no declared cycle, physical premise or open-problem premise. No substantive circular use was found in the inspected arguments.

Review reading limits: Read the complete assigned draft, all immediate dependency records, the named local supplier bodies and selected supporting arguments. Consulted the frozen article's extracted pages and visually inspected pp.8–11,13,16,22,29–30. Reassessed the eight prior findings and read the 242 supplied comparison claim/evidence records as attribution leads; generated-proof defects remain excluded from the article assessment. Independently checked the three requested evidence files, including the D₄ noncomposable word and its corrected equality. External reading covered the cited theorem, definition and proof passages, not complete books or transitive supplier proofs. Orlik–Solomon screenshots for pp.185–186 failed; readable extracted text supported those checks. The novelty qualification concerning earlier versions is supported by their introductions: v1 and v2 already mention the cohomology connection. No worldwide novelty search, library audit, publication acceptance or mechanical gate credit is claimed.

The relative arrangement is finite and central. Since J is proper, the restriction of a simple-root evaluation outside J is nonzero, and its kernel belongs to that arrangement. Consequently lambda never vanishes on M. Normalization gives mutually inverse maps z↦(lambda(z),z/lambda(z)) and (a,w)↦aw between M and C*×F. The slice F retracts from M, so its rational homology is finite-dimensional and bounded because M has finite CW homotopy type. Applying Mayer–Vietoris to the product of F with a two-arc cover of the circle gives $b_n$(M)=$b_n$(F)+$b_{n-1}$(F), hence the polynomial factorization and chi(M)=0. The finite equivariant Salvetti model has |N(W,J)| cells in every cell orbit, yielding chi(M)=|N(W,J)|chi(M/N(W,J)). The classifying-space identifications give the two group Euler characteristics.

Split the spherical relative complement by normalizing one nonvanishing hyperplane equation. Establish bounded finite-dimensional homology for the slice by retraction, derive the Betti-number recurrence using Mayer–Vietoris, and transfer Euler vanishing to the quotient by counting cell orbits in the supplied finite equivariant model.

1. Write E=Theta_J, $G=N$(W,J), and M=$X_J$^C. Finite W makes the relative arrangement finite and identifies M with the complement of its complexified linear hyperplanes in $E_C$. Choose s outside J. Because the simple roots form a basis, the coordinate functional lambda(f)=f(alpha_s) is nonzero on E; its kernel is one of the proper restricted hyperplanes. Therefore lambda(z) is nonzero for every z in M. Also G is finite, being a quotient of a subgroup of finite W. [spherical-hypotheses, def-normaliser-quotients-artin-tits-normalisers, def-relative-cone-artin-tits-normalisers, def-relative-complement-artin-tits-normalisers]
2. Let F={w in M:lambda(w)=1}. Every defining hyperplane equation is homogeneous, so multiplication by a nonzero complex scalar preserves M. Hence z↦(lambda(z),z/lambda(z)) is a well-defined continuous map M→C*×F. Its continuous inverse is (a,w)↦aw. These formulas prove the product homeomorphism and show F is nonempty because M is nonempty. [step:1, rem-finite-classifying-complexes-artin-tits-normalisers]
3. The normalization r(z)=z/lambda(z) and inclusion i:F→M satisfy r i=id_F. Functoriality therefore makes $H_n$(F;Q) a direct summand of $H_n$(M;Q). The supplied finite CW model for M implies that these latter groups are finite-dimensional and zero in all sufficiently high degrees. The same properties follow for $H_n$(F;Q). This establishes the required homological finiteness without inferring that a retract of a finite CW model is itself a finite CW complex. [step:2, rem-finite-classifying-complexes-artin-tits-normalisers, homology-functoriality-and-finiteness]
4. Radial deformation retracts C* onto $S^1$, so M is homotopy equivalent to F×$S^1$. Cover $S^1$ by two contractible open arcs U,V whose intersection has two contractible components. For $A=F$×U and $B=F$×V, the Mayer–Vietoris map from $H_n$(A∩B;Q) to $H_n$(A;Q)⊕$H_n$(B;Q), under the product projection identifications, is (a,b)↦(a+b,-a-b). Its cokernel is $H_n$(F;Q), and its kernel is another copy of $H_n$(F;Q). Exactness yields 0→$H_n$(F;Q)→$H_n$(M;Q)→$H_{n-1}$(F;Q)→0, with $H_{-1}$=0. Thus $b_n$(M)=$b_n$(F)+$b_{n-1}$(F). [step:2, step:3, homology-functoriality-and-finiteness, mayer-vietoris]
5. The boundedness established in step 3 permits finite polynomial summation of step 4: $P_M$(t)=(1+t)$P_F$(t). Evaluating at $t=-1$ gives chi(M)=0. The supplied identification $M=K$(N(P,J),1) identifies $P_M$ with the rational group Poincaré polynomial and identifies chi(M) with chi(N(P,J)). [step:3, step:4, betti-polynomial-convention, euler-characteristic, rem-finite-classifying-complexes-artin-tits-normalisers]
6. Take the supplied finite Salvetti order complex K with equivariant homotopy equivalence K→M and quotient homotopy equivalence K/G→M/G. Freeness on M implies freeness on K. A group element stabilizing a simplex of this order complex acts as an order-preserving permutation of its finite chain of vertices, hence fixes those vertices and must be the identity. Each orbit of n-simplices therefore contains |G| simplices, while K/G has one n-cell per such orbit. Consequently chi(M)=chi(K)=|G|chi(K/G)=|G|chi(M/G). Since |G| is positive and step 5 gives chi(M)=0, chi(M/G)=0. Its supplied classifying-space identification gives chi(N(A,J))=0. [step:1, step:5, prop-relative-cover-artin-tits-normalisers, rem-finite-classifying-complexes-artin-tits-normalisers, euler-characteristic]
7. If $J=S$, then $W_J$=W and $A_J$=A. Both full normaliser quotients are trivial, as is the defined image N(P,J). Their classifying space can be a point, so both Euler characteristics equal 1. The positive-dimensional hypothesis is therefore necessary. As a boundary check within the proper-J case, dimension $E=1$ gives the single distinct relative hyperplane {0}, $M=C$* and F a point, agreeing with $P_M$(t)=1+t. [def-normaliser-quotients-artin-tits-normalisers, def-relative-cone-artin-tits-normalisers, def-relative-complement-artin-tits-normalisers, step:2, step:5, euler-characteristic]

• spherical-hypotheses: Assume the Axiom of Choice, a finite-rank Coxeter system (W,S) with W finite, its Artin–Tits group A, and J properly contained in S. The simple roots form the basis of the canonical real representation; the dual has its finite-dimensional Euclidean topology. Source: self-contained; Hypotheses of this direction. Reading limits: These are explicit assumptions, including Choice carried from the frozen local classifying-space supplier. No irreducibility hypothesis is used.
• def-normaliser-quotients-artin-tits-normalisers: N(W,J)=Norm_W($W_J$)/$W_J$ and N(A,J)=Norm_A($A_J$)/$A_J$; P is the kernel of A→W, and N(P,J) is the image of P intersect Norm_A($A_J$) in N(A,J). Source: def-normaliser-quotients-artin-tits-normalisers; Frozen context item, Definition and Justification; original notation (1.2), (1.7), PDF pp.1,3. Reading limits: Read the frozen local Definition and Justification and the original notation. This fixes the image-subgroup meaning of N(P,J); no identification with an independently defined pure-group normaliser is assumed.
• def-relative-cone-artin-tits-normalisers: Theta_J consists of functionals vanishing on the simple roots indexed by J. The relative arrangement consists of the distinct proper restrictions of root hyperplanes to Theta_J. Source: def-relative-cone-artin-tits-normalisers; Frozen context item, Definition and Justification; original §3.1, equations (3.1)–(3.3), PDF p.7. Reading limits: Read the local definition and justification and the original defining passage. Only the coordinate-subspace and restricted-hyperplane definitions are used here.
• def-relative-complement-artin-tits-normalisers: For finite W, Cone(J) interior equals Theta_J, the relative arrangement is finite, and $X_J$^C is its complexified linear-hyperplane complement in Theta_J tensor C. Source: def-relative-complement-artin-tits-normalisers; Frozen context item, Definition and Justification; original equation (3.26) and following spherical specialization, PDF p.13. Reading limits: Read the complete frozen definition and justification and inspected original p.13. The nonspherical product-cone complement is not replaced by a full complex vector-space complement.
• prop-relative-cover-artin-tits-normalisers: The induced diagonal N(W,J)-action on $X_J$^C is free and properly discontinuous, and the orbit map is a normal covering. Source: prop-relative-cover-artin-tits-normalisers; Frozen context item, Statement; original paragraph preceding (3.28), PDF p.13. Reading limits: Read the exact frozen statement and original passage. This direction uses the spherical instance and imports freeness; it does not claim to rederive the arbitrary-type action theorem.
• rem-finite-classifying-complexes-artin-tits-normalisers: Under Choice and spherical hypotheses, the finite Salvetti order complex K admits a G-equivariant homotopy equivalence to M, inducing a homotopy equivalence K/G→M/G. These are finite classifying models for N(P,J) and N(A,J), respectively. Source: rem-finite-classifying-complexes-artin-tits-normalisers; Frozen context item, Statement and complete Proof; comparison lemma lem-author-e61520261113-finite-orbit-comparison; original Theorem 1.8, Corollary 6.14 and Remark 6.15, PDF pp.3,27. Reading limits: Read the complete frozen finite-model item and finite-orbit comparison, plus the natural-cover, disjoint-translate and order-complex arguments. Inspected original pp.3,27 and read Paris Proposition 2.2, printed pp.376–377. Imported established group identifications and comparison inputs are not claimed as independently reconstructed here. The unrestricted finiteness assertion in Remark 3.27 is not used.
• homology-functoriality-and-finiteness: Homology is functorial and homotopy invariant. A finite CW complex has finitely generated homology, vanishing above its dimension; the same finite-dimensional and bounded properties hold with rational coefficients. Source: https://pi.math.cornell.edu/~hatcher/AT/AT.pdf; §2.1, Proposition 2.9, Theorem 2.10 and Corollary 2.11, printed pp.111–112; §2.2, cellular homology consequences, printed p.140. Reading limits: Read these extracted local-PDF passages. The rational version follows from the same cellular argument with Q coefficients. No complete-book reading or reconstruction of cellular homology is claimed.
• mayer-vietoris: If a space is covered by the interiors of A and B, singular homology has the Mayer–Vietoris exact sequence, with intersection-to-sum map induced by the inclusions with opposite signs. The statement applies with rational coefficients. Source: https://pi.math.cornell.edu/~hatcher/AT/AT.pdf; §2.2, Mayer–Vietoris Sequences, printed pp.149–150. Reading limits: Read the displayed sequence and its chain-level derivation on these pages. Its application to the two-arc product cover is supplied locally in step 4; no CW hypothesis on F is imported.
• euler-characteristic: For finite CW complexes, Euler characteristic is the alternating cell count and equals the alternating sum of rational Betti numbers. It is homotopy invariant. For a group admitting a finite K(G,1), its Euler characteristic is that of this classifying model. Source: https://pi.math.cornell.edu/~hatcher/AT/AT.pdf; §2.2, Euler Characteristic and Theorem 2.44, printed pp.146–147; Homology of Groups, printed p.148. Reading limits: Read the definition, theorem and proof, and the group-homology convention. Finite-group cell-orbit multiplicativity is proved directly in step 6 rather than inferred for an unspecified homotopy quotient.
• betti-polynomial-convention: For a space with finite-dimensional rational homology vanishing in sufficiently high degrees, define $P_X$(t)=sum over n≥0 of dim_Q $H_n$(X;Q)$t^n$ and set $H_{-1}$(X;Q)=0. Source: self-contained; Notation of this direction. Reading limits: This is a definition. Step 3 verifies its finiteness hypotheses for F.

Decision: accept

Accept category insight, ID insight-normaliser-euler-zero. Step 1 establishes a nonvanishing hyperplane equation under J⊊S. Step 2 proves the product homeomorphism explicitly. Step 3 correctly obtains bounded finite-dimensional rational homology by retraction without claiming a finite CW model for F. Step 4’s Mayer–Vietoris map and resulting Betti-number recurrence are correct, including degree zero. Step 5 gives the polynomial factorization and Euler vanishing. Step 6 correctly counts simplex orbits in the supplied finite equivariant model and transfers vanishing to the quotient. Step 7 correctly handles $J=S$ and relative dimension one. No irreducibility or equivariant product decomposition is needed.

Dependency review: All immediate proof citations resolve to listed dependencies or earlier steps. The normaliser definitions use the required image-subgroup interpretation of N(P,J). The relative-complement definition supplies a finite central arrangement in the whole complexified relative space when W is finite. Read the complete free-action and finite-model arguments, including the finite-orbit comparison and its invariant-cover, pair-stabilizer and disjoint-translate inputs. Their application satisfies the hypotheses of Paris, Proposition 2.2; the relevant general cover construction is independent of the article under study. The homology and Euler inputs agree with Hatcher, Chapter 2. The classifying-space identifications are supplied by the inspected local corollary and its declared mathematical inputs. No declared dependency cycle was found in the frozen graph, and the inspected reasoning does not assume this insight or the defective unrestricted finiteness assertion. The prior eight article findings remain supported: the wall-root formula, diagonal ribbon case, unrestricted finiteness, D₄ normaliser wording, D₄ atomic relation, adjacency wording, omitted surjectivity, and narrowed Lemma 3.5 inference. The D₄ correction tv·st·v was verified against Figure 4, equation (7.2), and exact integer reflection matrices. Proposition 3.17 remains a wording issue concerning equality-only uniqueness, not a refutation of its intended common-wall conclusion.

Review reading limits: Freshly read all seven direction steps, all immediate dependency records, and the local arguments identified above. Inspected original PDF text on pp.1,3–4,6,8–11,13,16,19–20,22,27,29–30, with rendered-page inspection on pp.3,6,8–11,13,16,19,22,27,29–30. Read all three mandated evidence packets and independently checked their calculations and original attribution. Screened the 242 earlier comparison entries and their underlying finding claims for attribution; generated proof numbering, metadata, prerequisite inventories and supplier limitations do not establish original-author defects. This was not a fresh audit of all generated proofs. Read Paris’s Proposition 2.2 and proof on printed pp.376–377, and the construction and relevant claims on pp.385–392; read Hatcher’s cited homology, cellular-finiteness, Euler and Mayer–Vietoris passages, including the coefficient extension on p.153. Checked Orlik–Solomon Theorem 5.2’s classical vanishing context. Imported asphericity and established group-identification theorems were not reconstructed through every transitive dependency. No whole-article correctness, worldwide novelty, current submission-history verification, publication authority or audit stamp is asserted.