pith. machine review for the scientific record. sign in

arxiv: 2605.14536 · v1 · submitted 2026-05-14 · 🧮 math.AT · math.AG· math.CO

Recognition: 2 theorem links

· Lean Theorem

Non-vanishing of homotopy groups of Manin--Schechtman arrangements

Takuya Saito , So Yamagata
Authors on Pith no claims yet

Pith reviewed 2026-05-15 01:00 UTC · model grok-4.3

classification 🧮 math.AT math.AGmath.CO
keywords Manin-Schechtman arrangementshyperplane arrangementshomotopy groupsK(π,1) spacesbraid arrangementarrangement complementsaspherical spaces
0
0 comments X

The pith

Manin-Schechtman arrangement complements have non-vanishing higher homotopy groups and fail to be K(π,1) spaces in many cases.

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

The paper proves that complements of Manin-Schechtman arrangements, introduced as higher-dimensional versions of the braid arrangement, have non-vanishing homotopy groups in degrees greater than one. This non-vanishing directly shows that the complements are not K(π,1) spaces except in limited low-dimensional cases. A reader cares because the question of when hyperplane arrangement complements are aspherical is central to their topological study. The result establishes that these particular arrangements carry more intricate higher-dimensional topology than the classical braid case.

Core claim

Manin-Schechtman arrangements generalize the braid arrangement to higher dimensions via specific combinatorial and geometric constructions. Their complements in complex affine space have non-vanishing higher homotopy groups. Consequently the complements fail to be K(π,1) spaces in a broad range of cases.

What carries the argument

Manin-Schechtman arrangement, a higher-dimensional analog of the braid arrangement, whose complement's homotopy groups are shown non-vanishing by direct combinatorial-geometric computation.

If this is right

  • Higher homotopy groups of the complements remain non-zero in degrees above one.
  • The complements are therefore not K(π,1) spaces except possibly in the lowest dimensions.
  • This non-vanishing distinguishes Manin-Schechtman arrangements from the classical braid arrangement whose complement is K(π,1).

Where Pith is reading between the lines

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

  • Analogous non-vanishing could hold for other higher-dimensional arrangement families built by similar recursive or combinatorial rules.
  • The result suggests examining minimal dimensions or parameters where the higher groups first become non-trivial.
  • One could test whether the same non-vanishing persists after small deformations or under restriction to real points.

Load-bearing premise

The specific combinatorial and geometric properties of Manin-Schechtman arrangements permit a homotopy calculation that detects non-vanishing without undetected gaps.

What would settle it

An explicit computation or model showing that all higher homotopy groups vanish for some Manin-Schechtman arrangement in a given dimension would falsify the non-vanishing claim.

Figures

Figures reproduced from arXiv: 2605.14536 by So Yamagata, Takuya Saito.

