Researcher profile

Isamu Iwanari

Isamu Iwanari contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
12works
0followers
7topics
1close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2022arXiv

Moduli theory associated to Hochschild pairs

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.

preprint2022arXiv

On D-modules of categories I

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.

preprint2022arXiv

On D-modules of categories II

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.

preprint2016arXiv

Mixed motives and quotient stacks: Abelian varieties

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.

preprint2016arXiv

Period mappings for noncommutative algebras

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.

preprint2013arXiv

Bar construction and tannakization

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.

preprint2012arXiv

Monoidal Infinity Category of Complexes from Tannakian Viewpoint

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.

preprint2012arXiv

Tannakization in derived algebraic geometry

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.

preprint2009arXiv

The category of toric stacks

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.