Almost equivalences between Tamarkin category and Novikov sheaves

Tatsuki Kuwagaki

2024-08-10

Abstract: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.

Symplectic Geometry,Algebraic Geometry

What problem does this paper attempt to address?

Microlocal categories over Novikov rings

Yuichi Ike,Tatsuki Kuwagaki

2024-06-12

Abstract:In this paper, we define a family of categories for each Liouville 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.

Symplectic Geometry
Derived category of equivariant coherent sheaves on a smooth toric variety and Koszul duality

Valery A.Lunts

2024-05-23

Abstract:Let X be a smooth toric variety defined by the fan {\Sigma} . We consider {\Sigma} as a finite set with topology and define a natural sheaf of graded algebras A_{\Sigma} on {\Sigma} . The category of modules over A_{\Sigma} is studied (together with other related categories). This leads to a certain combinatorial Koszul duality equivalence. We describe the equivariant category of coherent sheaves coh_{X,T} and a related (slightly bigger) equivariant category O_{X,T}-mod in terms of sheaves of modules over the sheaf of algebras A_{\Sigma} . Eventually (for a complete X ) the combinatorial Koszul duality is interpreted in terms of the Serre functor on D^b(coh_{X,T})

Algebraic Geometry
Almost coherent modules and almost coherent sheaves

Bogdan Zavyalov

2024-05-21

Abstract:We review the theory of almost coherent modules that was introduced in "Almost Ring Theory" by Gabber and Ramero. Then we globalize it by developing a new theory of almost coherent sheaves on schemes and on a class of "nice" formal schemes. We show that these sheaves satisfy many properties similar to usual coherent sheaves, i.e. the Almost Proper Mapping Theorem, the Formal GAGA, etc. We also construct an almost version of the Grothendieck twisted image functor $f^!$ and verify its properties. Lastly, we study sheaves of $p$-adic nearby cycles on admissible formal models of rigid spaces and show that these sheaves provide examples of almost coherent sheaves. This gives a new proof of the finiteness result for étale cohomology of proper rigid spaces obtained before in the work of Peter Scholze "$p$-adic Hodge Theory For Rigid-Analytic Varieties".

Algebraic Geometry,Commutative Algebra
Equivalences of derived categories of sheaves on tame stacks

Fei Peng

2024-05-30

Abstract:Building on Olander's work on algebraic spaces, we prove Orlov's representability theorem relating fully faithful functors and Fourier--Mukai transforms between the bounded derived category of coherent sheaves to the case of smooth, proper, and tame algebraic stacks. This extends previous results of Kawamata for Deligne--Mumford stacks with generically trivial stabilizers and projective coarse moduli spaces.

Algebraic Geometry
On The Equivariant Tamagawa Number Conjecture

Samit Dasgupta,Mahesh Kakde,Jesse Silliman

2023-12-15

Abstract:Let $F$ be a totally real field and $K$ a finite abelian CM extension of $F$. Using class field theory, we show that our previous result giving a strong form of the Brumer-Stark conjecture implies the minus part of the equivariant Tamagawa number conjecture for the Tate motive associated to $K/F$. We work integrally over $\mathbf{Z}$, in particular the prime 2 is not inverted. This note can be viewed as our perspective on the recent work of Bullach, Burns, Daoud, and Seo. Following their philosophy, we show that the functorial properties (i.e. norm compatibilities) connecting the strong Brumer-Stark conjecture for varying number fields actually implies the minus part of the equivariant Tamagawa number conjecture.

Number Theory
Module categories, internal bimodules and Tambara modules

Mateusz Stroiński

2024-08-27

Abstract:We use the theory of Tambara modules to extend and generalize the reconstruction theorem for module categories over a rigid monoidal category to the non-rigid case. We show a biequivalence between the $2$-category of cyclic module categories over a monoidal category $\mathscr{C}$ and the bicategory of algebra and bimodule objects in the category of Tambara modules on $\mathscr{C}$. Using it, we prove that a cyclic module category can be reconstructed as the category of certain free module objects in the category of Tambara modules on $\mathscr{C}$, and give a sufficient condition for its reconstructability as module objects in $\mathscr{C}$. To that end, we extend the definition of the Cayley functor to the non-closed case, and show that Tambara modules give a proarrow equipment for $\mathscr{C}$-module categories, in which $\mathscr{C}$-module functors are characterized as $1$-morphisms admitting a right adjoint. Finally, we show that the $2$-category of all $\mathscr{C}$-module categories embeds into the $2$-category of categories enriched in Tambara modules on $\mathscr{C}$, giving an ''action via enrichment'' result.

Category Theory,Representation Theory
Semi-Homogeneous Sheaves and Twisted Derived Categories

Tyler Lane

2024-11-15