Figure 2.1
Figure 2.1. Figure 2.1: Consistent (left) and inconsistent (right) systems of half-spaces for the braid arrangement Br(3). Yoshinaga [Yos24] showed that a proper inclusion in this filtration detects the non-vanishing of higher homotopy groups of the complement of arrangements. Theorem 2.2 ([Yos24, Theorem 5.1]). Let A be a central and essential arrangement in V = R ℓ . • If Σp(A) ⊋ Σp+1(A) for some p ≥ 2, then πp(M(A ⊗ C)) ̸= 0… view at source ↗
Figure 2.2
Figure 2.2. Figure 2.2: An inconsistent sign system for the arrangement of rank three determined by six generic vectors in R 3 , combinatorially equivalent to B(6, 3). The shaded region represents a simple chamber. Consider the space of all parallel translates of A0 : S = S(A 0 ) := {(H t1 1 , . . . , Htn n ) | t1, . . . , tn ∈ C}, where H ti i := α −1 i (ti). For each subset I ⊂ [n] with |I| = k + 1, define DI = DI (A 0 ) := (… view at source ↗
Figure 3
Figure 3. Figure 3: and spanned by the six column vectors in the following matrix [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗
Figure 3.1
Figure 3.1. Figure 3.1: and spanned by the six column vectors in the following matrix   −1 1 ϕ ϕ 0 0 0 0 −1 1 ϕ ϕ ϕ ϕ 0 0 −1 1   . Furthermore, B(6, 3, A0 D) has the intersection lattice of minimal cardinality for (n, k) = (6, 3) over the real numbers (see [SS25]), and is also linearly equivalent to the Coxeter arrangement of type H3. Alternatively, we can confirm directly that B(6, 3, A0 D) is a simplicial arrangement. The… view at source ↗
Figure 5.1
Figure 5.1. Figure 5.1: The projectivization of B(5, 2). For σ ∈ S5 and I ⊂ [5], write σ(I) = {σ(i) | i ∈ I}. This induces an action on [5] 3  . Throughout this section, we write Σ2 = Σ2(B(5, 2)), Σ3 = Σ3(B(5, 2)), and εI = εDI ∈ {±} for I ∈ [PITH_FULL_IMAGE:figures/full_fig_p013_5_1.png] view at source ↗
Figure 6.1
Figure 6.1. Figure 6.1: Projectivizations of B(6, 3, A0 ), (left: very generic case, right: Falk’s non-very generic case) To show Lemma 4.4 and 4.5, we want a Manin–Schechtman arrangement B(n, k, A0 ) of a given family T of sets that has an intersection X ∈ L(B(n, k, A0 )) at a given rank such that the family T of sets is canonical presentation, i.e., T = T(X). Such a set of arrangements can be described algebraically as follow… view at source ↗
read the original abstract

One of the central problems in the topology of hyperplane arrangements is determining whether the complement is a $K(\pi,1)$-space. In this paper, we study Manin--Schechtman arrangements, introduced as higher-dimensional analogs of the braid arrangement, and prove that their complements have non-vanishing higher homotopy groups. Consequently, these arrangements fail to be $K(\pi,1)$ in a broad range of cases.

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.

Referee Report

0 major / 2 minor

Summary. The manuscript studies Manin--Schechtman arrangements as higher-dimensional analogs of the braid arrangement and proves that their complements have non-vanishing higher homotopy groups. The argument relies on the recursive combinatorial structure of these arrangements together with an explicit cell decomposition or spectral sequence that isolates non-trivial cycles in degrees greater than 1. Consequently, the complements fail to be K(π,1) spaces in a broad range of cases.

Significance. If the central claim holds, the result supplies concrete examples of hyperplane arrangement complements that are not aspherical, extending the known non-K(π,1) behavior of the braid arrangement to its higher-dimensional generalizations. The combinatorial reduction and spectral-sequence isolation of cycles constitute a reusable technique for detecting higher homotopy in arrangement complements.

minor comments (2)
  1. [Abstract] The abstract states the non-vanishing result but does not indicate the precise range of parameters (e.g., dimension or number of hyperplanes) for which the claim is proved; adding this would clarify the scope.
  2. [Introduction] A low-dimensional example (e.g., the smallest Manin--Schechtman arrangement in dimension 3) with an explicit generator of a non-trivial higher homotopy group would make the spectral-sequence argument more accessible.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and for recommending minor revision. The referee's summary accurately captures the central results: we establish non-vanishing of higher homotopy groups for complements of Manin-Schechtman arrangements via their recursive combinatorial structure and an explicit cell decomposition (or spectral sequence) that detects non-trivial cycles in degrees greater than 1, thereby showing these complements are not K(π,1) spaces in a broad range of cases. Since no major comments are provided in the report, we have no point-by-point responses to address.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes non-vanishing of higher homotopy groups for Manin-Schechtman arrangement complements via their recursive combinatorial structure as higher-dimensional braid analogs, combined with explicit cell decompositions or spectral sequence arguments that isolate non-trivial cycles. These steps rely on independent topological and combinatorial properties external to the target result, with no reduction of predictions to fitted parameters, self-definitions, or load-bearing self-citations that collapse the derivation to its inputs by construction. The central claim remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, axioms, or invented entities; the result is stated as a theorem whose supporting definitions and lemmas are not visible.

pith-pipeline@v0.9.0 · 5359 in / 1103 out tokens · 29844 ms · 2026-05-15T01:00:30.185425+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages

  1. [1]

    Agostini, Daniele and Brysiewicz, Taylor and Fevola, Claudia and K\"uhne, Lukas and Sturmfels, Bernd and Telen, Simon , TITLE =. Adv. Math. , FJOURNAL =. 2023 , PAGES =. doi:10.1016/j.aim.2023.108863 , URL =

    work page doi:10.1016/j.aim.2023.108863 2023

  2. [2]

    , fjournal =

    Athanasiadis, Christos A. , fjournal =. The largest intersection lattice of a discriminantal arrangement , volume =. Beitr\"age Algebra Geom. , mrclass =

    work page

  3. [3]

    and Brandt, Keith A

    Bayer, Margaret M. and Brandt, Keith A. , doi =. Discriminantal arrangements, fiber polytopes and formality , url =. J. Algebraic Combin. , mrclass =

    work page

  4. [4]

    Bessis, David , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2015 , NUMBER =. doi:10.4007/annals.2015.181.3.1 , URL =

    work page doi:10.4007/annals.2015.181.3.1 2015

  5. [5]

    orner, Anders and Las Vergnas, Michel and Sturmfels, Bernd and White, Neil and Ziegler, G\

    Bj\"orner, Anders and Las Vergnas, Michel and Sturmfels, Bernd and White, Neil and Ziegler, G\"unter M. , doi =. Oriented matroids , url =

    work page

  6. [6]

    S\'eminaire

    Brieskorn, Egbert , TITLE =. S\'eminaire. 1973 , MRCLASS =

    work page 1973

  7. [7]

    2025 , URL =

    Denham, Graham and Dorpalen-Barry, Galen and Proudfoot, Nicholas , TITLE =. 2025 , URL =

    work page 2025

  8. [8]

    Deligne, Pierre , TITLE =. Invent. Math. , FJOURNAL =. 1972 , PAGES =. doi:10.1007/BF01406236 , URL =

    work page doi:10.1007/bf01406236 1972

  9. [9]

    Diestel,Graph Theory, 5th edition, volume 173 ofGraduate Texts in Mathematics, Springer Berlin, Heidelberg, 2017,https://doi.org/10.1007/978-3-662-53622-3

    Diestel, Reinhard , TITLE =. 2017 , PAGES =. doi:10.1007/978-3-662-53622-3 , URL =

    work page doi:10.1007/978-3-662-53622-3 2017

  10. [10]

    Das, Pragnya and Saito, Takuya and Settepanella, Simona , TITLE =. J. Algebraic Combin. , FJOURNAL =. 2026 , NUMBER =. doi:10.1007/s10801-026-01509-8 , URL =

    work page doi:10.1007/s10801-026-01509-8 2026

  11. [11]

    and Reiner, Victor , TITLE =

    Edelman, Paul H. and Reiner, Victor , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1995 , NUMBER =. doi:10.1090/S0273-0979-1995-00557-4 , URL =

    work page doi:10.1090/s0273-0979-1995-00557-4 1995

  12. [12]

    Falk, Michael , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1988 , NUMBER =. doi:10.2307/2000924 , URL =

    work page doi:10.2307/2000924 1988

  13. [13]

    A note on discriminantal arrangements , url =

    Falk, Michael , doi =. A note on discriminantal arrangements , url =. Proc. Amer. Math. Soc. , mrclass =

    work page

  14. [14]

    Topology , FJOURNAL =

    Falk, Michael , TITLE =. Topology , FJOURNAL =. 1995 , NUMBER =. doi:10.1016/0040-9383(94)E0011-8 , URL =

    work page doi:10.1016/0040-9383(94)e0011-8 1995

  15. [15]

    Fadell, Edward and Neuwirth, Lee , TITLE =. Math. Scand. , FJOURNAL =. 1962 , PAGES =. doi:10.7146/math.scand.a-10517 , URL =

    work page doi:10.7146/math.scand.a-10517 1962

  16. [16]

    Arrangements---

    Falk, Michael and Randell, Richard , TITLE =. Arrangements---. 2000 , ISBN =. doi:10.2969/aspm/02710093 , URL =

    work page doi:10.2969/aspm/02710093 2000

  17. [17]

    Complex analytic singularities , SERIES =

    Falk, Michael and Randell, Richard , TITLE =. Complex analytic singularities , SERIES =. 1987 , ISBN =. doi:10.2969/aspm/00810101 , URL =

    work page doi:10.2969/aspm/00810101 1987

  18. [18]

    Combinatorial geometries, convex polyhedra, and

    Ge. Combinatorial geometries, convex polyhedra, and. Adv. in Math. , FJOURNAL =. 1987 , NUMBER =. doi:10.1016/0001-8708(87)90059-4 , URL =

    work page doi:10.1016/0001-8708(87)90059-4 1987

  19. [19]

    Convex polytopes , SERIES =

    Gr. Convex polytopes , SERIES =. 2003 , PAGES =. doi:10.1007/978-1-4613-0019-9 , URL =

    work page doi:10.1007/978-1-4613-0019-9 2003

  20. [20]

    Hattori, Akio , TITLE =. J. Fac. Sci. Univ. Tokyo Sect. IA Math. , FJOURNAL =. 1975 , NUMBER =

    work page 1975

  21. [21]

    On intersection lattices of hyperplane arrangements generated by generic points , url =

    Koizumi, Hiroshi and Numata, Yasuhide and Takemura, Akimichi , doi =. On intersection lattices of hyperplane arrangements generated by generic points , url =. Ann. Comb. , mrclass =

    work page

  22. [22]

    Lawrence, R. J. , institution =. A presentation for Manin and Schechtman's higher braid groups , type =

    work page

  23. [23]

    and Schechtman, V

    Manin, Yu.\ I. and Schechtman, V. V. , booktitle =. Arrangements of hyperplanes, higher braid groups and higher. doi:10.2969/aspm/01710289 , isbn =

    work page doi:10.2969/aspm/01710289

  24. [24]

    Arrangements of hyperplanes , url =

    Orlik, Peter and Terao, Hiroaki , doi =. Arrangements of hyperplanes , url =

    work page

  25. [25]

    Matroid theory , url =

    Oxley, James , doi =. Matroid theory , url =

    work page

  26. [26]

    , TITLE =

    Papadima, Stefan and Suciu, Alexander I. , TITLE =. Adv. Math. , FJOURNAL =. 2002 , NUMBER =. doi:10.1006/aima.2001.2023 , URL =

    work page doi:10.1006/aima.2001.2023 2002

  27. [27]

    Paolini, Giovanni and Salvetti, Mario , TITLE =. Invent. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00222-020-01016-y , URL =

    work page doi:10.1007/s00222-020-01016-y 2021

  28. [28]

    Lattice-isotopic arrangements are topologically isomorphic , url =

    Randell, Richard , doi =. Lattice-isotopic arrangements are topologically isomorphic , url =. Proc. Amer. Math. Soc. , mrclass =

    work page

  29. [29]

    Degeneration in discriminantal arrangements , url =

    Saito, Takuya , doi =. Degeneration in discriminantal arrangements , url =. Adv. in Appl. Math. , mrclass =

    work page

  30. [30]

    Theory of linear and integer programming , year =

    Schrijver, Alexander , isbn =. Theory of linear and integer programming , year =

    work page

  31. [31]

    Non-very generic arrangements in low dimension , url =

    Saito, Takuya and Settepanella, Simona , doi =. Non-very generic arrangements in low dimension , url =. Tohoku Math. J. (2) , mrclass =

    work page

  32. [32]

    Sawada, Sumire and Settepanella, Simona and Yamagata, So , TITLE =. C. R. Math. Acad. Sci. Paris , FJOURNAL =. 2017 , NUMBER =. doi:10.1016/j.crma.2017.10.011 , URL =

    work page doi:10.1016/j.crma.2017.10.011 2017

  33. [33]

    , TITLE =

    Stanley, Richard P. , TITLE =. Geometric combinatorics , SERIES =. 2007 , ISBN =. doi:10.1090/pcms/013/08 , URL =

    work page doi:10.1090/pcms/013/08 2007

  34. [34]

    Terao, Hiroaki , TITLE =. Adv. in Math. , FJOURNAL =. 1986 , NUMBER =. doi:10.1016/0001-8708(86)90097-6 , URL =

    work page doi:10.1016/0001-8708(86)90097-6 1986

  35. [35]

    2023 , URL =

    Yamagata, So , TITLE =. 2023 , URL =

    work page 2023

  36. [36]

    Topology Appl

    Yoshinaga, Masahiko , TITLE =. Topology Appl. , FJOURNAL =. 2008 , NUMBER =. doi:10.1016/j.topol.2008.01.004 , URL =

    work page doi:10.1016/j.topol.2008.01.004 2008

  37. [37]

    2024 , URL =

    Yoshinaga, Masahiko , TITLE =. 2024 , URL =

    work page 2024

  38. [38]

    Handbook of

    Yoshinaga, Masahiko , TITLE =. Handbook of. 2026 , ISBN =. doi:10.1007/978-3-031-99571-2_12 , URL =

    work page doi:10.1007/978-3-031-99571-2_12 2026

  39. [39]

    Ziegler, G\"unter M. , doi =. Lectures on polytopes , url =

    work page