Showing 1–22 of 22 results for author: Shapiro, I

Hopf-cyclic coefficients in the braided setting

Authors: Ilya Shapiro

Abstract: Considering the monoidal category $\mathcal{C}$ obtained as modules over a Hopf algebra $H$ in a rigid braided category $\mathcal{B}$, we prove decomposition results for the Hochschild and cyclic homology categories $HH(\mathcal{C})$ and $HC(\mathcal{C})$ of $\mathcal{C}$. This is accomplished by defining a notion of a (stable) anti-Yetter-Drinfeld module with coefficients in a (stable) braided mo… ▽ More Considering the monoidal category $\mathcal{C}$ obtained as modules over a Hopf algebra $H$ in a rigid braided category $\mathcal{B}$, we prove decomposition results for the Hochschild and cyclic homology categories $HH(\mathcal{C})$ and $HC(\mathcal{C})$ of $\mathcal{C}$. This is accomplished by defining a notion of a (stable) anti-Yetter-Drinfeld module with coefficients in a (stable) braided module over $\mathcal{B}$. When the stable braided module is $HH(\mathcal{B})$, we recover $HH(\mathcal{C})$ and $HC(\mathcal{C})$. The decomposition of $HC(\mathcal{C})$ now follows from that of $HH(\mathcal{B})$. △ Less

Submitted 31 May, 2023; v1 submitted 12 May, 2023; originally announced May 2023.

Comments: Typo in Remark 5.7 fixed, added Lemma 4.26 with a definition and remark, and Corollary 4.44 with a definition, 44 pages

MSC Class: 16E35; 16E40; 16T05; 18D10; 18G90; 18M15; 18N25; 19D55

Hopf Cyclic Cohomology and Beyond

Authors: Masoud Khalkhali, Ilya Shapiro

Abstract: This paper is an introduction to Hopf cyclic cohomology with an emphasis on its most recent developments. We cover three major areas: the original definition of Hopf cyclic cohomology by Connes and Moscovici as an outgrowth of their study of transverse index theory on foliated manifolds, the introduction of Hopf cyclic cohomology with coefficients by Hajac-Khalkhali-Rangipour-Sommerhauser, and fin… ▽ More This paper is an introduction to Hopf cyclic cohomology with an emphasis on its most recent developments. We cover three major areas: the original definition of Hopf cyclic cohomology by Connes and Moscovici as an outgrowth of their study of transverse index theory on foliated manifolds, the introduction of Hopf cyclic cohomology with coefficients by Hajac-Khalkhali-Rangipour-Sommerhauser, and finally the latest episode on unifying the coefficients as well as extending the notion to more general settings beyond Hopf algebras. In particular, the last section discusses the relative Hopf cyclic theory that arises in the braided monoidal category settings. △ Less

Submitted 26 August, 2022; originally announced August 2022.

Comments: 27 pages, Proceedings of Symposia in Pure Mathematics

MSC Class: 58B34; 19D55; 16E40; 16T05; 16T10; 18D05; 18D10; 18D15

Mixed vs Stable Anti-Yetter-Drinfeld Contramodule

Authors: Ilya Shapiro

Abstract: We examine the cyclic homology of the monoidal category of modules over a finite dimensional Hopf algebra, motivated by the need to demonstrate that there is a difference between the recently introduced mixed anti-Yetter-Drinfeld contramodules and the usual stable anti-Yetter-Drinfeld contramodules. Namely, we show that Sweedler's Hopf algebra provides an example where mixed complexes in the categ… ▽ More We examine the cyclic homology of the monoidal category of modules over a finite dimensional Hopf algebra, motivated by the need to demonstrate that there is a difference between the recently introduced mixed anti-Yetter-Drinfeld contramodules and the usual stable anti-Yetter-Drinfeld contramodules. Namely, we show that Sweedler's Hopf algebra provides an example where mixed complexes in the category of stable anti-Yetter-Drinfeld contramodules (previously studied) are not equivalent, as differential graded categories to the category of mixed anti-Yetter-Drinfeld contramodules (recently introduced). △ Less

