Showing 1–20 of 20 results for author: Iwanari, I

Hochschild cohomology and deformation theory of stable infinity-categories with t-structures

Authors: Isamu Iwanari

Abstract: Given a stable presentable infinity-category $\mathcal{E}$ equipped with a left complete t-structure, we prove that its Hochschild cohomology governs the deformation theory of $\mathcal{E}$ with respect to left complete t-structures. Given a stable presentable infinity-category $\mathcal{E}$ equipped with a left complete t-structure, we prove that its Hochschild cohomology governs the deformation theory of $\mathcal{E}$ with respect to left complete t-structures. △ Less

Submitted 26 June, 2025; originally announced June 2025.

Bogomolov-Tian-Todorov theorem for Calabi-Yau categories

Authors: Isamu Iwanari

Abstract: We prove a generalization of Bogomolov-Tian-Todorov theorem to Calabi-Yau categories. We prove a generalization of Bogomolov-Tian-Todorov theorem to Calabi-Yau categories. △ Less

Submitted 18 May, 2022; originally announced May 2022.

On D-modules of categories II

Authors: Isamu Iwanari

Abstract: In our paper "On D-module of categories I", we provide two different methods of constructing D-module structures on the complex computing periodic cyclic homology associated to a family of stable infinity categories. One is based on a canonical extension of factorization homology. Another method uses the pair of Hochschild cohomology and Hochschild homology, Kodaira-Spencer map for a family of sta… ▽ More In our paper "On D-module of categories I", we provide two different methods of constructing D-module structures on the complex computing periodic cyclic homology associated to a family of stable infinity categories. One is based on a canonical extension of factorization homology. Another method uses the pair of Hochschild cohomology and Hochschild homology, Kodaira-Spencer map for a family of stable infinity categories, Koszul dualities,and the relation between dg Lie algebras and pointed formal stacks. In this paper, we prove that two resulting structures coindice. △ Less

Submitted 28 February, 2022; originally announced February 2022.

On D-modules of categories I

Authors: Isamu Iwanari

Abstract: In this paper, we will provide constructions of D-module structures on the complex computing the periodic cyclic homology of a stable infinity-category defined over a scheme of characteristic zero. We give two methods. The first one is based on a canonical extension of factorization homology to the mapping stack and relation between sheaves on free loop space and D-modules. The second one uses the… ▽ More In this paper, we will provide constructions of D-module structures on the complex computing the periodic cyclic homology of a stable infinity-category defined over a scheme of characteristic zero. We give two methods. The first one is based on a canonical extension of factorization homology to the mapping stack and relation between sheaves on free loop space and D-modules. The second one uses the algebraic structure on Hochschild pairs, its moduli-theoretic interpretation, Kodaira-Spencer morphisms, and the relation between dg Lie algebras and pointed formal stacks. △ Less

Submitted 28 February, 2022; v1 submitted 7 April, 2021; originally announced April 2021.

Moduli theory associated to Hochschild pairs

Authors: Isamu Iwanari

Abstract: We consider an $A$-linear stable infinity-category $\mathcal{C}$ and the pair $(\mathcal{HH}^\bullet(\mathcal{C}/A),\mathcal{HH}_\bullet(\mathcal{C}/A))$ of the Hochschild cohomology spectrum (Hochschild cochain complex) and the Hochschild homology spectrum (Hochschild chain complex). The purpose of this paper is to provide a moduli-theoretic interpretation of the algebraic structure on the Hochsc… ▽ More We consider an $A$-linear stable infinity-category $\mathcal{C}$ and the pair $(\mathcal{HH}^\bullet(\mathcal{C}/A),\mathcal{HH}_\bullet(\mathcal{C}/A))$ of the Hochschild cohomology spectrum (Hochschild cochain complex) and the Hochschild homology spectrum (Hochschild chain complex). The purpose of this paper is to provide a moduli-theoretic interpretation of the algebraic structure on the Hochschild pair of $\mathcal{C}$. The algebraic structure on the Hochschild pair is encoded by means of a two-colored topological operad called Kontsevich-Soibelman operad. The notions of cyclic deformations and equivariant deformations (of the Hochschild chain complex) associated to deformations of $\mathcal{C}$ play a central role. △ Less

