Showing 1–15 of 15 results for author: Hicks, J

Rigidity and Realizability for Tropical Curves in Dimension 3

Authors: Jeff Hicks

Abstract: We present an unobstructedness criterion for Lagrangian threefolds $L\subset X^A$ using the $H_1(L)$-class associated with the boundary of a pseudoholomorphic disk. As an application, let $X^A\to Q$ be a Lagrangian torus fibration whose base $Q$ is a tropical abelian threefold. Given $V\subset Q$ a rigid tropical curve with a pair-of-pants decomposition, we prove that the Lagrangian lift… ▽ More We present an unobstructedness criterion for Lagrangian threefolds $L\subset X^A$ using the $H_1(L)$-class associated with the boundary of a pseudoholomorphic disk. As an application, let $X^A\to Q$ be a Lagrangian torus fibration whose base $Q$ is a tropical abelian threefold. Given $V\subset Q$ a rigid tropical curve with a pair-of-pants decomposition, we prove that the Lagrangian lift $L_V\subset X^A$ is unobstructed. Provided that an appropriate homological mirror symmetry statement holds, this implies the existence of a realization $Y_V$ in the mirror abelian threefold $X^B\to Q$. △ Less

Submitted 23 February, 2025; originally announced February 2025.

Comments: 23 pages, 4 figures

MSC Class: 53D40; 14T20

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)

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

A short computation of the Rouquier dimension for a cycle of projective lines

Authors: Andrew Hanlon, Jeff Hicks

Abstract: Given a dg category $\mathcal C$, we introduce a new class of objects (weakly product bimodules) in $\mathcal C^{op}\otimes \mathcal C$ generalizing product bimodules. We show that the minimal generation time of the diagonal by weakly product bimodules provides an upper bound for the Rouquier dimension of $\mathcal C$. As an application, we give a purely algebro-geometric proof of a result of Burb… ▽ More Given a dg category $\mathcal C$, we introduce a new class of objects (weakly product bimodules) in $\mathcal C^{op}\otimes \mathcal C$ generalizing product bimodules. We show that the minimal generation time of the diagonal by weakly product bimodules provides an upper bound for the Rouquier dimension of $\mathcal C$. As an application, we give a purely algebro-geometric proof of a result of Burban and Drozd that the Rouquier dimension of the derived category of coherent sheaves on an $n$-cycle of projective lines is one. Our approach explicitly gives the generator realizing the minimal generation time. △ Less

Submitted 13 November, 2024; v1 submitted 9 November, 2023; originally announced November 2023.

Comments: 10 pages, 5 figures. Minor changes in exposition following referee report. Version accepted to Proceedings of the AMS

MSC Class: 14F08; 18G80

Relating categorical dimensions in topology and symplectic geometry

Authors: Andrew Hanlon, Jeff Hicks, Oleg Lazarev

Abstract: We study several notions of dimension for (pre-)triangulated categories naturally arising from topology and symplectic geometry. We prove new bounds on these dimensions and raise several questions for further investigation. For instance, we relate the Rouquier dimension of the wrapped Fukaya category of either the cotangent bundle of smooth manifold $M$ or more generally a Weinstein domain $X$ to… ▽ More We study several notions of dimension for (pre-)triangulated categories naturally arising from topology and symplectic geometry. We prove new bounds on these dimensions and raise several questions for further investigation. For instance, we relate the Rouquier dimension of the wrapped Fukaya category of either the cotangent bundle of smooth manifold $M$ or more generally a Weinstein domain $X$ to quantities of geometric interest. These quantities include the minimum number of critical values of a Morse function on $M$, the Lusternik-Schnirelmann category of $M$, the number of distinct action values of a Hamiltonian diffeomorphism of $X$, and the smallest $n$ such that $X$ admits a Weinstein embedding into $\mathbb{R}^{2n+1}$. Along the way, we introduce a notion of the Lusternik-Schnirelmann category for dg-categories and construct exact Lagrangian cobordisms for restriction to a Liouville subdomain. △ Less