Submitted 17 March, 2021; v1 submitted 6 October, 2020; originally announced October 2020.

MSC Class: 16E35; 16T05; 18G90; 19D55

Journal ref: SIGMA 17 (2021), 026, 10 pages

Categorified Chern character and cyclic cohomology

Authors: Ilya Shapiro

Abstract: We examine Hopf cyclic cohomology in the same context as the analysis of the geometry of loop spaces $LX$ in derived algebraic geometry and the resulting close relationship between $S^1$-equivariant quasi-coherent sheaves on $LX$ and $D_X$-modules. Furthermore, the Hopf setting serves as a toy case for the categorification of Chern character theory. More precisely, this examination naturally leads… ▽ More We examine Hopf cyclic cohomology in the same context as the analysis of the geometry of loop spaces $LX$ in derived algebraic geometry and the resulting close relationship between $S^1$-equivariant quasi-coherent sheaves on $LX$ and $D_X$-modules. Furthermore, the Hopf setting serves as a toy case for the categorification of Chern character theory. More precisely, this examination naturally leads to a definition of mixed anti-Yetter-Drinfeld contramodules which reduces to that of the usual mixed complexes for the trivial Hopf algebra and generalizes the notion of stable anti-Yetter-Drinfeld contramodules that have thus far served as the coefficients for Hopf-cyclic theories. The cohomology is then obtained as a $Hom$ in this dg-category between a Chern character object associated to an algebra and an arbitrary coefficient mixed anti-Yetter-Drinfeld contramodule. △ Less

Submitted 8 April, 2019; originally announced April 2019.

Comments: 32 pages

MSC Class: 19D55; 16E40; 16T05; 18D10

Anti-Yetter-Drinfeld Modules for Quasi-Hopf Algebras

Authors: Ivan Kobyzev, Ilya Shapiro

Abstract: We apply categorical machinery to the problem of defining anti-Yetter-Drinfeld modules for quasi-Hopf algebras. While a definition of Yetter-Drinfeld modules in this setting, extracted from their categorical interpretation as the center of the monoidal category of modules has been given, none was available for the anti-Yetter-Drinfeld modules that serve as coefficients for a Hopf cyclic type cohom… ▽ More We apply categorical machinery to the problem of defining anti-Yetter-Drinfeld modules for quasi-Hopf algebras. While a definition of Yetter-Drinfeld modules in this setting, extracted from their categorical interpretation as the center of the monoidal category of modules has been given, none was available for the anti-Yetter-Drinfeld modules that serve as coefficients for a Hopf cyclic type cohomology theory for quasi-Hopf algebras. This is a followup paper to the authors' previous effort that addressed the somewhat different case of anti-Yetter-Drinfeld contramodule coefficients in this and in the Hopf algebroid setting. △ Less

Submitted 13 September, 2018; v1 submitted 5 April, 2018; originally announced April 2018.

Comments: This is a follow-up paper to arXiv:1803.09194. Section 3 (definition and properties of quasi-Hopf algebra) mostly overlaps

MSC Class: Monoidal category (18D10); abelian and additive category (18E05); cyclic homology (19D55); Hopf algebras (16T05)

Journal ref: SIGMA 14 (2018), 098, 10 pages

A categorical approach to cyclic cohomology of quasi-Hopf algebras and Hopf algebroids

Authors: Ivan Kobyzev, Ilya Shapiro

Abstract: We apply categorical machinery to the problem of defining cyclic cohomology with coefficients in two particular cases, namely quasi-Hopf algebras and Hopf algebroids. In the case of the former, no definition was thus far available in the literature, and while a definition exists for the latter, we feel that our approach demystifies the seemingly arbitrary formulas present there. This paper emphasi… ▽ More We apply categorical machinery to the problem of defining cyclic cohomology with coefficients in two particular cases, namely quasi-Hopf algebras and Hopf algebroids. In the case of the former, no definition was thus far available in the literature, and while a definition exists for the latter, we feel that our approach demystifies the seemingly arbitrary formulas present there. This paper emphasizes the importance of working with a biclosed monoidal category in order to obtain natural coefficients for a cyclic theory that are analogous to the stable anti-Yetter-Drinfeld contramodules for Hopf algebras. △ Less

