We show that blow-ups or reverse flips (in the sense of the minimal model program) of rational symplectic manifolds with point centers create Floer-non-trivial Lagrangian tori. These results are part of a conjectural decomposition of the Fukaya category of a compact symplectic manifold with a singularity-free running of the minimal model program, analogous to the description of Bondal-Orlov ( Derived categories of coherent sheaves , 2002) and Kawamata ( Derived categories of toric varieties , 2006) of the bounded derived category of coherent sheaves on a compact complex manifold. 
                        more » 
                        « less   
                    
                            
                            Tate’s thesis in the de Rham setting
                        
                    
    
            We calculate the category of D D -modules on the loop space of the affine line in coherent terms. Specifically, we find that this category is derived equivalent to the category of ind-coherent sheaves on the moduli space of rank one de Rham local systems with a flat section. Our result establishes a conjecture coming out of the 3 d 3d mirror symmetry program, which obtains new compatibilities for the geometric Langlands program from rich dualities of QFTs that are themselves obtained from string theory conjectures. 
        more » 
        « less   
        
    
    
                            - PAR ID:
- 10412317
- Date Published:
- Journal Name:
- Journal of the American Mathematical Society
- Volume:
- 36
- Issue:
- 3
- ISSN:
- 0894-0347
- Page Range / eLocation ID:
- 917 to 1001
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
- 
            
- 
            Novikov, Krichever (Ed.)In [TV19a] the equivariant quantum differential equation (qDE) for a projective space was considered and a compatible system of difference qKZ equations was introduced; the space of solutions to the joint system of the qDE and qKZ equations was identified with the space of the equivariant K-theory algebra of the projective space; Stokes bases in the space of solutions were identified with exceptional bases in the equivariant K-theory algebra. This paper is a continuation of [TV19a]. We describe the relation between solutions to the joint system of the qDE and qKZ equations and the topological-enumerative solution to the qDE only, defined as a generating function of equivariant descendant Gromov-Witten invariants. The relation is in terms of the equivariant graded Chern character on the equivariant K-theory algebra, the equivariant Gamma class of the projective space, and the equivariant first Chern class of the tangent bundle of the projective space. We consider a Stokes basis, the associated exceptional basis in the equivariant K-theory algebra, and the associated Stokes matrix. We show that the Stokes matrix equals the Gram matrix of the equivariant Grothendieck-Euler-Poincaré pairing wrt to the basis, which is the left dual to the associated exceptional basis. We identify the Stokes bases in the space of solutions with explicit full exceptional collections in the equivariant derived category of coherent sheaves on the projective space, where the elements of those exceptional collections are just line bundles on the projective space and exterior powers of the tangent bundle of the projective space. These statements are equivariant analogs of results of G. Cotti, B. Dubrovin, D. Guzzetti, and S. Galkin, V. Golyshev, H. Iritani.more » « less
- 
            Abstract Arinkin and Gaitsgory defined a category oftempered‐modules on that is conjecturally equivalent to the category of quasi‐coherent (not ind‐coherent!) sheaves on . However, their definition depends on the auxiliary data of a point of the curve; they conjectured that their definition is independent of this choice. Beraldo has outlined a proof of this conjecture that depends on some technology that is not currently available. Here we provide a short, unconditional proof of the Arinkin–Gaitsgory conjecture.more » « less
- 
            Let X X be a closed symplectic manifold equipped with a Lagrangian torus fibration over a base Q Q . A construction first considered by Kontsevich and Soibelman produces from this data a rigid analytic space Y Y , which can be considered as a variant of the T T -dual introduced by Strominger, Yau, and Zaslow. We prove that the Fukaya category of tautologically unobstructed graded Lagrangians in X X embeds fully faithfully in the derived category of (twisted) coherent sheaves on Y Y , under the technical assumption that π 2 ( Q ) \pi _2(Q) vanishes (all known examples satisfy this assumption). The main new tool is the construction and computation of Floer cohomology groups of Lagrangian fibres equipped with topological infinite rank local systems that correspond, under mirror symmetry, to the affinoid rings introduced by Tate, equipped with their natural topologies as Banach algebras.more » « less
- 
            null (Ed.)Abstract For a braided fusion category $$\mathcal{V}$$, a $$\mathcal{V}$$-fusion category is a fusion category $$\mathcal{C}$$ equipped with a braided monoidal functor $$\mathcal{F}:\mathcal{V} \to Z(\mathcal{C})$$. Given a fixed $$\mathcal{V}$$-fusion category $$(\mathcal{C}, \mathcal{F})$$ and a fixed $$G$$-graded extension $$\mathcal{C}\subseteq \mathcal{D}$$ as an ordinary fusion category, we characterize the enrichments $$\widetilde{\mathcal{F}}:\mathcal{V} \to Z(\mathcal{D})$$ of $$\mathcal{D}$$ that are compatible with the enrichment of $$\mathcal{C}$$. We show that G-crossed extensions of a braided fusion category $$\mathcal{C}$$ are G-extensions of the canonical enrichment of $$\mathcal{C}$$ over itself. As an application, we parameterize the set of $$G$$-crossed braidings on a fixed $$G$$-graded fusion category in terms of certain subcategories of its center, extending Nikshych’s classification of the braidings on a fusion category.more » « less
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
 
                                    