arthur_parameters.at

arthur_parameters

Arthur parameters for inner class corresponding to given dual complex orbit
 where Psi(SL(2,C)) <-> O_check
 conceptual algorithm: run over conjugacy classes of order 2
  in the (disconnected) centralizer_{G^v}(O_check)
 actual algorithm:
  rd_dual=O_check.root_datum
  run over strong real forms y_1,...,y_n of rd_dual
  let K^\vee_i=centralizer in rd_dual of y_i (
       the complexified maximal compact of the corresponding real form of rd_dual
  collect the nilpotent orbits of K^\vee_i whose saturation to G^v is equal to O_check
  since K^\vee_i can be disconnected this is a ComplexNilpotent_d object,
   first run over orbits for the identity component, and then mod out by
    conjugation by the component group (see disconnected.at)
the return value is [ComplexNilpotent_d], each of which is a complex nilpotent
orbit for a (possibly disconnected) group K^vee_i

also in this file at line 43

arthur_parameters_by_orbit

arthur parameters, listed by dual unipotent orbit;
the return value is [[ComplexNilpotent_d]]
the i^th array [ComplexNilpotent_d] is an array
 of orbits, for various K^\vee_j, whose G^\vee-saturation
 is the i^th unipotent G^\vee-orbit

arthur_parameters

by_orbit  is the default

also in this file at line 24

arthur_parameters_by_y

arthur parameters, listed by dual strong real forms y
the return value is [[ComplexNilpotent_d]]
the i^th [ComplexNipotent_d] is the list of unipotent orbits
 for K^\vee_i

show 2 overloads

also defined in modules.at, K_Nilpotent.at, good_W_representatives.at, sub_cells.at, associated_variety_annihilator.at, geck_generic.at, L_packet.at