Showing 1–28 of 28 results for author: Evans, J D

Lagrangian Klein bottles in $S^2 \times S^2$

Authors: Nikolas Adaloglou, Jonathan David Evans

Abstract: We use Luttinger surgery to show that there are no Lagrangian Klein bottles in $S^2\times S^2$ in the $\mathbb{Z}_2$-homology class of an $S^2$-factor if the symplectic area of that factor is at least twice that of the other. We use Luttinger surgery to show that there are no Lagrangian Klein bottles in $S^2\times S^2$ in the $\mathbb{Z}_2$-homology class of an $S^2$-factor if the symplectic area of that factor is at least twice that of the other. △ Less

Submitted 10 October, 2024; originally announced October 2024.

Comments: 13 pages, 4 figures

MSC Class: 53D12; 57K43

On Amicable Numbers

Authors: Leonhard Euler, Jonathan David Evans

Abstract: This is an English translation of Euler's 1750 paper "De numeris amicabilibus" (E152), the most substantial of his three works with this name. In it, he expounds at great length the ad hoc methods he has developed to search for pairs of amicable numbers, concluding with a list of around 60 new pairs. This is an English translation of Euler's 1750 paper "De numeris amicabilibus" (E152), the most substantial of his three works with this name. In it, he expounds at great length the ad hoc methods he has developed to search for pairs of amicable numbers, concluding with a list of around 60 new pairs. △ Less

Submitted 13 September, 2024; originally announced September 2024.

Comments: 78 pages, including two appendices

Lagrangian Surplusection Phenomena

Authors: Georgios Dimitroglou Rizell, Jonathan David Evans

Abstract: Suppose you have a family of Lagrangian submanifolds $L_t$ and an auxiliary Lagrangian $K$. Suppose that $K$ intersects some of the $L_t$ more than the minimal number of times. Can you eliminate surplus intersection (surplusection) with all fibres by performing a Hamiltonian isotopy of $K$? Or will any Lagrangian isotopic to $K$ surplusect some of the fibres? We argue that in several important sit… ▽ More Suppose you have a family of Lagrangian submanifolds $L_t$ and an auxiliary Lagrangian $K$. Suppose that $K$ intersects some of the $L_t$ more than the minimal number of times. Can you eliminate surplus intersection (surplusection) with all fibres by performing a Hamiltonian isotopy of $K$? Or will any Lagrangian isotopic to $K$ surplusect some of the fibres? We argue that in several important situations, surplusection cannot be eliminated, and that a better understanding of surplusection phenomena (better bounds and a clearer understanding of how the surplusection is distributed in the family) would help to tackle some outstanding problems in different areas, including Oh's conjecture on the volume-minimising property of the Clifford torus and the concurrent normals conjecture in convex geometry. We pose many open questions. △ Less

Submitted 6 December, 2024; v1 submitted 27 August, 2024; originally announced August 2024.

MSC Class: 53D12; 53D40

Journal ref: SIGMA 20 (2024), 109, 13 pages

Tropical methods for stable octic double planes

Authors: Jonathan David Evans, Angelica Simonetti, Giancarlo Urzúa

Abstract: This paper has been written to illustrate the power of techniques from tropical geometry and mirror symmetry for studying the KSBA moduli space of surfaces on or near the Noether line. We focus on the moduli space of octic double planes ($K^2 = 2$, $p_g = 3$) and use methods from tropical and toric geometry to classify the strata corresponding to normal KSBA-stable surfaces, focusing on the non-Go… ▽ More This paper has been written to illustrate the power of techniques from tropical geometry and mirror symmetry for studying the KSBA moduli space of surfaces on or near the Noether line. We focus on the moduli space of octic double planes ($K^2 = 2$, $p_g = 3$) and use methods from tropical and toric geometry to classify the strata corresponding to normal KSBA-stable surfaces, focusing on the non-Gorenstein case. △ Less

Submitted 13 December, 2024; v1 submitted 4 May, 2024; originally announced May 2024.

Comments: 46 pages, 19 figures; v2 results strengthened, exposition streamlined, title made more specific

MSC Class: 14J10; 14J17; 14J29

KIAS Lectures on Symplectic Aspects of Degenerations

Authors: Jonathan David Evans

Abstract: This is a series of three lectures I gave at the Korea Institute of Advanced Study in June 2019 at a workshop about "Algebraic and Symplectic Aspects of Degenerations of Complex Surfaces". I focus on the symplectic aspects, in particular on the case of cyclic quotient surface singularities. These notes have been available on a public Git repository since 2019, and I noticed that people occasionall… ▽ More This is a series of three lectures I gave at the Korea Institute of Advanced Study in June 2019 at a workshop about "Algebraic and Symplectic Aspects of Degenerations of Complex Surfaces". I focus on the symplectic aspects, in particular on the case of cyclic quotient surface singularities. These notes have been available on a public Git repository since 2019, and I noticed that people occasionally cited them in the years since. For that reason, I decided to post them on arXiv for a more permanent record; I have made some small corrections and annotations but otherwise they are unchanged. These notes are a purely expository account of stuff I was thinking about 2016-2019, and are largely self-aggrandising. △ Less