Submitted 24 September, 2018; v1 submitted 24 March, 2018; originally announced March 2018.

Comments: Final version, to appear in Applied Categorical Structures

MSC Class: Monoidal category (18D10); abelian and additive category (18E05); cyclic homology (19D55); Hopf algebra (16T05)

Extensions and duality

Authors: Ilya Shapiro

Abstract: For a fixed finite group $Q$ and semi-simple finite dimensional algebra $S$, we examine an equivalence between strongly $Q$-graded algebras (extensions) with identity component $S$ and $S^1$-gerbes on action groupoids of $Q$ on the set of isomorphism classes of simple objects of the category of $S$-modules. This clarifies the nature of the map considered in arXiv:1312.7316. Motivated by this and a… ▽ More For a fixed finite group $Q$ and semi-simple finite dimensional algebra $S$, we examine an equivalence between strongly $Q$-graded algebras (extensions) with identity component $S$ and $S^1$-gerbes on action groupoids of $Q$ on the set of isomorphism classes of simple objects of the category of $S$-modules. This clarifies the nature of the map considered in arXiv:1312.7316. Motivated by this and arXiv:0909.3140(2) we suggest and study a notion of extensions suitable to the case when $S$ is replaced by a Hopf algebra, in the sense that there is a bijection between extensions with "fiber" $H$ and $H^*$. In particular we focus on the case of $H$ equal to the group algebra of a finite group. When $K$ is abelian, the answer is particularly symmetric as duality of Hopf algebras does not take us outside of the category of groups. △ Less

Submitted 9 March, 2018; originally announced March 2018.

Comments: 16 pages

On the anti-Yetter-Drinfeld module-contramodule correspondence

Authors: Ilya Shapiro

Abstract: We study a functor from anti-Yetter Drinfeld modules to contramodules in the case of a Hopf algebra $H$. Some byproducts of this investigation are the establishment of sufficient conditions for this functor to be an equivalence, verification that the center of the opposite category of $H$-comodules is equivalent to anti-Yetter Drinfeld modules, and the observation of two types of periodicities of… ▽ More We study a functor from anti-Yetter Drinfeld modules to contramodules in the case of a Hopf algebra $H$. Some byproducts of this investigation are the establishment of sufficient conditions for this functor to be an equivalence, verification that the center of the opposite category of $H$-comodules is equivalent to anti-Yetter Drinfeld modules, and the observation of two types of periodicities of the generalized Yetter-Drinfeld modules introduced previously. Finally, we give an example of a symmetric $2$-contratrace on $H$-comodules that does not arise from an anti-Yetter Drinfeld module. △ Less

Submitted 21 April, 2017; originally announced April 2017.

Comments: 32 pages

MSC Class: 18D10; 19D55; 16T05

Some invariance properties of cyclic cohomology with coefficients

Authors: Ilya Shapiro

Abstract: In this paper, we further explore the conceptual approach to cyclic cohomology with coefficients. In particular we give a derived version of the definition with better invariance properties. We show that the new definition agrees with the old under certain conditions and we prove, for the new definition, both its Morita invariance and its $2$-Morita invariance, under suitable interpretations of th… ▽ More In this paper, we further explore the conceptual approach to cyclic cohomology with coefficients. In particular we give a derived version of the definition with better invariance properties. We show that the new definition agrees with the old under certain conditions and we prove, for the new definition, both its Morita invariance and its $2$-Morita invariance, under suitable interpretations of these terms. More generally, we prove a version of Shapiro's lemma for cyclic cohomology with coefficients. △ Less

Submitted 4 November, 2016; originally announced November 2016.

Comments: 29 pages

MSC Class: 18D10; 18E05; 19D55; 16T05

Monoidal Categories, 2-Traces, and Cyclic Cohomology

Authors: Mohammad Hassanzadeh, Masoud Khalkhali, Ilya Shapiro