Submitted 25 August, 2023; originally announced August 2023.

Comments: 38 Pages

MSC Class: 53D40; 18G80; 55M10

Reverse isoperimetric inequalities for Lagrangian intersection Floer theory

Authors: Jean-Philippe Chassé, Jeff Hicks, Yoon Jae Nick Nho

Abstract: We extend Groman and Solomon's reverse isoperimetric inequality to pseudoholomorphic curves with punctures at the boundary and whose boundary components lie in a collection of Lagrangian submanifolds with intersections locally modelled on $\mathbb{R}^n\cap (\mathbb{R}^{k}\times \sqrt{-1}\mathbb{R}^{n-k})$ inside $\mathbb{C}^n$. Our construction closely follows the methods used by Duval (2016) and… ▽ More We extend Groman and Solomon's reverse isoperimetric inequality to pseudoholomorphic curves with punctures at the boundary and whose boundary components lie in a collection of Lagrangian submanifolds with intersections locally modelled on $\mathbb{R}^n\cap (\mathbb{R}^{k}\times \sqrt{-1}\mathbb{R}^{n-k})$ inside $\mathbb{C}^n$. Our construction closely follows the methods used by Duval (2016) and Abouzaid (2021) and corrects an error appearing in the latter approach. △ Less

Submitted 7 June, 2023; originally announced June 2023.

Comments: 23 pages, 2 figures

MSC Class: 32Q65; 32U05

Resolutions of toric subvarieties by line bundles and applications

Authors: Andrew Hanlon, Jeff Hicks, Oleg Lazarev

Abstract: Given any toric subvariety $Y$ of a smooth toric variety $X$ of codimension $k$, we construct a length $k$ resolution of $\mathcal O_Y$ by line bundles on $X$. Furthermore, these line bundles can all be chosen to be direct summands of the pushforward of $\mathcal O_X$ under the map of toric Frobenius. The resolutions are built from a stratification of a real torus that was introduced by Bondal and… ▽ More Given any toric subvariety $Y$ of a smooth toric variety $X$ of codimension $k$, we construct a length $k$ resolution of $\mathcal O_Y$ by line bundles on $X$. Furthermore, these line bundles can all be chosen to be direct summands of the pushforward of $\mathcal O_X$ under the map of toric Frobenius. The resolutions are built from a stratification of a real torus that was introduced by Bondal and plays a role in homological mirror symmetry. As a corollary, we obtain a virtual analogue of Hilbert's syzygy theorem for smooth projective toric varieties conjectured by Berkesch, Erman, and Smith. Additionally, we prove that the Rouquier dimension of the bounded derived category of coherent sheaves on a toric variety is equal to the dimension of the variety, settling a conjecture of Orlov for these examples. We also prove Bondal's claim that the pushforward of the structure sheaf under toric Frobenius generates the derived category of a smooth toric variety and formulate a refinement of Uehara's conjecture that this remains true for arbitrary line bundles. △ Less

Submitted 10 August, 2024; v1 submitted 7 March, 2023; originally announced March 2023.

Comments: 64 pages, 15 figures. Some minor changes following referee report. Version accepted to Forum of Mathematics, Pi

MSC Class: 14M25; 18G10; 14F08

Journal ref: Forum of Mathematics, Pi 12 (2024) e24

Some cute applications of Lagrangian cobordisms towards examples in quantitative symplectic geometry

Authors: Jeff Hicks, Cheuk Yu Mak

Abstract: We provide some constructions using Lagrangian cobordisms which improve known examples for some symplectic squeezing problems. Additionally, we prove a flexibility result that Lagrangian submanifolds which are Lagrangian isotopic are also Lagrangian cobordant. We provide some constructions using Lagrangian cobordisms which improve known examples for some symplectic squeezing problems. Additionally, we prove a flexibility result that Lagrangian submanifolds which are Lagrangian isotopic are also Lagrangian cobordant. △ Less

Submitted 30 August, 2022; originally announced August 2022.

Comments: 15 pages, 12 figures

