Это все еще вот где я видел. Года четыре назад Этингоф интересовался определением orbifold cohomology и придумал сравнительно простое доказательство того, что age(ab) \leq age(a)+age(b) для любых унитарных матриц a,b. А потом выяснил, что оно сто лет как известно, методами Клячко, и есть в статье alg-geom/9712013 (это тот же Chris Woodward, на которого указывают выше, с соавтором). Посмотри типа, и references therein.