Parabolic Subgroup Intersection Problem

• The Parabolic Subgroups Intersection Problem examines whether intersecting two parabolic subgroups yields another parabolic subgroup, a property known in Coxeter groups and conjectural in general Artin groups.
• Researchers utilize diverse methods—CAT(0) and systolic complexes, Bass–Serre theory, and algebraic retractions—to verify the parabolic intersection property across various families.
• Recent studies show algorithmic benefits and subtle variations in virtual Artin groups and algebraic groups, highlighting ongoing challenges and refined conjectures in the field.

The Parabolic Subgroups Intersection Problem asks whether the intersection of two parabolic subgroups is again a parabolic subgroup. In Coxeter groups this property is classical, while in Artin groups it is conjectural in general and established only for specific families. The problem has developed into a broader framework involving standard versus conjugate parabolics, arbitrary intersections, parabolic closures, normalizers, retractions, and geometric models such as Deligne and Artin complexes. A recent development is the virtual Artin-group analogue: standard parabolics in a virtual Artin group intersect as standard parabolics, but intersections of conjugate parabolics need not be parabolic (Mateos et al., 27 Feb 2026).

1. Formulations and basic objects

In the Artin-group setting, one starts from a finite set $S$ and a Coxeter matrix $M=(m_{ij})$, with $m_{ii}=1$ and $m_{ij}\in\{2,3,\dots,\infty\}$ for $i\neq j$. The associated Artin group $A_\Gamma$ is given by the standard presentation

$$A_\Gamma=\Big\langle\,S\ \Big|\ \underbrace{s_i s_j s_i s_j \cdots}_{m_{ij}\ \text{letters}} = \underbrace{s_j s_i s_j s_i \cdots}_{m_{ij}\ \text{letters}} \ \text{ for each edge }(i,j)\text{ with label }m_{ij}\,\Big\rangle.$$

