My research is about discrete subgroups of semisimple Lie groups, particularly Anosov representations. I wrote a few articles about this:

Gye-Seon Lee, Jaejeong Lee and Florian Stecker, Anosov triangle reflection groups in SL(3,R), arXiv:2106.11349

We wanted to understand what the set of Anosov representations in the character variety looks like, by looking at the simplest example where it's not just a union of connected components. The SL(3,R) character variety of a hyperbolic triangle reflection group is 1-dimensional, so that's a good candidate. It has a lot of connected components, each homeomorphic to the real line, but we ended up showing that only two of them contain Anosov representations: the "Hitchin component", in which every representation is Anosov, and the "Barbot component", in which a representation is Anosov if and only if a certain group element (the "Coxeter element") has distinct real eigenvalues. That means, the Barbot component contains a closed interval of non-Anosov representations, and everything outside of it is Anosov.

Florian Stecker, Balanced ideals and domains of discontinuity of Anosov representations, arXiv:1810.11496

I examined a construction by Kapovich-Leeb-Porti of cocompact domains of discontinuity for Anosov representations in flag manifolds. In this paper, I show a "converse" in the case of Borel Anosov representations: up to some exceptions in small ranks, every domain of discontinuity must be contained in, and every cocompact one must be equal to, one of the KLP examples. In particular, this shows there are only finitely many cocompact domains of discontinuity. For example, the table on the left shows their number in the Grassmannian Gr(k,n) for an SL(n,R) Hitchin representation.

Florian Stecker and Nicolaus Treib, Domains of discontinuity in oriented flag manifolds, arXiv:1806.04459

This project also starts out with Kapovich-Leeb-Porti's construction of cocompact domains of discontinuity for Anosov representations in flag manifolds. We noticed that this construction can be extended to "oriented flag manifolds", which are finite covers of the ordinary flag manifold. Somewhat surprisingly, this gives a lot more freedom to find such domains. We give a bunch of examples which are genuinely new in this oriented situation. The simplest one is shown on the left: certain free groups in SL(3,R) act on the 2-sphere with a Cantor set of "half great circles" removed, in a way that the quotient is a compact manifold.

My PhD thesis contained a subset of these results, plus some background.

I was organizing the monthly group meetings of our research group in Heidelberg. I'm also co-organizing the weekly Topology Seminar in Austin.