Table of Contents
Fetching ...

The hyperbolic cover of an elliptic Weyl group

Barbara Baumeister, Patrick Wegener

TL;DR

The paper addresses the lack of Hurwitz transitivity for reduced reflection factorizations in tubular elliptic Weyl groups by passing to hyperbolic covers tilde{W} and hat{W}, which are shown to be isomorphic extended Coxeter systems of star type. It develops a detailed construction of the hyperbolic extended spaces and the Eichler-Siegel framework, yielding a normal form and a clear semidirect product structure for tilde{W}. This machinery enables a uniform proof of Hurwitz transitivity for reduced factorizations of the Coxeter transformation tilde{c} and transfers orbit information to the elliptic setting, culminating in an application to weighted projective lines of tubular type: an order-preserving bijection between thick subcategories generated by exceptional sequences in coh(X) and the interval [id, tilde{c}] in the absolute order. The appendix shows that hyperbolic covers of Coxeter systems do not introduce new groups, reinforcing the foundational role of hyperbolic extensions in this framework.

Abstract

In this paper, we study in detail the hyperbolic covers $\tilde{W}$ and $\hat{W}$ of an elliptic Weyl system introduced by Saito. We show that they are isomorphic and also isomorphic to an extended Coxeter system of star type. For $\tilde{c}$ a Coxeter transformation in $\tilde{W}$ we can conclude the Hurwitz transitivity of the braid group action on the set of reduced reflection factorizations of $\tilde{c}$ from the Hurwitz transitivity in extended Coxeter systems of star type. This then enables us to establish for a weighted projective line $\mathbb{X}$ of tubular type an order preserving bijection between the poset of thick subcategories of $\mathrm{coh}(\mathbb{X})$ generated by an exceptional sequence and the poset $[\mathrm{id}, \tilde{c}]$ ordered by the absolute order. In an Appendix, we study the hyperbolic cover of a Coxeter system.

The hyperbolic cover of an elliptic Weyl group

TL;DR

The paper addresses the lack of Hurwitz transitivity for reduced reflection factorizations in tubular elliptic Weyl groups by passing to hyperbolic covers tilde{W} and hat{W}, which are shown to be isomorphic extended Coxeter systems of star type. It develops a detailed construction of the hyperbolic extended spaces and the Eichler-Siegel framework, yielding a normal form and a clear semidirect product structure for tilde{W}. This machinery enables a uniform proof of Hurwitz transitivity for reduced factorizations of the Coxeter transformation tilde{c} and transfers orbit information to the elliptic setting, culminating in an application to weighted projective lines of tubular type: an order-preserving bijection between thick subcategories generated by exceptional sequences in coh(X) and the interval [id, tilde{c}] in the absolute order. The appendix shows that hyperbolic covers of Coxeter systems do not introduce new groups, reinforcing the foundational role of hyperbolic extensions in this framework.

Abstract

In this paper, we study in detail the hyperbolic covers and of an elliptic Weyl system introduced by Saito. We show that they are isomorphic and also isomorphic to an extended Coxeter system of star type. For a Coxeter transformation in we can conclude the Hurwitz transitivity of the braid group action on the set of reduced reflection factorizations of from the Hurwitz transitivity in extended Coxeter systems of star type. This then enables us to establish for a weighted projective line of tubular type an order preserving bijection between the poset of thick subcategories of generated by an exceptional sequence and the poset ordered by the absolute order. In an Appendix, we study the hyperbolic cover of a Coxeter system.

Paper Structure

This paper contains 25 sections, 37 theorems, 41 equations, 1 figure.

Key Result

Theorem 1.1

BWY24 Let $(\mathcal{W}, \mathcal{S})$ be an extended Coxeter system of star type with set of reflections $\mathcal{T}$ and Coxeter transformation $c$. Then the Hurwitz action is transitive on the set of reduced reflection factorizations $\mathop{\mathrm{Red}}\nolimits_{\mathcal{T}}(c)$.

Figures (1)

  • Figure 1: Elliptic Dynkin diagrams for the tubular elliptic root systems

Theorems & Definitions (85)

  • Theorem 1.1
  • Proposition 1.2
  • Theorem 1.3
  • Theorem 1.4
  • Definition 2.1
  • Definition 2.2
  • Lemma 2.3
  • proof
  • Remark 2.5
  • Lemma 2.6
  • ...and 75 more