MSC Class: 53D12

Realizability in tropical geometry and unobstructedness of Lagrangian submanifolds

Authors: Jeff Hicks

Abstract: We say that a tropical subvariety $V\subset \mathbb R^n$ is $B$-realizable if it can be lifted to an analytic subset of $(Λ^*)^n$. When $V$ is a smooth curve or hypersurface, there always exists a Lagrangian submanifold lift $L_V\subset (\mathbb C^*)^n$. We prove that whenever $L_V$ has well-defined Floer cohomology, we can find for each point of $V$ a Lagrangian torus brane whose Lagrangian inter… ▽ More We say that a tropical subvariety $V\subset \mathbb R^n$ is $B$-realizable if it can be lifted to an analytic subset of $(Λ^*)^n$. When $V$ is a smooth curve or hypersurface, there always exists a Lagrangian submanifold lift $L_V\subset (\mathbb C^*)^n$. We prove that whenever $L_V$ has well-defined Floer cohomology, we can find for each point of $V$ a Lagrangian torus brane whose Lagrangian intersection Floer cohomology with $L_V$ is non-vanishing. Assuming an appropriate homological mirror symmetry result holds for toric varieties, it follows that whenever $L_V$ is a Lagrangian submanifold that can be made unobstructed by a bounding cochain, the tropical subvariety $V$ is $B$-realizable. As an application, we show that the Lagrangian lift of a genus zero tropical curve is unobstructed, thereby giving a purely symplectic argument for Nishinou and Siebert's proof that genus-zero tropical curves are $B$-realizable. We also prove that tropical curves inside tropical abelian surfaces are $B$-realizable. △ Less

Submitted 21 January, 2024; v1 submitted 13 April, 2022; originally announced April 2022.

Comments: Expositional modifications and minor corrections following referee report. Update to Section 5.2. Some material adapted from Section 4.3 of arXiv:1904.06005v1

Journal ref: Geom. Topol. 29 (2025) 1909-1973

Lagrangian cobordisms and Lagrangian surgery

Authors: Jeff Hicks

Abstract: Lagrangian $k$-surgery modifies an immersed Lagrangian submanifold by topological $k$-surgery while removing a self-intersection. Associated to a $k$-surgery is a Lagrangian surgery trace cobordism. We prove that every Lagrangian cobordism is exactly homotopic to a concatenation of suspension cobordisms and Lagrangian surgery traces. This exact homotopy can be chosen with as small Hofer norm as de… ▽ More Lagrangian $k$-surgery modifies an immersed Lagrangian submanifold by topological $k$-surgery while removing a self-intersection. Associated to a $k$-surgery is a Lagrangian surgery trace cobordism. We prove that every Lagrangian cobordism is exactly homotopic to a concatenation of suspension cobordisms and Lagrangian surgery traces. This exact homotopy can be chosen with as small Hofer norm as desired. Furthermore, we show that each Lagrangian surgery trace bounds a holomorphic teardrop pairing the Morse cochain associated with the handle attachment to the Floer cochain generated by the self-intersection. We give a sample computation for how these decompositions can be used to algorithmically construct bounding cochains for Lagrangian submanifolds. In an appendix, we describe a 2-ended embedded monotone Lagrangian cobordism which is not the suspension of a Hamiltonian isotopy following a suggestion of Abouzaid and Auroux. △ Less

Submitted 27 November, 2022; v1 submitted 19 February, 2021; originally announced February 2021.

Comments: 59 pages, 32 figures. Version 3: Version accepted to Commentarii Mathematici Helvetici. Incorporated helpful suggestions from referee

MSC Class: 53D12 (Primary) 53D40; 57R90 (Secondary)

Aspects of functoriality in homological mirror symmetry for toric varieties

Authors: Andrew Hanlon, Jeff Hicks

