Line bundle

<h2 id="the-tautological-bundle-on-projective-space">The tautological bundle on projective space</h2>
<p class="note">Main article: <a href="/facts/Tautological_line_bundle/Vc2CmshX">Tautological line bundle</a></p>
<p>One of the most important line bundles in algebraic geometry is the tautological line bundle on <a href="/facts/Projective_space/7MSpA9cM">projective space</a>. The <a href="/facts/Projectivization/KB2shv7I">projectivization</a> 
  
    
      
        
          P
        
        (
        V
        )
      
    
    {\displaystyle \mathbf {P} (V)}
  
 of a vector space 
  
    
      
        V
      
    
    {\displaystyle V}
  
 over a field 
  
    
      
        k
      
    
    {\displaystyle k}
  
 is defined to be the quotient of 
  
    
      
        V
        ∖
        {
        0
        }
      
    
    {\displaystyle V\setminus \{0\}}
  
 by the action of the multiplicative group 
  
    
      
        
          k
          
            ×
          
        
      
    
    {\displaystyle k^{\times }}
  
. Each point of 
  
    
      
        
          P
        
        (
        V
        )
      
    
    {\displaystyle \mathbf {P} (V)}
  
 therefore corresponds to a copy of 
  
    
      
        
          k
          
            ×
          
        
      
    
    {\displaystyle k^{\times }}
  
, and these copies of 
  
    
      
        
          k
          
            ×
          
        
      
    
    {\displaystyle k^{\times }}
  
 can be assembled into a 
  
    
      
        
          k
          
            ×
          
        
      
    
    {\displaystyle k^{\times }}
  
-bundle over 
  
    
      
        
          P
        
        (
        V
        )
      
    
    {\displaystyle \mathbf {P} (V)}
  
. But 
  
    
      
        
          k
          
            ×
          
        
      
    
    {\displaystyle k^{\times }}
  
 differs from 
  
    
      
        k
      
    
    {\displaystyle k}
  
 only by a single point, and by adjoining that point to each fiber, we get a line bundle on 
  
    
      
        
          P
        
        (
        V
        )
      
    
    {\displaystyle \mathbf {P} (V)}
  
. This line bundle is called the tautological line bundle. This line bundle is sometimes denoted 
  
    
      
        
          
            O
          
        
        (
        −
        1
        )
      
    
    {\displaystyle {\mathcal {O}}(-1)}
  
 since it corresponds to the dual of the <a href="/facts/Serre_twisting_sheaf/gcvPmjpU">Serre twisting sheaf</a> 
  
    
      
        
          
            O
          
        
        (
        1
        )
      
    
    {\displaystyle {\mathcal {O}}(1)}
  
.
</p>
<h3>Maps to projective space</h3>
<p>Suppose that 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is a space and that 
  
    
      
        L
      
    
    {\displaystyle L}
  
 is a line bundle on 
  
    
      
        X
      
    
    {\displaystyle X}
  
. A global section of 
  
    
      
        L
      
    
    {\displaystyle L}
  
 is a function 
  
    
      
        s
        :
        X
        →
        L
      
    
    {\displaystyle s:X\to L}
  
 such that if 
  
    
      
        p
        :
        L
        →
        X
      
    
    {\displaystyle p:L\to X}
  
 is the natural projection, then 
  
    
      
        p
        ∘
        s
        =
        
          id
          
            X
          
        
      
    
    {\displaystyle p\circ s=\operatorname {id} _{X}}
  
.  In a small neighborhood 
  
    
      
        U
      
    
    {\displaystyle U}
  
 in 
  
    
      
        X
      
    
    {\displaystyle X}
  
 in which 
  
    
      
        L
      
    
    {\displaystyle L}
  
 is trivial, the total space of the line bundle is the product of 
  
    
      
        U
      
    
    {\displaystyle U}
  
 and the underlying field 
  
    
      
        k
      
    
    {\displaystyle k}
  
, and the section 
  
    
      
        s
      
    
    {\displaystyle s}
  
 restricts to a function 
  
    
      
        U
        →
        k
      
    
    {\displaystyle U\to k}
  
. However, the values of 
  
    
      
        s
      
    
    {\displaystyle s}
  
 depend on the choice of trivialization, and so they are determined only up to multiplication by a nowhere-vanishing function.
</p><p>Global sections determine maps to projective spaces in the following way: Choosing 
  
    
      
        r
        +
        1
      
    
    {\displaystyle r+1}
  
 not all zero points in a fiber of 
  
    
      
        L
      
    
    {\displaystyle L}
  
 chooses a fiber of the tautological line bundle on 
  
    
      
        
          
            P
          
          
            r
          
        
      
    
    {\displaystyle \mathbf {P} ^{r}}
  
