Posts

Geometry of submanifolds via moving frames

Consider, for simplicity, a 2-dimensional manifold \(\Sigma\) embedded into the 3-dimensional Riemannian manifold \((M,g)\), in such a way that the given frame \(\{e_1,e_2,e_3\}\) is adapted to \(\Sigma\), i.e., \(\omega^3|_{T\Sigma}=0\), where \(\omega^1,\omega^2,\omega^3\) is the dual coframe. The surface \(\Sigma\) inherits a Riemannian metric from the ambient manifold, with its corresponding Levi-Civita connection. We will denote by \(\tilde{\omega}^1,\tilde{\omega}^2\) the restrictions of \(\omega^1,\omega^2\) to \(T\Sigma\), and by \(\tilde{\Theta}\) and \(\tilde{\Omega}\) the connection forms and the curvature forms, respectively, of the inherited connection. According to Cartan's first structural equation , \[ d\omega^j=\omega^i \wedge \Theta^j_{\,\,i}. \] By restricting to \(\Sigma\) (and by the uniqueness of \(\tilde{\Theta}\)) we conclude that \[ \tilde{\Theta}^i_{\,\,j}=\Theta^i_{\,\,j} |_{T\Sigma}, \quad i,j=1,2, \] and that \[ 0= \tilde{\omega}^1\wedge\Theta^3_{\,\,1}

PhD Thesis Acknowledgement

Image
In April 2024 I defended my PhD Thesis, entitled: New methods for the integration of distributions of vector fields .  I want to share here the acknowledgement section: In reflecting upon the journey that led to the completion of this thesis, a famous phrase attributed to Isaac Newton comes to mind: "If I have seen further, it is by standing on the shoulders of giants". However, in my own judgement, this statement might be more accurately extended to include not only giants: "If I have seen further, it is by standing on the shoulders of giants - and ants ". Let me explain. The lesser-acknowledged, yet equally vital, contributions of numerous individuals have been the foundation upon which the academic progress has been built. These ants , often unnamed and unrecognized, are akin to the countless mathematicians whose quiet yet essential contributions have paved the way for larger discoveries. We can think of this using the analogy of the evaporation of a liquid, whe

Cinf-structures to integrate involutive distributions

Image
My collaborators and I have recently published two papers ( this one and this other ) in which  we develop a method to obtain the integral manifolds of involutive distributions. Exploring the integral manifolds of involutive distributions contributes to a broader understanding within differential geometry, an area with ties to many other mathematical branches. Furthermore, the study of these distributions and manifolds holds relevance in physics, especially within classical mechanics and field theory. A deeper grasp of these mathematical constructs can be beneficial for ongoing research in both mathematics and physics.  Given a distribution, for example \(\mathcal{Z}=\{Z_1,Z_2\}\) in \(\mathbb R^n\), the idea of our work is to complete it with a sequence of \(n-2\) vector fields \(Y_1, Y_2,Y_3,\ldots\) in such a way that - \(Y_1\) is a \(\mathcal{C}^{\infty}\)-symmetry of \(\mathcal{Z}\). - \(Y_2\) is a \(\mathcal{C}^{\infty}\)-symmetry of \(\mathcal{Z}\oplus \{X_1\}\). - \(Y_3\

Lax pair introduction

Finite degree of freedom Consider a nonlinear system of ODEs \[ \dot{x}_i=F_i, \] for example one arising in Hamiltonian mechanics , \[ \dot{p} = -\frac{\partial H}{\partial q}, \quad \dot{q} = \frac{\partial H}{\partial p}. \tag{1} \] A Lax pair for this system is a pair of matrices \(L\) and \(M\) that satisfy the Lax equation: \[ \frac{dL}{dt} = [L, M] \tag{2} \] where \([L, M] = LM - ML\) is the commutator of \(M\) and \(L\), and \(\frac{dL}{dt}\) is the time derivative of \(L\). The entries of \(L\) and \(M\) are typically expressed in terms of the variables \(x_i\), and we require that equation (1) is satisfied if and only if (2) is satisfied. The exact form of \(L\) and \(M\) depends on the specific system under consideration, and is not unique. For instance, in the case of the simple harmonic oscillator with Hamiltonian \(H = \frac{p^2}{2m} + \frac{1}{2}m\omega^2 q^2\), we can choose: \[ L = \begin{pmatrix} p/m & \omega q \\ \omega q & -p/m \end{pmatrix}, \qu

General covariance and contravariance (new version)

Image
Suppose that a group \(G\) acts transitively on a space \(X\). A transformation \(T\in G\) can be thought of indistinctly as either "moving" the objects in \(X\) or as a change of "point of view" in the following way: Suppose we have a comfortable, mathematically speaking, space with a distinguished point, \((S,s_0)\). We are going to think of \((\mathbb Z,0)\), for easy. Suppose also a bijection \(b_1:S\to X\) (in the line of reasoning of the notes homogeneous space#Intuitive approach and basis and change of basis ). It is better to think in terms of \(b_1^{-1}\). That is, for every \(x\in X\) we have a kind of "coordinates" \(s\) for \(x\), given by \(s=b_1^{-1}(x)\in S\). Think, for example, of a vector space \(V\) and the isomorphism \(b_1:\mathbb R^2 \to V\) (fixing a basis in \(V\)). We can think of this as our initial point of view , and we can imagine as if we were located at \(x_0=b_1(0)\in X\) with some devices to take measurements that let u

4-dimensional spheres, or haunting an ant

Image
In this post, we will try to explain a little bit what it feels like to live in a 4-dimensional world. First, we will see that we can enter the inside of a normal sphere without breaking the wall. And secondly, we will try to describe what we would feel if our world were not the classic 3D universe, known as \(\mathbb{R}^3\), but another 3-dimensional space called \(S^3\). But before we start, let's name things. The circles we all know have a more technical name for mathematicians: \(S^1\). On the other hand, a sphere (let's say, a ball) is called \(S^2\). This similarity in names is not accidental: since we were children, we intuitively knew that circles and spheres have something in common. In fact, they are "the same" except for the detail that circles are 1-dimensional (you can only move forward or backward), and spheres are 2-dimensional (if you lived in one, you could move forward-backward, but also left-right. Oops, actually, we live in one). Now let's

The Pleasure of Understanding

I know it's hard to understand why I spend so much time locked up, sitting, reading, and researching. It's a pleasure that's very difficult to describe to someone who hasn't experienced it firsthand, but I'd like to give it a try. Understanding something after spending a long time trying and failing is a feeling analogous to trying to peel a slightly unripe orange with no tools except your nails. Suppose, in addition, that your nails have just been cut, so you can't puncture the skin to start peeling. You turn the orange over and over, but you can't seem to get started. You try to puncture the skin, but your nail slips; the orange is still unripe, and the skin is very smooth. But one day, you discover a tiny hole in the skin of the orange, a fissure you hadn't noticed before. Maybe the orange has ripened with time, or maybe your nails have grown, but the fact is that this time you're able to peel off a tiny piece of skin. That feeling is indescribabl