Abstract: We study homological mirror symmetry for toric varieties, exploring the relationship between various Fukaya-Seidel categories which have been employed for constructing the mirror to a toric variety. In particular, we realize tropical Lagrangian sections as objects of a partially wrapped category and construct a Lagrangian correspondence mirror to the inclusion of a toric divisor. As a corollary, w… ▽ More We study homological mirror symmetry for toric varieties, exploring the relationship between various Fukaya-Seidel categories which have been employed for constructing the mirror to a toric variety. In particular, we realize tropical Lagrangian sections as objects of a partially wrapped category and construct a Lagrangian correspondence mirror to the inclusion of a toric divisor. As a corollary, we prove that tropical sections generate the Fukaya-Seidel category, completing a Floer-theoretic proof of homological mirror symmetry for projective toric varieties. In the course of the proof, we develop techniques for constructing Lagrangian cobordisms and Lagrangian correspondences in Liouville domains, which may be of independent interest. △ Less

Submitted 2 March, 2022; v1 submitted 17 October, 2020; originally announced October 2020.

Comments: 78 pages, 22 Figures. Updates: minor expositional changes following referee report. Version accepted to Advances in Mathematics

MSC Class: 53D37; 14M25

Tropical Lagrangians in toric del-Pezzo surfaces

Authors: Jeff Hicks

Abstract: We look at how one can construct from the data of a dimer model a Lagrangian submanifold in $(\mathbb{C}^*)^n$ whose valuation projection approximates a tropical hypersurface. Each face of the dimer corresponds to a Lagrangian disk with boundary on our tropical Lagrangian submanifold, forming a Lagrangian mutation seed. Using this we find tropical Lagrangian tori $L_{T^2}$ in the complement of a s… ▽ More We look at how one can construct from the data of a dimer model a Lagrangian submanifold in $(\mathbb{C}^*)^n$ whose valuation projection approximates a tropical hypersurface. Each face of the dimer corresponds to a Lagrangian disk with boundary on our tropical Lagrangian submanifold, forming a Lagrangian mutation seed. Using this we find tropical Lagrangian tori $L_{T^2}$ in the complement of a smooth anticanonical divisor of a toric del-Pezzo whose wall-crossing transformations match those of monotone SYZ fibers. An example is worked out for the mirror pair $(\mathbb{CP}^2\setminus E, W), \check X_{9111}$. We find a symplectomorphism of $\mathbb{CP}^2\setminus E$ interchanging $L_{T^2}$ and a SYZ fiber. Evidence is provided that this symplectomorphism is mirror to fiberwise Fourier-Mukai transform on $\check X_{9111}$. △ Less

Submitted 8 December, 2020; v1 submitted 17 August, 2020; originally announced August 2020.

Comments: 55 pages, 24 figures. This is the final version of the paper accepted in Selecta Mathematica. arXiv admin note: substantial text overlap with arXiv:1904.06005

Journal ref: Sel. Math. New Ser. 27, 3 (2021)

Wall-crossing from Lagrangian Cobordisms

Authors: Jeff Hicks

Abstract: Biran and Cornea showed that monotone Lagrangian cobordisms give an equivalence of objects in the Fukaya category. However, there are currently no known non-trivial examples of monotone Lagrangian cobordisms with two ends. We look at an extension of their theory to the pearly model of Lagrangian Floer cohomology and unobstructed Lagrangian cobordisms. In particular, we examine the suspension cobor… ▽ More Biran and Cornea showed that monotone Lagrangian cobordisms give an equivalence of objects in the Fukaya category. However, there are currently no known non-trivial examples of monotone Lagrangian cobordisms with two ends. We look at an extension of their theory to the pearly model of Lagrangian Floer cohomology and unobstructed Lagrangian cobordisms. In particular, we examine the suspension cobordism of a Hamiltonian isotopy and the Haug mutation cobordism between mutant Lagrangian surfaces. In both cases, we show that these Lagrangian cobordisms can be unobstructed by bounding cochain and additionally induce an $A_\infty$ homomorphism between the Floer cohomology of the ends. This gives a first example of a two-ended Lagrangian cobordism giving a non-trivial equivalence of Lagrangian Floer cohomology. A brief computation is also included which shows that the incorporation of bounding cochain from this equivalence accounts for the "instanton-corrections" considered by Auroux, Ekholm, Pascaleff, Rizell, and Tonkonog for the wall-crossing formula between Chekanov and product tori in $(\mathbb C^2)\setminus \{z_1z_2=1\}$. We additionally prove some auxiliary results that may be of independent interest. These include a weakly filtered version of the Whitehead theorem for $A_\infty$ algebras and an extension of Charest-Woodward's stabilizing divisor model of Lagrangian Floer cohomology to Lagrangian cobordisms. △ Less

