Classifying space for SU(n)

<h2 id="definition">Definition</h2>
<p>There is a canonical inclusion of complex oriented Grassmannians given by 
  
    
      
        
          
            
              
                Gr
                ~
              
            
          
          
            n
          
        
        (
        
          
            C
          
          
            k
          
        
        )
        ↪
        
          
            
              
                Gr
                ~
              
            
          
          
            n
          
        
        (
        
          
            C
          
          
            k
            +
            1
          
        
        )
        ,
        V
        ↦
        V
        ×
        {
        0
        }
      
    
    {\displaystyle {\widetilde {\operatorname {Gr} }}_{n}(\mathbb {C} ^{k})\hookrightarrow {\widetilde {\operatorname {Gr} }}_{n}(\mathbb {C} ^{k+1}),V\mapsto V\times \{0\}}
  
. Its colimit is:
</p><p>
  
    
      
        BSU
        ⁡
        (
        n
        )
        :=
        
          
            
              
                Gr
                ~
              
            
          
          
            n
          
        
        (
        
          
            C
          
          
            ∞
          
        
        )
        :=
        
          lim
          
            n
            →
            ∞
          
        
        
          
            
              
                Gr
                ~
              
            
          
          
            n
          
        
        (
        
          
            C
          
          
            k
          
        
        )
        .
      
    
    {\displaystyle \operatorname {BSU} (n):={\widetilde {\operatorname {Gr} }}_{n}(\mathbb {C} ^{\infty }):=\lim _{n\rightarrow \infty }{\widetilde {\operatorname {Gr} }}_{n}(\mathbb {C} ^{k}).}

</p><p>Since real oriented Grassmannians can be expressed as a <a href="/facts/Homogeneous_space/YGebqcJA">homogeneous space</a> by:
</p>

Gr
                ~
              
            
          
          
            n
          
        
        (
        
          
            C
          
          
            k
          
        
        )
        =
        SU
        ⁡
        (
        n
        +
        k
        )
        
          /
        
        (
        SU
        ⁡
        (
        n
        )
        ×
        SU
        ⁡
        (
        k
        )
        )
      
    
    {\displaystyle {\widetilde {\operatorname {Gr} }}_{n}(\mathbb {C} ^{k})=\operatorname {SU} (n+k)/(\operatorname {SU} (n)\times \operatorname {SU} (k))}

<p>the group structure carries over to 
  
    
      
        BSU
        ⁡
        (
        n
        )
      
    
    {\displaystyle \operatorname {BSU} (n)}
  
.
</p>
<h2 id="simplest-classifying-spaces">Simplest classifying spaces</h2>
<ul><li>Since 
  
    
      
        SU
        ⁡
        (
        1
        )
        ≅
        1
      
    
    {\displaystyle \operatorname {SU} (1)\cong 1}
  
 is the <a href="/facts/Trivial_group/XPjQkQFm">trivial group</a>, 
  
    
      
        BSU
        ⁡
        (
        1
        )
        ≅
        {
        ∗
        }
      
    
    {\displaystyle \operatorname {BSU} (1)\cong \{*\}}
  
 is the trivial topological space.</li></ul>
<ul><li>Since 
  
    
      
        SU
        ⁡
        (
        2
        )
        ≅
        Sp
        ⁡
        (
        1
        )
      
    
    {\displaystyle \operatorname {SU} (2)\cong \operatorname {Sp} (1)}
  
, one has 
  
    
      
        BSU
        ⁡
        (
        2
        )
        ≅
        BSp
        ⁡
        (
        1
        )
        ≅
        
          H
        
        
          P
          
            ∞
          
        
      
    
    {\displaystyle \operatorname {BSU} (2)\cong \operatorname {BSp} (1)\cong \mathbb {H} P^{\infty }}
  
.</li></ul>
<h2 id="classification-of-principal-bundles">Classification of principal bundles</h2>
<p>Given a <a href="/facts/Topological_space/v2ut7CbK">topological space</a> 
  
    
      
        X
      
    
    {\displaystyle X}
  
 the set of 
  
    
      
        SU
        ⁡
        (
        n
        )
      
    
    {\displaystyle \operatorname {SU} (n)}
  
 principal bundles on it up to isomorphism is denoted 
  
    
      
        
          Prin
          
            SU
            ⁡
            (
            n
            )
          
        
        ⁡
        (
        X
        )
      
    
    {\displaystyle \operatorname {Prin} _{\operatorname {SU} (n)}(X)}
  
. If 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is a <a href="/facts/CW_complex/rN7buLMo">CW complex</a>, then the map:<a class="footnote-ref" id="fnref:1" href="#fn:1"><sup>1</sup></a>
</p>

