ALCYON lab

ALgorithms for
Combinatorics,
geometrY,
Optimization and
Number theory
Home Members Projects Publications SCIM Theses topics

Induction and Restriction on Symmetry Groups of Binary Trees


Dr. Can Ozan Oğuz


Gebze Technical University

17 December 2021 17:00



Abstract

Symmetry groups of binary trees are isomorphic to iterated wreath products of symmetric groups of order two. These groups embed into each other and form a tower. In our collaboration with Mee Seong Im, our aim was to describe the relations between induction and restriction on representations of this tower of groups. Even though we didn’t get a full description of the relevant category, we have partial results concerning the vector space and algebra structure of certain hom spaces. In the talk I will focus on the origin of the problem and various approaches we found helpful during our research.

I will present a new algebraic approach for computing the orthogonal projection of a point onto a rational algebraic surface embedded in the three dimensional projective space, which is a joint work with Nicolás Botbol, Laurent Busé and Marc Chardin. Our approach amounts to turn this problem into the computation of the finite fibers of a generically finite trivariate rational map whose source space is either bi-graded or trigraded and which has one dimensional base locus: the congruence of normal lines to the rational surface. This latter problem is solved by using certain syzygies associated to this rational map for building matrices that depend linearly in the variables of the three dimensional ambient space. In fact, these matrices have the property that their cokernels at a given point p in three dimensional space are related to the pre-images of the p via the rational map. Thus, they are also related to the orthogonal projections of p onto the rational surface. Then, the orthogonal projections of a point are approximately computed by means of eigenvalues and eigenvectors numerical computations. Here, we rely on numerical linear algebra in order to deal with floating-point data.