Abstract Let $$V_*\otimes V\rightarrow {\mathbb {C}}$$ V ∗ ⊗ V → C be a non-degenerate pairing of countable-dimensional complex vector spaces V and $$V_*$$ V ∗ . The Mackey Lie algebra $${\mathfrak {g}}=\mathfrak {gl}^M(V,V_*)$$ g = gl M ( V , V ∗ ) corresponding to this pairing consists of all endomorphisms $$\varphi $$ φ of V for which the space $$V_*$$ V ∗ is stable under the dual endomorphism $$\varphi ^*: V^*\rightarrow V^*$$ φ ∗ : V ∗ → V ∗ . We study the tensor Grothendieck category $${\mathbb {T}}$$ T generated by the $${\mathfrak {g}}$$ g -modules V , $$V_*$$ V ∗ and their algebraic duals $$V^*$$ V ∗ and $$V^*_*$$ V ∗ ∗ . The category $${{\mathbb {T}}}$$ T is an analogue of categories considered in prior literature, the main difference being that the trivial module $${\mathbb {C}}$$ C is no longer injective in $${\mathbb {T}}$$ T . We describe the injective hull I of $${\mathbb {C}}$$ C in $${\mathbb {T}}$$ T , and show that the category $${\mathbb {T}}$$ T is Koszul. In addition, we prove that I is endowed with a natural structure of commutative algebra. We then define another category $$_I{\mathbb {T}}$$ I T of objects in $${\mathbb {T}}$$ T which are free as I -modules. Our main result is that the category $${}_I{\mathbb {T}}$$ I T is also Koszul, and moreover that $${}_I{\mathbb {T}}$$ I T is universal among abelian $${\mathbb {C}}$$ C -linear tensor categories generated by two objects X , Y with fixed subobjects $$X'\hookrightarrow X$$ X ′ ↪ X , $$Y'\hookrightarrow Y$$ Y ′ ↪ Y and a pairing $$X\otimes Y\rightarrow {\mathbf{1 }}$$ X ⊗ Y → 1 where 1 is the monoidal unit. We conclude the paper by discussing the orthogonal and symplectic analogues of the categories $${\mathbb {T}}$$ T and $${}_I{\mathbb {T}}$$ I T . 
                        more » 
                        « less   
                    
                            
                            Homological mirror symmetry without correction
                        
                    
    
            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   
        
    
                            - Award ID(s):
- 1609148
- PAR ID:
- 10380002
- Date Published:
- Journal Name:
- Journal of the American Mathematical Society
- Volume:
- 34
- Issue:
- 4
- ISSN:
- 0894-0347
- Page Range / eLocation ID:
- 1059 to 1173
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
- 
            
- 
            null (Ed.)We study the existence of special Lagrangian submanifolds of log Calabi–Yau manifolds equipped with the complete Ricci-flat Kähler metric constructed by Tian and Yau. We prove that if X is a Tian–Yau manifold and if the compact Calabi–Yau manifold at infinity admits a single special Lagrangian, then X admits infinitely many disjoint special Lagrangians. In complex dimension 2, we prove that if Y is a del Pezzo surface or a rational elliptic surface and D is a smooth divisor in the linear system of K_Y with D^2=d, then X=Y/D admits a special Lagrangian torus fibration, as conjectured by Strominger–Yau–Zaslow and Auroux. In fact, we show that X admits twin special Lagrangian fibrations, confirming a prediction of Leung and Yau. In the special case that Y is a rational elliptic surface or Y=P^2, we identify the singular fibers for generic data, thereby confirming two conjectures of Auroux. Finally, we prove that after a hyper-Kähler rotation, X can be compactified to the complement of a Kodaira type I_d fiber appearing as a singular fiber in a rational elliptic surface.more » « less
- 
            Abstract: We consider the quadratic Zakharov-Kuznetsov equation $$\partial_t u + \partial_x \Delta u + \partial_x u^2=0$$ on $$\Bbb{R}^3$$. A solitary wave solution is given by $Q(x-t,y,z)$, where $$Q$$ is the ground state solution to $$-Q+\Delta Q+Q^2=0$$. We prove the asymptotic stability of these solitary wave solutions. Specifically, we show that initial data close to $$Q$$ in the energy space, evolves to a solution that, as $$t\to\infty$$, converges to a rescaling and shift of $Q(x-t,y,z)$ in $L^2$ in a rightward shifting region $$x>\delta t-\tan\theta\sqrt{y^2+z^2}$$ for $$0\leq\theta\leq{\pi\over 3}-\delta$$.more » « less
- 
            Abstract This paper concerns the existence of global weak solutions à la Leray for compressible Navier–Stokes equations with a pressure law which depends on the density and on time and space variables t and x . The assumptions on the pressure contain only locally Lipschitz assumption with respect to the density variable and some hypothesis with respect to the extra time and space variables. It may be seen as a first step to consider heat-conducting Navier–Stokes equations with physical laws such as the truncated virial assumption. The paper focuses on the construction of approximate solutions through a new regularized and fixed point procedure and on the weak stability process taking advantage of the new method introduced by the two first authors with a careful study of an appropriate regularized quantity linked to the pressure.more » « less
- 
            To any projective pair (X,B) equipped with an ample Q-line bundle L (or even any ample numerical class), we attach a new invariant $$\beta(\mu)$$, defined on convex combinations $$\mu$$ of divisorial valuations on X , viewed as point masses on the Berkovich analytification of X . The construction is based on non-Archimedean pluripotential theory, and extends the Dervan–Legendre invariant for a single valuation – itself specializing to Li and Fujita’s valuative invariant in the Fano case, which detects K-stability. Using our $$\beta$$-invariant, we define divisorial (semi)stability, and show that divisorial semistability implies (X,B) is sublc (i.e. its log discrepancy function is non-negative), and that divisorial stability is an open condition with respect to the polarization L. We also show that divisorial stability implies uniform K-stability in the usual sense of (ample) test configurations, and that it is equivalent to uniform K-stability with respect to all norms/filtrations on the section ring of (X,L), as considered by Chi Li.more » « less
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
 
                                    