Submitted 6 March, 2024; originally announced March 2024.

Comments: 41 pages

Noncommutative crepant resolutions of $cA_n$ singularities via Fukaya categories

Authors: Jonathan David Evans, Yanki Lekili

Abstract: We compute the wrapped Fukaya category $\mathcal{W}(T^*S^1, D)$ of a cylinder relative to a divisor $D= \{p_1,\ldots, p_n\}$ of $n$ points, proving a mirror equivalence with the category of perfect complexes on a crepant resolution (over $k[t_0,\ldots, t_n]$) of the singularity $uv=t_0t_1\ldots t_n$. Upon making the base-change $t_i= f_i(x,y)$, we obtain the derived category of any crepant resolut… ▽ More We compute the wrapped Fukaya category $\mathcal{W}(T^*S^1, D)$ of a cylinder relative to a divisor $D= \{p_1,\ldots, p_n\}$ of $n$ points, proving a mirror equivalence with the category of perfect complexes on a crepant resolution (over $k[t_0,\ldots, t_n]$) of the singularity $uv=t_0t_1\ldots t_n$. Upon making the base-change $t_i= f_i(x,y)$, we obtain the derived category of any crepant resolution of the $cA_{n}$ singularity given by the equation $uv= f_0\ldots f_n$. These categories inherit braid group actions via the action on $\mathcal{W}(T^*S^1,D)$ of the mapping class group of $T^*S^1$ fixing $D$. We also give a geometric model of the derived contraction algebra of a $cA_n$ singularity in terms of the relative Fukaya category of the disc. △ Less

Submitted 26 September, 2023; v1 submitted 13 July, 2023; originally announced July 2023.

Comments: 26 pages, 8 figures. A Fukaya categorical description of the (derived) contraction algebra is added in Section 6

MSC Class: 53D37; 14J33; 16S38; 14A22

Lectures on Lagrangian torus fibrations

Authors: Jonathan David Evans

Abstract: This is a book aimed at graduate students and researchers in symplectic geometry, based on a course I taught in 2019. The primary message is that the base of a Lagrangian torus fibration inherits an integral affine structure, which you can use to "read off" a lot of interesting geometry of the total space. Topics covered include: action-angle coordinates, symplectic reduction, toric manifolds, vis… ▽ More This is a book aimed at graduate students and researchers in symplectic geometry, based on a course I taught in 2019. The primary message is that the base of a Lagrangian torus fibration inherits an integral affine structure, which you can use to "read off" a lot of interesting geometry of the total space. Topics covered include: action-angle coordinates, symplectic reduction, toric manifolds, visible and tropical Lagrangians, almost toric systems, Milnor fibres of cyclic quotient singularities, mutation of polygons, non-toric blow-up, an almost toric view on Lisca's classification of fillings of lens spaces, resolutions of cusp singularities, Markov triples and Vianna tori. The book ends with a short list of open problems. Throughout there is an emphasis on examples and there are some exercises with solutions. △ Less

Submitted 28 October, 2022; v1 submitted 16 October, 2021; originally announced October 2021.

Comments: xiv + 263 pages. This material has been/will be published by Cambridge University Press as "Lectures on Lagrangian Torus Fibrations" by Jonny Evans. This pre-publication version is free to view and download for personal use only. Not for re-distribution, re-sale, or use in derivative works. (C) Jonny Evans 2018--2023

Symplectic cohomology of compound Du Val singularities

Authors: Jonathan David Evans, Yanki Lekili

Abstract: We compute symplectic cohomology for Milnor fibres of certain compound Du Val singularities that admit small resolution by using homological mirror symmetry. Our computations suggest a new conjecture that the existence of a small resolution has strong implications for the symplectic cohomology and conversely. We also use our computations to give a contact invariant of the link of the singularities… ▽ More We compute symplectic cohomology for Milnor fibres of certain compound Du Val singularities that admit small resolution by using homological mirror symmetry. Our computations suggest a new conjecture that the existence of a small resolution has strong implications for the symplectic cohomology and conversely. We also use our computations to give a contact invariant of the link of the singularities and thereby distinguish many contact structures on connected sums of $S^2 \times S^3$. △ Less

Submitted 8 June, 2022; v1 submitted 23 April, 2021; originally announced April 2021.

Comments: 41 pages; v3 incorporated referees' comments. Accepted for publication in Annales Henri Lebesgue

A Lagrangian Klein bottle you can't squeeze

Authors: Jonathan David Evans