[
        X
        ,
        BSU
        ⁡
        (
        n
        )
        ]
        →
        
          Prin
          
            SU
            ⁡
            (
            n
            )
          
        
        ⁡
        (
        X
        )
        ,
        [
        f
        ]
        ↦
        
          f
          
            ∗
          
        
        ESU
        ⁡
        (
        n
        )
      
    
    {\displaystyle [X,\operatorname {BSU} (n)]\rightarrow \operatorname {Prin} _{\operatorname {SU} (n)}(X),[f]\mapsto f^{*}\operatorname {ESU} (n)}

<p>is <a href="/facts/Bijection/ayC7YE3z">bijective</a>.
</p>
<h2 id="cohomology-ring">Cohomology ring</h2>
<p>The <a href="/facts/Cohomology_ring/eyUR2o1d">cohomology ring</a> of 
  
    
      
        BSU
        ⁡
        (
        n
        )
      
    
    {\displaystyle \operatorname {BSU} (n)}
  
 with coefficients in the <a href="/facts/Ring_(mathematics)/JnCUXz63">ring</a> 
  
    
      
        
          Z
        
      
    
    {\displaystyle \mathbb {Z} }
  
 of <a href="/facts/Integer/PUwwrawx">integers</a> is generated by the <a href="/facts/Chern_class/Tw2WD5hM">Chern classes</a>:<a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a>
</p>

H
          
            ∗
          
        
        (
        BSU
        ⁡
        (
        n
        )
        ;
        
          Z
        
        )
        =
        
          Z
        
        [
        
          c
          
            2
          
        
        ,
        …
        ,
        
          c
          
            n
          
        
        ]
        .
      
    
    {\displaystyle H^{*}(\operatorname {BSU} (n);\mathbb {Z} )=\mathbb {Z} [c_{2},\ldots ,c_{n}].}

<h2 id="infinite-classifying-space">Infinite classifying space</h2>
<p>The canonical inclusions 
  
    
      
        SU
        ⁡
        (
        n
        )
        ↪
        SU
        ⁡
        (
        n
        +
        1
        )
      
    
    {\displaystyle \operatorname {SU} (n)\hookrightarrow \operatorname {SU} (n+1)}
  
 induce canonical inclusions 
  
    
      
        BSU
        ⁡
        (
        n
        )
        ↪
        BSU
        ⁡
        (
        n
        +
        1
        )
      
    
    {\displaystyle \operatorname {BSU} (n)\hookrightarrow \operatorname {BSU} (n+1)}
  
 on their respective classifying spaces. Their respective colimits are denoted as:
</p>

SU
        :=
        
          lim
          
            n
            →
            ∞
          
        
        SU
        ⁡
        (
        n
        )
        ;
      
    
    {\displaystyle \operatorname {SU} :=\lim _{n\rightarrow \infty }\operatorname {SU} (n);}

BSU
        :=
        
          lim
          
            n
            →
            ∞
          
        
        BSU
        ⁡
        (
        n
        )
        .
      
    
    {\displaystyle \operatorname {BSU} :=\lim _{n\rightarrow \infty }\operatorname {BSU} (n).}

<p>
  
    
      
        BSU
      
    
    {\displaystyle \operatorname {BSU} }
  
 is indeed the classifying space of 
  
    
      
        SU
      
    
    {\displaystyle \operatorname {SU} }
  
.
</p>
<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Classifying_space_for_O(n)/Y8zCs20t">Classifying space for O(n)</a></li>
<li><a href="/facts/Classifying_space_for_SO(n)/A9oTL144">Classifying space for SO(n)</a></li>
<li><a href="/facts/Classifying_space_for_U(n)/QvXR0kNz">Classifying space for U(n)</a></li></ul>
<h2 id="literature">Literature</h2>
<ul><li>Hatcher, Allen (2002). <a href="https://pi.math.cornell.edu/~hatcher/AT/ATpage.html"><i>Algebraic topology</i></a>. Cambridge: <a href="/facts/Cambridge_University_Press/fgEBSSRq">Cambridge University Press</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-521-79160-X.</li>
<li>Mitchell, Stephen (August 2001). <a href="https://math.mit.edu/~mbehrens/18.906/prin.pdf"><i>Universal principal bundles and classifying spaces</i></a> (PDF).{{cite book}}:  CS1 maint: year (link)</li></ul>
<h2 id="external-links">External links</h2>
<ul><li>classifying space on nLab</li>
<li>BSU(n) on nLab</li></ul>

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

<ol>
<li id="fn:1"><p>"universal principal bundle". nLab. Retrieved 2024-03-14. <a href="https://ncatlab.org/nlab/show/universal+principal+bundle" target="_blank">https://ncatlab.org/nlab/show/universal+principal+bundle</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Hatcher 02, Example 4D.7. <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
</ol>

Classifying space for SU(n) open-in-new

Classifying space for SU(n)