Showing 1–22 of 22 results for author: Pomerleano, D

Integral Kirwan Surjectivity

Authors: Daniel Pomerleano, Constantin Teleman

Abstract: We refine Kirwan's surjectivity and formality theorems for a Hamiltonian G-action on a compact symplectic manifold M. For a regular value of the moment map, we show that the Kirwan map is surjective and additively split after inverting the orders of stabilizers in the reduction. In particular, for a free quotient, it is surjective integrally. We generalize this to a splitting of MU-module spectra.… ▽ More We refine Kirwan's surjectivity and formality theorems for a Hamiltonian G-action on a compact symplectic manifold M. For a regular value of the moment map, we show that the Kirwan map is surjective and additively split after inverting the orders of stabilizers in the reduction. In particular, for a free quotient, it is surjective integrally. We generalize this to a splitting of MU-module spectra. We also give a stable version of Kirwan's equivariant formality theorem. The novel idea is to exploit the Atiyah-Bott argument in Morava K-theory, then return to bordism and cohomology. △ Less

Submitted 10 June, 2025; v1 submitted 8 October, 2024; originally announced October 2024.

Comments: Expanded version with splitting results for all complex-oriented theories

Symplectic cohomology relative to a smooth anticanonical divisor

Authors: Daniel Pomerleano, Paul Seidel

Abstract: For a monotone symplectic manifold and a smooth anticanonical divisor, there is a formal deformation of the symplectic cohomology of the divisor complement, defined by allowing Floer cylinders to intersect the divisor. We compute this deformed symplectic cohomology, in terms of the ordinary cohomology of the manifold and divisor; and also describe some additional structures that it carries. For a monotone symplectic manifold and a smooth anticanonical divisor, there is a formal deformation of the symplectic cohomology of the divisor complement, defined by allowing Floer cylinders to intersect the divisor. We compute this deformed symplectic cohomology, in terms of the ordinary cohomology of the manifold and divisor; and also describe some additional structures that it carries. △ Less

Submitted 20 August, 2024; v1 submitted 16 August, 2024; originally announced August 2024.

Comments: v2: references updated

Homological mirror symmetry for Batyrev mirror pairs

Authors: Sheel Ganatra, Andrew Hanlon, Jeff Hicks, Daniel Pomerleano, Nick Sheridan

Abstract: We prove Kontsevich's homological mirror symmetry conjecture for a large class of mirror pairs of Calabi--Yau hypersurfaces in toric varieties. These mirror pairs were constructed by Batyrev from dual reflexive polytopes. The theorem holds in characteristic zero and in all but finitely many positive characteristics. We prove Kontsevich's homological mirror symmetry conjecture for a large class of mirror pairs of Calabi--Yau hypersurfaces in toric varieties. These mirror pairs were constructed by Batyrev from dual reflexive polytopes. The theorem holds in characteristic zero and in all but finitely many positive characteristics. △ Less

Submitted 17 November, 2024; v1 submitted 7 June, 2024; originally announced June 2024.

Comments: v2: minor changes

MSC Class: 53D37 (Primary) 11G42; 14J33 (Secondary)

Cohomological splitting over rationally connected bases

Authors: Shaoyun Bai, Daniel Pomerleano, Guangbo Xu

Abstract: We prove a cohomological splitting result for Hamiltonian fibrations over enumeratively rationally connected symplectic manifolds As a key application, we prove that the cohomology of a smooth, projective family over a smooth (stably) rational projective variety splits additively over any field. The main ingredients in our arguments include the theory of Fukaya-Ono-Parker (FOP) perturbations devel… ▽ More We prove a cohomological splitting result for Hamiltonian fibrations over enumeratively rationally connected symplectic manifolds As a key application, we prove that the cohomology of a smooth, projective family over a smooth (stably) rational projective variety splits additively over any field. The main ingredients in our arguments include the theory of Fukaya-Ono-Parker (FOP) perturbations developed by the first and third author, which allows one to define integer-valued Gromov-Witten type invariants, and variants of Abouzaid-McLean-Smith's global Kuranishi charts tailored to concrete geometric problems. △ Less

Submitted 3 July, 2024; v1 submitted 2 June, 2024; originally announced June 2024.