Abstract: Suppose you have a nonorientable Lagrangian surface L in a symplectic 4-manifold. How far can you deform the symplectic form before the smooth isotopy class of L contains no Lagrangians? I solve this question for a particular Lagrangian Klein bottle. I also discuss some related conjectures. Suppose you have a nonorientable Lagrangian surface L in a symplectic 4-manifold. How far can you deform the symplectic form before the smooth isotopy class of L contains no Lagrangians? I solve this question for a particular Lagrangian Klein bottle. I also discuss some related conjectures. △ Less

Submitted 8 June, 2022; v1 submitted 3 September, 2020; originally announced September 2020.

Comments: 10 pages, 4 figures. This version of the article has been accepted for publication, after peer review, but is not the Version of Record. The Version of Record is available online at: https://doi.org/10.1007/s11784-022-00945-w

MSC Class: 53D12; 53D35; 53D42

Journal ref: Journal of Fixed Point Theory and Applications volume 24, Article number: 47 (2022) in Symplectic geometry - A Festschrift in honour of Claude Viterbo's 60th birthday

Constructing local models for Lagrangian torus fibrations

Authors: Jonathan David Evans, Mirko Mauri

Abstract: We give a construction of Lagrangian torus fibrations with controlled discriminant locus on certain affine varieties. In particular, we apply our construction in the following ways. We find a Lagrangian torus fibration on the 3-fold negative vertex whose discriminant locus has codimension 2; this provides a local model for finding torus fibrations on compact Calabi-Yau 3-folds with codimension 2 d… ▽ More We give a construction of Lagrangian torus fibrations with controlled discriminant locus on certain affine varieties. In particular, we apply our construction in the following ways. We find a Lagrangian torus fibration on the 3-fold negative vertex whose discriminant locus has codimension 2; this provides a local model for finding torus fibrations on compact Calabi-Yau 3-folds with codimension 2 discriminant locus. Then, we find a Lagrangian torus fibration on a neighbourhood of the one-dimensional stratum of a simple normal crossing divisor (satisfying certain conditions) such that the base of the fibration is an open subset of the cone over the dual complex of the divisor. This can be used to construct an analogue of the non-archimedean SYZ fibration constructed by Nicaise, Xu and Yu. △ Less

Submitted 3 August, 2020; v1 submitted 22 May, 2019; originally announced May 2019.

Comments: 38 pages, 14 figures; minor changes, to appear in AHL

MSC Class: 53D37 (Primary); 53D35 14J33 14G22 (Secondary)

Antiflips, mutations, and unbounded symplectic embeddings of rational homology balls

Authors: Jonathan David Evans, Giancarlo Urzúa

Abstract: The Milnor fibre of a $\mathbb{Q}$-Gorenstein smoothing of a Wahl singularity is a rational homology ball $B_{p,q}$. For a canonically polarised surface of general type $X$, it is known that there are bounds on the number $p$ for which $B_{p,q}$ admits a symplectic embedding into $X$. In this paper, we give a recipe to construct unbounded sequences of symplectically embedded $B_{p,q}$ into surface… ▽ More The Milnor fibre of a $\mathbb{Q}$-Gorenstein smoothing of a Wahl singularity is a rational homology ball $B_{p,q}$. For a canonically polarised surface of general type $X$, it is known that there are bounds on the number $p$ for which $B_{p,q}$ admits a symplectic embedding into $X$. In this paper, we give a recipe to construct unbounded sequences of symplectically embedded $B_{p,q}$ into surfaces of general type equipped with non-canonical symplectic forms. Ultimately, these symplectic embeddings come from Mori's theory of flips, but we give an interpretation in terms of almost toric structures and mutations of polygons. The key point is that a flip of surfaces, as studied by Hacking, Tevelev and Urzúa, can be formulated as a combination of mutations of an almost toric structure and deformation of the symplectic form. △ Less

Submitted 3 April, 2020; v1 submitted 16 July, 2018; originally announced July 2018.

Comments: 39 pages; to appear in Annales de l'Institut Fourier

MSC Class: 14J29; 14J17; 53D35

Bounds on Wahl singularities from symplectic topology

Authors: Jonathan David Evans, Ivan Smith

Abstract: Let X be a minimal surface of general type with positive geometric genus ($b_+ > 1$) and let $K^2$ be the square of its canonical class. Building on work of Khodorovskiy and Rana, we prove that if X develops a Wahl singularity of length $\ell$ in a Q-Gorenstein degeneration, then $\ell \leq 4K^2 + 7$. This improves on the current best-known upper bound due to Lee ($\ell \leq 400(K^2)^4$). Our boun… ▽ More Let X be a minimal surface of general type with positive geometric genus ($b_+ > 1$) and let $K^2$ be the square of its canonical class. Building on work of Khodorovskiy and Rana, we prove that if X develops a Wahl singularity of length $\ell$ in a Q-Gorenstein degeneration, then $\ell \leq 4K^2 + 7$. This improves on the current best-known upper bound due to Lee ($\ell \leq 400(K^2)^4$). Our bound follows from a stronger theorem constraining symplectic embeddings of certain rational homology balls in surfaces of general type. In particular, we show that if the rational homology ball $B_{p,1}$ embeds symplectically in a quintic surface, then $p \leq 12$, partially answering the symplectic version of a question of Kronheimer. △ Less

