Searcharxiv⌕ Search

arXiv subjects

Tatsuki Kuwagaki

Publications and source records attributed to Tatsuki Kuwagaki.

17 recordsLinked to original sources
arXiv2026

Microlocal categories over Novikov rings

In this paper, we define a family of categories for each Weinstein manifold, which is an enhanced version of the category first introduced by Tamarkin. Using our categories, for any (possibly non-exact immersed) Lagrangian brane, we develop a theory of sheaf quantization generalizing the previous researches. In particular, our theory involves the notion of a sheaf-theoretic bounding cochain, which is a conjectural counterpart of the theory of Fukaya--Oh--Ohta--Ono. We also study several structures of our categories for sufficiently Weinstein manifolds and properties known in the classical Tamarkin category; intersection points estimates, interleaving distances, energy stability with respect to Guillermou--Kashiwara--Schapira autoequivalence, and the completeness of the distance. We conjecture that our category is equivalent to a Fukaya category defined over the Novikov ring.

math.SG↗
arXiv2026

Almost equivalences between Tamarkin category and Novikov sheaves

We revisit the relationship between the Tamarkin's extra variable $t$ and Novikov rings. We prove that the equivariant version of Tamarkin category is almost equivalent (in the sense of almost mathematics) to the category of derived complete modules over the Novikov ring.

math.SG↗
arXiv2026

Almost mathematics, Persistence module, and Tamarkin category

We give a precise unification of three theories that are widely used by symplectic geometers: (Almost) modules over the Novikov ring, Persistence modules, and the Tamarkin category. Our method provides new input in this direction, especially in relation to Vaintrob's Novikov/log-perfectoid mirror symmetry for Novikov toric schemes. The results of this paper can also be treated as a study of persistent homology from a higher algebra point of view. As applications, we establish a version of homological mirror symmetry over the Novikov ring for toric varieties and propose a conjecture for homological mirror symmetry over the Novikov ring for log Calabi-Yau varieties.

math.SG↗
arXiv2026

A remark on monoidal structure and homological mirror symmetry

For a symplectic geometry $X$, suppose the (derived) Fukaya category $\mathrm{Fuk}(X)$ of $X$ is equipped with a monoidal structure. Then its Balmer spectrum recovers a mirror $Y$ of $X$ if there exists homological mirror symmetry $\mathrm{Fuk}(X)\cong D^b\mathrm{coh}(Y)$ and the monoidal structure is the mirror of the standard one of $D^b\mathrm{coh}(Y)$. In this short note, we fill one gap of this story in the literature: we show that the monoidal structure determines the homological mirror functor $\mathrm{Fuk}(X)\to D^b\mathrm{coh}(Y)$.

math.SG↗
arXiv2026

On Fukaya categories and prequantization bundles

We show: the Floer homology over the Novikov ring of (nonexact!) rational Lagrangians in an (nonexact!) integral symplectic manifold can be computed in terms of exact Lagrangians in an exact filling of the prequantization bundle. As a consequence, we give a Fukaya-sheaf correspondence for rational (nonexact!) Lagrangians in Weinstein manifolds, as conjectured by Ike and the first-named author. We also show that bounding cochains for immersed rational Lagrangians transform naturally under Legendrian isotopy, as conjectured by Akaho and Joyce. As an illustration, we show that quantum cohomology of the complex projective line -- which requires the counting of one holomorphic sphere -- can be recovered from purely sheaf-theoretic calculations.

math.SG↗
arXiv2025

Hodge microsheaves on cotangent bundles and plumbings

We introduce and study the category of Hodge microsheaves which is a Hodge-version of the category of microsheaves for a certain class of holomorphic exact symplectic manifolds. We then study Hodge-theoretic version of wrapped sheaves and discuss applications in topology and representation theory. Namely, we study (1) Hain's Hodge structures on the cohomology of based loop spaces of algebraic varieties, and (2) the Koszul duality of Ginzburg algebras by Etgü-Lekili from a mixed geometric perspective.