Submitted 28 February, 2022; v1 submitted 7 April, 2021; originally announced April 2021.

Differential calculus of Hochschild pairs for infinity-categories

Authors: Isamu Iwanari

Abstract: In this paper, we provide a conceptual new construction of the algebraic structure on the pair of the Hochschild cohomology spectrum (cochain complex) and Hochschild homology spectrum, which is analogous to the structure of calculus on a manifold. This algebraic structure is encoded by a two-colored operad introduced by Kontsevich and Soibelman. We prove that for a stable idempotent-complete infin… ▽ More In this paper, we provide a conceptual new construction of the algebraic structure on the pair of the Hochschild cohomology spectrum (cochain complex) and Hochschild homology spectrum, which is analogous to the structure of calculus on a manifold. This algebraic structure is encoded by a two-colored operad introduced by Kontsevich and Soibelman. We prove that for a stable idempotent-complete infinity-category, the pair of its Hochschild cohomology and homology spectra naturally admits the structure of algebra over the operad. Moreover, we prove a generalization to the equivariant context. △ Less

Submitted 8 October, 2020; v1 submitted 4 April, 2019; originally announced April 2019.

Comments: minor change

Journal ref: SIGMA 16 (2020), 097, 57 pages, Special Issue on Primitive Forms and Related Topics in honor of Kyoji Saito for his 77th birthday

Motivic rational homotopy type

Authors: Isamu Iwanari

Abstract: In this paper we introduce and study motives for rational homotopy types. In this paper we introduce and study motives for rational homotopy types. △ Less

Submitted 13 July, 2017; originally announced July 2017.

Period mappings for noncommutative algebras

Authors: Isamu Iwanari

Abstract: We construct a period mapping for deformations of a differential graded algebra, that generalizes Griffiths' period mapping. It is constructed as a morphism between differential graded Lie algebras which has a moduli-theoretic interpretation, where the domain of the morphism is the shifted Hochschild cocohain complex. We then use this period mapping to give some applications such as unobstructedne… ▽ More We construct a period mapping for deformations of a differential graded algebra, that generalizes Griffiths' period mapping. It is constructed as a morphism between differential graded Lie algebras which has a moduli-theoretic interpretation, where the domain of the morphism is the shifted Hochschild cocohain complex. We then use this period mapping to give some applications such as unobstructedness of deformations. △ Less

Submitted 6 May, 2016; v1 submitted 27 April, 2016; originally announced April 2016.

Comments: Intro revised

MSC Class: 14A22; 16E40

Tannaka duality and stable infinity-categories

Authors: Isamu Iwanari

Abstract: We introduce a notion of fine Tannakian infinity-categories and prove Tannakian characterization results for symmetric monoidal stable infinity-categories over a field of characteristic zero. It connects derived quotient stacks with symmetric monoidal stable infinity-categories which satisfy a certain simple axiom. We also discuss several applications to examples. We introduce a notion of fine Tannakian infinity-categories and prove Tannakian characterization results for symmetric monoidal stable infinity-categories over a field of characteristic zero. It connects derived quotient stacks with symmetric monoidal stable infinity-categories which satisfy a certain simple axiom. We also discuss several applications to examples. △ Less

Submitted 16 April, 2018; v1 submitted 11 September, 2014; originally announced September 2014.

Comments: The final version. Published in Journal of Topology, Wiley 2018

Mixed motives and quotient stacks: Abelian varieties

Authors: Isamu Iwanari

Abstract: We prove that the symmetric monoidal category of mixed motives generated by an abelian variety (more generally, an abelian scheme) can be described as a certain module category. More precisely, we describe it as the category of quasi-coherent complexes over a derived quotient stack constructed from a motivic algebra of the abelian variety. We then study the structure of the motivic Galois groups o… ▽ More We prove that the symmetric monoidal category of mixed motives generated by an abelian variety (more generally, an abelian scheme) can be described as a certain module category. More precisely, we describe it as the category of quasi-coherent complexes over a derived quotient stack constructed from a motivic algebra of the abelian variety. We then study the structure of the motivic Galois groups of their mixed motives. We prove that the motivic Galois group is decomposed into a unipotent part constructed from the motivic algebra, and the reductive quotient which is the Tannaka dual of Grothendieck numerical motives. △ Less