, so choosing 
  
    
      
        r
        +
        1
      
    
    {\displaystyle r+1}
  
 non-simultaneously vanishing global sections of 
  
    
      
        L
      
    
    {\displaystyle L}
  
 determines a map from 
  
    
      
        X
      
    
    {\displaystyle X}
  
 into projective space 
  
    
      
        
          
            P
          
          
            r
          
        
      
    
    {\displaystyle \mathbf {P} ^{r}}
  
. This map sends the fibers of 
  
    
      
        L
      
    
    {\displaystyle L}
  
 to the fibers of the dual of the tautological bundle. More specifically, suppose that 
  
    
      
        
          s
          
            0
          
        
        ,
        …
        ,
        
          s
          
            r
          
        
      
    
    {\displaystyle s_{0},\dots ,s_{r}}
  
 are global sections of 
  
    
      
        L
      
    
    {\displaystyle L}
  
. In a small neighborhood 
  
    
      
        U
      
    
    {\displaystyle U}
  
 in 
  
    
      
        X
      
    
    {\displaystyle X}
  
, these sections determine 
  
    
      
        k
      
    
    {\displaystyle k}
  
-valued functions on 
  
    
      
        U
      
    
    {\displaystyle U}
  
 whose values depend on the choice of trivialization. However, they are determined up to <i>simultaneous</i> multiplication by a non-zero function, so their ratios are well-defined. That is, over a point 
  
    
      
        x
      
    
    {\displaystyle x}
  
, the values 
  
    
      
        
          s
          
            0
          
        
        (
        x
        )
        ,
        …
        ,
        
          s
          
            r
          
        
        (
        x
        )
      
    
    {\displaystyle s_{0}(x),\dots ,s_{r}(x)}
  
are not well-defined because a change in trivialization will multiply them each by a non-zero constant λ. But it will multiply them by the <i>same</i> constant λ, so the <a href="/facts/Homogeneous_coordinates/TG9ebKN4">homogeneous coordinates</a> 
  
    
      
        [
        
          s
          
            0
          
        
        (
        x
        )
        :
        ⋯
        :
        
          s
          
            r
          
        
        (
        x
        )
        ]
      
    
    {\displaystyle [s_{0}(x):\dots :s_{r}(x)]}
  
 are well-defined as long as the sections 
  
    
      
        
          s
          
            0
          
        
        ,
        …
        ,
        
          s
          
            r
          
        
      
    
    {\displaystyle s_{0},\dots ,s_{r}}
  
 do not simultaneously vanish at 
  
    
      
        x
      
    
    {\displaystyle x}
  
.  Therefore, if the sections never simultaneously vanish, they determine a form 
  
    
      
        [
        
          s
          
            0
          
        
        :
        ⋯
        :
        
          s
          
            r
          
        
        ]
      
    
    {\displaystyle [s_{0}:\dots :s_{r}]}
  
 which gives a map from 
  
    
      
        X
      
    
    {\displaystyle X}
  
 to 
  
    
      
        
          
            P
          
          
            r
          
        
      
    
    {\displaystyle \mathbf {P} ^{r}}
  
, and the pullback of the dual of the tautological bundle under this map is 
  
    
      
        L
      
    
    {\displaystyle L}
  
. In this way, projective space acquires a <a href="/facts/Universal_property/5XJBYMNz">universal property</a>.
</p><p>The universal way to determine a map to projective space is to map to the projectivization of the vector space of all sections of 
  
    
      
        L
      
    
    {\displaystyle L}
  
. In the topological case, there is a non-vanishing section at every point which can be constructed using a bump function which vanishes outside a small neighborhood of the point. Because of this, the resulting map is defined everywhere. However, the codomain is usually far, far too big to be useful. The opposite is true in the algebraic and holomorphic settings. Here the space of global sections is often finite dimensional, but there may not be any non-vanishing global sections at a given point. (As in the case when this procedure constructs a <a href="/facts/Lefschetz_pencil/qBwPNRzI">Lefschetz pencil</a>.) In fact, it is possible for a bundle to have no non-zero global sections at all; this is the case for the tautological line bundle. When the line bundle is sufficiently ample this construction verifies the <a href="/facts/Kodaira_embedding_theorem/0MXcAdz5">Kodaira embedding theorem</a>.
</p>
<h2 id="determinant-bundles">Determinant bundles</h2>
<p class="note">See also: <a href="/facts/Quillen_metric/G2uvoC5W">Quillen metric § Determinant line bundle of a family of operators</a></p>
<p>In general if 
  
    
      
        V
      
    
    {\displaystyle V}
  
 is a vector bundle on a space 
  
    
      
        X
      
    
    {\displaystyle X}
  