math.AG↗
arXiv2025

Adjoints, wrapping, and morphisms at infinity

For a localization of a smooth proper category along a subcategory preserved by the Serre functor, we show that morphisms in Efimov's algebraizable categorical formal punctured neighborhood of infinity can be computed using the natural cone between right and left adjoints of the localization functor. In particular, this recovers the following result of Ganatra--Gao--Venkatesh: morphisms in categorical formal punctured neighborhoods of wrapped Fukaya categories are computed by Rabinowitz wrapping.

math.SG↗
arXiv2024

Sheaf quantization from exact WKB analysis

A sheaf quantization is a sheaf associated to a Lagrangian brane. By using the results of exact WKB analysis, we sheaf-quantize spectral curves over the Novikov ring under some assumptions on the behavior of Stokes curves. For Schrödinger equations, we prove that the local system associated to the sheaf quantization (microlocalization a.k.a. abelianization) over the spectral curve can be identified with the Voros--Iwaki--Nakanishi coordinate. We expect that these sheaf quantizations are the object-level realizations of the $\hbar$-enhanced Riemann--Hilbert correspondence.

math.SG↗
arXiv2023

An introduction to sheaf quantization

The notion of sheaf quantization has many faces: an enhancement of the notion of constructible sheaves, the Betti counterpart of Fukaya--Floer theory, a topological realization of WKB-states in geometric quantization. The purpose of this note is to give an introduction to the subject.

math.SG↗
arXiv2022

$\hbar$-Riemann-Hilbert correspondence

We formulate and prove a Riemann-Hilbert correspondence between $\hbar$-differential equations and sheaf quantizations, which can be considered as a correspondence between two kinds of quantizations (deformation and sheaf quantization) of holomorphic cotangent bundles. The latter category is expected to be equivalent to a version of Fukaya category, which is a "quantization" of Lagrangian intersection theory. The ideas of the constructions are based on asymptotic/WKB analysis, which is related to geometric quantization.

math.SG↗
arXiv2019

Irregular perverse sheaves

We introduce irregular constructible sheaves, which are $\mathbb{C}$-constructible with coefficients in a finite version of Novikov ring $Λ$ and special gradings. We show that the bounded derived category of cohomologically irregular constructible complexes is equivalent to the bounded derived category of holonomic $\mathcal{D}$-modules by a modification of D'Agnolo--Kashiwara's irregular Riemann--Hilbert correspondence. The bounded derived category of cohomologically irregular constructible complexes is equipped with the irregular perverse t-structure, which is a straightforward generalization of usual perverse t-structure and we see its heart is equivalent to the abelian category of holonomic $\mathcal{D}$-modules. We also develop the algebraic version of the theory. Furthermore, we discuss the reason of the appearance of Novikov ring by using a conjectural reformulation of Riemann--Hilbert correspondence in terms of certain Fukaya category.

math.CV↗
arXiv2019

Categorification of Legendrian knots

Perverse schober defined by Kapranov--Schechtman is a categorification of the notion of perverse sheaf. In their definition, a key ingredient is certain purity property of perverse sheaves. In this short note, we attempt to describe a real analogue of the above story, as categorification of Legendrian points/knots. The notion turns out to include various notions such as semi-orthogonal decomposition, mutation braiding, spherical functor, N-spherical functor, and irregular perverse schober.

math.AG↗
arXiv2017

The nonequivariant coherent-constructible correspondence for toric stacks

The nonequivariant coherent-costructible correspondence is a microlocal-geometric interpretation of homological mirror symmetry for toric varieties conjectured by Fang-Liu-Treumann-Zaslow. We prove a generalization of this conjecture for a class of toric stacks which includes any toric varieties and toric orbifolds. Our proof is based on gluing descriptions of $\infty$-categories of both sides.

math.SG↗