Submitted 1 April, 2022; v1 submitted 22 November, 2019; originally announced November 2019.

Comments: 67 pages, 13 figures. Minor revisions throughout paper, and major revisions to appendices following referee report

Journal ref: Algebr. Geom. Topol. 24 (2024) 3069-3138

Tropical Lagrangian Hypersurfaces are Unobstructed

Authors: Jeff Hicks

Abstract: We produce for each tropical hypersurface $V(φ)\subset Q=\mathbb{R}^n$ a Lagrangian $L(φ)\subset (\mathbb{C}^*)^n$ whose moment map projection is a tropical amoeba of $V(φ)$. When these Lagrangians are admissible in the Fukaya-Seidel category, we show that they are unobstructed objects of the Fukaya category, and mirror to sheaves supported on complex hypersurfaces in a toric mirror. We produce for each tropical hypersurface $V(φ)\subset Q=\mathbb{R}^n$ a Lagrangian $L(φ)\subset (\mathbb{C}^*)^n$ whose moment map projection is a tropical amoeba of $V(φ)$. When these Lagrangians are admissible in the Fukaya-Seidel category, we show that they are unobstructed objects of the Fukaya category, and mirror to sheaves supported on complex hypersurfaces in a toric mirror. △ Less

Submitted 17 August, 2020; v1 submitted 11 April, 2019; originally announced April 2019.

Comments: 48 Pages. First portion of arXiv:1904.06005 which was split in two. This version has been accepted for publication by the Journal of Topology

Journal ref: Journal of Topology, 13 (2020) 1409-1454

Distinct Partial Sums in Cyclic Groups: Polynomial Method and Constructive Approaches

Authors: Jacob Hicks, M. A. Ollis, John. R. Schmitt

Abstract: Let $(G,+)$ be an abelian group and consider a subset $A \subseteq G$ with $|A|=k$. Given an ordering $(a_1, \ldots, a_k)$ of the elements of $A$, define its {\em partial sums} by $s_0 = 0$ and $s_j = \sum_{i=1}^j a_i$ for $1 \leq j \leq k$. We consider the following conjecture of Alspach: For any cyclic group $\Z_n$ and any subset $A \subseteq \Z_n \setminus \{0\}$ with $s_k \neq 0$, it is possib… ▽ More Let $(G,+)$ be an abelian group and consider a subset $A \subseteq G$ with $|A|=k$. Given an ordering $(a_1, \ldots, a_k)$ of the elements of $A$, define its {\em partial sums} by $s_0 = 0$ and $s_j = \sum_{i=1}^j a_i$ for $1 \leq j \leq k$. We consider the following conjecture of Alspach: For any cyclic group $\Z_n$ and any subset $A \subseteq \Z_n \setminus \{0\}$ with $s_k \neq 0$, it is possible to find an ordering of the elements of $A$ such that no two of its partial sums $s_i$ and $s_j$ are equal for $0 \leq i < j \leq k$. We show that Alspach's Conjecture holds for prime $n$ when $k \geq n-3$ and when $k \leq 10$. The former result is by direct construction, the latter is non-constructive and uses the polynomial method. We also use the polynomial method to show that for prime $n$ a sequence of length $k$ having distinct partial sums exists in any subset of $\Z_n \setminus \{0\}$ of size at least $2k- \sqrt{8k}$ in all but at most a bounded number of cases. △ Less

Submitted 7 September, 2018; originally announced September 2018.

Comments: 18 pages