Abstract: In this paper we show that to a unital associative algebra object (resp. co-unital co-associative co-algebra object) of any abelian monoidal category $\mathcal{C}$ endowed with a symmetric $2$-trace, one can attach a cyclic (resp. cocyclic) module, and therefore speak of the cyclic (co)homology of the (co)algebra "with coefficients in $F$". We observe that if $\mathcal{M}$ is a $\mathcal{C}$-bimod… ▽ More In this paper we show that to a unital associative algebra object (resp. co-unital co-associative co-algebra object) of any abelian monoidal category $\mathcal{C}$ endowed with a symmetric $2$-trace, one can attach a cyclic (resp. cocyclic) module, and therefore speak of the cyclic (co)homology of the (co)algebra "with coefficients in $F$". We observe that if $\mathcal{M}$ is a $\mathcal{C}$-bimodule category equipped with a stable central pair then $\mathcal{C}$ acquires a symmetric 2-trace. The dual notions of symmetric $2$-contratraces and stable central contrapairs are derived as well. As an application we can recover all Hopf cyclic type (co)homology theories, obtain a conceptual understanding of anti-Yetter-Drinfeld modules, and give a formula-free definition of cyclic cohomology. The machinery can also be applied in settings more general than Hopf algebra modules and comodules. △ Less

Submitted 2 November, 2016; v1 submitted 17 February, 2016; originally announced February 2016.

Comments: 17 pages, exposition improved

MSC Class: 18D10; 18E05; 19D55; 16T05

Journal ref: Can. Math. Bull. 62 (2019) 293-312

Cyclic homology for Hom-associative algebras

Authors: Mohammad Hassanzadeh, Ilya Shapiro, Serkan Sütlü

Abstract: In the present paper we investigate the noncommutative geometry of a class of algebras, called the Hom-associative algebras, whose associativity is twisted by a homomorphism. We define the Hochschild, cyclic, and periodic cyclic homology and cohomology for this class of algebras generalizing these theories from the associative to the Hom-associative setting. In the present paper we investigate the noncommutative geometry of a class of algebras, called the Hom-associative algebras, whose associativity is twisted by a homomorphism. We define the Hochschild, cyclic, and periodic cyclic homology and cohomology for this class of algebras generalizing these theories from the associative to the Hom-associative setting. △ Less

Submitted 26 July, 2015; v1 submitted 12 April, 2015; originally announced April 2015.

Comments: to appear in J. Geom. Phys

On the relative dual of an $S^1$-gerbe over an orbifold

Authors: Ilya Shapiro, Xiang Tang, Hsian-Hua Tseng

Abstract: We construct a new effective orbifold $\widehat{\Y}$ with an $S^1$-gerbe $c$ to study an $S^1$-gerbe $\mathfrak{t}$ on a $G$-gerbe $\Y$ over an orbifold $\B$. We view the former as the relative dual, relative to $\B$, of the latter. We show that the two pairs $(\Y, \mathfrak{t})$ and $(\widehat{\Y}, c)$ have isomorphic categories of sheaves, and also the associated twisted groupoid algebras are Mo… ▽ More We construct a new effective orbifold $\widehat{\Y}$ with an $S^1$-gerbe $c$ to study an $S^1$-gerbe $\mathfrak{t}$ on a $G$-gerbe $\Y$ over an orbifold $\B$. We view the former as the relative dual, relative to $\B$, of the latter. We show that the two pairs $(\Y, \mathfrak{t})$ and $(\widehat{\Y}, c)$ have isomorphic categories of sheaves, and also the associated twisted groupoid algebras are Morita equivalent. As a corollary, the K-theory and cohomology groups of $(\Y, \mathfrak{t})$ and $(\widehat{\Y}, c)$ are isomorphic. △ Less

Submitted 27 December, 2013; originally announced December 2013.

Comments: 16 pages

Journal ref: Advances in Mathematics 270 (2015), 1-20

Frobenius map and the $p$-adic Gamma function

Authors: Ilya Shapiro

