It is well known, as well as absolutely intuitive, that the Riemannian holonomy of a generic Riemannian manifold is $O(n)$, the Riemannian holonomy of a generic orientable Riemannian manifold is $SO(n)$, and the Riemannian holonomy of a generic Kähler manifold is $U(n/2)$.


I guess that in this context by "generic" one means that given any Riemannian metric $g\_0$, it suffices to perturb it a little bit in order to get the biggest possible holonomy group.


What I would like to ask is if you could provide one or more simple and/or elementary proofs of this general principle, which is often stated without specifying much more. 


Thanks in advance!



Riemannian holonomy of generic manifolds
Here are proofs for the Riemannian and Kähler case which rely on the fact that the curvature can be seen as parallel transport around infinitesimal loops. It uses explicit deformations which are hard to build with the holonomy is further restricted, that's why this proof doesn't work for smaller homotopy groups.


Riemannian case
===============


Let $(M,g\_0)$ be a Riemannian manifold, $p\in M$, and $\mathrm{Hol}\_{g\_0}(p)$ be the reduced holonomy group of $g$ at $p$. We know that the associated Lie algebra $\mathfrak{hol}\_{g\_0}(p)$ contains every two forms $R\_p^0(x\wedge y)$ where $R^0\_p:\Lambda^2T\_pM\to\Lambda^2T\_pM$ is the Riemann curvature tensor of $g\_0$ (seen as a symmetric operator on $\Lambda^2TM\simeq \mathfrak{so}(TM)$).


I will exhibit a one parameter family of Riemannian metrics $g\_t$ going to $g\_0$ such that $R^t\_p(\Lambda^2T\_pM)=\mathfrak{so}(T\_pM)$ and hence $Hol\_{g\_t}(p)=SO(n)$. 


I will use the following fact, which follows from the expression of the curvature in term of metric components :



> 
> **Theorem :** Let $g$ be a metric on $\mathbb{R}^n$ such that :
>  $$ g=\delta\_{ij}dx^i\otimes dx^j+\tfrac{1}{3}\left(A\_{ikjl}x^kx^ldx^i\otimes dx^j\right)+O(\|x\|^3)$$
>  Then the $(4,0)$-curvature tensor of $g$ a the origin is given by $A\_{ikjl}dx^i\otimes dx^k\otimes dx^j\otimes dx^l$.
> 
> 
> 


Now pick $n$ smooth functions $x^1,\dots,x^n$ supported in a small neighborhood of $p$ and which form a normal coordinate system in a smaller neighborhood of $p$. Set : $$g\_t=g\_0+\tfrac{t}{3}\left(I\_{ikjl}x^kx^ldx^i\otimes dx^j\right)$$
where $I\_{ikjl}=\tfrac{1}{2}\left(g(\partial\_i,\partial\_j)g(\partial\_k,\partial\_l)-g(\partial\_i,\partial\_l)g(\partial\_k,\partial\_j)\right)$ is the $(4,0)$ tensor corresponding at $p$ to the identity $I\_p:\Lambda^2T\_pM\to\Lambda^2T\_pM$.


Since we are working in normal coordinates :
$$ g\_0=\delta\_{ij}dx^i\otimes dx^j+\tfrac{1}{3}\left(R^0\_{ikjl}x^kx^ldx^i\otimes dx^j\right)+O(\|x\|^3)$$
and :
$$ g\_t=\delta\_{ij}dx^i\otimes dx^j+\tfrac{1}{3}\left((R^0\_{ikjl}+tI\_{ikjl})x^kx^ldx^i\otimes dx^j\right)+O(\|x\|^3)$$


It follows from the theorem above that the curvature of $g\_t$ at $p$ is given by : 
$R\_p^t=R\_p^0+t I\_p$ which will be invertible as an symmetric operator on $\Lambda^2T\_pM$ for all $t$ in some interval $(0,\varepsilon)$. Hence for $t\in (0,\varepsilon)$, we have that $R^t\_p(\Lambda^2T\_pM)=\mathfrak{so}(T\_pM)$. And hence $\mathrm{Hol}\_{g\_t}(p)=SO(n)$.


This should actually work for the non-orientable case too. (The image of any curve which reverse the orientation will give the rest of $O(n)$.)


Kähler case
===========


I think the proof below works however my knowledge of Kähler geometry is quite limited and I may have missed something.


First we need to understand the symmetries of the curvature tensor of a Kähler manifold $(X^m,\omega\_0,J)$ with $m=\dim\_\mathbb{C}X$. Its symmetries show that $R^0:\Lambda^2TM\to\Lambda^2TM$ vanishes on $(\Lambda^{1,1}TM)^\perp$ and thus can be viewed as a symmetric endomorphism $K^0:\Lambda^{1,1}TM\to \Lambda^{1,1}TM$ which we call the Kähler curvature operator. The holonomy algebra $\mathfrak{hol}\_{g\_0}(p)$ will contain $K^0(\Lambda^{1,1}TM)$. Note that $\Lambda^{1,1}TM\simeq\mathfrak{u}(m)$.


The Kähler curvature operator of $\mathbb{CP}^m$ is given by (Besse) :
$$I=(m+1)\mathrm{Id}\_{\mathbb{R}\omega\_0}+\mathrm{Id}\_{(\mathbb{R}\omega\_0)^\perp}. $$ 


The equivalent of the Theorem above should be (I haven't been able to locate a reference) :



> 
> **Theorem :** Let $g$ be a Kähler metric on $\mathbb{C}^m$ such that :
>  $$ g=\delta\_{i\bar{j}}dz^i\otimes d\bar{z}^{j}+\tfrac{1}{3}\left(A\_{i\bar{k}\bar{j}l}\bar{z}^kz^ldz^i\otimes d\bar{z}^{j}\right)+O(\|z\|^3)$$
>  Then the $(4,0)$-curvature tensor of $g$ a the origin is given by $A\_{i\bar{k}\bar{j}l}dz^i\otimes d\bar{z}^k\otimes d\bar{z}^j\otimes dx^l$.
> 
> 
> 


*(Take my indexed formula with a grain of salt here, they might not be exactly the right one. The main point is that if the metric is of the form euclidean plus something of order 2, then this second order term is exactly the curvature; just as in the Riemannian case.)*


We can find holomorphic coordinates on $(X,J)$ $(z^1,\dots,z^m)$ such that
$g\_0$ has an expansion as above around $p\in X$. (There existence is proven by Moroianu in Lectures on Kähler Geometry.)


Now consider deformations of $(X,\omega\_0,J)$ of the form $\omega\_t=\omega\_0+ti\partial\bar\partial\varphi$, where $\varphi(z)=\ln(1+|z|^2)$ near $p$ (this is the potential of the Fubini Study metric). We have the following expansion around $p$ for the associated metric :
$$ g\_t=(1+t)\delta\_{ij}dz^i\otimes d\bar{z}^{j}+\tfrac{1}{3}\left((K^0+tI)\_{i\bar{k}\bar{j}l}\bar{z}^kz^ldz^i\otimes d\bar{z}^{j}\right)+O(\|z\|^3)$$.


So the Kähler curvature operator $K^t$ of $g\_t$ at $p$ will be (some multiple of) $K^0+tI$, which will be invertible on $\Lambda^{1,1}$ for $t\in(0,\varepsilon)$. Hence $K^t(\Lambda^{1,1})=\Lambda^{1,1}$ and $\mathfrak{hol}\_{g\_t}(p)=\mathfrak{u}(m)$ thus $\mathrm{Hol}\_{g\_t}(p)=U(m)$.


