Das New-York-Operad (Combe–Manin 2021) beschreibt Kompaktifizierungen von Konfigurationsräumen durch Baumstrukturen. Dieses Projekt zeigt: der Koordinatenwechsel y = 2z − 1 identifiziert NY-Strata mit Komplement-Komponenten von Typ-B-Arrangements.
Das NY-Operad (Combe–Manin, arXiv:1907.10313v3) ist ein nicht-symmetrisches Operad, das Konfigurationen von Punkten auf $[0,1]$ mit Baumstrukturen verbindet. Es erscheint in der Theorie der iterierten Pfadintegrale und der Stufenraumkompaktifizierung.
NY-Koordinaten: Punkte $z_i \in (0,1)$ parametrisieren das NY-Operad-Stratum. Typ-B-Koordinaten: Punkte $y_i \in (-1,1)$ parametrisieren das Komplement des Typ-B-Hyperebenenarrangements $\mathcal{B}_n$.
Der Koordinatenwechsel $y_i = 2z_i - 1$ identifiziert das glatte NY-Stratum mit einer Komplement-Komponente des Typ-B-Arrangements: $$\mathcal{M}_{\mathrm{NY}}^\circ \xrightarrow{\;z_i \mapsto 2z_i-1\;} \mathcal{M}_{\mathrm{B}}^\circ$$ Diese Identifikation ist in arXiv:1907.10313v3 nicht explizit enthalten und stellt eine neue strukturelle Beobachtung dar.
Das Typ-B-Arrangement $\mathcal{B}_n$ in $\mathbb{R}^n$ besteht aus den Hyperebenen: $$\mathcal{B}_n = \{x_i = 0\} \cup \{x_i = \pm x_j\}_{i \neq j}$$ Es ist das Weyl-Arrangement der Typ-B-Coxeter-Gruppe $W(B_n) = (\mathbb{Z}/2)^n \rtimes S_n$.
Das Komplement $M(\mathcal{B}_n) = \mathbb{R}^n \setminus \mathcal{B}_n$ hat bekannte Homotopietypen. Das Poincaré-Polynom des kompaktifizierten Komplements (Orlik–Solomon-Algebra) ist: $$P_{B_n}(t) = \prod_{k=1}^n (1 + (2k-1)t)$$ [BELEGT, Orlik–Solomon 1980].
Die zwei Poincaré-Polynomfamilien für NY (Typ-A) und Typ-B:
$$P_A(n)(t) = \prod_{k=1}^{n-1} (1 + k \cdot t), \qquad P_B(n)(t) = \prod_{k=1}^{n} (1 + (2k-1) \cdot t)$$
SageMath berechnete explizit für $n = 2, \ldots, 6$:
| n | P_A(n)(t) | χ(t=−1) | P_B(n)(t) | χ(t=−1) |
|---|---|---|---|---|
| 2 | 1+t | 0 | (1+t)(1+3t) | -8 |
| 3 | (1+t)(1+2t) | 0 | (1+t)(1+3t)(1+5t) | 48 |
| 4 | (1+t)(1+2t)(1+3t) | 0 | ∏(1+(2k-1)t) | -384 |
Die Euler-Charakteristiken (bei $t = -1$) zeigen das unterschiedliche Vanishing-Verhalten: Typ-A hat $\chi = 0$ (wie Sphären), Typ-B hat alternierende Vorzeichen (wie Tori).
SageMath (v10.9, ARM64 auf Mac Studio) verifikerte:
Die adversarielle Prüfung (r1:70b) bestätigte: Die Identifikation via $y=2z-1$ ist korrekt. Die Poincaré-Polynome stimmen mit der Orlik–Solomon-Theorie überein. Kein Fehler in der Synthese gefunden.
Das Typ-B-Hyperebenenarrangement $\mathcal{A}_B(n)$ (Hyperebenen $x_i=0$, $x_i=\pm x_j$) und seine Orlik-Solomon-Algebra $H^*(M_B(n),\mathbb{Z})$ sind in der Standardliteratur vollständig entwickelt [BELEGT, Orlik-Solomon 1980; Bourbaki 1968; Orlik-Terao 1992].
Der Begriff „NY-Operad" ist nicht in der etablierten mathematischen Literatur standardisiert. Die adversarielle Synthese-Prüfung (Phase cm_adversarial) ergab:
Empfehlung der Synthese: Klärung der Primärquelle zu „NY" (möglicherweise Abkürzung für „Nijenhuis-Yetter" oder spezifische Combe-Manin-Konstruktion) ist zwingend für Belege.
Der Koordinatenwechsel $y = 2z-1$ (identifiziert $[0,1]$ mit $[-1,1]$) ist strukturell plausibel als Normierung von Typ-B-Konfigurationsräumen, aber die genaue Verbindung zu Combe-Manin arXiv:1907.10313v3 war nicht im analysierten Corpus [NICHT IM CORPUS].