Skip to main content
1 of 2
fherzig
  • 1.4k
  • 1
  • 12
  • 13

If I understand correctly, you have a tree with edges labelled by e1,...,en and vertices labelled by v0,...,vn,...v(n+m-1), where the last m >= 1 of these label the same (namely the exceptional) vertex. Relations among Brauer characters are given by: vi = sum of the ej, where ej runs through all the edges adjacent to vi. You would like to find an algorithm to solve this overdetermined system of equations for the ej. Here is one: pick your favourite label at the exceptional vertex and discard the rest (or pick your favourite Z-linear combination whose coefficients add up to 1). Then we are reduced to the case when m = 1. If an edge ej has a leaf vi as vertex, it's easy: we have ej = vi. Next pick an edge ej such that all the adjacent edges at one of its two vertices vi have already been 'lifted'. Then we can use the equation for vi to solve for ej. Inductively work your way further and further away from the leaves. This will give you what you wanted.

Incidentally, you get all other solutions by using the relations vn = ... = v(n+m-1) and sum over even vertices = sum over odd vertices (for this pick an arbitrary vertex v; then say that another vertex is even/odd if it has even/odd distance from v; the relation holds because each edge has precisely one even and one odd vertex).

Unfortunately I don't know about Green's lifting.

fherzig
  • 1.4k
  • 1
  • 12
  • 13