Comments: 36 pages, comments welcome! v2: updates on exposition and correction of typos

Quantization commutes with reduction again: the quantum GIT conjecture I

Authors: Daniel Pomerleano, Constantin Teleman

Abstract: For a compact monotone symplectic manifold $X$ with Hamiltonian action of a compact Lie group $G$ and smooth symplectic reduction, we relate its gauged $2$-dimensional $A$-model to the $A$-model of $X/\!/G$. This (long conjectured) result is parallel to the ($B$-model!) \emph{quantization commutes with reduction} theorem of Guillemin and Sternberg in quantum mechanics. Here, we spell out some of t… ▽ More For a compact monotone symplectic manifold $X$ with Hamiltonian action of a compact Lie group $G$ and smooth symplectic reduction, we relate its gauged $2$-dimensional $A$-model to the $A$-model of $X/\!/G$. This (long conjectured) result is parallel to the ($B$-model!) \emph{quantization commutes with reduction} theorem of Guillemin and Sternberg in quantum mechanics. Here, we spell out some of the precise statements, and outline the proof of equality for the spaces of states (quantum cohomology). We also indicate the way to some related results in the non-monotone case. Additional Floer theory details will be included in a follow-up paper. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Comments: 15 pages. Announcement with detailed outline of proofs

MSC Class: 53D20; 53D37; 53D40

Equivariant formality in complex-oriented theories

Authors: Shaoyun Bai, Daniel Pomerleano

Abstract: Let $G$ be a product of unitary groups and let $(M,ω)$ be a compact symplectic manifold with Hamiltonian $G$-action. We prove an equivariant formality result for any complex-oriented cohomology theory $\mathbb{E}^*$ (in particular, integral cohomology). This generalizes the celebrated result of Atiyah-Bott-Kirwan for rational cohomology from the 1980s. The proof does not use classical ideas but in… ▽ More Let $G$ be a product of unitary groups and let $(M,ω)$ be a compact symplectic manifold with Hamiltonian $G$-action. We prove an equivariant formality result for any complex-oriented cohomology theory $\mathbb{E}^*$ (in particular, integral cohomology). This generalizes the celebrated result of Atiyah-Bott-Kirwan for rational cohomology from the 1980s. The proof does not use classical ideas but instead relies on a recent cohomological splitting result of Abouzaid-McLean-Smith for Hamiltonian fibrations over $\mathbb{CP}^1.$ Moreover, we establish analogues of the "localization" and "injectivity to fixed points" theorems for certain cohomology theories studied by Hopkins-Kuhn-Ravenel. As an application of these results, we establish a Goresky-Kottwitz-MacPherson theorem with Morava $K$-theory coefficients for Hamiltonian $T$-manifolds. △ Less

Submitted 22 May, 2024; v1 submitted 9 May, 2024; originally announced May 2024.

Comments: 14 pages, comments are welcome! v2: minor updates

Integrality of mirror maps and arithmetic homological mirror symmetry for Greene--Plesser mirrors

Authors: Sheel Ganatra, Andrew Hanlon, Jeff Hicks, Daniel Pomerleano, Nick Sheridan

Abstract: We prove the `integrality of Taylor coefficients of mirror maps' conjecture for Greene--Plesser mirror pairs as a natural byproduct of an arithmetic refinement of homological mirror symmetry. We also prove homological mirror symmetry for Greene--Plesser mirror pairs in all characteristics such that the B-side family has good reduction, generalizing work of the fifth author and Smith over the compl… ▽ More We prove the `integrality of Taylor coefficients of mirror maps' conjecture for Greene--Plesser mirror pairs as a natural byproduct of an arithmetic refinement of homological mirror symmetry. We also prove homological mirror symmetry for Greene--Plesser mirror pairs in all characteristics such that the B-side family has good reduction, generalizing work of the fifth author and Smith over the complex numbers. A key technical ingredient is a new versality argument which allows us to work throughout over a Novikov-type ring with integer coefficients. △ Less

Submitted 5 June, 2024; v1 submitted 4 December, 2023; originally announced December 2023.

Comments: 31 pages; Comments welcome! v3: minor changes

The quantum connection, Fourier-Laplace transform, and families of A-infinity-categories