Submitted 28 March, 2019; v1 submitted 7 August, 2017; originally announced August 2017.

Comments: 34 pages. v2: minor referee's corrections and bibliographic updates. This version to appear in Algebraic Geometry

MSC Class: 14J29; 14J17; 53D35

Markov numbers and Lagrangian cell complexes in the complex projective plane

Authors: Jonathan David Evans, Ivan Smith

Abstract: We study Lagrangian embeddings of a class of two-dimensional cell complexes $L_{p,q}$ into the complex projective plane. These cell complexes, which we call pinwheels, arise naturally in algebraic geometry as vanishing cycles for quotient singularities of type $\frac{1}{p^2}(pq-1,1)$ (Wahl singularities). We show that if a pinwheel admits a Lagrangian embedding into $\mathbf{CP}^2$ then $p$ is a M… ▽ More We study Lagrangian embeddings of a class of two-dimensional cell complexes $L_{p,q}$ into the complex projective plane. These cell complexes, which we call pinwheels, arise naturally in algebraic geometry as vanishing cycles for quotient singularities of type $\frac{1}{p^2}(pq-1,1)$ (Wahl singularities). We show that if a pinwheel admits a Lagrangian embedding into $\mathbf{CP}^2$ then $p$ is a Markov number and we completely characterise $q$. We also show that a collection of Lagrangian pinwheels $L_{p_i,q_i}$, $i=1,\ldots,N$, cannot be made disjoint unless $N\leq 3$ and the $p_i$ form part of a Markov triple. These results are the symplectic analogue of a theorem of Hacking and Prokhorov, which classifies complex surfaces with quotient singularities admitting a $\mathbf{Q}$-Gorenstein smoothing whose general fibre is $\mathbf{CP}^2$. △ Less

Submitted 12 June, 2017; v1 submitted 28 June, 2016; originally announced June 2016.

Comments: 32 pages, 3 figures; v2 corrected some typos and added clarifications; v3 incorporated further corrections and comments. To appear in Geometry and Topology

MSC Class: 53D53; 53D12

Journal ref: Geom. Topol. 22 (2018) 1143-1180

Generating the Fukaya categories of Hamiltonian G-manifolds

Authors: Jonathan David Evans, Yanki Lekili

Abstract: Let $G$ be a compact Lie group and $\mathbf{k}$ be a field of characteristic $p \geq 0$ such that $H^* (G)$ does not have $p$-torsion. We show that a free Lagrangian orbit of a Hamiltonian $G$-action on a compact, monotone, symplectic manifold $X$ split-generates an idempotent summand of the monotone Fukaya category $\mathcal{F}(X; \mathbf{k})$ if and only if it represents a non-zero object of tha… ▽ More Let $G$ be a compact Lie group and $\mathbf{k}$ be a field of characteristic $p \geq 0$ such that $H^* (G)$ does not have $p$-torsion. We show that a free Lagrangian orbit of a Hamiltonian $G$-action on a compact, monotone, symplectic manifold $X$ split-generates an idempotent summand of the monotone Fukaya category $\mathcal{F}(X; \mathbf{k})$ if and only if it represents a non-zero object of that summand (slightly more general results are also provided). Our result is based on: an explicit understanding of the wrapped Fukaya category $\mathcal{W}(T^*G; \mathbf{k})$ through Koszul twisted complexes involving the zero-section and a cotangent fibre; and a functor $D^b \mathcal{W}(T^*G; \mathbf{k}) \to D^b\mathcal{F}(X^{-} \times X; \mathbf{k})$ canonically associated to the Hamiltonian $G$-action on $X$. We explore several examples which can be studied in a uniform manner including toric Fano varieties and certain Grassmannians. △ Less

Submitted 16 August, 2018; v1 submitted 21 July, 2015; originally announced July 2015.

Comments: 60 pages, 3 figures, minor changes. This version to appear in JAMS

MSC Class: 53D12; 53D37; 53D40

Towards optimal regularity for the fourth-order thin film equation in $\re^N$: Graveleau-type focusing self-similarity

Authors: Pablo Alvarez-Caudevilla, Jonathan D. Evans, Victor A. Galaktionov

