Statements (28)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:mathematical_concept
                                        
                                         | 
                            
| gptkbp:field | 
                                    
                                        
                                            gptkb:algebraic_geometry
                                        
                                         gptkb:topology representation theory  | 
                            
| gptkbp:generalizes | 
                                    
                                        
                                            
                                            finite-dimensional Grassmannian
                                        
                                        
                                         | 
                            
| gptkbp:hasProperty | 
                                    
                                        
                                            
                                            infinite-dimensional
                                        
                                        
                                         ind-projective stratified by Schubert cells  | 
                            
| gptkbp:originatedIn | 
                                    
                                        
                                            
                                            G((t))/G[[t]]
                                        
                                        
                                         loop group quotient by positive loop group  | 
                            
| gptkbp:relatedTo | 
                                    
                                        
                                            gptkb:algebraic_geometry
                                        
                                         gptkb:Schubert_varieties gptkb:Tannakian_category gptkb:moduli_space loop group perverse sheaves affine flag variety  | 
                            
| gptkbp:structure | 
                                    
                                        
                                            
                                            ind-scheme
                                        
                                        
                                         | 
                            
| gptkbp:studiedBy | 
                                    
                                        
                                            gptkb:Vladimir_Drinfeld
                                        
                                         gptkb:Alexander_Beilinson gptkb:Ivan_Mirković gptkb:Kari_Vilonen  | 
                            
| gptkbp:usedIn | 
                                    
                                        
                                            gptkb:Langlands_program
                                        
                                         geometric representation theory geometric Satake correspondence  | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:geometric_Satake_equivalence
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            8
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            affine Grassmannian
                                        
                                        
                                         |