, with constant fibre dimension 
  
    
      
        n
      
    
    {\displaystyle n}
  
, the 
  
    
      
        n
      
    
    {\displaystyle n}
  
-th <a href="/facts/Exterior_power/rdN4TvpR">exterior power</a> of 
  
    
      
        V
      
    
    {\displaystyle V}
  
 taken fibre-by-fibre is a line bundle, called the determinant line bundle. This construction is in particular applied to the <a href="/facts/Cotangent_bundle/dewBXXxr">cotangent bundle</a> of a <a href="/facts/Smooth_manifold/aSnbXKcV">smooth manifold</a>. The resulting determinant bundle is responsible for the phenomenon of <a href="/facts/Tensor_density/XF4gqBCM">tensor densities</a>, in the sense that for an <a href="/facts/Orientable_manifold/1SEQM2Pt">orientable manifold</a> it has a nonvanishing global section, and its tensor powers with any real exponent may be defined and used to 'twist' any vector bundle by <a href="/facts/Tensor_product/7K3pR1ap">tensor product</a>.
</p><p>The same construction (taking the top exterior power) applies to a <a href="/facts/Finitely_generated_module/6Njcpgzr">finitely generated</a> <a href="/facts/Projective_module/lHymqhNC">projective module</a> 
  
    
      
        M
      
    
    {\displaystyle M}
  
 over a Noetherian domain and the resulting invertible module is called the determinant module of 
  
    
      
        M
      
    
    {\displaystyle M}
  
.
</p>
<h2 id="characteristic-classes-universal-bundles-and-classifying-spaces">Characteristic classes, universal bundles and classifying spaces</h2>
<p>The first <a href="/facts/Stiefel%E2%80%93Whitney_class/H3f972We">Stiefel–Whitney class</a> classifies smooth real line bundles; in particular, the collection of (equivalence classes of) real line bundles are in correspondence with elements of the first cohomology with 
  
    
      
        
          Z
        
        
          /
        
        2
        
          Z
        
      
    
    {\displaystyle \mathbb {Z} /2\mathbb {Z} }
  
 coefficients; this correspondence is in fact an isomorphism of abelian groups (the  group operations being tensor product of line bundles and the usual addition on cohomology).  Analogously, the first <a href="/facts/Chern_class/Tw2WD5hM">Chern class</a> classifies smooth complex line bundles on a space, and the group of line bundles is isomorphic to the second cohomology class with integer coefficients.  However, bundles can have equivalent <a href="/facts/Smooth_structure/lfvfhqxr">smooth structures</a> (and thus the same first Chern class) but different holomorphic structures.  The Chern class statements are easily proven using the <a href="/facts/Exponential_sequence/7apRHy9o">exponential sequence</a> of <a href="/facts/Sheaf_(mathematics)/MM3hcRw4">sheaves</a> on the manifold.
</p><p>One can more generally view the classification problem from a homotopy-theoretic point of view.  There is a universal bundle for real line bundles, and a universal bundle for complex line bundles. According to general theory about <a href="/facts/Classifying_space/gGIAmhtL">classifying spaces</a>, the heuristic is to look for <a href="/facts/Contractible/REXYj8uS">contractible</a> spaces on which there are <a href="/facts/Group_action_(mathematics)/Vh9VtUUw">group actions</a> of the respective groups 
  
    
      
        
          C
          
            2
          
        
      
    
    {\displaystyle C_{2}}
  
 and 
  
    
      
        
          S
          
            1
          
        
      
    
    {\displaystyle S^{1}}
  
, that are free actions. Those spaces can serve as the universal <a href="/facts/Principal_bundle/bbB2D94B">principal bundles</a>, and the quotients for the actions as the classifying spaces 
  
    
      
        B
        G
      
    
    {\displaystyle BG}
  
. In these cases we can find those explicitly, in the infinite-dimensional analogues of real and complex <a href="/facts/Projective_space/7MSpA9cM">projective space</a>.
</p><p>Therefore the classifying space 
  
    
      
        B
        
          C
          
            2
          
        
      
    
    {\displaystyle BC_{2}}
  
 is of the homotopy type of 
  
    
      
        
          R
        
        
          
            P
          
          
            ∞
          
        
      
    
    {\displaystyle \mathbb {R} \mathbf {P} ^{\infty }}
  