Submitted 29 May, 2016; v1 submitted 11 July, 2013; originally announced July 2013.

Comments: a new version

Bar construction and tannakization

Authors: Isamu Iwanari

Abstract: In this note we continue our development of tannakizations of symmetric monoidal infinity-categories, begun in our previous paper. The issue treated in this paper is the calculation of tannakizations of examples of symmetric monoidal stable infinity-categories with fiber functors. We consider the case of symmetric monoidal infinity-categories of perfect complexes on perfect derived stacks. The fir… ▽ More In this note we continue our development of tannakizations of symmetric monoidal infinity-categories, begun in our previous paper. The issue treated in this paper is the calculation of tannakizations of examples of symmetric monoidal stable infinity-categories with fiber functors. We consider the case of symmetric monoidal infinity-categories of perfect complexes on perfect derived stacks. The first main result especially says that our tannakization includes the bar construction for an augmented commutative ring spectrum and its equivariant version as a special case. We apply it to the study of the tannakization of the stable infinity-category of mixed Tate motives over a perfect field. We prove that its tannakization can be obtained from the torus-equivariant bar construction of a commutative differential graded algebra equipped with torus-action. Moreover, under Beilinson-Soule vanishing conjecture, we prove that the underlying group scheme of the tannakization is the conventional motivic Galois group for mixed Tate motives. The case of Artin motives is also included. △ Less

Submitted 24 August, 2013; v1 submitted 2 March, 2012; originally announced March 2012.

Comments: some improvements

Tannakization in derived algebraic geometry

Authors: Isamu Iwanari

Abstract: We give a universal construction of a derived affine group scheme and its representation category from a symmetric monoidal infinity-category, which we shall call the tannnakization of a symmetric monoidal infinity-category. This can be viewed as infinity-categorical generalization of the work of Joyal-Street and Nori. We then apply it to the stable infinity-category of mixed motives equipped with… ▽ More We give a universal construction of a derived affine group scheme and its representation category from a symmetric monoidal infinity-category, which we shall call the tannnakization of a symmetric monoidal infinity-category. This can be viewed as infinity-categorical generalization of the work of Joyal-Street and Nori. We then apply it to the stable infinity-category of mixed motives equipped with the realization functor of a mixed Weil cohomology and obtain a derived motivic Galois group whose representation category has a universality, and which represents the automorphism group of the realization functor. Also, we present basic properties of derived affine group schemes in Appendix. △ Less

Submitted 17 August, 2012; v1 submitted 7 December, 2011; originally announced December 2011.

Comments: a result added in section 5

Note on local structure of Artin stacks

Authors: Isamu Iwanari

Abstract: In this note we show that an Artin stack with finite inertia stack is etale locally isomorphic to the quotient of an affine scheme by an action of a general linear group. In this note we show that an Artin stack with finite inertia stack is etale locally isomorphic to the quotient of an affine scheme by an action of a general linear group. △ Less

Submitted 2 July, 2010; originally announced July 2010.

Stable points on algebraic stacks

Authors: Isamu Iwanari

Abstract: This paper is largely concerned with constructing coarse moduli spaces for Artin stacks. The main purpose of this paper is to introduce the notion of stability on an arbitrary Artin stack and construct a coarse moduli space for the open substack of stable points. Also, we present an application to coherent cohomology of Artin stacks. This paper is largely concerned with constructing coarse moduli spaces for Artin stacks. The main purpose of this paper is to introduce the notion of stability on an arbitrary Artin stack and construct a coarse moduli space for the open substack of stable points. Also, we present an application to coherent cohomology of Artin stacks. △ Less

Submitted 2 July, 2010; originally announced July 2010.

Monoidal Infinity Category of Complexes from Tannakian Viewpoint

Authors: Hiroshi Fukuyama, Isamu Iwanari

Abstract: In this paper we prove that a morphism between schemes or stacks naturally corresponds to a symmetric monoidal functor between stable infinity-categories of quasi-coherent complexes. It can be viewed as a derived analogue of Tannaka duality. As a consequence, we deduce that an algebraic stack satisfying a certain condition can be recovered from the stable infinity-category of quasi-coherent comple… ▽ More In this paper we prove that a morphism between schemes or stacks naturally corresponds to a symmetric monoidal functor between stable infinity-categories of quasi-coherent complexes. It can be viewed as a derived analogue of Tannaka duality. As a consequence, we deduce that an algebraic stack satisfying a certain condition can be recovered from the stable infinity-category of quasi-coherent complexes with tensor operation. △ Less

