Yahoo Search Búsqueda en la Web

Resultado de búsqueda

  1. Satake Category. PervGO(GrG, k ) GO-equivariant. k perverse sheaves on GrG with respect to the stratification by G0-orbits. Pf here. GrG G0 is an ind-variety and not a variety. is not of finite type. One overcomes these difficulties in the following way : ⊂ GrG G0 X if is a finite union of orbits, then.

  2. Finally, we mention some recent developments of the geometric Satake equivalence in mixed characteristic. In [40], Xinwen Zhu constructed the Witt vector affine Grassmannian as a moduli space for perfect schemes, and established a geometric Satake equivalence in mixed characteristic. The paper is later applied to Shimura

  3. 1 March 27, 2018. This class is about geometric Satake, which is one of the basic problems in geometric Langlands. When Googling earlier, I discovered that while there are many references on geometric Satake, there are only a few on classical Satake.

  4. 21 de mar. de 2017 · Abstract: These notes are devoted to a detailed exposition of the proof of the Geometric Satake Equivalence for general coefficients, following Mirkovic-Vilonen. Subjects: Representation Theory (math.RT)

    • Pierre Baumann, Simon Riche
    • arXiv:1703.07288 [math.RT]
    • 2017
    • Representation Theory (math.RT)
  5. The geometric Satake equivalence generalizes that fact in two directions: it works for any reductive group, not only GL n, and moreover it deals with the Hecke category instead of the orbits. Let’s rst discuss what happens for other groups. Our rst guess may be that G(O x)-

    • 677KB
    • 7
  6. Satake isomorphism1, which describes the ring of GLn(O)-bi-invariant functions on GLn(F), is the starting point of the Langlands duality. It turns out that the Satake isomorphism admits a vast generalisation, known as the geometric Satake equivalence. This is the starting point of the geometric Langlands program, and

  7. Define PervS(X, k) = pD≥0 ∩ pD≤0. Theorem. (pD≥0, pD≤0) is a bounded t-structure on Db S(X, k). In particular, PervS(X, k) is an abelian category, and the exact sequences in PervS(K, k) are obtained in distinct triangles in Db S(X, k) all of whose vertices belong to Perv(X, k) by forgetting the last arrow.