Abstract: An approach to some "optimal" (more precisely, non-improvable) regularity of solutions of the thin film equation u_{t} = -\nabla \cdot(|u|^{n} \nabla \D u) in \ren \times \re_+, u(x,0)=u_0(x) in \re^N, where n in (0,2) is a fixed exponent, with smooth compactly supported initial data u_0(x), in dimensions $N \geq 2$ is discussed. Namely, a precise exponent for the Hölder continuity with respect to… ▽ More An approach to some "optimal" (more precisely, non-improvable) regularity of solutions of the thin film equation u_{t} = -\nabla \cdot(|u|^{n} \nabla \D u) in \ren \times \re_+, u(x,0)=u_0(x) in \re^N, where n in (0,2) is a fixed exponent, with smooth compactly supported initial data u_0(x), in dimensions $N \geq 2$ is discussed. Namely, a precise exponent for the Hölder continuity with respect to the spatial radial variable $|x|$ is obtained by construction of a Graveleau-type focusing self-similar solution. As a consequence, optimal regularity of the gradient $\nabla u$ in certain $L^p$ spaces, as well as a Hölder continuity property of solutions with respect to x and t, are derived, which cannot be obtained by classic standard methods of integral identities-inequalities. Several profiles for the solutions in the cases n=0 and n>0 are also plotted. In general, we claim that, even for arbitrarily small n>0 and positive analytic initial data u_0(x), the solutions u(x,t) cannot be better than $C_x^{2-\e}$-smooth, where $\e(n)=O(n)$ as $n \to 0$. △ Less

Submitted 6 May, 2015; originally announced May 2015.

Comments: 25 pages, 5 figures

MSC Class: 35G20; 35K65; 35K35; 37K50

The Cauchy problem for tenth-order thin film equation I. Bifurcation of oscillatory fundamental solutions

Authors: Pablo Alvarez-Caudevilla, Jonathan D. Evans, Victor A. Galaktionov

Abstract: Fundamental global similarity solutions of the tenth-order thin film equation u_{t} = \nabla \cdot(|u|^{n} \n \D^4 u) in R^N \times R_+, where n>0 are studied. The main approach consists in passing to the limit n \to 0^+ by using Hermitian non-self-adjoint spectral theory corresponding to the rescaled linear poly-harmonic equation u_t= \D^5 u in R^N \times \re_+. Fundamental global similarity solutions of the tenth-order thin film equation u_{t} = \nabla \cdot(|u|^{n} \n \D^4 u) in R^N \times R_+, where n>0 are studied. The main approach consists in passing to the limit n \to 0^+ by using Hermitian non-self-adjoint spectral theory corresponding to the rescaled linear poly-harmonic equation u_t= \D^5 u in R^N \times \re_+. △ Less

Submitted 21 July, 2014; originally announced July 2014.

Comments: arXiv admin note: substantial text overlap with arXiv:0911.2996, arXiv:1009.5864

MSC Class: 35G20; 35K65; 35K35; 37K50

Journal ref: Mediterranean Journal of Mathematics, No. 4, Vol. 10(2013), 1759-1790

The Cauchy problem for a tenth-order thin film equation II. Oscillatory source-type and fundamental similarity solutions

Authors: Pablo Alvarez-Caudevilla, Jonathan D. Evans, Victor A. Galaktionov

Abstract: Fundamental global similarity solutions of the standard form u_\g(x,t)=t^{-\a_\g} f_\g(y), with the rescaled variable y= x/{t^{\b_\g}}, \b_\g= \frac {1-n \a_\g}{10}, where \a_\g>0 are real nonlinear eigenvalues (\g is a multiindex in R^N) of the tenth-order thin film equation (TFE-10) u_{t} = \nabla \cdot(|u|^{n} \n \D^4 u) in R^N \times R_+, n>0, are studied. The present paper continues the study… ▽ More Fundamental global similarity solutions of the standard form u_\g(x,t)=t^{-\a_\g} f_\g(y), with the rescaled variable y= x/{t^{\b_\g}}, \b_\g= \frac {1-n \a_\g}{10}, where \a_\g>0 are real nonlinear eigenvalues (\g is a multiindex in R^N) of the tenth-order thin film equation (TFE-10) u_{t} = \nabla \cdot(|u|^{n} \n \D^4 u) in R^N \times R_+, n>0, are studied. The present paper continues the study began by the authors in the previous paper P. Alvarez-Caudevilla, J.D.Evans, and V.A. Galaktionov, The Cauchy problem for a tenth-order thin film equation I. Bifurcation of self-similar oscillatory fundamental solutions, Mediterranean Journal of Mathematics, No. 4, Vol. 10 (2013), 1759-1790. Thus, the following questions are also under scrutiny: (I) Further study of the limit n \to 0, where the behaviour of finite interfaces and solutions as y \to infinity are described. In particular, for N=1, the interfaces are shown to diverge as follows: |x_0(t)| \sim 10 \left( \frac{1}{n}\sec\left( \frac{4π}{9} \right) \right)^{\frac 9{10}} t^{\frac 1{10}} \to \infty as n \to 0^+. (II) For a fixed n \in (0, \frac 98), oscillatory structures of solutions near interfaces. (III) Again, for a fixed n \in (0, \frac 98), global structures of some nonlinear eigenfunctions \{f_\g\}_{|\g| \ge 0} by a combination of numerical and analytical methods. △ Less