Abstract:We produce twisted derived equivalences between torsors under abelian varieties and their moduli spaces of simple semi-homogeneous sheaves. We also establish the natural converse to this result and show that a large class of twisted derived equivalences, including all derived equivalences, between torsors arise in this way. As corollaries, we obtain partial extensions of the usual derived equivalence criterion for abelian varieties established by Orlov and Polishchuk.

Algebraic Geometry
Module categories, internal bimodules, and Tambara modules

Mateusz Stroiński

DOI: https://doi.org/10.1112/plms.12596

2024-04-25

Proceedings of the London Mathematical Society

Abstract:Abstract We use the theory of Tambara modules to extend and generalize the reconstruction theorem for module categories over a rigid monoidal category to the nonrigid case. We show a biequivalence between the 2‐category of cyclic module categories over a monoidal category and the bicategory of algebra and bimodule objects in the category of Tambara modules on . Using it, we prove that a cyclic module category can be reconstructed as the category of certain free module objects in the category of Tambara modules on , and give a sufficient condition for its reconstructability as module objects in . To that end, we extend the definition of the Cayley functor to the nonclosed case, and show that Tambara modules give a proarrow equipment for ‐module categories, in which ‐module functors are characterized as 1‐morphisms admitting a right adjoint. Finally, we show that the 2‐category of all ‐module categories embeds into the 2‐category of categories enriched in Tambara modules on , giving an “action via enrichment” result.

mathematics
A note on higher almost ring theory

Fabian Hebestreit,Peter Scholze

2024-09-03

Abstract:We explain a derived version of the basic construction of localisations of module categories by means of idempotent ideals, which lie at the heart of Faltings' almost ring theory.

Commutative Algebra,Algebraic Topology,Number Theory
Equivariant Vector Bundles on T-Varieties

Nathan Ilten,Hendrik Süß

DOI: https://doi.org/10.1007/s00031-015-9312-2

2014-09-13

Abstract:Let X be a T-variety, where T is an algebraic torus. We describe a fully faithful functor from the category of T-equivariant vector bundles on X to a certain category of filtered vector bundles on a suitable quotient of X by T. We show that if X is factorial, this functor gives an equivalence of categories. This generalizes Klyachko's description of equivariant vector bundles on toric varieties. We apply our machinery to show that vector bundles of low rank on projective space which are equivariant with respect to special subtori of the maximal torus must split, generalizing a theorem of Kaneyama. Further applications include descriptions of global vector fields on T-varieties, and a study of equivariant deformations of equivariant vector bundles.

Algebraic Geometry
On iterated almost $ν$-stable derived equivalences

Wei Hu

DOI: https://doi.org/10.48550/arXiv.0811.0926

2010-03-09

Abstract:In a recent paper \cite{HuXi3}, we introduced a classes of derived equivalences called almost $\nu$-stable derived equivalences. The most important property is that an almost $\nu$-stable derived equivalence always induces a stable equivalence of Morita type, which generalizes a well-known result of Rickard: derived-equivalent self-injective algebras are stably equivalent of Morita type. In this paper, we shall consider the compositions of almost $\nu$-stable derived equivalences and their quasi-inverses, which is called iterated almost $\nu$-stable derived equivalences. We give a sufficient and necessary condition for a derived equivalence to be an iterated almost $\nu$-stable derived equivalence, and give an explicit construction of the stable equivalence functor induced by an iterated almost $\nu$-stable derived equivalence. As a consequence, we get some new sufficient conditions for a derived finite-dimensional algebras to induce a stable equivalence of Morita type.

Representation Theory,Category Theory
A Comparison of Takai and Treumann Dualities

Vikram Nadig

2024-10-11

Abstract:We prove a comparison result between two duality statements - Takai duality, which is implemented by the crossed product functor $- \rtimes G: KK^{G} \to KK^{\hat G}$ on equivariant Kasparov categories; and Treumann duality, which asserts the existence of an exotic equivalence of stable $\infty$-categories $\text{Mod}(KU_p[G])^{ft} \simeq \text{Mod}(KU_p[\hat G])^{ft}$ given by tensoring with a particular $(G,\hat G)$-bimodule $M_E$ and $p$-completing.

K-Theory and Homology,Algebraic Topology,Operator Algebras
An Equivariant Tamagawa Number Formula for t-Modules and Applications

Nathan Green,Cristian Popescu

2024-11-11

