Homology of Local Systems on Real Line Arrangement Complements

Baiting Xie; Chenglong Yu

arxiv: 2512.21531 · v2 · submitted 2025-12-25 · 🧮 math.AG

Homology of Local Systems on Real Line Arrangement Complements

Baiting Xie , Chenglong Yu This is my paper

Pith reviewed 2026-05-16 19:56 UTC · model grok-4.3

classification 🧮 math.AG

keywords line arrangementslocal systemsBorel-Moore homologyhomology computationcomplexified arrangementsupper boundssharp pairs

0 comments

The pith

Borel-Moore homology yields an algorithm computing the dimensions of homology groups on complexified real line arrangement complements directly from their real figures.

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

The paper develops a method to calculate the dimensions of homology groups for the complement of a complexified real line arrangement, using coefficients in complex rank-one local systems. By applying Borel-Moore homology, the dimensions are determined directly from the real figures of the arrangement. This leads to a new upper bound on these dimensions. In the special case of arrangements with a sharp pair, the authors make partial progress on Yoshinaga's conjecture about vanishing of certain groups.

Core claim

Using Borel-Moore homology, the dimensions of the homology groups of the complement with rank-one local system coefficients are computed via an algorithm based on the real figures of the arrangement, providing a new upper bound and partial results on a conjecture for sharp pairs.

What carries the argument

Borel-Moore homology applied to the real figures of the line arrangement

If this is right

The algorithm allows computation of the homology dimensions without reference to the full complex structure of the arrangement.
A new upper bound holds for the dimensions of these homology groups.
For arrangements containing a sharp pair, certain homology groups vanish or satisfy additional constraints toward the Yoshinaga conjecture.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The approach could extend to compute homology in related settings such as higher-dimensional hyperplane arrangements.
It opens the possibility of purely combinatorial algorithms for Betti numbers in local system coefficients.
Connections may exist to other vanishing results in the topology of arrangement complements.

Load-bearing premise

The real figures of the arrangement fully determine the dimensions of the homology groups with complex rank-one local system coefficients via the proposed Borel-Moore homology algorithm.

What would settle it

Finding two arrangements with identical real figures but different homology dimensions for some rank-one local system would falsify the claim that the real figures alone suffice for the computation.

Figures

Figures reproduced from arXiv: 2512.21531 by Baiting Xie, Chenglong Yu.