Submitted 21 July, 2014; originally announced July 2014.

MSC Class: 35G20; 35K65; 35K35; 37K50

Countable families of solutions of a limit stationary semilinear fourth-order Cahn--Hilliard equation I. Mountain pass and Lusternik--Schnirel'man patterns in R^N

Authors: Pablo Alvarez-Caudevilla, Jonathan D. Evans, Victor A. Galaktionov

Abstract: Solutions of the stationary semilinear Cahn--Hilliard equation -Δ^2 u - u -Δ(|u|^{p-1}u)=0 in R^N, with p>1, which are exponentially decaying at infinity, are studied. Using the Mounting Pass Lemma allows us the determination of two different solutions. On the other hand, the application of Lusternik--Schnirel'man (L--S) Category Theory shows the existence of, at least, a countable family of sol… ▽ More Solutions of the stationary semilinear Cahn--Hilliard equation -Δ^2 u - u -Δ(|u|^{p-1}u)=0 in R^N, with p>1, which are exponentially decaying at infinity, are studied. Using the Mounting Pass Lemma allows us the determination of two different solutions. On the other hand, the application of Lusternik--Schnirel'man (L--S) Category Theory shows the existence of, at least, a countable family of solutions. However, through numerical methods it is shown that the whole set of solutions, even in 1D, is much wider. This suggests that, actually, there exists, at least, a countable set of countable families of solutions, in which only the first one can be obtained by the L--S min-max approach. △ Less

Submitted 21 July, 2014; originally announced July 2014.

MSC Class: 35G20; 35K52

Exotic spheres and the topology of symplectomorphism groups

Authors: Georgios Dimitroglou Rizell, Jonathan David Evans

Abstract: We show that, for certain families $φ_{\mathbf{s}}$ of diffeomorphisms of high-dimensional spheres, the commutator of the Dehn twist along the zero-section of $T^*S^n$ with the family of pullbacks $φ^*_{\mathbf{s}}$ gives a noncontractible family of compactly-supported symplectomorphisms. In particular, we find examples: where the Dehn twist along a parametrised Lagrangian sphere depends up to Ham… ▽ More We show that, for certain families $φ_{\mathbf{s}}$ of diffeomorphisms of high-dimensional spheres, the commutator of the Dehn twist along the zero-section of $T^*S^n$ with the family of pullbacks $φ^*_{\mathbf{s}}$ gives a noncontractible family of compactly-supported symplectomorphisms. In particular, we find examples: where the Dehn twist along a parametrised Lagrangian sphere depends up to Hamiltonian isotopy on its parametrisation; where the symplectomorphism group is not simply-connected, and where the symplectomorphism group does not have the homotopy-type of a finite CW-complex. We show that these phenomena persist for Dehn twists along the standard matching spheres of the $A_m$-Milnor fibre. The nontriviality is detected by considering the action of symplectomorphisms on the space of parametrised Lagrangian submanifolds. We find related examples of symplectic mapping classes for $T^*(S^n\times S^1)$ and of an exotic symplectic structure on $T^*(S^n\times S^1)$ standard at infinity. △ Less

Submitted 20 February, 2015; v1 submitted 11 July, 2014; originally announced July 2014.

Comments: 17 pages, 3 figures; v2 streamlined version. Accepted for publication by Journal of Topology

MSC Class: 53D12; 53D35

Floer cohomology of the Chiang Lagrangian

Authors: Jonathan David Evans, Yanki Lekili

Abstract: We study holomorphic discs with boundary on a Lagrangian submanifold $L$ in a Kaehler manifold admitting a Hamiltonian action of a group $K$ which has $L$ as an orbit. We prove various transversality and classification results for such discs which we then apply to the case of a particular Lagrangian in $\mathbf{CP}^3$ first noticed by Chiang. We prove that this Lagrangian has non-vanishing Floer c… ▽ More We study holomorphic discs with boundary on a Lagrangian submanifold $L$ in a Kaehler manifold admitting a Hamiltonian action of a group $K$ which has $L$ as an orbit. We prove various transversality and classification results for such discs which we then apply to the case of a particular Lagrangian in $\mathbf{CP}^3$ first noticed by Chiang. We prove that this Lagrangian has non-vanishing Floer cohomology if and only if the coefficient ring has characteristic 5, in which case it generates the split-closed derived Fukaya category as a triangulated category. △ Less

Submitted 19 November, 2014; v1 submitted 16 January, 2014; originally announced January 2014.

Comments: 40 pages, 13 figures; v2 added computation of module structure and strong generation result, v3 incorporated referee's comments to agree with accepted version. To appear in Selecta Mathematica

