arXiv subjects

Yusuf Barış Kartal

Publications and source records attributed to Yusuf Barış Kartal.

7 recordsLinked to original sources

arXiv2025

Recovering generalized homology from Floer homology: the complex oriented case

We associate an invariant called the completed Tate cohomology to a filtered circle-equivariant spectrum and a complex oriented cohomology theory. We show that when the filtered spectrum is the spectral symplectic cohomology of a Liouville manifold, this invariant depends only on the stable homotopy type of the underlying manifold. We make explicit computations for several complex oriented cohomology theories, including Eilenberg-Maclane spectra, Morava K-theories, their integral counterparts, and complex K-theory. We show that the result for Eilenberg-Maclane spectra depends only on the rational homology, and we use the computations for Morava K-theory to recover the integral homology (as an ungraded group). In a different direction, we use the completed Tate cohomology computations for the complex K-theory to recover the complex K-theory of the underlying manifold from its equivariant filtered Floer homotopy type. A key Floer theoretic input is the computation of local equivariant Floer theory near the orbit of an autonomous Hamiltonian, which may be of independent interest.

math.SG↗

arXiv2024

Iterations of symplectomorphisms and p-adic analytic actions on the Fukaya category

Inspired by the work of Bell on the dynamical Mordell-Lang conjecture, and by family Floer cohomology, we construct p-adic analytic families of bimodules on the Fukaya category of a monotone or negatively monotone symplectic manifold, interpolating the bimodules corresponding to iterates of a symplectomorphism $ϕ$ isotopic to the identity. This family can be thought of as a $p$-adic analytic action on the Fukaya category. Using this, we deduce that the ranks of the Floer cohomology groups $HF(ϕ^k(L),L';Λ)$ are constant in $k\in\mathbb{Z}$, with finitely many possible exceptions. We also prove an analogous result without the monotonicity assumption for generic $ϕ$ isotopic to the identity by showing how to construct a p-adic analytic action in this case. We give applications to categorical entropy and a conjecture of Seidel.

math.SG↗

arXiv2024

Equivariant Floer homotopy via Morse-Bott theory

We generalize the Cohen-Jones-Segal construction to the Morse-Bott setting. In other words, we define framings for Morse-Bott analogues of flow categories and associate a stable homotopy type to this data. We use this to recover the stable homotopy type of a closed manifold from Morse-Bott theory, and the stable equivariant homotopy type of a closed manifold with the action of a compact Lie group from Morse theory. We use this machinery in Floer theory to construct a genuine circle equivariant model for symplectic cohomology with coefficients in the sphere spectrum. Using the formalism of relative modules, we define equivariant maps to (Thom spectra over) the free loop space of exact, compact Lagrangians. We prove that this map is an equivalence of Borel equivariant spectra when the Lagrangian is the zero section of a cotangent bundle -- an equivariant Viterbo isomorphism theorem over the sphere spectrum.

math.AT↗

arXiv2023

Categorical action filtrations via localization and the growth as a symplectic invariant

We develop a purely categorical theory of action filtrations and their associated growth invariants. When specialized to categories of geometric interest, such as the wrapped Fukaya category of a Weinstein manifold, and the bounded derived category of coherent sheaves on a smooth algebraic variety, our categorical action filtrations essentially recover previously studied filtrations of geometric origin. Our approach is built around the notion of a smooth categorical compactification. We prove that a smooth categorical compactification induces well-defined growth invariants, which are moreover preserved under zig-zags of such compactifications. The technical heart of the paper is a method for computing these growth invariants in terms of the growth of certain colimits of (bi)modules. In practice, such colimits arise in both geometric settings of interest. The main applications are: (1) A "quantitative" refinement of homological mirror symmetry, which relates the growth of the Reeb-length filtration on the symplectic geometry side with the growth of filtrations on the algebraic geometry side defined by the order of pole at infinity (often these can be expressed in terms of the dimension of the support of sheaves). (2) A proof that the Reeb-length growth of symplectic cohomology and wrapped Floer cohomology on a Weinstein manifold are at most exponential. (3) Lower bounds for the entropy and polynomial entropy of certain natural endofunctors acting on Fukaya categories.

math.SG↗

arXiv2021

Algebraic sheaves of Floer homology groups via algebraic torus actions on the Fukaya category

Let $(M,ω_M)$ be a monotone or negatively monotone symplectic manifold, or a Weinstein manifold. One can construct an "action" of $H^1(M,\mathbb{G}_m)$ on the Fukaya category (wrapped Fukaya category in the exact case) that reflects the action of $Symp^0(M,ω_M)$ on the set of Lagrangian branes. A priori this action is only analytic. The purpose of this work is to show the algebraicity of this action under some assumptions. We use this to prove a tameness result for the sheaf of Lagrangian Floer homology groups obtained by moving one of the Lagrangians via global symplectic isotopies. We also show the algebraicity of the locus of $z\in H^1(M,\mathbb{G}_m)$ that fix a Lagrangian brane in the Fukaya category. The latter has applications to Lagrangian flux. Finally, we prove a statement in mirror symmetry: in the Weinstein case, assume that $M$ is mirror to an affine or projective variety $X$, that there exists an exact Lagrangian torus $L\subset M$ such that $H^1(M)\to H^1(L)$ is surjective, and that $L$ is sent to a smooth point of $x\in X$ under the mirror equivalence. Then we construct a Zariski chart of $X$ containing $x$, that is isomorphic to $H^1(L,\mathbb{G}_m)$, and such that other points of this chart correspond to non-exact deformations of $L$ (possibly equipped with unitary local systems). In particular, this implies rationality of the irreducible component containing $x$; however, it is stronger. Under our assumptions, one can construct an algebraic action of $H^1(M,\mathbb{G}_m)$, namely the action by non-unitary local systems. By combining techniques from family Floer homology and non-commutative geometry, we prove that this action coincides with the geometric action mentioned in the first paragraph. We use this to deduce the theorems above.

math.SG↗

arXiv2021

Dynamical invariants of mapping torus categories

This paper describes constructions in homological algebra that are part of a strategy whose goal is to understand and classify symplectic mapping tori. More precisely, given a dg category and an auto-equivalence, satisfying certain assumptions, we introduce a category $M_ϕ$-called the mapping torus category that describes the wrapped Fukaya category of an open symplectic mapping torus. Then we define a family of bimodules on a natural deformation of $M_ϕ$, uniquely characterize it and using this, we distinguish $M_ϕ$ from the mapping torus category of the identity. The proof of the equivalence of $M_ϕ$ with wrapped Fukaya category is proven in a different paper (arXiv:1907.01156).

math.SG↗

arXiv2021

Distinguishing open symplectic mapping tori via their wrapped Fukaya categories

In this paper, we present partial results towards a classification of symplectic mapping tori using dynamical properties of wrapped Fukaya categories. More precisely, we construct a symplectic manifold $T_ϕ$ associated to a Weinstein domain $M$, and an exact, compactly supported symplectomorphism $ϕ$. $T_ϕ$ is another Weinstein domain and its contact boundary is independent of $ϕ$. In this paper, we distinguish $ϕ$ from $T_{1_M}$, under certain assumptions (Theorem 1.1). As an application, we obtain pairs of diffeomorphic Weinstein domains with the same contact boundary and whose symplectic cohomology groups are the same, as vector spaces, but that are different as Liouville domains. To our knowledge, this is the first example of such pairs that can be distinguished by their wrapped Fukaya category. Previously, we have suggested a categorical model $M_ϕ$ for the wrapped Fukaya category $\mathcal{W}(T_ϕ)$, and we have distinguished $M_ϕ$ from the mapping torus category of the identity. In this paper, we prove $\mathcal{W}(T_ϕ)$ and $M_ϕ$ are derived equivalent (Theorem 1.9); hence, deducing the promised Theorem 1.1. Theorem 1.9 is of independent interest as it preludes an algebraic description of wrapped Fukaya categories of locally trivial symplectic fibrations as twisted tensor products.

math.SG↗