Root Data
- Introduction
- Constructing Root Data
- Operations on Root Data
R1 eq R2: RootDtm, RootDtm → BoolEltIsIsomorphic(R1, R2): RootDtm, RootDtm → BoolElt, [RngIntElt], MapIsCartanEquivalent(R1, R2): RootDtm, RootDtm → BoolElt, SeqEnumIsIsogenous(R1, R2): RootDtm, RootDtm → BoolElt, SeqEnum, RootDtm, Map, Map, RootDtm, Map, MapExample: Isomorphism IsogenyCartanName(R): RootStr → MonStgEltTwistedCartanName(R): RootDtm → MonStgEltCoxeterDiagram(R): RootStrDynkinDiagram(R): RootStrCoxeterMatrix(R): RootStr → AlgMatEltCoxeterGraph(R): RootStr → GrphUndCartanMatrix(R): RootStr → AlgMatEltDynkinDigraph(R): RootStr → GrphDirExample: DiagramsGammaAction(R): RootDtm → RecGammaRootSpace(R): RootDtm → GSetEnum, MapGammaCorootSpace(R): RootDtm → GSetEnum, MapGammaOrbitOnRoots(R,r): RootDtm, RngIntElt → GSetEnumGammaOrbitsOnRoots(R): RootDtm → SeqEnum[GSetEnum]PositiveGammaOrbitsOnRoots(R): RootDtm → SeqEnum[GSetEnum]NegativeGammaOrbitsOnRoots(R): RootDtm → SeqEnum[GSetEnum]ZeroGammaOrbitsOnRoots(R): RootDtm → SeqEnum[GSetEnum]GammaActionOnSimples(R): RootDtm → HomGrpOrbitsOnSimples(R): RootDtm → SeqEnum[GSetEnum]DistinguishedOrbitsOnSimples(R): RootDtm → SeqEnum[GSetEnum]BaseRing(R): RootDtm → RngIntRank(R): RootStr → RngIntEltAbsoluteRank(R): RootDtm → RngIntEltRelativeRank(R): RootDtm → RngIntEltDimension(R): RootStr → RngIntEltTwistingDegree(R): RootDtm → RngIntEltAnisotropicSubdatum(R): RootDtm → RootDtmExample: Operations For Twisted Root DataCoxeterGroupOrder(R): RootStr → RngIntEltGroupOfLieTypeOrder(R, q): RootDtm, RngElt → RngIntEltGroupOfLieTypeFactoredOrder(R, q): RootDtm, RngElt → RngIntEltExample: Group Of Lie Type OrderFundamentalGroup(R): RootDtm → GrpAb, MapIsogenyGroup(R): RootDtm → GrpAb, MapCoisogenyGroup(R): RootDtm → GrpAb, MapExample: Isogeny Groups
- Properties of Root Data
- Roots, Coroots and Weights
- Accessing Roots and Coroots
RootSpace(R): RootStr → ModTupFldCorootSpace(R): RootStr → ModTupFldFullRootLattice(R): RootDtm → Lat, MapFullCorootLattice(R): RootDtm → Lat, MapRootLattice(R): RootDtm → Lat, MapCorootLattice(R): RootDtm → Lat, MapExample: Rt LatIsRootSpace(V): ModTupFld → BoolEltIsCorootSpace(V): ModTupFld → BoolEltIsInRootSpace(v): ModTupFldElt → BoolEltIsCorootSpace(v): ModTupFldElt → BoolEltRootDatum(V): ModTupFld → RootDtmExample: Rt Is SpaceZeroRootLattice(R): RootDtm → LatZeroRootSpace(R): RootDtm → ModTupFld, MapRelativeRootSpace(R): RootDtm → ModTupFld, MapSimpleRoots(R): RootStr → MtrxSimpleCoroots(R): RootStr → MtrxExample: Basic OperationsNumberOfPositiveRoots(R): RootStr → RngIntEltNumPosRoots(R): RootStr → RngIntEltRoots(R): RootStr → SetIndxCoroots(R): RootStr → SetIndxPositiveRoots(R): RootStr → SetIndxPositiveCoroots(R): RootStr → SetIndxRoot(R, r): RootStr, RngIntElt → SetIndxCoroot(R, r): RootStr, RngIntElt → SetIndxRootPosition(R, v): RootStr, . → SetIndxCorootPosition(R, v): RootStr, . → SetIndxBasisChange(R,v): RootStr, Any → SeqEnumExample: Roots CorootsIsInRootSpace(R,v): RootDtm, ModTupFldElt → BoolEltIsInCorootSpace(R,v): RootDtm, ModTupFldElt → BoolEltHighestRoot(R): RootStr → .HighestCoroot(R): RootStr → .HighestLongRoot(R): RootStr → .HighestLongCoroot(R): RootStr → .HighestShortRoot(R): RootStr → .HighestShortCoroot(R): RootStr → .Example: Highest RootsRelativeRoots(R): RootDtm → SetIndxPositiveRelativeRoots(R): RootDtm → SetIndxNegativeRelativeRoots(R): RootDtm → SetIndxSimpleRelativeRoots(R): RootDtm → SetIndxRelativeRootDatum(R): RootDtm → RootDtmGammaOrbitsRepresentatives(R, delta): RootDtm, RngIntElt → SeqEnumExample: Two Twisted EsixesCoxeterForm(R): RootDtm → AlgMatEltDualCoxeterForm(R): RootDtm → AlgMatElt
- Reflections
- Operations and Properties for Root and Coroot Indices
Sum(R, r, s): RootDtm, RngIntElt, RngIntElt → RngIntEltIsPositive(R, r): RootStr, RngIntElt → BoolEltIsNegative(R, r): RootStr, RngIntElt → BoolEltNegative(R, r): RootStr, RngIntElt → RngIntEltLeftString(R, r, s): RootDtm, RngIntElt, RngIntElt → RngIntEltRightString(R, r, s): RootDtm, RngIntElt, RngIntElt → RngIntEltLeftStringLength(R, r, s): RootDtm, RngIntElt, RngIntElt → RngIntEltRightStringLength(R, r, s): RootDtm, RngIntElt, RngIntElt → RngIntEltExample: Root ArithmeticRootHeight(R, r): RootStr, RngIntElt → RngIntEltCorootHeight(R, r): RootStr, RngIntElt → RngIntEltRootNorms(R): RootStr → [RngIntElt]CorootNorms(R): RootStr → [RngIntElt]RootNorm(R, r): RootStr, RngIntElt → RngIntEltCorootNorm(R, r): RootStr, RngIntElt → RngIntEltIsLongRoot(R, r): RootStr, RngIntElt → BoolEltIsShortRoot(R, r): RootStr, RngIntElt → BoolEltIsIndivisibleRoot(R, r): RootStr, RngIntElt → BoolEltExample: Root OperationsRootClosure(R, S): RootDtm, SetEnum[RngIntElt] → SetEnum[RngIntElt]AdditiveOrder(R): RootStr → SeqEnumIsAdditiveOrder(R, Q): RootStr, [RngIntElt] → BoolEltExample: Additive Order
- Weights
- Building Root Data
sub<R | a>: RootDtm, SetEnum → RootDtmsub<R | s>: RootDtm, SetEnum → RootDtmExample: Root SubdataR1 subset R2: RootDtm, RootDtm → BoolElt, .R1 + R2: RootDtm, RootDtm → RootDtmDirectSum(R1, R2): RootDtm, RootDtm → RootDtmR1 join R2: RootDtm, RootDtm → RootDtmExample: Root Dtm SumsDirectSumDecomposition(R): RootDtm → [], RootDtm, MapIndecomposableSummands(R): RootDtm → [], RootDtm, MapExample: Root Dtm DecompDual(R): RootDtm → RootDtm, MapSimplyConnectedVersion(R): RootDtm → RootDtm, MapAdjointVersion(R): RootDtm → RootDtm, MapIndivisibleSubdatum(R): RootDtm → RootDtmRadical(R): RootDtm → RootDtmExample: Direct Sum Dual RadicalTwistedRootDatum(R): RootDtm → RootDtmTwistedRootDatum(N): MonStgElt → RootDtmExample: Direct Sum Dual RadicalUntwistedRootDatum(R): RootDtm → RootDtmSplitRootDatum(R): RootDtm → RootDtm
- Morphisms of Root Data
hom<R -\>S | phiX, phiY>: RootDtm, RootDtm, Map, Map → Maphom<R -\>S | phiX, phiY>: RootDtm, RootDtm, Mtrx, Mtrx → Maphom<R -\>S | Q>: RootDtm, RootDtm, [RngIntElt] → MapMorphism(R, S, phiX, phiY): RootDtm, RootDtm, Map, Map → MapMorphism(R, S, phiX, phiY): RootDtm, RootDtm, Mtrx, Mtrx → MapMorphism(R, S, Q): RootDtm, RootDtm, [RngIntElt] → MapDualMorphism(R, S, phiX, phiY): RootDtm, RootDtm, Map, Map → MapDualMorphism(R, S, phiX, phiY): RootDtm, RootDtm, Mtrx, Mtrx → MapDualMorphism(R, S, Q): RootDtm, RootDtm, [RngIntElt] → MapRootImages(phi): Map → [RngIntElt]RootPermutation(phi): Map → GrpPermEltIdentityMap(R): RootDtm → MapIdentityAutomorphism(R): RootDtm → MapExample: Creating Root Data Homomorphisms
- Constants Associated with Root Data
ExtraspecialPairs(R): RootDtm → SeqEnumNumExtraspecialPairs(R): RootDtm → SeqEnumExtraspecialPair(R,r): RootDtm, RngIntElt → SeqEnumExtraspecialSigns(R): RootDtm → []LieConstant_p(R, r, s): RootDtm, RngIntElt, RngIntElt → RngIntEltLieConstant_q(R, r, s): RootDtm, RngIntElt, RngIntElt → RngIntEltCartanInteger(R, r, s): RootDtm, RngIntElt, RngIntElt → RngIntEltLieConstant_N(R, r, s): RootDtm, RngIntElt, RngIntElt → RngIntEltLieConstant_epsilon(R, r, s): RootDtm, RngIntElt, RngIntElt → RngIntEltLieConstant_M(R, r, s, i): RootDtm, RngIntElt, RngIntElt, RngIntElt → RngIntEltLieConstant_C(R, i, j, r, s): RootDtm, RngIntElt, RngIntElt, RngIntElt, RngIntElt → RngIntEltLieConstant_eta(R, r, s): RootDtm, RngIntElt, RngIntElt → RngIntEltStructureConstants(R): RootDtm → RngIntEltExample: consts
- Related Structures
RootSystem(R): RootDtm → RootSysCoxeterGroup(grpcat, R): Cat, RootDtm → grpcatCoxeterGroup(R): RootDtm → GrpPermCoxWeylGroup(R): RootDtm → GrpPermCoxCoxeterGroup(GrpPermCox, R): Cat, RootDtm → GrpPermCoxReflectionGroup(R): RootDtm → GrpMatLieAlgebraHomorphism(phi,k): Map, Rng → AlgLieLieAlgebra(R, k): RootDtm, Rng → AlgLieGroupOfLieType(R, k): RootDtm, Rng → GrpLieGroupOfLieTypeHomomorphism(phi, k): Map, Rng → GrpLieExample: Related