MSC Class: 53D12; 53D37; 53D40

Unlinking and unknottedness of monotone Lagrangian submanifolds

Authors: Georgios Dimitroglou Rizell, Jonathan David Evans

Abstract: Under certain topological assumptions, we show that two monotone Lagrangian submanifolds embedded in the standard symplectic vector space with the same monotonicity constant cannot link one another and that, individually, their smooth knot type is determined entirely by the homotopy theoretic data which classifies the underlying Lagrangian immersion. The topological assumptions are satisfied by a… ▽ More Under certain topological assumptions, we show that two monotone Lagrangian submanifolds embedded in the standard symplectic vector space with the same monotonicity constant cannot link one another and that, individually, their smooth knot type is determined entirely by the homotopy theoretic data which classifies the underlying Lagrangian immersion. The topological assumptions are satisfied by a large class of manifolds which are realised as monotone Lagrangians, including tori. After some additional homotopy theoretic calculations, we deduce that all monotone Lagrangian tori in the symplectic vector space of odd complex dimension at least five are smoothly isotopic. △ Less

Submitted 11 July, 2024; v1 submitted 28 November, 2012; originally announced November 2012.

Comments: 36 pages + 5 page erratum. v2 updated to agree with published version and added an erratum

MSC Class: 53D12; 53D40; 53D42

Journal ref: Geom. Topol. 18 (2014) 997-1034

Pseudoholomorphic tori in the Kodaira-Thurston manifold

Authors: Jonathan David Evans, Jarek Kędra

Abstract: The Kodaira-Thurston manifold is a quotient of a nilpotent Lie group by a cocompact lattice. We compute the family Gromov-Witten invariants which count pseudoholomorphic tori in the Kodaira-Thurston manifold. For a fixed symplectic form the Gromov-Witten invariant is trivial so we consider the twistor family of left-invariant symplectic forms which are orthogonal for some fixed metric on the Lie a… ▽ More The Kodaira-Thurston manifold is a quotient of a nilpotent Lie group by a cocompact lattice. We compute the family Gromov-Witten invariants which count pseudoholomorphic tori in the Kodaira-Thurston manifold. For a fixed symplectic form the Gromov-Witten invariant is trivial so we consider the twistor family of left-invariant symplectic forms which are orthogonal for some fixed metric on the Lie algebra. This family defines a loop in the space of symplectic forms. This is the first example of a genus one family Gromov-Witten computation for a non-Kähler manifold. △ Less

Submitted 23 February, 2015; v1 submitted 6 May, 2012; originally announced May 2012.

Comments: 46 pages; v2 added some references and explanation, v3 couple of typos corrected. To appear in Compositio Mathematica

MSC Class: 32Q65; 53D35; 53D45; 14N35

Journal ref: Compositio Mathematica 151 (2015) 2212-2250

Remarks on monotone Lagrangians in $\mathbf{C}^n$

Authors: Jonathan David Evans, Jarek Kȩdra

Abstract: We derive some restrictions on the topology of a monotone Lagrangian submanifold $L\subset\mathbf{C}^n$ by making observations about the topology of the moduli space of Maslov 2 holomorphic discs with boundary on $L$ and then using Damian's theorem which gives conditions under which the evaluation map from this moduli space to $L$ has nonzero degree. In particular we prove that an orientable 3-man… ▽ More We derive some restrictions on the topology of a monotone Lagrangian submanifold $L\subset\mathbf{C}^n$ by making observations about the topology of the moduli space of Maslov 2 holomorphic discs with boundary on $L$ and then using Damian's theorem which gives conditions under which the evaluation map from this moduli space to $L$ has nonzero degree. In particular we prove that an orientable 3-manifold admits a monotone Lagrangian embedding in $\mathbf{C}^3$ only if it is a product, which is a variation on a theorem of Fukaya. Finally we prove an h-principle for monotone Lagrangian immersions. △ Less

Submitted 10 September, 2019; v1 submitted 5 October, 2011; originally announced October 2011.

Comments: 10 pages + 1 page corrigendum (correcting the statement and proof of Proposition 12)

MSC Class: 53D12; 53D40

The infimum of the Nijenhuis energy

Authors: Jonathan David Evans

Abstract: We prove that on any symplectic manifold whose symplectic form represents a rational cohomology class there exists a sequence of compatible almost complex structures whose Nijenhuis energy (the $L^2$-norm of the Nijenhuis tensor) tends to zero. The sequence is obtained by stretching the neck around a Donaldson hypersurface. We prove that on any symplectic manifold whose symplectic form represents a rational cohomology class there exists a sequence of compatible almost complex structures whose Nijenhuis energy (the $L^2$-norm of the Nijenhuis tensor) tends to zero. The sequence is obtained by stretching the neck around a Donaldson hypersurface. △ Less

Submitted 2 August, 2012; v1 submitted 22 September, 2011; originally announced September 2011.

