Antoine Clais 
What is my research about? 
My work in research belongs to geometric group theory. Inside this domain, I study particularly hyperbolic spaces and the groups that are associated to these geometries. The aim of this page is to give to nonmathematicians a brief and subjective overview on these topics. If you are a mathematician, you may prefer to click here. 
Geometry(ies) and groups 
When Évariste Galois died at the age of 20 after a duel in 1832, no one would have predict how deep was the revolution implied by his work. The reason was that no one could understand the mathematics of this romantic figure. Hopefully, history regenerated them. 
From equations to groups 
One learns at school the formulas that gives the solutions (if they exist) of a polynomial equation of degree 2: Whereas similar (but complicate) formulas exists in degree 3 and 4, nothing general is known for polynomial equations of degree greater than 5: The great achievement of Galois's work has been to prove that no such formula exists. This breakthrough relies on a hidden structure of the equation that he called the «groupe de l'équation». These groups describe somehow the symmetries of the solutions. The work of Galois was only published in 1846 and understood and accepted by the mathematical community years after. However, at the end of the 19th century, the notion of group had been generalized and had been effectively used in any area of mathematics. In particular, Galois theory has been used to solve some 2100 years old problems such as squaring the circle, angle trisection or doubling the cube. The definition of a group is rather abstract but we can say that a group is a set of symmetries of a mathematical object such as an equation, a curve, a surface, a space of functions etc. 
From groups to geometries 
The 19th century is the century during which the antic foundations of mathematics are questioned. In particular, the mathematical works of Gauss, Bolyai, Lobachevsky and Riemann, promulgated the idea that Euclidean geometry is only one geometry among others (see below). Then, under the influence of Lie and Klein it became usual to study the geometry of a space through its groups of symmetries. The following pattern is recurrent in the history of mathematical progress: 1) a new concept is discovered through a concrete problem, 2) the new concept is taken out of its context and studied abstractly, 3) the concrete applications of the abstract concept provide both new discoveries and problems. And so on so forth. Of course, the notion of concreteness is relative. Usually a mathematician considers that concrete mathematics start around his own field of expertise... This is what happened with groups during the 20th century: they became a subject of research by themselves, new applications were discovered in computer science and in cryptography as these new sciences arose. Since Galois, geometry took a great benefit of researches in group theory. However, little by little, it appeared also that geometry should be use to make progress in abstract group theory. This is remarkable because geometry (even the most advanced geometry) is a very concrete way to do mathematics: using pictures in your mind or on the black board. Mathematically, the idea of using concrete mathematics (geometry) to study abstract objects (groups) is beautiful. Today, geometric group theory is a flourishing field in which groups and geometries are studied in parallel. The community of geometric group theorist is growing fast and hundreds of papers are published every year under this label. 
Hyperbolic geometry 
In The Elements, Euclid builds his geometry on the following axioms:

The problem of the parallel postulate 
In the ancient Greece, Euclid's axioms and the geometry that they imply, appeared so much in harmony with the reality that they were accepted as universal truths. From this conviction resulted twentythree centuries of monopoly for Euclidean geometry. However, during this period several mathematicians believed that the fifth axiom, also called the parallel postulate, was a theorem. In other word, they were trying to prove the parallel postulate using the first four axioms. On the other hand, if the converse would have been true i.e if it would have been a true axiom. Then, the door would have been open to nonEuclidean geometries based on different axioms. As a consequence, the parallel postulate was a concern for thinkers away from mathematics. For centuries, philosophers and theologians had build systems up on Greek mathematics and logic. To open the door to new geometries would have shake the basis of these systems. In the years 1830's, Bolay and Lobachevsky independently gave a proof of the fact that the fifth axiom is indeed an axiom. To do so they built a nonEuclidean geometry i.e a geometry in which the axiom of parallel is not satisfied. This geometry had been called later on hyperbolic geometry. In fact, Riemann works showed that hyperbolic geometry is only one geometry among an infinite set of nonEuclidean geometries. However, it took a long while to the entire academic community to recognize these new geometries. With the mathematical work of Poincaré, hyperbolic geometry gained a good reputation and has been the source of many progress in mathematics and physics during the 20th century. 
The Poincaré model of hyperbolic geometry 
Hyperbolic geometry sits inside a disk of Euclidean radius 1. However, one must forget that the disk is Euclidean and consider it only by itself. As suggested by the custom, we designate by H the disk equipped with the hyperbolic structure and by $\partial \textbf{H}$ the boundary of the disk which is a circle of Euclidean radius 1. The Poincaré model of hyperbolic geometry relies on the following principle:
In the preceding statement, a diameter of the disk is considered as a circle of infinite radius orthogonal to $\partial \textbf{H}$. Thus, in H the straight line is not the shortest path between two points. Except if the two points lie on a diameter. From now on, the shortest paths between two points in H play the role of the line segments in the Euclidean plane. We call these curves the geodesics of H. With the preceding principle, we can observe that in H the axiom of parallel is not satisfied. Namely:

