1. PF Insights is off to a great start! Fresh and interesting articles on all things science and math. Here: PF Insights

How arbitrary are connections?

  1. Matterwave

    Matterwave 3,852
    Science Advisor
    Gold Member

    Suppose that I have a differentiable manifold M on which I don't define a metric. I wish to define an affine connection on that manifold that will allow me to parallel transport vectors from one tangent space of that manifold to another tangent space.

    How arbitrary can I make my choice?

    I do know that connections must transform correctly under coordinate transformations in order to keep my vector still a vector if I transport it, but is that it? Are there other restrictions on how I can choose my connection?

    For example, we see pictures of parallel transport on the two sphere and because we can see the 2 sphere embedded in 3-D space, we can "intuit" what parallel transport would be like on that sphere. However, am I confined to that choice? Could I define an affine connection on a two sphere (given no metric, so I don't have to worry about compatibility issues) that would parallel transport vectors completely unintuitively to how I "would" do it from my 3-D perspective? Could I make the vectors twist and turn in weird fashion?

    It seems to me that the affine connection is quite arbitrary; however, I have also seen equations that link it to how basis vectors "twist and turn" as we move throughout the manifold, so I am confused on really how arbitrary it is.

    Perhaps I am too reliant on bases? @_@
     
  2. jcsd
  3. Ben Niehoff

    Ben Niehoff 1,699
    Science Advisor
    Gold Member

    Generically speaking, a connection is a matrix-valued 1-form [itex]\omega^a{}_b[/itex] (actually, Lie algebra-valued). Then the covariant derivative of a vector field [itex]X = X^a \, e_b[/itex] is written

    [tex]\nabla X = (d X^a + \omega^a{}_b X^b) \otimes e_a[/tex]

    where [itex]e_a[/itex] is any frame (i.e., a differentiable choice of basis at every point in some open patch).

    In principle the only restriction on the matrix [itex]\omega^a{}_b[/itex] is that it be invertible; i.e. [itex]\omega^a{}_b \in \mathfrak{gl}(n, \mathbb{R})[/itex]. There may be further restrictions due to global topology of the manifold, to insure that the connection is continuous everywhere.
     
  4. Matterwave

    Matterwave 3,852
    Science Advisor
    Gold Member

    But, other than those pretty general restrictions, I am free to choose them however I want? In what sense is the connection giving me a "parallel' transport then, if it's so arbitrary?
     
  5. Ben Niehoff

    Ben Niehoff 1,699
    Science Advisor
    Gold Member

    A connection gives you the definition of "parallel". The point is that you can define "parallel" however you want.

    There are other nice properties you can ask for, such as

    1. Torsion-free (i.e. vectors do not twist helically around paths)

    2. Volume-preserving (i.e., having a symmetric Ricci tensor)

    3. Length-preserving (i.e., metric compatibility)
     
  6. Matterwave

    Matterwave 3,852
    Science Advisor
    Gold Member

    I see...thanks. =]
     
Know someone interested in this topic? Share a link to this question via email, Google+, Twitter, or Facebook

Have something to add?