, the real projective space given by an infinite sequence of <a href="/facts/Homogeneous_coordinates/TG9ebKN4">homogeneous coordinates</a>. It carries the universal real line bundle; in terms of homotopy theory that means that any real line bundle 
  
    
      
        L
      
    
    {\displaystyle L}
  
 on a <a href="/facts/CW_complex/rN7buLMo">CW complex</a> 
  
    
      
        X
      
    
    {\displaystyle X}
  
 determines a <i>classifying map</i> from 
  
    
      
        X
      
    
    {\displaystyle X}
  
 to 
  
    
      
        
          R
        
        
          
            P
          
          
            ∞
          
        
      
    
    {\displaystyle \mathbb {R} \mathbf {P} ^{\infty }}
  
, making 
  
    
      
        L
      
    
    {\displaystyle L}
  
 a bundle isomorphic to the pullback of the universal bundle. This classifying map can be used to define the <a href="/facts/Stiefel-Whitney_class/H3f972We">Stiefel-Whitney class</a> of 
  
    
      
        L
      
    
    {\displaystyle L}
  
, in the first cohomology of 
  
    
      
        X
      
    
    {\displaystyle X}
  
 with 
  
    
      
        
          Z
        
        
          /
        
        2
        
          Z
        
      
    
    {\displaystyle \mathbb {Z} /2\mathbb {Z} }
  
 coefficients, from a standard class on 
  
    
      
        
          R
        
        
          
            P
          
          
            ∞
          
        
      
    
    {\displaystyle \mathbb {R} \mathbf {P} ^{\infty }}
  
.
</p><p>In an analogous way, the complex projective space 
  
    
      
        
          C
        
        
          
            P
          
          
            ∞
          
        
      
    
    {\displaystyle \mathbb {C} \mathbf {P} ^{\infty }}
  
 carries a universal complex line bundle. In this case classifying maps give rise to the first <a href="/facts/Chern_class/Tw2WD5hM">Chern class</a> of 
  
    
      
        X
      
    
    {\displaystyle X}
  
, in 
  
    
      
        
          H
          
            2
          
        
        (
        X
        )
      
    
    {\displaystyle H^{2}(X)}
  
 (integral cohomology).
</p><p>There is a further, analogous theory with <a href="/facts/Quaternion/T3tnu7mX">quaternionic</a> (real dimension four) line bundles. This gives rise to one of the <a href="/facts/Pontryagin_class/TIFceC5j">Pontryagin classes</a>, in real four-dimensional cohomology.
</p><p>In this way foundational cases for the theory of <a href="/facts/Characteristic_class/A6NV9tUu">characteristic classes</a> depend only on line bundles. According to a general <a href="/facts/Splitting_principle/6Q3RNDjN">splitting principle</a> this can determine the rest of the theory (if not explicitly).
</p><p>There are theories of <a href="/facts/Holomorphic_line_bundle/FeRrK9Bg">holomorphic line bundles</a> on <a href="/facts/Complex_manifold/DlvPnpzm">complex manifolds</a>, and <a href="/facts/Invertible_sheaf/D8RxXPEd">invertible sheaves</a> in <a href="/facts/Algebraic_geometry/rh7RHVp3">algebraic geometry</a>, that work out a line bundle theory in those areas.
</p>
<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/I-bundle/lT2qq9yf">I-bundle</a></li>
<li><a href="/facts/Ample_line_bundle/XRQKvXGD">Ample line bundle</a></li>
<li><a href="/facts/Line_field/dpCcL09q">Line field</a></li></ul>

<h2 id="notes">Notes</h2>

<ul><li>Michael Murray, <a href="http://www.maths.adelaide.edu.au/michael.murray/line_bundles.pdf">Line Bundles</a>, 2002 (PDF web link)</li>
<li><a href="/facts/Robin_Hartshorne/mCBLyIW6">Robin Hartshorne</a>. <i><a href="https://books.google.com/books?id=4pieAwAAQBAJ&q=%22Line+bundle%22">Algebraic geometry</a></i>. AMS Bookstore, 1975. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-8218-1429-1</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Hartshorne (1975). Algebraic Geometry, Arcata 1974. p. 7. <a href="https://books.google.com/books?id=eICMfNiDdigC&pg=PA7&dq=%22line+bundle%22" target="_blank">https://books.google.com/books?id=eICMfNiDdigC&pg=PA7&dq=%22line+bundle%22</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
</ol>

Line bundle open-in-new

Line bundle