BettiCharacters : Table of Contents

• BettiCharacters -- finite group characters on free resolutions and graded modules

  • action -- define finite group action

    • Action -- the class of all finite group actions

      • ActionOnComplex -- the class of all finite group actions on complexes

        • places -- starting homological degree
      • ActionOnGradedModule -- the class of all finite group actions on graded modules
      • net(Action) -- format for printing, as a net
      • ring(Action) -- get ring of object acted upon
      • ringActors -- get action on ring generators
      • stage -- get object acted upon
    • action(ChainComplex,List,List,ZZ) -- define finite group action on a resolution
    • action(Module,List,List) -- define finite group action on a graded module
    • Sub -- act on ring via substitutions (rather than matrices)
  • actors -- group elements of an action

    • actors(ActionOnComplex,ZZ) -- group elements of action on resolution
    • actors(ActionOnGradedModule,List) -- group elements acting on components of a module
    • inverseRingActors -- get inverse of action on ring generators
    • numActors -- number of acting elements
  • character -- compute characters of finite group action

    • Character -- the class of all characters of finite group representations

      • GradedCharacter -- the class of all graded characters of finite group representations
    • character(ActionOnComplex) -- compute all Betti characters of minimal free resolution
    • character(ActionOnComplex,ZZ) -- compute Betti characters of minimal free resolution
    • character(ActionOnGradedModule,List) -- compute characters of graded components of a module
  • Example 1 -- Specht ideals / subspace arrangements
  • Example 2 -- Symbolic powers of star configurations
  • Example 3 -- Klein configuration of points