Authors: Daniel Pomerleano, Paul Seidel

Abstract: Take a closed monotone symplectic manifold containing a smooth anticanonical divisor. The quantum connection on its cohomology has singularities at zero and infinity (in the quantum parameter). At zero it has a regular singular point, by definition. We show that the singularity at infinity is of unramified exponential type. The argument involves: realizing cohomology as a deformation of the symple… ▽ More Take a closed monotone symplectic manifold containing a smooth anticanonical divisor. The quantum connection on its cohomology has singularities at zero and infinity (in the quantum parameter). At zero it has a regular singular point, by definition. We show that the singularity at infinity is of unramified exponential type. The argument involves: realizing cohomology as a deformation of the symplectic cohomology of the divisor complement; the corresponding deformation of the wrapped Fukaya category; a new categorical interpretation of the Fourier-Laplace transform of D-modules; and the regularity theorem of Petrov-Vaintrob-Vologodsky in noncommutative geometry. △ Less

Submitted 23 August, 2024; v1 submitted 24 August, 2023; originally announced August 2023.

Comments: v2: updated the exposition - the conjectures on which results were contingent have now been proved; v3: references updated

MSC Class: 53D40

Coulomb branch algebras via symplectic cohomology

Authors: Eduardo Gonzalez, Cheuk Yu Mak, Daniel Pomerleano

Abstract: Let $(\bar{M}, ω)$ be a compact symplectic manifold with convex boundary and $c_1(T\bar{M})=0$. Suppose that $(\bar{M}, ω)$ is equipped with a convex Hamiltonian $G$-action for some connected, compact Lie group $G$. We construct an action of the pure Coulomb branch of $G$ on the $G$-equivariant symplectic cohomology of $\bar{M}.$ Building on work of Teleman, we use this construction to characteriz… ▽ More Let $(\bar{M}, ω)$ be a compact symplectic manifold with convex boundary and $c_1(T\bar{M})=0$. Suppose that $(\bar{M}, ω)$ is equipped with a convex Hamiltonian $G$-action for some connected, compact Lie group $G$. We construct an action of the pure Coulomb branch of $G$ on the $G$-equivariant symplectic cohomology of $\bar{M}.$ Building on work of Teleman, we use this construction to characterize the Coulomb branches of Braverman-Finkelberg-Nakajima in terms of equivariant symplectic cohomology. △ Less

Submitted 7 May, 2023; originally announced May 2023.

Comments: 56 pages

Affine nil-Hecke algebras and Quantum cohomology

Authors: Eduardo González, Cheuk Yu Mak, Dan Pomerleano

Abstract: Let $G$ be a compact, connected Lie group and $T \subset G$ a maximal torus. Let $(M,ω)$ be a monotone closed symplectic manifold equipped with a Hamiltonian action of $G$. We construct a module action of the affine nil-Hecke algebra $\hat{H}_*^{S^1 \times T}(LG/T)$ on the $S^1 \times T$-equivariant quantum cohomology of $M$, $QH^*_{S^1 \times T}(M).$ Our construction generalizes the theory of shi… ▽ More Let $G$ be a compact, connected Lie group and $T \subset G$ a maximal torus. Let $(M,ω)$ be a monotone closed symplectic manifold equipped with a Hamiltonian action of $G$. We construct a module action of the affine nil-Hecke algebra $\hat{H}_*^{S^1 \times T}(LG/T)$ on the $S^1 \times T$-equivariant quantum cohomology of $M$, $QH^*_{S^1 \times T}(M).$ Our construction generalizes the theory of shift operators for Hamiltonian torus actions [OP,LJ]. We show that, as in the abelian case, this action behaves well with respect to the quantum connection. As an application of our construction, we show that when $G$ is semi-simple, the $G$-equivariant quantum cohomology $QH_G^*(M)$ defines a canonical holomorphic Lagrangian subvariety $\mathbb{L}_G(M) \hookrightarrow BFM(G_{\mathbb{C}}^{\vee})$ in the BFM-space of the Langlands dual group, confirming an expectation of Teleman from [T1]. △ Less

Submitted 29 April, 2022; v1 submitted 11 February, 2022; originally announced February 2022.