**Figure 1.** Figure 1: The angles at p Recall that we have defined a nonzero global section ep of L over H+ p ⊃ RP1 ∩ E ◦ p . Then for each angle α, α ⊗ ep defines a locally finite 1-cycle on E ◦ p with coefficients in L, which yields a C-linear map fp : A(p) −→ HBM 1 (E ◦ p , L) α 7→ [α ⊗ ep] The following lemma is a direct corollary of Example 2.5. 7 [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗

**Figure 2.** Figure 2: Definition of αp(∆) Denote by e(∆) the extension to ∆ of the section e|∆ over ∆. For each p ∈ V (∆), since αp(∆) is simply connected, there exists a complex number λp(∆) such that e(∆) = λp(∆)ep on αp(∆). When ∆ ∈ C is bounded, the following lemma describe the image of [∆⊗e] under the residue map in terms of λp(∆) and αp(∆). Lemma 3.6. For a bounded chamber ∆ ∈ C, define α(∆) = X p∈V (∆) λp(∆)αp(∆). Then t… view at source ↗

**Figure 3.** Figure 3: The loop through [x0 : y0] 10 [PITH_FULL_IMAGE:figures/full_fig_p010_3.png] view at source ↗

**Figure 4.** Figure 4: Coefficients λp In particular, comparing λp(∆) with the coefficients of α(p) ± yields X V (∆)∋p Ql1 |∆>0 λp(∆)αp(∆) = α(p) +, X V (∆)∋p Ql1 |∆<0 λp(∆)αp(∆) = α(p) −. Similar equalities hold for lk. Example 3.10. Let A be a reflection arrangement of type A3 as shown in [PITH_FULL_IMAGE:figures/full_fig_p011_4.png] view at source ↗

**Figure 5.** Figure 5: A3 arrangement Then R = {p1, p2, p3, p4} and A is a C-vector space of dimension 12 spanned by angles (l1, l5), (l5, l6), (l6, l1), (l3, l4), (l4, l5), (l5, l3), (l1, l2), (l2, l3), (l3, l1), (l2, l4), (l4, l6), (l6, l2). Each resonant point gives two generators in K. For example, at p1 we have α(p1) + = (l1, l5) + (l5, l6) + (l6, l1) and α(p1) − = ω(l1, l5) + ω 2 (l5, l6) + (l6, l1). Each bounded chamber g… view at source ↗

**Figure 6.** Figure 6: Definition of α(l) We further set A ′ = [ p∈R0 A ′ p 13 [PITH_FULL_IMAGE:figures/full_fig_p013_6.png] view at source ↗

**Figure 7.** Figure 7: The case when q(l1) = q(l2) Proof. Denote by q = q(l1) = q(l2). Since all lines through p with slopes in (0, s(l1)) intersect with the segment (p2, q), we have l1 has the minimum slope among the lines in A′ p1 . Similarly we have l2 has the maximum slope among the lines in A′ p2 . Furthermore, for any point p ∈ L2(A) between p1 and p2 and any line l ∈ A′ p , l passes through q since there is no intersectio… view at source ↗

**Figure 8.** Figure 8: li has the minimum slope among the lines in Ap Similarly, if i > k0, we have li = l ′ n and πp( X ∆∈Ci α(∆)) = Xn j=1 (l ′ j , l′ j+1) = α(p) + ∈ K. (4) When p lies inside the segment (pi+1, q), since q = q(lk0 ), we have i + 1 ̸= k0. If i + 1 < k0, we have li+1 = l ′ 1 and πp( X ∆∈Ci α(∆)) = Xn j=1 (l ′ j , l′ j+1) = α(p) + ∈ K. Similarly, if i > k0, we have li+1 = l ′ n and πp( X ∆∈Ci α(∆)) = Xn j=1 m(l … view at source ↗

**Figure 9.** Figure 9: Picture for Lemma 5.1 Since there is no intersection points in the region {(x, y) ∈ R 2 | y > x, y > 0}, we have qi = q(li), l1 = l ′ n , and pj (2 ≤ j ≤ n − 1) and qi(2 ≤ i ≤ k − 1) are all double points. Thus, by applying Lemma 4.3 to the point qi(1 ≤ i ≤ k − 1) we can express [α(li)] as linear combinations of [α(l ′ 1 )] and [α(l ′ 0 )] as follows. For li(2 ≤ i ≤ k − 1), since qi is a double point, we h… view at source ↗

read the original abstract

We study the homology groups of the complement of a complexified real line arrangement with coefficients in complex rank-one local systems. Using Borel--Moore homology, we establish an algorithm computing their dimensions via the real figures of the arrangement. It enables us to give a new upper bound. We further consider the case where the arrangement contains a sharp pair and make partial progress on a conjecture proposed by Yoshinaga.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives a concrete algorithm using Borel-Moore homology on the real figures of a complexified real line arrangement to compute dimensions of homology groups with complex rank-one local system coefficients, plus a new upper bound and partial progress on Yoshinaga's conjecture for sharp pairs.

read the letter

The main point is that Xie and Yu turn the homology computation for these arrangement complements into an algorithm driven by the real figures via Borel-Moore homology. They also produce a new upper bound on the dimensions and make some headway on the conjecture when a sharp pair is present. That combination of an explicit procedure and a bound is what stands out as new. The approach does well by anchoring everything in the visible real geometry instead of relying solely on abstract lattice data, which should make it easier to apply to specific examples and potentially implementable. The partial conjecture progress is a useful byproduct that shows the method can engage with open questions without extra machinery. The soft spots are limited but real. The abstract states the algorithm clearly enough, yet without sample calculations or explicit verification steps in the visible text it is difficult to judge how the method handles edge cases or whether the identification between Borel-Moore and ordinary homology with local coefficients holds without hidden assumptions. The upper bound is presented as new, but its improvement over existing ones is not quantified here, so its practical strength remains to be checked. These are not fatal gaps, just places where the full proofs and examples will decide how robust the claims are. The work is aimed at people already working on combinatorial topology of arrangements and local systems who need computational tools for low-dimensional cases. A reader who cares about explicit dimensions or bounds in this setting will get direct value from the algorithm. It is narrow enough that it will not reshape the broader field, but the method is grounded enough to be worth checking. I would send it to peer review. The claims are specific, the tools are standard, and the approach avoids circularity, so referees can verify the derivations and ask for examples where needed.

Referee Report

0 major / 2 minor

Summary. The manuscript studies the homology groups of complements of complexified real line arrangements with coefficients in complex rank-one local systems. Using Borel-Moore homology, it establishes an algorithm to compute the dimensions of these groups from the real figures of the arrangement, derives a new upper bound on the dimensions, and makes partial progress on Yoshinaga's conjecture in the case of arrangements containing a sharp pair.

Significance. If the algorithm and bound are correct, the work supplies a combinatorial method for computing these homology dimensions that reduces to data from the real figure (hence from the intersection lattice), which is a concrete advance over purely topological approaches. The explicit algorithm and the partial resolution of the conjecture for sharp pairs are strengths that could be useful for further computations in arrangement topology.

minor comments (2)

The abstract states that an algorithm is established but provides no indication of its key combinatorial steps or input/output format; adding a brief sentence outlining the reduction to real figures would improve accessibility without altering the technical content.
Notation for the real figures and the Borel-Moore homology groups should be introduced with a short table or diagram in the preliminaries section to make the dependence on the arrangement's real data fully explicit.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript on the homology of local systems on real line arrangement complements. We appreciate the recommendation for minor revision and the recognition of the algorithm, upper bound, and partial progress on Yoshinaga's conjecture as strengths.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation relies on standard Borel-Moore homology applied to the complement of a complexified real line arrangement, with dimensions computed from the combinatorial data encoded in the real figures. This is consistent with external topological constructions that reduce such problems to the intersection lattice without internal self-definition, fitted parameters renamed as predictions, or load-bearing self-citations. Partial progress on the Yoshinaga conjecture is presented as an application rather than a foundational step, and no equations or claims reduce the output to the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review yields no explicit free parameters, axioms, or invented entities; the approach appears to rest on standard properties of Borel-Moore homology and line arrangements.

pith-pipeline@v0.9.0 · 5348 in / 1089 out tokens · 27304 ms · 2026-05-16T19:56:12.905809+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Using Borel–Moore homology, we establish an algorithm computing their dimensions via the real figures of the arrangement.
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We study the homology groups of the complement of a complexified real line arrangement with coefficients in complex rank-one local systems.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

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

Combinatorial Nonresonance Theorems for Hyperplane Arrangement Complements
math.AG 2026-05 unverdicted novelty 6.0

A combinatorial sufficient condition for nonresonance is derived for complex rank-one local systems on hyperplane arrangement complements, strengthening an earlier theorem and showing multinet structures are not requi...
Combinatorial Nonresonance Theorems for Hyperplane Arrangement Complements
math.AG 2026-05 unverdicted novelty 6.0

A combinatorial sufficient condition for nonresonance of complex rank-one local systems on hyperplane arrangement complements is obtained by refining the Cohen-Dimca-Orlik method, strengthening an earlier theorem and ...

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages · cited by 1 Pith paper

[1]

Artal, J

E. Artal, J. Carmona, J. I. Cogolludo, and M. Marco. Topology and combinatorics of real line arrange- ments.Compos. Math., 141(6):1578–1588, 2005

work page 2005
[2]

Bailet and S

P. Bailet and S. Settepanella. Homology graph of real arrangements and monodromy of Milnor fiber. Adv. in Appl. Math., 90:46–85, 2017

work page 2017
[3]

D. C. Cohen, A. Dimca, and P. Orlik. Nonresonance conditions for arrangements.Ann. Inst. Fourier (Grenoble), 53(6):1883–1896, 2003

work page 2003
[4]

D. C. Cohen and A. I. Suciu. On Milnor fibrations of arrangements.J. London Math. Soc. (2), 51(1):105– 119, 1995

work page 1995
[5]

Orlik and L

P. Orlik and L. Solomon. Combinatorics and topology of complements of hyperplanes.Invent. Math., 56(2):167–189, 1980

work page 1980
[6]

Papadima and A

S. Papadima and A. I. Suciu. The Milnor fibration of a hyperplane arrangement: from modular resonance to algebraic monodromy.Proceedings of the London Mathematical Society, 114(6):961–1004, 2017. 20

work page 2017
[7]

R. Randell. The fundamental group of the complement of a union of complex hyperplanes.Invent. Math., 69(1):103–108, 1982

work page 1982
[8]

Rybnikov

G.L. Rybnikov. On the fundamental group of the complement of a complex hyperplane arrangement. Functional Analysis and Its Applications, 45(2):137–148, 2011

work page 2011
[9]

Yoshinaga

M. Yoshinaga. Milnor fibers of real line arrangements.J. Singul., 7:220–237, 2013. Qiuzhen College, Tsinghua University, China Email address:xbt23@mails.tsinghua.edu.cn Center for Mathematics and Interdisciplinary Sciences, Fudan University and Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS), Shanghai, China Email address:yucheng...

work page 2013

[1] [1]

Artal, J

E. Artal, J. Carmona, J. I. Cogolludo, and M. Marco. Topology and combinatorics of real line arrange- ments.Compos. Math., 141(6):1578–1588, 2005

work page 2005

[2] [2]

Bailet and S

P. Bailet and S. Settepanella. Homology graph of real arrangements and monodromy of Milnor fiber. Adv. in Appl. Math., 90:46–85, 2017

work page 2017

[3] [3]

D. C. Cohen, A. Dimca, and P. Orlik. Nonresonance conditions for arrangements.Ann. Inst. Fourier (Grenoble), 53(6):1883–1896, 2003

work page 2003

[4] [4]

D. C. Cohen and A. I. Suciu. On Milnor fibrations of arrangements.J. London Math. Soc. (2), 51(1):105– 119, 1995

work page 1995

[5] [5]

Orlik and L

P. Orlik and L. Solomon. Combinatorics and topology of complements of hyperplanes.Invent. Math., 56(2):167–189, 1980

work page 1980

[6] [6]

Papadima and A

S. Papadima and A. I. Suciu. The Milnor fibration of a hyperplane arrangement: from modular resonance to algebraic monodromy.Proceedings of the London Mathematical Society, 114(6):961–1004, 2017. 20

work page 2017

[7] [7]

R. Randell. The fundamental group of the complement of a union of complex hyperplanes.Invent. Math., 69(1):103–108, 1982

work page 1982

[8] [8]

Rybnikov

G.L. Rybnikov. On the fundamental group of the complement of a complex hyperplane arrangement. Functional Analysis and Its Applications, 45(2):137–148, 2011

work page 2011

[9] [9]

Yoshinaga

M. Yoshinaga. Milnor fibers of real line arrangements.J. Singul., 7:220–237, 2013. Qiuzhen College, Tsinghua University, China Email address:xbt23@mails.tsinghua.edu.cn Center for Mathematics and Interdisciplinary Sciences, Fudan University and Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS), Shanghai, China Email address:yucheng...

work page 2013