Abstract:We fix motivic data $(K/F, E)$ consisting of a Galois extension $K/F$ of characteristic $p$ global fields with arbitrary abelian Galois group $G$ and an ableian $t$-module $E$, defined over a certain Dedekind subring of $F$. For this data, one can define a $G$-equivariant motivic $L$-function $\Theta_{K/F}^E$. We refine the techniques developed in previous work of the authors and prove an equivariant Tamagawa number formula for appropriate Euler product completions of the special value $\Theta_{K/F}^E(0)$ of this equivariant $L$-function. This extends previous results of the authors from the Drinfeld module setting to the $t$--module setting. As a first notable consequence, we prove a $t$-module analogue of the classical (number field) Refined Brumer-Stark Conjecture, relating a certain $G$-Fitting ideal of the $t$-motive analogue $H(E/K)$ of Taelman's class modules to the special value $\Theta_{K/F}^E(0)$ in question. As a second consequence, we prove formulas for the values $\Theta_{K/F}^E(m)$, at all positive integers $m\in\Bbb Z_{\geq 0}$, when $E$ is a Drinfeld module. This, in turn, implies a Drinfeld module analogue of the classical Refined Coates-Sinnott Conjecture relating $\Theta_{K/F}^E(m)$ to the Fitting ideals of certain Carlitz twists $H(E(m)/\mathcal O_K)$ of Taelman's class modules, suggesting a strong analogy between these twists and the even Quillen $K$-groups of a number field. In an upcoming paper, these consequences will be used to develop an Iwasawa theory for the $t$-module analogues of Taelman's class modules.

Number Theory
Equivalences of stable categories of Gorenstein local rings

Tony J. Puthenpurakal

2024-03-08

Abstract:In this paper we give bountiful examples of Gorenstein local rings $A$ and $B$ such that there is a triangle equivalence between the stable categories \underline{CM}($A$), \underline{CM}($B$).

Commutative Algebra
Normed equivariant ring spectra and higher Tambara functors

Bastiaan Cnossen,Rune Haugseng,Tobias Lenz,Sil Linskens

2024-07-11

Abstract:In this paper we extend equivariant infinite loop space theory to take into account multiplicative norms: For every finite group $G$, we construct a multiplicative refinement of the comparison between the $\infty$-categories of connective genuine $G$-spectra and space-valued Mackey functors, first proven by Guillou-May, and use this to give a description of connective normed equivariant ring spectra as space-valued Tambara functors. In more detail, we first introduce and study a general notion of homotopy-coherent normed (semi)rings, and identify these with product-preserving functors out of a corresponding $\infty$-category of bispans. In the equivariant setting, this identifies space-valued Tambara functors with normed algebras with respect to a certain normed monoidal structure on grouplike $G$-commutative monoids in spaces. We then show that the latter is canonically equivalent to the normed monoidal structure on connective $G$-spectra given by the Hill-Hopkins-Ravenel norms. Combining our comparison with results of Elmanto-Haugseng and Barwick-Glasman-Mathew-Nikolaus, we produce normed ring structures on equivariant algebraic K-theory spectra.

Algebraic Topology,Category Theory,K-Theory and Homology
A Categorification of Morelli's Theorem and Homological Mirror Symmetry for Toric Varieties

Bohan Fang,Chiu-Chu Melissa Liu,David Treumann,Eric Zaslow

2008-01-01

Abstract:Let $X_\Sigma$ be a complete toric variety. The coherent-constructible correspondence $\kappa$ of \cite{FLTZ} equates $\Perf_T(X_\Sigma)$ with a subcategory $Sh_{cc}(M_\bR;\LS)$ of constructible sheaves on a vector space $M_\bR.$ The microlocalization equivalence $\mu$ of \cite{NZ,N} relates these sheaves to a subcategory $Fuk(T^*M_\bR;\LS)$ of the Fukaya category of the cotangent $T^*M_\bR$. When $X_\Si$ is nonsingular, taking the derived category yields an equivariant version of homological mirror symmetry, $DCoh_T(X_\Si)\cong DFuk(T^*M_\bR;\LS)$, which is an equivalence of triangulated tensor categories. The nonequivariant coherent-constructible correspondence $\bar{\kappa}$ of \cite{T} embeds $\Perf(X_\Si)$ into a subcategory $Sh_c(T_\bR^\vee;\bar{\Lambda}_\Si)$ of constructible sheaves on a compact torus $T_\bR^\vee$. When $X_\Si$ is nonsingular, the composition of $\bar{\kappa}$ and microlocalization yields a version of homological mirror symmetry, $DCoh(X_\Sigma)\hookrightarrow DFuk(T^*T_\bR;\bar{\Lambda}_\Si)$, which is a full embedding of triangulated tensor categories. When $X_\Si$ is nonsingular and projective, the composition $\tau=\mu\circ \kappa$ is compatible with T-duality, in the following sense. An equivariant ample line bundle $\cL$ has a hermitian metric invariant under the real torus, whose connection defines a family of flat line bundles over the real torus orbits. This data produces a T-dual Lagrangian brane $\mathbb L$ on the universal cover $T^*M_\bR$ of the dual real torus fibration. We prove $\mathbb L\cong \tau(\cL)$ in $Fuk(T^*M_\bR;\LS).$ Thus, equivariant homological mirror symmetry is determined by T-duality.
Quotient triangulated categories