Comments: 39 pages, comments welcome, added toric and flag varieties examples

MSC Class: 53D40; 53D45

A note on the existence of U-cyclic elements in periodic Floer homology

Authors: Dan Cristofaro-Gardiner, Daniel Pomerleano, Rohil Prasad, Boyu Zhang

Abstract: Edtmair-Hutchings have recently defined, using periodic Floer homology, a U-cycle property for Hamiltonian isotopy classes of area-preserving diffeomorphisms of closed surfaces. They show that every Hamiltonian isotopy class satisfying the U-cycle property satisfies the smooth closing lemma and also satisfies a kind of Weyl law involving the actions of certain periodic points; they show that every… ▽ More Edtmair-Hutchings have recently defined, using periodic Floer homology, a U-cycle property for Hamiltonian isotopy classes of area-preserving diffeomorphisms of closed surfaces. They show that every Hamiltonian isotopy class satisfying the U-cycle property satisfies the smooth closing lemma and also satisfies a kind of Weyl law involving the actions of certain periodic points; they show that every rational isotopy class on the two-torus satisfies the U-cycle property. It seems that in general, not much is known about the U-module structure on PFH. Here we consider a version of Seiberg-Witten-Floer cohomology which is known by the work of Lee-Taubes to be isomorphic, as a U-module, to the periodic Floer homology in sufficiently high degree. We show that the analogous U-cycle property holds for every rational Hamiltonian isotopy class on any closed surface and, more generally, for any non-torsion spin-c structure. On the other hand, we also show that a rational isotopy class may contain elements that are not U-cyclic. By the Lee-Taubes isomorphism, the same results hold for PFH. Our results are some of the first computations concerning the U-module structure on these theories. △ Less

Submitted 14 February, 2022; v1 submitted 26 October, 2021; originally announced October 2021.

Comments: 13 pages + references. v2: Expository revisions, new result about non U-cyclic elements

Intrinsic mirror symmetry and categorical crepant resolutions

Authors: Daniel Pomerleano

Abstract: The main result of the present paper concerns finiteness properties of Floer theoretic invariants on affine log Calabi-Yau varieties $X$. Namely, we show that: (a) the degree zero symplectic cohomology $SH^0(X)$ is finitely generated and is a filtered deformation of a certain algebra defined combinatorially in terms of a compactifying divisor $\mathbf{D}.$ (b) For any Lagrangian branes… ▽ More The main result of the present paper concerns finiteness properties of Floer theoretic invariants on affine log Calabi-Yau varieties $X$. Namely, we show that: (a) the degree zero symplectic cohomology $SH^0(X)$ is finitely generated and is a filtered deformation of a certain algebra defined combinatorially in terms of a compactifying divisor $\mathbf{D}.$ (b) For any Lagrangian branes $L_0, L_1$, the wrapped Floer groups $WF^*(L_0,L_1)$ are finitely generated modules over $SH^0(X).$ We then describe applications of this result to mirror symmetry, the first of which is an ``automatic generation" criterion for the wrapped Fukaya category $\mathcal{W}(X)$. We also show that, in the case where $X$ is maximally degenerate and admits a ``homological section", $\mathcal{W}(X)$ gives a categorical crepant resolution of the potentially singular variety $\operatorname{Spec}(SH^0(X))$. This provides a link between the intrinsic mirror symmetry program of Gross and Siebert and the categorical birational geometry program initiated by Bondal-Orlov and Kuznetsov. △ Less

Submitted 1 March, 2021; originally announced March 2021.

Comments: 90 pages

Symplectic cohomology rings of affine varieties in the topological limit

Authors: Sheel Ganatra, Daniel Pomerleano