All the green geodesics are parallel to $\Delta$ and pass through $P$. 
A surprising feature of the geometry in H, is that if you move an object from the center of the H in direction of $\partial \textbf{H}$ the object appears to be smaller and smaller. This impression comes from a Euclidean interpretation of hyperbolic geometry. From a Euclidean point of view the object get smaller but, from a hyperbolic point of view, the size of the object is constant.
To understand that, imagine you are this object and as you get closer to $\partial \textbf{H}$, the space around you is contracted. Indeed for someone looking at you from above you look smaller. But inside the hyperbolic world, the measuring tape you us also gets smaller and you cannot realize that you are shrinking. Likewise, every step you make in direction of $\partial \textbf{H}$ is smaller than the previous one. This decrease is even exponential and after 10,000 steps in direction of $\partial \textbf{H}$, the circle will appear to you as far as before. Even if H sits in a Euclidean disk of finite area, its infinite from the intrinsic hyperbolic point of view. 
Hyperbolic triangles 
The shape of the triangles is another remarkable feature of H. In particular, if $T$ is a hyperbolic triangle of angles $\alpha$, $\beta$ and $\gamma$ then $\alpha +\beta + \gamma< \pi$. The hyperbolic disk even contains ideal triangles that are obtained as limits of increasing sequences of triangles. All these ideal triangles are isometric and of finite hyperbolic area. In other word, in the hyperbolic disk, we cannot build triangles of arbitrary large area. 
In H any triangle is smaller than an ideal triangle (in blue on the picture). 
In addition, triangles are thin in H. This means that there exists a universal constant $R$ such that for any triangle $T$ in H there exists a center $c_t$ such that the hyperbolic circle $\mathcal{C}_T$ meets the tree sides of $T$. This last feature is important because it is used by Gromov to generalize the notion of hyperbolic spaces. As we saw, hyperbolic geometry is very different from Euclidean one. However, it is important to note that these differences only appear at large scale. Indeed, when you restrain yourself to a very small part of H, the geodesics look like straight lines, the sum of the angles of a triangle is so close to be $\pi$ and the postulate of parallel seems valid. 
Small hyperbolic triangles look like Euclidean ones. 
As a consequence, if you want to know if you live in a Euclidean or a hyperbolic universe, you cannot only draw triangles and parallel lines around you. As the hyperbolic properties appear only at large scale, you may need to draw shortest paths between galaxies. Which will probably make you give up on this project. After the article «Hyperbolic groups» of Gromov, a hyperbolic space is a metric space in which triangles are thin. A group is hyperbolic if it is a certain type of group of symmetries of a hyperbolic space. This article has been very influential in geometric group theory. Indeed, under the hyperbolicity assumption, the geometric properties of the space are closely related to the algebraic properties of the group (see for instance here). Moreover, given a hyperbolic space $X$ and following Gromov's approach, it is usually possible to extend and adapt tools and methods of H to the study of $X$. This is a very powerful method because the geometry of H is well known and because the class of hyperbolic spaces is enormous. 
More geometric group theory 