Abstract: In this note we study the relationship between the power series expansion of the Dwork exponential and the Mahler expansion of the $p$-adic Gamma function. We exploit this relationship to prove that certain quantities that appeared in our previous computations of the Frobenius map can be expressed in terms of the derivatives of the $p$-adic Gamma function at 0. This is used to prove a conjecture a… ▽ More In this note we study the relationship between the power series expansion of the Dwork exponential and the Mahler expansion of the $p$-adic Gamma function. We exploit this relationship to prove that certain quantities that appeared in our previous computations of the Frobenius map can be expressed in terms of the derivatives of the $p$-adic Gamma function at 0. This is used to prove a conjecture about the non-trivial off-diagonal entry in the Frobenius matrix of the mirror quintic threefold. △ Less

Submitted 2 June, 2010; originally announced June 2010.

Comments: 8 pages

Locally compact abelian groups with symplectic self-duality

Authors: Amritanshu Prasad, Ilya Shapiro, M. K. Vemuri

Abstract: Is every locally compact abelian group which admits a symplectic self-duality isomorphic to the product of a locally compact abelian group and its Pontryagin dual? Several sufficient conditions, covering all the typical applications are found. Counterexamples are produced by studying a seemingly unrelated question about the structure of maximal isotropic subgroups of finite abelian groups with s… ▽ More Is every locally compact abelian group which admits a symplectic self-duality isomorphic to the product of a locally compact abelian group and its Pontryagin dual? Several sufficient conditions, covering all the typical applications are found. Counterexamples are produced by studying a seemingly unrelated question about the structure of maximal isotropic subgroups of finite abelian groups with symplectic self-duality (where the original question always has an affirmative answer). △ Less

Submitted 23 June, 2009; originally announced June 2009.

Comments: 23 pages

MSC Class: 22B05

Journal ref: Advances in Mathematics 225 (2010) 2429-2454

Frobenius map on local Calabi-Yau manifolds

Authors: I. Shapiro

Abstract: We prove results that, for a certain class of non-compact Calabi-Yau threefolds, relate the Frobenius action on their $p$-adic cohomology to the Frobenius action on the $p$-adic cohomology of the corresponding curves. In the appendix, we describe our interpretation of the Griffiths-Dwork method. We prove results that, for a certain class of non-compact Calabi-Yau threefolds, relate the Frobenius action on their $p$-adic cohomology to the Frobenius action on the $p$-adic cohomology of the corresponding curves. In the appendix, we describe our interpretation of the Griffiths-Dwork method. △ Less

Submitted 13 October, 2008; originally announced October 2008.

Comments: 14 pages

Frobenius map for quintic threefolds

Authors: I. Shapiro

Abstract: We calculate the matrix of the Frobenius map on the middle dimensional cohomology of the one parameter family that is related by mirror symmetry to the family of all quintic threefolds. We calculate the matrix of the Frobenius map on the middle dimensional cohomology of the one parameter family that is related by mirror symmetry to the family of all quintic threefolds. △ Less

Submitted 7 October, 2008; v1 submitted 22 September, 2008; originally announced September 2008.

Comments: 19 pages, discussion of $p$-adic zeta values added

Twisted de Rham cohomology, homological definition of the integral and "Physics over a ring"

Authors: Albert Schwarz, Ilya Shapiro

Abstract: We define the twisted de Rham cohomology and show how to use it to define the notion of an integral of the form $\int g(x) e^{f(x)}dx$ over an arbitrary ring. We discuss also a definition of a family of integrals and some properties of the homological definition of integral. We show how to use the twisted de Rham cohomology in order to define the Frobenius map on the p-adic cohomology. Finally,… ▽ More We define the twisted de Rham cohomology and show how to use it to define the notion of an integral of the form $\int g(x) e^{f(x)}dx$ over an arbitrary ring. We discuss also a definition of a family of integrals and some properties of the homological definition of integral. We show how to use the twisted de Rham cohomology in order to define the Frobenius map on the p-adic cohomology. Finally, we consider two-dimensional topological quantum field theories with general coefficients. △ Less