Submitted 26 September, 2012; v1 submitted 19 April, 2010; originally announced April 2010.

Comments: final version

Logarithmic geometry, minimal free resolutions and toric algebraic stacks

Authors: Isamu Iwanari

Abstract: In this paper we will introduce a certain type of morphisms of log schemes (in the sense of Fontaine, Illusie, and Kato) and investigate their moduli. Then by applying this we define a notion of toric algebraic stacks over arbitrary schemes, which may be regarded as torus embeddings within the framework of algebraic stacks, and study some basic properties. Furthermore, we study the stack-theoret… ▽ More In this paper we will introduce a certain type of morphisms of log schemes (in the sense of Fontaine, Illusie, and Kato) and investigate their moduli. Then by applying this we define a notion of toric algebraic stacks over arbitrary schemes, which may be regarded as torus embeddings within the framework of algebraic stacks, and study some basic properties. Furthermore, we study the stack-theoretic analogue of toroidal embeddings. △ Less

Submitted 29 August, 2009; v1 submitted 17 July, 2007; originally announced July 2007.

Comments: the last version

Integral Chow rings of toric stacks

Authors: Isamu Iwanari

Abstract: The purpose of this paper is to prove that integral Chow rings of toric stacks are naturally isomorphic to Stanley-Reisner rings. The purpose of this paper is to prove that integral Chow rings of toric stacks are naturally isomorphic to Stanley-Reisner rings. △ Less

Submitted 17 July, 2007; v1 submitted 24 May, 2007; originally announced May 2007.

Comments: v2:title was changed

The category of toric stacks

Authors: Isamu Iwanari

Abstract: In this paper, we prove that there exists an equivalence between 2-category of smooth Deligne-Mumford stacks with torus-embeddings and actions, and the 1-category of stacky fans. For this purpose, we obtain two main results. The first is to investigate a combinatorial aspect of the 2-category of toric algebraic stacks defined in \cite{I2}. We establish an equivalence between the 2-category of to… ▽ More In this paper, we prove that there exists an equivalence between 2-category of smooth Deligne-Mumford stacks with torus-embeddings and actions, and the 1-category of stacky fans. For this purpose, we obtain two main results. The first is to investigate a combinatorial aspect of the 2-category of toric algebraic stacks defined in \cite{I2}. We establish an equivalence between the 2-category of toric algebraic stacks and the 1-category of stacky fans. The second is to give a geometric characterization theorem for toric algebraic stacks. △ Less

Submitted 29 August, 2009; v1 submitted 18 October, 2006; originally announced October 2006.

Comments: the final version appeared in Compositio Math

Deformation theory of rigid-analytic spaces

Authors: Isamu Iwanari

Abstract: In this paper, we study a deformation theory of rigid analytic spaces. We develop a theory of cotangent complexes for rigid geometry which fits in with our deformations. We then use the complexes to give a cohomological description of infinitesimal deformation of rigid analytic spaces. Moreover, we will prove an existence of a formal versal family for a proper rigid analytic space. In this paper, we study a deformation theory of rigid analytic spaces. We develop a theory of cotangent complexes for rigid geometry which fits in with our deformations. We then use the complexes to give a cohomological description of infinitesimal deformation of rigid analytic spaces. Moreover, we will prove an existence of a formal versal family for a proper rigid analytic space. △ Less

Submitted 5 February, 2006; v1 submitted 24 January, 2006; originally announced January 2006.

Comments: 24 pages

Kobayashi-Ochiai's theorem for log schemes

Authors: Isamu Iwanari, Atsushi Moriwak

Abstract: Kobayashi-Ochiai's theorem says us that the set of dominant rational maps to a complex variety of general type is finite. In this paper, we give a generalization of it in the category of log schemes. Kobayashi-Ochiai's theorem says us that the set of dominant rational maps to a complex variety of general type is finite. In this paper, we give a generalization of it in the category of log schemes. △ Less

Submitted 28 July, 2004; originally announced July 2004.

Comments: 44 pages