Comments: 6 pages; updated with minor corrections to agree with published version

MSC Class: 53D05; 32Q60; 58E11

Journal ref: Mathematical Research Letters 2012 19(2):383-388

Quantum cohomology of twistor spaces and their Lagrangian submanifolds

Authors: Jonathan David Evans

Abstract: We compute the classical and quantum cohomology rings of the twistor spaces of 6-dimensional hyperbolic manifolds and the eigenvalues of quantum multiplication by the first Chern class. Given a half-dimensional totally geodesic submanifold we associate, after Reznikov, a monotone Lagrangian submanifold of the twistor space. In the case of a 3-dimensional totally geodesic submanifold of a hyperboli… ▽ More We compute the classical and quantum cohomology rings of the twistor spaces of 6-dimensional hyperbolic manifolds and the eigenvalues of quantum multiplication by the first Chern class. Given a half-dimensional totally geodesic submanifold we associate, after Reznikov, a monotone Lagrangian submanifold of the twistor space. In the case of a 3-dimensional totally geodesic submanifold of a hyperbolic 6-manifold we compute the obstruction term $m_0$ in the Fukaya-Floer $A_{\infty}$-algebra of a Reznikov Lagrangian and calculate the Lagrangian quantum homology. There is a well-known correspondence between the possible values of $m_0$ for a Lagrangian with nonvanishing Lagrangian quantum homology and eigenvalues for the action of $c_1$ on quantum cohomology by quantum cup product. Reznikov's Lagrangians account for most of these eigenvalues but there are four exotic eigenvalues we cannot account for. △ Less

Submitted 6 June, 2024; v1 submitted 20 June, 2011; originally announced June 2011.

Comments: 44 pages; added an assumption on Stiefel-Whitney classes of the hyperbolic manifold. v4: added an erratum which corrects some typos in the statements of the main results (in particular, the four mysterious eigenvalues disappear)

MSC Class: 53D12; 53D35; 53D40; 53D45; 32L25

Journal ref: J. Differential Geom. Volume 96, Number 3 (2014), 353-397 http://projecteuclid.org/euclid.jdg/1395321845

On Continuous Branches of Very Singular Similarity Solutions of the Stable Thin Film Equation

Authors: J. D. Evans, V. A. Galaktionov

Abstract: Continuous branches of similarity solutions of the fourth-order stable thin film equation are studied. Continuous branches of similarity solutions of the fourth-order stable thin film equation are studied. △ Less

Submitted 5 March, 2010; originally announced March 2010.

Comments: 38 pages, 20 Figures

MSC Class: 35K55; 35K65

Symplectic mapping class groups of some Stein and rational surfaces

Authors: Jonathan David Evans

Abstract: In this paper we compute the homotopy groups of the symplectomorphism groups of the 3-, 4- and 5-point blow-ups of the projective plane (considered as monotone symplectic Del Pezzo surfaces). Along the way, we need to compute the homotopy groups of the compactly supported symplectomorphism groups of the cotangent bundle of $\mathbf{RP}^{2}$ and of $\mathbf{C}^*\times\mathbf{C}$. We also make progr… ▽ More In this paper we compute the homotopy groups of the symplectomorphism groups of the 3-, 4- and 5-point blow-ups of the projective plane (considered as monotone symplectic Del Pezzo surfaces). Along the way, we need to compute the homotopy groups of the compactly supported symplectomorphism groups of the cotangent bundle of $\mathbf{RP}^{2}$ and of $\mathbf{C}^*\times\mathbf{C}$. We also make progress in the case of the $A_n$-Milnor fibres: here we can show that the (compactly supported) Hamiltonian group is contractible and that the symplectic mapping class group embeds in the braid group on $n$-strands. △ Less

Submitted 10 May, 2014; v1 submitted 30 September, 2009; originally announced September 2009.

Comments: 31 pages; now agrees with published version

MSC Class: 53D35

Journal ref: Journal of Symplectic Geometry 2011 9(1):45-82

Lagrangian spheres in Del Pezzo surfaces

Authors: Jonathan David Evans

Abstract: Lagrangian spheres in the symplectic Del Pezzo surfaces arising as blow-ups of the complex projective plane in 4 or fewer points are classified up to Lagrangian isotopy. Unlike the case of the 5-point blow-up, there is no Lagrangian knotting. Lagrangian spheres in the symplectic Del Pezzo surfaces arising as blow-ups of the complex projective plane in 4 or fewer points are classified up to Lagrangian isotopy. Unlike the case of the 5-point blow-up, there is no Lagrangian knotting. △ Less

Submitted 3 May, 2010; v1 submitted 3 February, 2009; originally announced February 2009.

Comments: 48 pages, 2 figures; referee's corrections and suggestions incorporated.

MSC Class: 53D12

Journal ref: Journal of Topology 2010 3(1):181-227