For $S'\subseteq S$, the subgroup generated by $S'$ is a standard parabolic subgroup $A_{S'}$, and a parabolic subgroup is any conjugate $M=(m_{ij})$0 (Blufstein, 2021).

The same pattern appears in several related families. In virtual Artin groups, for $M=(m_{ij})$1, the standard parabolic subgroup is

$M=(m_{ij})$2

and the natural map $M=(m_{ij})$3 is an isomorphism, so standard parabolics are themselves virtual Artin groups (Mateos et al., 27 Feb 2026). In Dyer groups, for $M=(m_{ij})$4, one writes $M=(m_{ij})$5, and parabolic subgroups are conjugates $M=(m_{ij})$6 (Cumplido et al., 30 Jun 2026). In generalized braid groups $M=(m_{ij})$7 of complex reflection groups, parabolic subgroups are defined topologically as images of local fundamental groups along normal rays, and this notion maps to parabolic subgroups of the reflection group $M=(m_{ij})$8 (González-Meneses et al., 2022).

A different but related formulation occurs in algebraic groups. For a closed subgroup $M=(m_{ij})$9, one asks whether $m_{ii}=1$0 is connected for every parabolic subgroup $m_{ii}=1$1. A subgroup with this property is called parabolically connected (Netay, 2011). In positive characteristic, the problem takes a scheme-theoretic form: one studies whether a parabolic subgroup scheme can be reconstructed as an intersection of larger parabolics with prescribed reduced part (Maccan, 2023).

2. Classical foundations: Coxeter groups and spherical-type Artin groups

For Coxeter groups, the standard intersection identity

$m_{ii}=1$2

is fundamental, and intersections of conjugate parabolics are parabolic. This is the template for later Artin-group questions (Mateos et al., 27 Feb 2026).

For Artin groups, Van der Lek proved that standard parabolics satisfy

$m_{ii}=1$3

and this remains the basic algebraic starting point for all later variants (Godelle, 2022). The first full positive result for arbitrary parabolics was obtained in spherical type. In an Artin–Tits group of spherical type, the intersection of two parabolic subgroups is a parabolic subgroup, and the set of parabolic subgroups forms a lattice under inclusion (Cumplido et al., 2017).

The spherical-type theory is built around parabolic closure. For every $m_{ii}=1$4, there exists a unique minimal parabolic subgroup $m_{ii}=1$5 containing $m_{ii}=1$6, and $m_{ii}=1$7 is the intersection of all parabolic subgroups containing $m_{ii}=1$8 (Cumplido et al., 2017). This closure is stable under powers and roots: $m_{ii}=1$9 Consequently, if an element belongs to a parabolic subgroup, then all its roots belong to the same parabolic subgroup (Cumplido et al., 2017).

A central device in this theory is the special central element $m_{ij}\in\{2,3,\dots,\infty\}$0 attached to a parabolic subgroup $m_{ij}\in\{2,3,\dots,\infty\}$1. For parabolics $m_{ij}\in\{2,3,\dots,\infty\}$2, conjugacy of subgroups is equivalent to conjugacy of their associated central elements, and commuting of the corresponding $m_{ij}\in\{2,3,\dots,\infty\}$3-elements detects the adjacency relation used in the complex of irreducible parabolic subgroups (Cumplido et al., 2017). The spherical-type solution therefore combines Garside normal forms, supports, summit-set technology, and the behavior of these central elements.

3. Infinite-type Artin groups: proved families and methods

Several infinite-type families now admit positive solutions, but the precise statement depends on the family.

Family	Intersection statement	Main method
FC-type	Two finite-type parabolic subgroups intersect in a finite-type parabolic subgroup	CAT(0) Deligne complex (Morris-Wright, 2019)
Large type	An arbitrary subset of parabolic subgroups has parabolic intersection; parabolics form a lattice	Systolic Artin complex (Cumplido et al., 2020)
$m_{ij}\in\{2,3,\dots,\infty\}$4-free two-dimensional	An arbitrary family of parabolic subgroups has parabolic intersection	Systolic-by-function Artin complex (Blufstein, 2021)
Even finitely generated FC-type	The intersection of parabolic subgroups is again a parabolic subgroup	Algebraic retractions and Bass–Serre theory (Antolín et al., 2022)
Affine type $m_{ij}\in\{2,3,\dots,\infty\}$5	An arbitrary intersection of parabolic subgroups is parabolic	Embedding into $m_{ij}\in\{2,3,\dots,\infty\}$6 (Cumplido et al., 2024)

The geometric methods are strikingly parallel. In FC-type, the Deligne complex is CAT(0), and spherical-type parabolics appear as vertex stabilizers; the proof that intersections of spherical-type parabolics are parabolic uses the fact that if an element fixes two vertices, then it fixes the combinatorial geodesic between them (Morris-Wright, 2019). In large type, the Artin complex is systolic, and parabolics are precisely stabilizers of simplices; the same geodesic-fixing principle yields closure under arbitrary intersections and the lattice structure (Cumplido et al., 2020). In the broader $m_{ij}\in\{2,3,\dots,\infty\}$7-free two-dimensional class, the same strategy survives after replacing ordinary systolicity by the more flexible notion of a systolic-by-function complex (Blufstein, 2021).

Bass–Serre theory gives a complementary reduction mechanism. If $m_{ij}\in\{2,3,\dots,\infty\}$8 is not complete, then $m_{ij}\in\{2,3,\dots,\infty\}$9 splits as an amalgamated product of smaller standard parabolics, and intersections can be analyzed through the action on the corresponding Bass–Serre tree (Möller et al., 2022). Under the hypothesis that intersections of parabolic subgroups in complete Artin groups are parabolic, one obtains that the intersection of a complete parabolic subgroup with an arbitrary parabolic subgroup is parabolic; in particular, for FC-type Artin groups, if $i\neq j$0 is complete, then $i\neq j$1 is parabolic (Möller et al., 2022).

Retractions supply an algebraic alternative to geometric convexity. In even Artin groups there are canonical retractions onto standard parabolics, and in even finitely generated FC-type Artin groups these retractions lead to the theorem that intersections of parabolic subgroups are parabolic (Antolín et al., 2022). This line has been extended by the theory of ordinary retractions, which classifies FC-type Artin groups admitting retractions, proves that such retractions extend uniquely to conjugate parabolics under ribbon-normalizer hypotheses, and reduces the intersection problem to a local condition called property $i\neq j$2 in the $i\neq j$3-free setting (Cruz et al., 2024).

The 2025 survey emphasizes that the same small set of techniques recurs across these proofs: Garside theory in spherical type, CAT(0) Deligne complexes in FC-type, systolic or systolic-by-function Artin complexes in large and two-dimensional settings, Bass–Serre reductions for amalgams, and algebraic retractions where available (Cumplido, 10 Sep 2025).

4. Virtual Artin groups: standard intersections and the failure for conjugates

A virtual Artin group $i\neq j$4 is generated by

$i\neq j$5

with Artin-type relations among the $i\neq j$6's, Coxeter-type relations among the $i\neq j$7's, and mixed action relations coupling the two families (Mateos et al., 27 Feb 2026). For $i\neq j$8, the standard parabolic subgroup is

$i\neq j$9

Two foundational results hold. First, standard parabolics are themselves virtual Artin groups: $A_\Gamma$0 is an isomorphism for every $A_\Gamma$1 (Mateos et al., 27 Feb 2026). Second, standard parabolics intersect as expected: $A_\Gamma$2 The proof uses the split exact sequence

$A_\Gamma$3

the Coxeter intersection property in $A_\Gamma$4, and the identification of $A_\Gamma$5 with an Artin group $A_\Gamma$6 on a root graph (Mateos et al., 27 Feb 2026).

The problem changes sharply for conjugate parabolics. In this setting, a parabolic subgroup means a conjugate of a standard parabolic, but the analogue of the Coxeter theorem fails. In type $A_\Gamma$7, with $A_\Gamma$8, $A_\Gamma$9, $$A_\Gamma=\Big\langle\,S\ \Big|\ \underbrace{s_i s_j s_i s_j \cdots}_{m_{ij}\ \text{letters}} = \underbrace{s_j s_i s_j s_i \cdots}_{m_{ij}\ \text{letters}} \ \text{ for each edge }(i,j)\text{ with label }m_{ij}\,\Big\rangle.$$0,

$$A_\Gamma=\Big\langle\,S\ \Big|\ \underbrace{s_i s_j s_i s_j \cdots}_{m_{ij}\ \text{letters}} = \underbrace{s_j s_i s_j s_i \cdots}_{m_{ij}\ \text{letters}} \ \text{ for each edge }(i,j)\text{ with label }m_{ij}\,\Big\rangle.$$1

one has $$A_\Gamma=\Big\langle\,S\ \Big|\ \underbrace{s_i s_j s_i s_j \cdots}_{m_{ij}\ \text{letters}} = \underbrace{s_j s_i s_j s_i \cdots}_{m_{ij}\ \text{letters}} \ \text{ for each edge }(i,j)\text{ with label }m_{ij}\,\Big\rangle.$$2, yet $$A_\Gamma=\Big\langle\,S\ \Big|\ \underbrace{s_i s_j s_i s_j \cdots}_{m_{ij}\ \text{letters}} = \underbrace{s_j s_i s_j s_i \cdots}_{m_{ij}\ \text{letters}} \ \text{ for each edge }(i,j)\text{ with label }m_{ij}\,\Big\rangle.$$3 is not parabolic (Mateos et al., 27 Feb 2026). The virtual Artin-group solution is therefore explicitly limited to standard parabolics.

The standard-parabolic intersection theorem has immediate algorithmic consequences. If all free of infinity standard parabolic subgroups of $$A_\Gamma=\Big\langle\,S\ \Big|\ \underbrace{s_i s_j s_i s_j \cdots}_{m_{ij}\ \text{letters}} = \underbrace{s_j s_i s_j s_i \cdots}_{m_{ij}\ \text{letters}} \ \text{ for each edge }(i,j)\text{ with label }m_{ij}\,\Big\rangle.$$4 have solvable word problem, then $$A_\Gamma=\Big\langle\,S\ \Big|\ \underbrace{s_i s_j s_i s_j \cdots}_{m_{ij}\ \text{letters}} = \underbrace{s_j s_i s_j s_i \cdots}_{m_{ij}\ \text{letters}} \ \text{ for each edge }(i,j)\text{ with label }m_{ij}\,\Big\rangle.$$5 has solvable word problem (Mateos et al., 27 Feb 2026). In particular, virtual Artin groups of FC type and, more generally, of affine-FC type, have a solvable word problem (Mateos et al., 27 Feb 2026). Conversely, if $$A_\Gamma=\Big\langle\,S\ \Big|\ \underbrace{s_i s_j s_i s_j \cdots}_{m_{ij}\ \text{letters}} = \underbrace{s_j s_i s_j s_i \cdots}_{m_{ij}\ \text{letters}} \ \text{ for each edge }(i,j)\text{ with label }m_{ij}\,\Big\rangle.$$6 has solvable word problem, then the strong membership problem for any standard parabolic subgroup is solvable (Mateos et al., 27 Feb 2026). This yields an explicit computational framework in which the standard intersection theorem is not merely structural but algorithmic.

5. Dyer groups and complex braid groups

Dyer groups interpolate between Coxeter groups and graph products of cyclic groups. They admit the same normal-form solution to the word problem as Coxeter groups and right-angled Artin groups, and this combinatorial structure supports a parabolic theory (Paris et al., 2022). In finite-type Dyer systems, any intersection of parabolic subgroups is a parabolic subgroup, and every subset has a parabolic closure (Paris et al., 2022).

A stronger 2026 result places the Dyer-group theory much closer to the Artin spherical-type picture. For all Dyer groups, there is an algorithm to determine when two parabolic subgroups are conjugate; given two conjugate standard parabolic subgroups, the conjugating elements are described in terms of ribbons; the ribbon conjecture holds true; the normaliser of a parabolic subgroup is described using ribbons; the standardisation property is proved; and an arbitrary intersection of parabolic subgroups is a parabolic subgroup (Cumplido et al., 30 Jun 2026). The standardisation theorem states that if

$$A_\Gamma=\Big\langle\,S\ \Big|\ \underbrace{s_i s_j s_i s_j \cdots}_{m_{ij}\ \text{letters}} = \underbrace{s_j s_i s_j s_i \cdots}_{m_{ij}\ \text{letters}} \ \text{ for each edge }(i,j)\text{ with label }m_{ij}\,\Big\rangle.$$7

then

$$A_\Gamma=\Big\langle\,S\ \Big|\ \underbrace{s_i s_j s_i s_j \cdots}_{m_{ij}\ \text{letters}} = \underbrace{s_j s_i s_j s_i \cdots}_{m_{ij}\ \text{letters}} \ \text{ for each edge }(i,j)\text{ with label }m_{ij}\,\Big\rangle.$$8

for some $$A_\Gamma=\Big\langle\,S\ \Big|\ \underbrace{s_i s_j s_i s_j \cdots}_{m_{ij}\ \text{letters}} = \underbrace{s_j s_i s_j s_i \cdots}_{m_{ij}\ \text{letters}} \ \text{ for each edge }(i,j)\text{ with label }m_{ij}\,\Big\rangle.$$9 and $S'\subseteq S$0 (Cumplido et al., 30 Jun 2026). Together with the intersection formula

$S'\subseteq S$1

this gives a fully internal description of intersections inside standard parabolics (Cumplido et al., 30 Jun 2026).

Generalized braid groups of complex reflection groups exhibit a parallel development. For an irreducible complex reflection group $S'\subseteq S$2, the generalized braid group $S'\subseteq S$3 admits a presentation-independent notion of parabolic subgroup defined via local fundamental groups along normal rays (González-Meneses et al., 2022). Except for $S'\subseteq S$4, the collection of parabolic subgroups forms a lattice, arbitrary intersections of parabolic subgroups are parabolic, and every element has a unique parabolic closure $S'\subseteq S$5, with

$S'\subseteq S$6

(González-Meneses et al., 2022). The proofs combine the topological definition of parabolics with Garside structures, swap dynamics on left fractions, recurrent elements, and support-preserving least common multiple structures (González-Meneses et al., 2022).

These two settings show that the intersection problem is not specific to classical Artin groups. It persists across a wider Coxeter-inspired landscape, and in both cases the decisive inputs are a strong standardisation theorem and a canonical control of conjugators.

6. Algebraic-group and scheme-theoretic variants

In reductive algebraic groups, the problem often concerns connectedness rather than parabolicity. For a reductive spherical subgroup $S'\subseteq S$7, one asks whether

$S'\subseteq S$8

for every parabolic subgroup $S'\subseteq S$9. Among reductive spherical subgroups of $S'$0, the parabolically connected ones are exactly

$S'$1

whereas $S'$2 and $S'$3 are not parabolically connected (Netay, 2011). This connectedness condition is equivalent to connectedness of $S'$4 for every Borel subgroup $S'$5, and it implies that any open equivariant embedding of $S'$6 into a Moishezon space is algebraic (Netay, 2011).

In positive characteristic, parabolic subgroup schemes can be non-reduced, and the relevant intersection theorem is scheme-theoretic. If $S'$7 is a parabolic subgroup scheme with reduced part $S'$8, then

$S'$9

so every parabolic subgroup scheme is the intersection of parabolics with maximal reduced part (Maccan, 2023). In characteristics $A_{S'}$0 and $A_{S'}$1, these $A_{S'}$2 are classified by Frobenius kernels, very special isogenies, and, in type $A_{S'}$3 in characteristic $A_{S'}$4, two exotic maximal reduced-part parabolics $A_{S'}$5 and $A_{S'}$6 (Maccan, 2023). This scheme-theoretic intersection formula leads to geometric consequences, including canonical embeddings

$A_{S'}$7

for homogeneous varieties $A_{S'}$8, and the fact that every ample line bundle on $A_{S'}$9 is very ample (Maccan, 2023).

A more distant but still related direction concerns finite Chevalley groups. There the focus is not on intersections of parabolics with parabolics, but on intersections of large product sets with parabolic subgroups. If $M=(m_{ij})$00 and $M=(m_{ij})$01 is parabolic, the paper proves explicit lower bounds on $M=(m_{ij})$02, $M=(m_{ij})$03, and criteria forcing $M=(m_{ij})$04 for bounded $M=(m_{ij})$05 (Shkredov, 2020). This is a different problem, but it uses the same structural asymmetry of parabolics inside the ambient group.

7. Limits, equivalences, and open directions

The general Artin-group conjecture remains open. One formulation asks whether

$M=(m_{ij})$06

is always parabolic. A weaker-looking conjecture asks the same only in the colored case $M=(m_{ij})$07, where $M=(m_{ij})$08 is the kernel of the natural projection $M=(m_{ij})$09. The two conjectures are equivalent: if the colored-case conjecture holds, then the full intersection conjecture holds (Godelle, 2022). This equivalence reduces the general problem to a more rigid setting but does not yet solve it.

Several boundary phenomena are now clear. In FC-type Artin groups, the intersection of two finite-type parabolics is controlled, and in many cases one complete or spherical-type factor is enough, but full closure under intersections is not known in general (Morris-Wright, 2019). For $M=(m_{ij})$10-free two-dimensional Artin groups, the arbitrary-intersection theorem does not extend by the current method to groups with adjacent $M=(m_{ij})$11–$M=(m_{ij})$12 edges, and the paper explicitly states that whether the intersection property holds for all two-dimensional Artin groups remains open (Blufstein, 2021). In the retraction-based program, even FC-type groups satisfy the decisive local condition property $M=(m_{ij})$13, but for the broader odd-admitting FC-type class this condition is expected and not fully proved (Cruz et al., 2024). In virtual Artin groups, the sharp distinction between standard and conjugate parabolics shows that any universal formulation must specify which class of parabolics is being intersected (Mateos et al., 27 Feb 2026).

The methodological picture is unusually coherent. The survey identifies Garside theory, CAT(0) and systolic geometry, Bass–Serre theory, retractions, convexity, and restandardisation as the fundamental techniques that have proven most effective in the study of parabolic subgroups of Artin groups, with particular emphasis on the intersection problem (Cumplido, 10 Sep 2025). A plausible implication is that future progress will continue to come from transferring these techniques between families rather than from a single universal argument. At present, the Parabolic Subgroups Intersection Problem is best viewed not as a settled theorem but as a stratified theory: classical in Coxeter groups, definitive in spherical type, extensive but family-dependent in infinite-type Artin groups, sharply qualified in virtual Artin groups, and still evolving in broader Coxeter-like and algebraic settings.