I am reading from the book "Topics in Galois Theory" by Serre.


I came across the word "Rigidity". I am not able to understand this concept.


If I am not wrong, This term was first used by Thompson, He used this concept("Rigidity Method") to show that monster group can be realized as the Galois group over $\mathbb{Q}$.


I don't have any intuition for this concept. I tried reading from the Wikipedia page on "Rigidity", but I got more confused. It says



> 
> The above statement does not define a mathematical property. Instead, it describes in what sense the adjective rigid is typically used in mathematics, by mathematicians.
> 
> 
> 


What is the idea ? One more question, What does the adjective "rigid" means in context of Galois theory.




---



Concept of "Rigidity" in mathematics
Consider a (ramified) Galois covering of the Riemann sphere $f\colon X\to B=\mathbf P^1(\mathbf C)$, of group $G$. Let $b\_1,\dots,b\_r\in B $ be the (distinct) ramification points. 


Fix a base point $o\in B\setminus\{b\_1,\dots,b\_r\}$ and for all $i$,
fix an injective $C^1$-path $\gamma\_i$ from $o$ to $b\_i$ that they do not intersect outside of $o$ (in particular, they avoid the other ramification points). Define an element $\sigma\_i$ in $\pi\_1(B,o)$ by the following recipe: start from $o$, go along the chosen path until very close to $b\_i$, make one turn around $b\_i$ in the positive direction, and go back to $o$ along the chosen path. If the cyclic ordering of the points $b\_1,\dots,b\_r$ is chosen so as to coincide with the angles the paths leaving $o$, then the elements $\sigma\_1,\dots,\sigma\_r$ generate the group $\pi\_1(B,o)$, and there is the single relation $\sigma\_1\cdots \sigma\_r=e$. (This reflects in particular the fact that the Riemann sphere, and even the complex plane, is simply connected.)


The group $\pi\_1(B,o)$ acts naturally on $X$ (on the right) via an anti-homomorphism $\pi\_1(B,o)\to G$.


Fix a point $x\in X$ above $o$. The path $\gamma\_i$ lifts to a path from $x$ to some point $a\_i$ in $X$. The subgroup $G\_i$ of $G$ that fixes $a\_i$ is cyclic of order $e\_i$ (the ramification index at $i$), generated by the action $[\sigma\_i]$ of the loop $\sigma\_i$. 


In particular, $[\sigma\_1],\dots,[\sigma\_r]$ generate $G$.


The elements $[\sigma\_1],...,[\sigma\_r]$ depend on the choice of the initial paths $\gamma\_i$. Changing those paths turns them into conjugate elements $h\_i [\sigma\_i] h\_i^{-1}$. In particular, their conjugacy classes $C\_i$ are well-defined, and $C\_1,\dots,C\_r$ generate $G$.


In general, if $G$ is a finite group, one says that a sequence $(C\_1,\dots,C\_r)$ of conjugacy classes is *rigid* if:


(i). For each $i$, there exists $g\_i\in C\_i$ such that $g\_1\dots g\_r=e$ and $(g\_1,\dots,g\_r)$ generate $G$;


(ii). For any two families $(g\_1,\dots,g\_r)$ and $(g'\_1,\dots,g'\_r)$ as in (i) are conjugate by an element $h\in G$: $g'\_i=h g\_i h^{-1}$ for all $i$.


The interest in the concept — take the time to study Serre's book if you need so — is that the Inverse Galois Problem is “easy” to solve in these cases. The arguments is basically as follows. First of all, one constructs a covering of the Riemann sphere satisfying these geometric properties, where the points $b\_i$ are integers, say. By Riemann's existence theorem, this corresponds to a finite field extension $\mathbf C(T)\subset F$, Galois of group $G$, with inertia subgroups corresponding to the given conjugacy classes. Now, consider an arbitrary automorphism of $\mathbf C$; thanks to the rigidity property, it naturally extends to an automorphism of $F$. All these automorphisms allow to construct a canonical subfield $E$ of $F$ such that there is a finite field extension $\mathbf Q(T)\subset E$, that gives $F$ after extending the scalars from $\mathbf Q$ to $\mathbf C$. (I am slightly cheating here, because some cyclotomic extension may enter the picture. Let's pretend there is none, which happens when the classes $C\_i$ are “$\mathbf Q$-rational”.)


Let $e\in E$ be a primitive element which is, say, integral over $\mathbf Q[T]$. Its minimal polynomial $P$ belongs to $\mathbf Q[T,X]$, and is irreducible viewed as a polynomial in $\mathbf C[T,X]$.
Now apply Hilbert's irreducibility theorem: for many elements $u\in\mathbf Q$ (“most of them”, in some sense), the polynomial $P(u,X)$ is irreducible in $\mathbf Q[X]$ and generates a Galois extension of $\mathbf Q$ of group $G$. The Inverse Galois problem is solved in this case.


