I tried to use Cartan's moving frames method to prove that any minimizing-length curve in $\mathbb{R}^2$ has zero curvature. Here below is my idea of proof. I am asking for a proof-verification and for some specific doubts.
The set of all orthonormal frames could be identified with the euclidean plane group $E(2)$. We have the principal bundle $\pi: E(2) \to \mathbb{R}^2$.
We fix two points $A, B \in \mathbb{R}^2$ and suppose that it exists a 1-manifold $C \subseteq \mathbb{R}^2$ such that $\partial C = \{A, B\}$ and $C$ has minimal length.
It exists $f: C \to E(2)$ such that $\pi f = \text{id}_C$ and $f^*\omega^2 = 0$. This is the classic Frenet-Serret-Cartan frame associated to a curve and we have two possible choice for the orientation. We define $F = f(C) \cong C$. We have that $\int_C f^*\omega^1$ is minimum because $C$ has minimal length.
We consider a variation with fixed end-points in $\mathbb{R}^2$, i.e. a vector field $X \in \mathfrak{X}(\mathbb{R}^2)$ such that $X_A = X_B = 0$. Let be $\phi_t: \mathbb{R}^2 \to \mathbb{R}^2$ the flow of $X$ for $t \in (-\epsilon, \epsilon)$. We define the variations of $C$ as $C_t = \phi_t(C) \cong C$. For each $C_t$ it exists the unique frame $f_t: C_t \to E(2)$ such that $\pi f = \text{id}_{C_t}$, $f_t^*\omega^2 = 0$ and $f_t$ has the same orientiation of $f$. Obviously we have that $C_0 = C$ and $f_0 = f$.
Because $C$ has minimal length we have that $\frac{\text{d}}{\text{d}t}\int_{C_t}f_t^*\omega^1|_{t=0} = 0$ and so that $\frac{\text{d}}{\text{d}t}\int_{F}(f_t\phi_t\pi)^*\omega^1|_{t=0} = 0$ after a change of variable. If we define $Y: F \to TE(2)$ such that $Y(p) = \frac{\partial}{\partial t}(f_t\phi_t\pi)(p)\big|_{t=0}$ we have that
0 = $\frac{\text{d}}{\text{d}t}\int_{F}(f_t\phi_t\pi)^*\omega^1|_{t=0} = \int_{F}\frac{\partial}{\partial t}(f_t\phi_t\pi)^*\omega^1|_{t=0} = \int_{F}\mathcal{L}_Y\omega^1 = \int_{\partial F}i_Y\omega^1 + \int_F i_Y\text{d}\omega^1$
I think that the first integral vanishes. In fact I guess that $T\pi \circ Y = X \circ \pi$ so $T\pi \circ Y(\partial F) = X \circ \pi (\partial F) = X (\partial C) = 0$. Hence $0 = \omega^1(Y) = i_Y\omega^1$ on $\partial F$.
For the second integral we have that $\text{d}\omega^1 = \omega^1_2\wedge\omega^2$ and so $i_Y\text{d}\omega^1 = Y^1_2\omega^2 - Y^2\omega^1_2$ where $Y^1, Y^2, Y^1_2$ are the local components of $Y$. Because $\omega^2$ on $F$ vanishes we have that $0 = - \int_FY^2\omega^1_2 = - \int_F Y^2 k \omega^1$ where $k: F \to \mathbb{R}$ is the curvature of $C$. Because $Y^2$ depends only of $X^2$ and $X^2$ could be choosen randomly and also because $\omega^1 \neq 0$ always we can conclude that $k = 0$.
My really first question is: is this proof correct?
My doubts regarding the proof are:
- Does $f_t$ always exist? More important: is it $\mathcal{C}^\infty$ in $t$?
- Does Lie derivative definition work for $Y$ even if $Y$ is defined only on $F$ and not on all $E(2)$?
- Are $X$ and $Y$ $\pi$-related? Is true that $i_Y\omega^1$ vanishes on $\partial F$?
- Is true and $Y^2$ could be everything and $Y^2(p) = X^2(\pi(p))$? Can we conclude that it is necessary that $k=0$ if the integral vanishes for all $Y^2$?
Other questions regard possible generalizations:
- Can we modify this proof for $C$ not being a $1$-manifold but a parametrized curve?
- Does this proof work for a 2 Riemannian manifold with principal bundle of orthonormal frames $\pi: O(M) \to M$ and the Levi-Civita connection $\omega^1_2$?
- Can we avoid using local components of $Y$ in the proof? Because maybe this could be a problem if the topology of $O(M)$ is more complicated of those of $E(2) \cong \mathbb{R}^2 \times \mathbb{S}^1$.