Xiao-Wu Chen,Pu Zhang

DOI: https://doi.org/10.1007/s00229-007-0090-6

2007-01-01

manuscripta mathematica

Abstract:For a self-orthogonal module T , the relation between the quotient triangulated category D b ( A )/ K b (add T ) and the stable category of the Frobenius category of T -Cohen-Macaulay modules is investigated. In particular, for a Gorenstein algebra, we get a relative version of the description of the singularity category due to Happel. Also, the derived category of a Gorenstein algebra is explicitly given, inside the stable category of the graded module category of the corresponding trivial extension algebra, via Happel’s functor F: D^b(A) ⟶ T(A)^ℤ mod .
Almost mathematics of pointed symmetric monoidal model categories by Smith ideal theory

Yuki Kato

2024-07-29

Abstract:This article is a generalization of a result in Quillen's note ``Module theory over non-unital rings'' giving a one-to-one correspondence between bilocalization of abelian categories of modules and idempotent ideals of the base ring. Faltings; Gabber and Ramero established almost mathematics, the same as Quillen's bilocalization of a category of modules by nil modules. In this paper, by using the theory of Smith ideals mentioned in Hovey and Smith, we consider almost mathematics of symmetric monoidal pointed model categories. We prove a weak analogue of the one-to-one correspondence in Quillen.

Category Theory
A Categorification of Morelli’s Theorem

Bohan Fang,Chiu-Chu Melissa Liu,David Treumann,Eric Zaslow

DOI: https://doi.org/10.1007/s00222-011-0315-x

IF: 3.128

2011-01-01

Inventiones mathematicae

Abstract:We prove a theorem relating torus-equivariant coherent sheaves on toric varieties to polyhedrally-constructible sheaves on a vector space. At the level of K-theory, the theorem recovers Morelli’s description of the K-theory of a smooth projective toric variety (Morelli in Adv. Math. 100(2):154–182, 1993). Specifically, let X be a proper toric variety of dimension n and let $M_{\mathbb{R}} = \mathrm{Lie}(T_{\mathbb{R}}^{\vee})\cong\mathbb {R}^{n}$ be the Lie algebra of the compact dual (real) torus $T_{\mathbb{R}}^{\vee}\cong U(1)^{n}$. Then there is a corresponding conical Lagrangian Λ⊂T ∗ M ℝ and an equivalence of triangulated dg categories $\mathcal{P}\mathrm{erf}_{T}(X) \cong\mathit{Sh}_{cc}(M_{\mathbb{R}};\Lambda)$, where $\mathcal{P}\mathrm{erf}_{T}(X)$ is the triangulated dg category of perfect complexes of torus-equivariant coherent sheaves on X and Sh cc (M ℝ;Λ) is the triangulated dg category of complex of sheaves on M ℝ with compactly supported, constructible cohomology whose singular support lies in Λ. This equivalence is monoidal—it intertwines the tensor product of coherent sheaves on X with the convolution product of constructible sheaves on M ℝ.
A monoidal Dold-Kan correspondence for comodules

Maximilien Péroux

2024-04-08

Abstract:We provide examples of inductive fibrant replacements in fibrantly generated model categories constructed as Postnikov towers. These provide new types of arguments to compute homotopy limits in model categories. We provide examples for simplicial and differential graded comodules. Our main application is to show that simplicial comodules and connective differential graded comodules are Quillen equivalent and their derived cotensor products correspond. We deduce that the rational $A$-theory of a simply connected space $X$ is equivalent to the $K$-theory of perfect chain complexes with a $C_*(X; \mathbb{Q})$-comodule structure.

Algebraic Topology,Category Theory

Almost equivalences between Tamarkin category and Novikov sheaves

Microlocal categories over Novikov rings

Derived category of equivariant coherent sheaves on a smooth toric variety and Koszul duality

Almost coherent modules and almost coherent sheaves

Equivalences of derived categories of sheaves on tame stacks

On The Equivariant Tamagawa Number Conjecture

Module categories, internal bimodules and Tambara modules

Semi-Homogeneous Sheaves and Twisted Derived Categories

Module categories, internal bimodules, and Tambara modules

A note on higher almost ring theory

Equivariant Vector Bundles on T-Varieties

On iterated almost $ν$-stable derived equivalences

A Comparison of Takai and Treumann Dualities

An Equivariant Tamagawa Number Formula for t-Modules and Applications

Equivalences of stable categories of Gorenstein local rings

Normed equivariant ring spectra and higher Tambara functors

A Categorification of Morelli's Theorem and Homological Mirror Symmetry for Toric Varieties

Quotient triangulated categories

Almost mathematics of pointed symmetric monoidal model categories by Smith ideal theory

A Categorification of Morelli’s Theorem

A monoidal Dold-Kan correspondence for comodules