ScalingStacks

Definition 5.3 [058S]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Definition 5.3

Given two graded Lagrangians L1,LL_{1},\,L, write L1≤LL_{1}\leq L if there exists a graded Lagrangian L1′L_{1}^{\prime} such that L≈L1​#​L1′L\approx L_{1}\#L_{1}^{\prime}. We then also write L/L1L/L_{1} for L′L^{\prime}, and say that L1L_{1} is a subobject of LL.

A Jordan-Hölder filtration of LL is a sequence of graded Lagrangians LiL_{i} such that

L1≤L2≤…≤Lk=L,L_{1}\leq L_{2}\leq\ldots\leq L_{k}=L,

and Li′:=Li+1/LiL_{i}^{\prime}:=L_{i+1}/L_{i} is stable. The Jordan-Hölder decomposition of LL is the the singular union

L1∪L2/L1∪…∪L/Lk−1.L_{1}\cup L_{2}/L_{1}\cup\ldots\cup L/L_{k-1}. (5.4)

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.