Christopher Perez grew up on the South Side of Chicago and attended Whitney Young Magnet High School, where he first became interested in studying math. In 2009, he started his freshman year at the California Institute of Technology. Perez graduated in 2013 with a B.S. in Pure Mathematics. While at Caltech he was the President of the Math club for three years and received the Mellon-Mays Undergraduate Fellowship, which is awarded by the Andrew W. Mellon Foundation with the stated goal of increasing diversity within university faculties. In 2013, he entered the Ph.D. program in Pure Mathematics at the University of Illinois at Chicago, where he is currently a doctoral candidate studying geometric group theory with his adviser, Daniel Groves. In 2015, he married his partner, Stephanie Reyes, with whom he attended high school and college, and who is currently also a graduate student in Pure Mathematics at UIC.
The elementary theory of a group G is the set Th(G) of all logical sentences in G using existential and universal quantifiers, i.e. the first-order theory of G. In 2006, Zlil Sela –and independently Olga Kharlampovich and Alexei Myasnikov – proved that any two finitely generated, non-abelian free groups have the same elementary theory, solving a problem first posed by Alfred Tarski in 1945. The geometric approach used by Sela to solve Tarski's problem enabled him to apply the same techniques to studying the elementary theory of torsion-free hyperbolic groups. He showed in 2009 that, given a fixed torsion-free hyperbolic group H, if G is a finitely generated group such that Th(G) = Th(H), then G is a torsion-free hyperbolic group – not necessarily isomorphic to H. The implication of such a result is that elementary theories are capable of detecting the geometry of groups.
Perez’s research is currently focused on replicating parts of Sela’s program for toral relatively hyperbolic groups, which share many structural properties with hyperbolic groups and arise as the fundamental groups of hyperbolic manifolds with torus cusp cross-sections. His adviser, Daniel Groves, developed tools for working with these groups analogous to those developed by Sela. Using these together with work due to Chloé Perin and others which simplifies some of Sela’s technical machinery, he hopes to determine under what conditions toral relative hyperbolicity can be detected with elementary theories. Additionally, he hopes to find the conditions under which such groups have the co-Hopf property that injective endomorphisms are necessarily automorphisms.