Submitted 30 August, 2008; originally announced September 2008.

Comments: 15 pages

Journal ref: Nucl.Phys.B809:547-560,2009

BRST Reduction of the chiral Hecke Algebra

Authors: I. Shapiro

Abstract: We explore the relationship between de Rham and Lie algebra cohomologies in the finite dimensional and affine settings. As an application, we describe the BRST reduction of the chiral Hecke algebra as a vertex super algebra. We explore the relationship between de Rham and Lie algebra cohomologies in the finite dimensional and affine settings. As an application, we describe the BRST reduction of the chiral Hecke algebra as a vertex super algebra. △ Less

Submitted 17 November, 2008; v1 submitted 27 September, 2006; originally announced September 2006.

Comments: 35 pages

Gelfand-Fuchs cohomology of invariant formal vector fields

Authors: Ilya Shapiro, Xiang Tang

Abstract: Let $Γ$ be a finite group acting linearly on a vector space $V$. We compute the Lie algebra cohomology of the Lie algebra of $Γ$-invariant formal vector fields on $V$. We use this computation to define characteristic classes for foliations on orbifolds. Let $Γ$ be a finite group acting linearly on a vector space $V$. We compute the Lie algebra cohomology of the Lie algebra of $Γ$-invariant formal vector fields on $V$. We use this computation to define characteristic classes for foliations on orbifolds. △ Less

Submitted 23 July, 2006; originally announced July 2006.

Comments: 20 pages

MSC Class: 17B56; 57R32

$p$-adic superspaces and Frobenius

Authors: A. Schwarz, I. Shapiro

Abstract: The notion of a $p$-adic superspace is introduced and used to give a transparent construction of the Frobenius map on $p$-adic cohomology of a smooth projective variety over $\zp$ (the ring of $p$-adic integers), as well as an alternative construction of the crystalline cohomology of a smooth projective variety over $\fp$ (finite field with $p$ elements). The notion of a $p$-adic superspace is introduced and used to give a transparent construction of the Frobenius map on $p$-adic cohomology of a smooth projective variety over $\zp$ (the ring of $p$-adic integers), as well as an alternative construction of the crystalline cohomology of a smooth projective variety over $\fp$ (finite field with $p$ elements). △ Less

Submitted 9 October, 2012; v1 submitted 11 May, 2006; originally announced May 2006.

Comments: 35 pages, error in proof corrected, results unchanged

Supergeometry and Arithmetic Geometry

Authors: A. Schwarz, I. Shapiro

Abstract: We define a superspace over a ring $R$ as a functor on a subcategory of the category of supercommutative $R$-algebras. As an application the notion of a $p$-adic superspace is introduced and used to give a transparent construction of the Frobenius map on $p$-adic cohomology of a smooth projective variety over the ring of $p$-adic integers. We define a superspace over a ring $R$ as a functor on a subcategory of the category of supercommutative $R$-algebras. As an application the notion of a $p$-adic superspace is introduced and used to give a transparent construction of the Frobenius map on $p$-adic cohomology of a smooth projective variety over the ring of $p$-adic integers. △ Less

Submitted 30 June, 2006; v1 submitted 11 May, 2006; originally announced May 2006.

Comments: 14 pages, expanded introduction, more details

Journal ref: Nucl.Phys.B756:207-218,2006

Some remarks on Gopakumar-Vafa invariants

Authors: A. Schwarz, I. Shapiro

Abstract: We show that Gopakumar-Vafa invariants can be expressed in terms of the cohomology ring of moduli space of D-branes without reference to the sl_2 \times sl_2 action. We also give a simple construction of this action. We show that Gopakumar-Vafa invariants can be expressed in terms of the cohomology ring of moduli space of D-branes without reference to the sl_2 \times sl_2 action. We also give a simple construction of this action. △ Less

Submitted 23 September, 2005; v1 submitted 12 December, 2004; originally announced December 2004.

Comments: 9 pages, some additions and clarifications, minor changes

Journal ref: Pure Appl.Math.Quart. 1 (2005) 817-826