Abstract: We construct a multiplicative spectral sequence converging to the symplectic cohomology ring of any affine variety $X$, with first page built out of topological invariants associated to strata of any fixed normal crossings compactification $(M,\mathbf{D})$ of $X$. We exhibit a broad class of pairs $(M,\mathbf{D})$ (characterized by the absence of relative holomorphic spheres or vanishing of certai… ▽ More We construct a multiplicative spectral sequence converging to the symplectic cohomology ring of any affine variety $X$, with first page built out of topological invariants associated to strata of any fixed normal crossings compactification $(M,\mathbf{D})$ of $X$. We exhibit a broad class of pairs $(M,\mathbf{D})$ (characterized by the absence of relative holomorphic spheres or vanishing of certain relative GW invariants) for which the spectral sequence degenerates, and a broad subclass of pairs (similarly characterized) for which the ring structure on symplectic cohomology can also be described topologically. Sample applications include: (a) a complete topological description of the symplectic cohomology ring of the complement, in any projective $M$, of the union of sufficiently many generic ample divisors whose homology classes span a rank one subspace, (b) complete additive and partial multiplicative computations of degree zero symplectic cohomology rings of many log Calabi-Yau varieties, and (c) a proof in many cases that symplectic cohomology is finitely generated as a ring. A key technical ingredient in our results is a logarithmic version of the PSS morphism, introduced in our earlier work [GP1]. △ Less

Submitted 18 February, 2020; v1 submitted 8 November, 2018; originally announced November 2018.

Comments: 105 pages, 14 figures (newly added). v2: Various expository edits and slight simplifications to arguments in section 4. To appear in GAFA

Torsion contact forms in three dimensions have two or infinitely many Reeb orbits

Authors: Dan Cristofaro-Gardiner, Michael Hutchings, Dan Pomerleano

Abstract: We prove that every nondegenerate contact form on a closed connected three-manifold, such that the associated contact structure has torsion first Chern class, has either two or infinitely many simple Reeb orbits. By previous results it follows that under the above assumptions, there are infinitely many simple Reeb orbits if the three-manifold is not the three-sphere or a lens space. We also show t… ▽ More We prove that every nondegenerate contact form on a closed connected three-manifold, such that the associated contact structure has torsion first Chern class, has either two or infinitely many simple Reeb orbits. By previous results it follows that under the above assumptions, there are infinitely many simple Reeb orbits if the three-manifold is not the three-sphere or a lens space. We also show that for non-torsion contact structures, every nondegenerate contact form has at least four simple Reeb orbits. △ Less

Submitted 23 June, 2018; v1 submitted 9 January, 2017; originally announced January 2017.

Comments: 42 pages, minor corrections and expository improvements

MSC Class: 53D10; 37C27

Journal ref: Geom. Topol. 23 (2019) 3601-3645

A Log PSS morphism with applications to Lagrangian embeddings

Authors: Sheel Ganatra, Daniel Pomerleano

Abstract: Let $M$ be a smooth projective variety and $\mathbf{D}$ an ample normal crossings divisor. From topological data associated to the pair $(M, \mathbf{D})$, we construct, under assumptions on Gromov-Witten invariants, a series of distinguished classes in symplectic cohomology of the complement $X = M \backslash \mathbf{D}$. Under further "topological" assumptions on the pair, these classes can be or… ▽ More Let $M$ be a smooth projective variety and $\mathbf{D}$ an ample normal crossings divisor. From topological data associated to the pair $(M, \mathbf{D})$, we construct, under assumptions on Gromov-Witten invariants, a series of distinguished classes in symplectic cohomology of the complement $X = M \backslash \mathbf{D}$. Under further "topological" assumptions on the pair, these classes can be organized into a Log(arithmic) PSS morphism, from a vector space which we term the logarithmic cohomology of $(M, \mathbf{D})$ to symplectic cohomology. Turning to applications, we show that these methods and some knowledge of Gromov-Witten invariants can be used to produce dilations and quasi-dilations (in the sense of Seidel-Solomon [SS]) in examples such as conic bundles. In turn, the existence of such elements imposes strong restrictions on exact Lagrangian embeddings, especially in dimension 3. For instance, we prove that any exact Lagrangian in a complex 3-dimensional conic bundle over $(\mathbb{C}^*)^2$ must be diffeomorphic to $T^3$ or a connect sum $\#^n S^1 \times S^2$. △ Less

Submitted 12 January, 2021; v1 submitted 21 November, 2016; originally announced November 2016.

Comments: 82 pages, 1 figure. Expanded exposition of applications, many other minor clarifications and corrections. Final version, to appear in Journal of Topology

Lagrangian sections on mirrors of toric Calabi-Yau 3-folds

Authors: Kwokwai Chan, Daniel Pomerleano, Kazushi Ueda

Abstract: We construct Lagrangian sections of a Lagrangian torus fibration on a 3-dimensional conic bundle, which are SYZ dual to holomorphic line bundles over the mirror toric Calabi-Yau 3-fold. We then demonstrate a ring isomorphism between the wrapped Floer cohomology of the zero-section and the regular functions on the mirror toric Calabi-Yau 3-fold. Furthermore, we show that in the case when the Calabi… ▽ More We construct Lagrangian sections of a Lagrangian torus fibration on a 3-dimensional conic bundle, which are SYZ dual to holomorphic line bundles over the mirror toric Calabi-Yau 3-fold. We then demonstrate a ring isomorphism between the wrapped Floer cohomology of the zero-section and the regular functions on the mirror toric Calabi-Yau 3-fold. Furthermore, we show that in the case when the Calabi-Yau 3-fold is affine space, the zero section generates the wrapped Fukaya category of the mirror conic bundle. This allows us to complete the proof of one direction of homological mirror symmetry for toric Calabi-Yau orbifold quotients of the form $\mathbb{C}^3/\Check{G}$. We finish by describing some elementary applications of our computations to symplectic topology. △ Less

Submitted 16 August, 2016; v1 submitted 23 February, 2016; originally announced February 2016.

Comments: 62 pages. v2: corrected errors in various formulas; added the proof of homological mirror symmetry for C^3/G and some applications to Lagrangian embeddings

Equivariant Hodge theory and noncommutative geometry

Authors: Daniel Halpern-Leistner, Daniel Pomerleano

Abstract: We develop a version of Hodge theory for a large class of smooth formally proper quotient stacks $X/G$ analogous to Hodge theory for smooth projective schemes. We show that the noncommutative Hodge-de Rham sequence for the category of equivariant coherent sheaves degenerates. This spectral sequence converges to the periodic cyclic homology, which we canonically identify with the topological equiva… ▽ More We develop a version of Hodge theory for a large class of smooth formally proper quotient stacks $X/G$ analogous to Hodge theory for smooth projective schemes. We show that the noncommutative Hodge-de Rham sequence for the category of equivariant coherent sheaves degenerates. This spectral sequence converges to the periodic cyclic homology, which we canonically identify with the topological equivariant K-theory of $X$ with respect to a maximal compact subgroup of $G$, equipping the latter with a canonical pure Hodge structure. We also establish Hodge-de Rham degeneration for categories of matrix factorizations for a large class of equivariant Landau-Ginzburg models. △ Less

Submitted 5 February, 2022; v1 submitted 7 July, 2015; originally announced July 2015.

Comments: 47 pages, updated to match the published version, to avoid confusion. Following referee's suggestion, we reorganized the paper so that all matrix factorization material appears in its own separate section

MSC Class: 19L47; 19D55; 14A22; 14C30

Journal ref: Geom. Topol. 24 (2020) 2361-2433

Lagrangian torus fibrations and homological mirror symmetry for the conifold

Authors: Kwokwai Chan, Daniel Pomerleano, Kazushi Ueda

Abstract: We discuss homological mirror symmetry for the conifold from the point of view of the Strominger-Yau-Zaslow conjecture. We discuss homological mirror symmetry for the conifold from the point of view of the Strominger-Yau-Zaslow conjecture. △ Less

Submitted 7 January, 2016; v1 submitted 4 May, 2013; originally announced May 2013.

Comments: 46 pages, 22 figures, v4: corrected an error in the explicit formula for the uncompleted SYZ mirror $Y_0^{\vee}$ in the published version of this paper; we thank Luis Diogo for discussions which lead us to the discovery of this error

Journal ref: Comm. Math. Phys. 341 (2016), no. 1, 135-178

Curved String Topology and Tangential Fukaya Categories II

Authors: Daniel Pomerleano

Abstract: A sequel to arXiv:1111.1460, this paper elaborates on some of the themes in the above paper. Connections to Symplectic Field Theory (SFT) and mirror symmetry are explored. A sequel to arXiv:1111.1460, this paper elaborates on some of the themes in the above paper. Connections to Symplectic Field Theory (SFT) and mirror symmetry are explored. △ Less

Submitted 30 August, 2013; v1 submitted 23 August, 2012; originally announced August 2012.

Curved String Topology and Tangential Fukaya Categories

Authors: Daniel Pomerleano

Abstract: Given a simply connected manifold M such that its cochain algebra, C^\star(M), is a pure Sullivan dga, this paper considers curved deformations of the algebra C_\star(ΩM) and consider when the category of curved modules over these algebras becomes fully dualizable. For simple manifolds, like products of spheres, we are able to give an explicit criterion for when the resulting category of curved mo… ▽ More Given a simply connected manifold M such that its cochain algebra, C^\star(M), is a pure Sullivan dga, this paper considers curved deformations of the algebra C_\star(ΩM) and consider when the category of curved modules over these algebras becomes fully dualizable. For simple manifolds, like products of spheres, we are able to give an explicit criterion for when the resulting category of curved modules is smooth, proper and CY and thus gives rise to a TQFT. We give Floer theoretic interpretations of these theories for projective spaces and their products, which involve defining a Fukaya category which counts holomorphic disks with prescribed tangencies to a divisor. △ Less

Submitted 23 August, 2012; v1 submitted 6 November, 2011; originally announced November 2011.

Comments: This paper is based upon a short talk given in Summer '2011 at the String-Math Conference at the University of Pennsylvania

Global matrix factorizations

Authors: Kevin H. Lin, Daniel Pomerleano

Abstract: We study matrix factorization and curved module categories for Landau-Ginzburg models (X,W) with X a smooth variety, extending parts of the work of Dyckerhoff. Following Positselski, we equip these categories with model category structures. Using results of Rouquier and Orlov, we identify compact generators. Via Toën's derived Morita theory, we identify Hochschild cohomology with derived endomorph… ▽ More We study matrix factorization and curved module categories for Landau-Ginzburg models (X,W) with X a smooth variety, extending parts of the work of Dyckerhoff. Following Positselski, we equip these categories with model category structures. Using results of Rouquier and Orlov, we identify compact generators. Via Toën's derived Morita theory, we identify Hochschild cohomology with derived endomorphisms of the diagonal curved module; we compute the latter and get the expected result. Finally, we show that our categories are smooth, proper when the singular locus of W is proper, and Calabi-Yau when the total space X is Calabi-Yau. △ Less

Submitted 1 March, 2013; v1 submitted 31 January, 2011; originally announced January 2011.

Comments: Final version, 16 pages

The Four Vertex Theorem and its Converse

Authors: Dennis DeTurck, Herman Gluck, Daniel Pomerleano, David Shea Vick

Abstract: The Four Vertex Theorem, one of the earliest results in global differential geometry, says that a simple closed curve in the plane, other than a circle, must have at least four "vertices", that is, at least four points where the curvature has a local maximum or local minimum. In 1909 Syamadas Mukhopadhyaya proved this for strictly convex curves in the plane, and in 1912 Adolf Kneser proved it fo… ▽ More The Four Vertex Theorem, one of the earliest results in global differential geometry, says that a simple closed curve in the plane, other than a circle, must have at least four "vertices", that is, at least four points where the curvature has a local maximum or local minimum. In 1909 Syamadas Mukhopadhyaya proved this for strictly convex curves in the plane, and in 1912 Adolf Kneser proved it for all simple closed curves in the plane, not just the strictly convex ones. The Converse to the Four Vertex Theorem says that any continuous real-valued function on the circle which has at least two local maxima and two local minima is the curvature function of a simple closed curve in the plane. In 1971 Herman Gluck proved this for strictly positive preassigned curvature, and in 1997 Bjorn Dahlberg proved the full converse, without the restriction that the curvature be strictly positive. Publication was delayed by Dahlberg's untimely death in January 1998, but his paper was edited afterwards by Vilhelm Adolfsson and Peter Kumlin, and finally appeared in 2005. The work of Dahlberg completes the almost hundred-year-long thread of ideas begun by Mukhopadhyaya, and we take this opportunity to provide a self-contained exposition. △ Less

Submitted 10 September, 2006; originally announced September 2006.

MSC Class: 53C20; 53A04