Showing 1–32 of 32 results for author: Kaygun, A

The Leibniz PROP is a crossed presimplicial algebra

Authors: Murat Can Aşkaroğulları, Atabey Kaygun

Abstract: We prove that the Leibniz PROP is isomorphic (as $\Bbbk$-linear categories) to the symmetric crossed presimplicial algebra $\Bbbk[(Δ^+)^{op} \mathbb{S}]$ where $Δ^+$ is the skeletal category of finite well-ordered sets with surjections, but the distributive law between $(Δ^+)^{op}$ and the symmetric groups $\mathbb{S} = \bigsqcup_{n\geq 1} S_n$ is not the standard one. We prove that the Leibniz PROP is isomorphic (as $\Bbbk$-linear categories) to the symmetric crossed presimplicial algebra $\Bbbk[(Δ^+)^{op} \mathbb{S}]$ where $Δ^+$ is the skeletal category of finite well-ordered sets with surjections, but the distributive law between $(Δ^+)^{op}$ and the symmetric groups $\mathbb{S} = \bigsqcup_{n\geq 1} S_n$ is not the standard one. △ Less

Submitted 20 May, 2025; v1 submitted 16 April, 2024; originally announced April 2024.

MSC Class: 17A32; 18M85; 18M32

A Model Categoric Equivalence for Crossed Simplicial Modules

Authors: Haydar Can Kaya, Atabey Kaygun

Abstract: We construct a model categorical equivalence between the category of simplicial vector spaces and the category of representations of a crossed simplicial group $ΔG$ when each $G_n$ is finite and the characteristic of the ground field is 0. We construct a model categorical equivalence between the category of simplicial vector spaces and the category of representations of a crossed simplicial group $ΔG$ when each $G_n$ is finite and the characteristic of the ground field is 0. △ Less

Submitted 10 February, 2025; v1 submitted 29 February, 2024; originally announced February 2024.

MSC Class: 18G31 18G31 18G31 18G31; 18N40; 18N50

Persistent Homology, Matroids and Cobordisms

Authors: İsmail Güzel, Atabey Kaygun

Abstract: The homological information about a filtered simplicial complex over the poset of positive real numbers is often presented by a barcode which depicts the evolution of the associated Betti numbers. However, there is a wonderfully complex combinatorics associated with the homology classes of a filtered complex, and one can do more than just counting them over the index poset. Here, we show that this… ▽ More The homological information about a filtered simplicial complex over the poset of positive real numbers is often presented by a barcode which depicts the evolution of the associated Betti numbers. However, there is a wonderfully complex combinatorics associated with the homology classes of a filtered complex, and one can do more than just counting them over the index poset. Here, we show that this combinatorial information can be encoded by filtered matroids, or even better, by rooted forests. We also show that these rooted forests can be realized as cobordisms. △ Less

Submitted 2 September, 2022; originally announced September 2022.

MSC Class: 55N31; 05B35; 57R90

Quantum van Est Isomorphism

Authors: Atabey Kaygun, Serkan Sütlü

Abstract: Motivated by the fact that the Hopf-cyclic (co)homologies of function algebras over Lie groups and universal enveloping algebras over Lie algebras capture the Lie group and Lie algebra (co)homologies, we hereby upgrade the classical van Est isomorphism to ones between the Hopf-cyclic (co)homologies of quantized algebras of functions and quantized universal enveloping algebras, both in $h$-adic and… ▽ More Motivated by the fact that the Hopf-cyclic (co)homologies of function algebras over Lie groups and universal enveloping algebras over Lie algebras capture the Lie group and Lie algebra (co)homologies, we hereby upgrade the classical van Est isomorphism to ones between the Hopf-cyclic (co)homologies of quantized algebras of functions and quantized universal enveloping algebras, both in $h$-adic and $q$-deformation frameworks. △ Less

Submitted 24 April, 2024; v1 submitted 5 May, 2022; originally announced May 2022.

MSC Class: 16E40; 16T05; 17B37; 17B56; 20G42; 22E41

Birational Equivalences and Kac-Moody Algebras

Authors: Atabey Kaygun

Abstract: We show that every Kac-Moody algebra is birationally equivalent to a smash biproduct of two copies of a Weyl algebra together with a polynomial algebra. We also show that the same is true for quantized Kac-Moody algebras where one replaces Weyl algebras with their quantum analogues. We show that every Kac-Moody algebra is birationally equivalent to a smash biproduct of two copies of a Weyl algebra together with a polynomial algebra. We also show that the same is true for quantized Kac-Moody algebras where one replaces Weyl algebras with their quantum analogues. △ Less

Submitted 21 April, 2023; v1 submitted 24 May, 2021; originally announced May 2021.

Comments: 9 pages

MSC Class: 17B67 81R10 81R50

Enumerating Labeled Graphs that Realize a Fixed Degree Sequence

Authors: Atabey Kaygun

Abstract: A finite non-increasing sequence of positive integers $d = (d_1\geq \cdots\geq d_n)$ is called a degree sequence if there is a graph $G = (V,E)$ with $V = \{v_1,\ldots,v_n\}$ and $deg(v_i)=d_i$ for $i=1,\ldots,n$. In that case we say that the graph $G$ realizes the degree sequence $d$. We show that the exact number of labeled graphs that realize a fixed degree sequence satisfies a simple recurrenc… ▽ More A finite non-increasing sequence of positive integers $d = (d_1\geq \cdots\geq d_n)$ is called a degree sequence if there is a graph $G = (V,E)$ with $V = \{v_1,\ldots,v_n\}$ and $deg(v_i)=d_i$ for $i=1,\ldots,n$. In that case we say that the graph $G$ realizes the degree sequence $d$. We show that the exact number of labeled graphs that realize a fixed degree sequence satisfies a simple recurrence relation. Using this relation, we then obtain a recursive algorithm for the exact count. We also show that in the case of regular graphs the complexity of our algorithm is better than the complexity of the same enumeration that uses generating functions. △ Less

Submitted 6 January, 2021; originally announced January 2021.

Comments: 7 pages, 3 tables, 1 figure, 1 appendix

MSC Class: 05C30; 05A15

A New Non-archimedean Metric on Persistent Homology

Authors: İsmail Güzel, Atabey Kaygun

Abstract: In this article, we define a new non-archimedean metric structure, called cophenetic metric, on persistent homology classes of all degrees. We then show that zeroth persistent homology together with the cophenetic metric and hierarchical clustering algorithms with a number of different metrics do deliver statistically verifiable commensurate topological information based on experimental results we… ▽ More In this article, we define a new non-archimedean metric structure, called cophenetic metric, on persistent homology classes of all degrees. We then show that zeroth persistent homology together with the cophenetic metric and hierarchical clustering algorithms with a number of different metrics do deliver statistically verifiable commensurate topological information based on experimental results we obtained on different datasets. We also observe that the resulting clusters coming from cophenetic distance do shine in terms of different evaluation measures such as silhouette score and the Rand index. Moreover, since the cophenetic metric is defined for all homology degrees, one can now display the inter-relations of persistent homology classes in all degrees via rooted trees. △ Less

Submitted 7 December, 2021; v1 submitted 4 December, 2020; originally announced December 2020.

Comments: 18 pages, 6 figures

MSC Class: 62R40; 55N31; 62H30

Journal ref: Computational Statistics 2022

Birational Equivalences and Generalized Weyl Algebras

Authors: Atabey Kaygun

Abstract: We calculate suitably localized Hochschild homologies of various quantum groups and Podleś spheres after realizing them as generalized Weyl algebras (GWAs). We use the fact that every GWA is birationally equivalent to a smash product with a 1-torus. We also address and solve the birational equivalence problem and the birational smoothness problem for GWAs. We calculate suitably localized Hochschild homologies of various quantum groups and Podleś spheres after realizing them as generalized Weyl algebras (GWAs). We use the fact that every GWA is birationally equivalent to a smash product with a 1-torus. We also address and solve the birational equivalence problem and the birational smoothness problem for GWAs. △ Less

Submitted 3 May, 2024; v1 submitted 30 September, 2020; originally announced September 2020.

Homology of quantum linear groups

Authors: Atabey Kaygun, Serkan Sütlü

Abstract: For every $n\geq 1$, we calculate the Hochschild homology of the quantum monoids $M_q(n)$, and the quantum groups $GL_q(n)$ and $SL_q(n)$ with coefficients in a 1-dimensional module coming from a modular pair in involution. For every $n\geq 1$, we calculate the Hochschild homology of the quantum monoids $M_q(n)$, and the quantum groups $GL_q(n)$ and $SL_q(n)$ with coefficients in a 1-dimensional module coming from a modular pair in involution. △ Less

Submitted 29 October, 2019; v1 submitted 21 October, 2019; originally announced October 2019.

Comments: 16 pages, 3 figures

MSC Class: 16T99; 16E40

On the Hochschild homology of smash biproducts

Authors: Atabey Kaygun, Serkan Sütlü

Abstract: We develop a new spectral sequence in order to calculate Hochschild homology of smash biproducts (also called twisted tensor products) of unital associative algebras $A\# B$ provided one of $A$ or $B$ has Hochschild dimension less than 2. We use this spectral sequence to calculate Hochschild homology of quantum tori, multiparametric quantum affine spaces, quantum complete intersections, quantum We… ▽ More We develop a new spectral sequence in order to calculate Hochschild homology of smash biproducts (also called twisted tensor products) of unital associative algebras $A\# B$ provided one of $A$ or $B$ has Hochschild dimension less than 2. We use this spectral sequence to calculate Hochschild homology of quantum tori, multiparametric quantum affine spaces, quantum complete intersections, quantum Weyl algebras, deformed completed Weyl algebras, and finally the algebra $M_q(2)$ of quantum $2\times 2$-matrices. △ Less

Submitted 24 September, 2018; originally announced September 2018.

MSC Class: 16E40; 18G40; 13D05

Noncommutative Fibrations

Authors: Atabey Kaygun

Abstract: We show that faithfully flat smooth extensions are reduced flat, and therefore, fit into the Jacobi-Zariski exact sequence in Hochschild homology and cyclic (co)homology even when the algebras are noncommutative or infinite dimensional. We observe that such extensions correspond to étale maps of affine schemes, and we propose a definition for generic noncommutative fibrations using distributive la… ▽ More We show that faithfully flat smooth extensions are reduced flat, and therefore, fit into the Jacobi-Zariski exact sequence in Hochschild homology and cyclic (co)homology even when the algebras are noncommutative or infinite dimensional. We observe that such extensions correspond to étale maps of affine schemes, and we propose a definition for generic noncommutative fibrations using distributive laws and homological properties of the induction and restriction functors. Then we show that Galois fibrations do produce the right exact sequence in homology. We then demonstrate the versatility of our model on a geometro-combinatorial example. For a connected unramified covering of a connected graph $G'\to G$, we construct a smooth Galois fibration $\mathcal{A}_{G}\subseteq\mathcal{A}_{G'}$ and calculate the homology of the corresponding local coefficient system. △ Less

Submitted 2 March, 2020; v1 submitted 23 April, 2018; originally announced April 2018.

Comments: 15 pages, 1 figure

MSC Class: 16E40; 19D55; 18G25; 05C25

Journal ref: Comm. Algebra 47 (2019), no. 8, 3384--3398

A graded pullback structure of Leavitt path algebras of trimmable graphs

Authors: Piotr M. Hajac, Atabey Kaygun, Mariusz Tobolski

Abstract: Motivated by recent results in graph C*-algebras concerning an equivariant pushout structure of the Vaksman-Soibelman quantum odd spheres, we introduce a class of graphs called trimmable. Then we show that the Leavitt path algebra of a trimmable graph is graded-isomorphic to a pullback algebra of simpler Leavitt path algebras and their tensor products. Motivated by recent results in graph C*-algebras concerning an equivariant pushout structure of the Vaksman-Soibelman quantum odd spheres, we introduce a class of graphs called trimmable. Then we show that the Leavitt path algebra of a trimmable graph is graded-isomorphic to a pullback algebra of simpler Leavitt path algebras and their tensor products. △ Less

Submitted 27 March, 2018; originally announced March 2018.

Comments: 7 pages

The asymptotic Connes-Moscovici characteristic map and the index cocycles

Authors: Atabey Kaygun, Serkan Sütlü

Abstract: We show that the (even and odd) index cocycles for theta-summable Fredholm modules are in the image of the Connes-Moscovici characteristic map. To show this, we first define a new range of asymptotic cohomologies, and then we extend the Connes-Moscovici characteristic map to our setting. The ordinary periodic cyclic cohomology and the entire cyclic cohomology appear as two instances of this setup.… ▽ More We show that the (even and odd) index cocycles for theta-summable Fredholm modules are in the image of the Connes-Moscovici characteristic map. To show this, we first define a new range of asymptotic cohomologies, and then we extend the Connes-Moscovici characteristic map to our setting. The ordinary periodic cyclic cohomology and the entire cyclic cohomology appear as two instances of this setup. We then construct an asymptotic characteristic class, defined independently from the underlying Fredholm module. Paired with the $K$-theory, the image of this class under the characteristic map yields a non-zero scalar multiple of the index in the even case, and the spectral flow in the odd case. △ Less

Submitted 29 May, 2017; originally announced May 2017.

MSC Class: 19D55; 47A53

Hochschild Cohomology of Reduced Incidence Algebras

Authors: Müge Kanuni, Atabey Kaygun, Serkan Sütlü

Abstract: We compute the Hochschild cohomology of the reduced incidence algebras such as the algebra of formal power series, the algebra of exponential power series, the algebra of Eulerian power series, and the algebra of formal Dirichlet series. We achieve the result by carrying out the computation on the coalgebra ${\rm Cotor}$-groups of their pre-dual coalgebras. Using the same coalgebraic machinery, we… ▽ More We compute the Hochschild cohomology of the reduced incidence algebras such as the algebra of formal power series, the algebra of exponential power series, the algebra of Eulerian power series, and the algebra of formal Dirichlet series. We achieve the result by carrying out the computation on the coalgebra ${\rm Cotor}$-groups of their pre-dual coalgebras. Using the same coalgebraic machinery, we further identify the Hochschild cohomology groups of an incidence algebra associated to a quiver with the ${\rm Ext}$-groups of the incidence algebra associated to a suspension of the quiver. △ Less

Submitted 22 May, 2016; originally announced May 2016.

MSC Class: 16E40

Journal ref: J. Algebra Appl. 16 (2017), no. 9, 1750168, 18 pp

Hopf-dihedral (co)homology and $L$-theory

Authors: A. Kaygun, S. Sütlü

Abstract: We develop an appropriate dihedral extension of the Connes-Moscovici characteristic map for Hopf *-algebras. We then observe that one can use this extension together with the dihedral Chern character to detect non-trivial $L$-theory classes of a *-algebra that carry a Hopf symmetry over a Hopf *-algebra. Using our machinery we detect a previously unknown $L$-class of the standard Podleś sphere. We develop an appropriate dihedral extension of the Connes-Moscovici characteristic map for Hopf *-algebras. We then observe that one can use this extension together with the dihedral Chern character to detect non-trivial $L$-theory classes of a *-algebra that carry a Hopf symmetry over a Hopf *-algebra. Using our machinery we detect a previously unknown $L$-class of the standard Podleś sphere. △ Less

Submitted 28 November, 2015; originally announced November 2015.

MSC Class: 16E40; 18F25; 16T05

Journal ref: J. Noncommut. Geom. 12 (2018), no. 1, 69-106

A characteristic map for compact quantum groups

Authors: A. Kaygun, S. Sütlü

Abstract: We show that if $G$ is a compact Lie group and $\mathfrak{g}$ is its Lie algebra, then there is a map from the Hopf-cyclic cohomology of the quantum enveloping algebra $U_q(\mathfrak{g})$ to the twisted cyclic cohomology of quantum group algebra $\mathcal{O}(G_q)$. We also show that the Schmüdgen-Wagner index cocycle associated with the volume form of the differential calculus on the standard Podl… ▽ More We show that if $G$ is a compact Lie group and $\mathfrak{g}$ is its Lie algebra, then there is a map from the Hopf-cyclic cohomology of the quantum enveloping algebra $U_q(\mathfrak{g})$ to the twisted cyclic cohomology of quantum group algebra $\mathcal{O}(G_q)$. We also show that the Schmüdgen-Wagner index cocycle associated with the volume form of the differential calculus on the standard Podleś sphere $\mathcal{O}(S^2_q)$ is in the image of this map. △ Less

Submitted 9 June, 2016; v1 submitted 24 July, 2015; originally announced July 2015.

Journal ref: J. Homotopy Relat. Struct. 12 (2017), no. 3, 549-576

Hopf-cyclic Cohomology of Quantum Enveloping Algebras

Authors: Atabey Kaygun, Serkan Sütlü

Abstract: In this paper we calculate both the periodic and non-periodic Hopf-cyclic cohomology of Drinfeld-Jimbo quantum enveloping algebra $U_q(\mathfrak{g})$ for an arbitrary semi-simple Lie algebra $\mathfrak{g}$ with coefficients in a modular pair in involution. We show that its Hochschild cohomology is concentrated in a single degree determined by the rank of the Lie algebra $\mathfrak{g}$. In this paper we calculate both the periodic and non-periodic Hopf-cyclic cohomology of Drinfeld-Jimbo quantum enveloping algebra $U_q(\mathfrak{g})$ for an arbitrary semi-simple Lie algebra $\mathfrak{g}$ with coefficients in a modular pair in involution. We show that its Hochschild cohomology is concentrated in a single degree determined by the rank of the Lie algebra $\mathfrak{g}$. △ Less

Submitted 13 September, 2014; originally announced September 2014.

MSC Class: 19D55; 17B37

Journal ref: J. Noncommut. Geom. 10 (2016), no. 2, 429-446

The Weak Finitistic Dimension of a Path Algebra is Finite

Authors: Muge Kanuni, Atabey Kaygun

Abstract: We prove a version of Bass' finitistic dimension conjecture for path algebras over arbitrary directed graphs. It is known that the path algebra of a finite directed graph is hereditary, hence it has finite finitistic dimension, when the graph is acyclic. The case for arbitrary directed graphs is still open. We use flat dimension instead of projective dimension (hence the designation "weak") and sh… ▽ More We prove a version of Bass' finitistic dimension conjecture for path algebras over arbitrary directed graphs. It is known that the path algebra of a finite directed graph is hereditary, hence it has finite finitistic dimension, when the graph is acyclic. The case for arbitrary directed graphs is still open. We use flat dimension instead of projective dimension (hence the designation "weak") and show that the weak finitistic dimension of an arbitrary path algebra is finite. △ Less

Submitted 19 February, 2013; v1 submitted 16 February, 2013; originally announced February 2013.

Comments: This paper has been withdrawn by the authors. A stronger result is already known. All path algebras are hereditary regardless of existence of oriented cycles. See Crawley-Boevey "Lectures on Representations of Quivers" (Page 8, Consequences (2))

MSC Class: 18G20; 16E10

Global Dimensions of Some Artinian Algebras

Authors: Müge Kanuni, Atabey Kaygun

Abstract: In this article we obtain lower and upper bounds for global dimensions of a class of artinian algebras in terms of global dimensions of a finite subset of their artinian subalgebras. Finding these bounds for the global dimension of an artinian algebra $A$ is realized via an explicit algorithm we develop. This algorithm is based on a directed graph (not the Auslander-Reiten quiver) we construct, an… ▽ More In this article we obtain lower and upper bounds for global dimensions of a class of artinian algebras in terms of global dimensions of a finite subset of their artinian subalgebras. Finding these bounds for the global dimension of an artinian algebra $A$ is realized via an explicit algorithm we develop. This algorithm is based on a directed graph (not the Auslander-Reiten quiver) we construct, and it allows us to decide whether an artinian algebra has finite global dimension in good number of cases. △ Less

Submitted 5 November, 2012; v1 submitted 17 June, 2012; originally announced June 2012.

Jacobi-Zariski Exact Sequence for Hochschild Homology and Cyclic (Co)Homology

Authors: Atabey Kaygun

Abstract: We prove that for an inclusion of unital associative but not necessarily commutative algebras $B\subseteq A$ we have long exact sequences in Hochschild homology and cyclic (co)homology akin to the Jacobi-Zariski sequence in André-Quillen homology, provided that the quotient $B$-bimodule $A/B$ is flat. We also prove that for an arbitrary r-flat morphism $f:B\to A$ with an H-unital kernel, one can e… ▽ More We prove that for an inclusion of unital associative but not necessarily commutative algebras $B\subseteq A$ we have long exact sequences in Hochschild homology and cyclic (co)homology akin to the Jacobi-Zariski sequence in André-Quillen homology, provided that the quotient $B$-bimodule $A/B$ is flat. We also prove that for an arbitrary r-flat morphism $f:B\to A$ with an H-unital kernel, one can express the Wodzicki excision sequence and the corresponding Jacobi-Zariski sequence in Hochschild homology and cyclic (co)homology as a single long exact sequence. △ Less

Submitted 10 December, 2018; v1 submitted 22 March, 2011; originally announced March 2011.

Comments: The current version corrects the range for which the Jacobi-Zariski long exact sequence holds. An errata for the published version is to appear

Journal ref: Homology Homotopy Appl. 14 (2012), no. 1, 65-78

Quantum projective space from Toeplitz cubes

Authors: Piotr M. Hajac, Atabey Kaygun, Bartosz Zielinski

Abstract: From N-tensor powers of the Toeplitz algebra, we construct a multipullback C*-algebra that is a noncommutative deformation of the complex projective space CP(N). Using Birkhoff's Representation Theorem, we prove that the lattice of kernels of the canonical projections on components of the multipullback C*-algebra is free. This shows that our deformation preserves the freeness of the lattice of sub… ▽ More From N-tensor powers of the Toeplitz algebra, we construct a multipullback C*-algebra that is a noncommutative deformation of the complex projective space CP(N). Using Birkhoff's Representation Theorem, we prove that the lattice of kernels of the canonical projections on components of the multipullback C*-algebra is free. This shows that our deformation preserves the freeness of the lattice of subsets generated by the affine covering of the complex projective space. △ Less

Submitted 3 August, 2010; originally announced August 2010.

Comments: 16 pages

Finite closed coverings of compact quantum spaces

Authors: Piotr M. Hajac, Atabey Kaygun, Bartosz Zielinski

Abstract: We show that a projective space P^\infty(Z/2) endowed with the Alexandrov topology is a classifying space for finite closed coverings of compact quantum spaces in the sense that any such a covering is functorially equivalent to a sheaf over this projective space. In technical terms, we prove that the category of finitely supported flabby sheaves of algebras is equivalent to the category of algebra… ▽ More We show that a projective space P^\infty(Z/2) endowed with the Alexandrov topology is a classifying space for finite closed coverings of compact quantum spaces in the sense that any such a covering is functorially equivalent to a sheaf over this projective space. In technical terms, we prove that the category of finitely supported flabby sheaves of algebras is equivalent to the category of algebras with a finite set of ideals that intersect to zero and generate a distributive lattice. In particular, the Gelfand transform allows us to view finite closed coverings of compact Hausdorff spaces as flabby sheaves of commutative C*-algebras over P^\infty(Z/2). △ Less

Submitted 19 June, 2012; v1 submitted 31 December, 2008; originally announced January 2009.

Comments: 26 pages, the Teoplitz quantum projective space removed to another paper. This is the third version which differs from the second one by fine tuning and removal of typos

MSC Class: 18F20 (Primary) 16W99; 06D99 (Secondary)

Uniqueness of pairings in Hopf-cyclic cohomology

Authors: Atabey Kaygun

Abstract: We show that all pairings defined in the literature extending Connes-Moscovici characteristic map in Hopf-cyclic cohomology are isomorphic as natural transformations of derived double functors. We show that all pairings defined in the literature extending Connes-Moscovici characteristic map in Hopf-cyclic cohomology are isomorphic as natural transformations of derived double functors. △ Less

Submitted 6 December, 2008; v1 submitted 23 August, 2008; originally announced August 2008.

Comments: 16 pages; Section 3 is re-written

Products in Hopf-Cyclic Cohomology

Authors: Atabey Kaygun

Abstract: We construct several pairings in Hopf-cyclic cohomology of (co)module (co)algebras with arbitrary coefficients. The key ideas instrumental in constructing these pairings are the derived functor interpretation of Hopf-cyclic and equivariant cyclic (co)homology, and the Yoneda interpretation of Ext-groups. As a special case of one of these pairings, we recover the Connes-Moscovici characteristic m… ▽ More We construct several pairings in Hopf-cyclic cohomology of (co)module (co)algebras with arbitrary coefficients. The key ideas instrumental in constructing these pairings are the derived functor interpretation of Hopf-cyclic and equivariant cyclic (co)homology, and the Yoneda interpretation of Ext-groups. As a special case of one of these pairings, we recover the Connes-Moscovici characteristic map in Hopf-cyclic cohomology. We also prove that this particular pairing, along with few others, would stay the same if we replace the derived category of (co)cyclic modules with the homotopy category of (special) towers of $X$-complexes, or the derived category of mixed complexes. △ Less

Submitted 12 October, 2007; originally announced October 2007.

Comments: 15 pages

The universal Hopf cyclic theory

Authors: Atabey Kaygun

Abstract: We define a Hopf cyclic (co)homology theory in an arbitrary symmetric strict monoidal category. Thus we unify all different types of Hopf cyclic (co)homologies under one single universal theory. We recover Hopf cyclic (co)homology of module algebras, comodule algebras and module coalgebras along with Hopf-Hochschild (co)homology of module algebras. This universal theory also allows us to define… ▽ More We define a Hopf cyclic (co)homology theory in an arbitrary symmetric strict monoidal category. Thus we unify all different types of Hopf cyclic (co)homologies under one single universal theory. We recover Hopf cyclic (co)homology of module algebras, comodule algebras and module coalgebras along with Hopf-Hochschild (co)homology of module algebras. This universal theory also allows us to define the missing Hopf cyclic theory for comodule coalgebras. △ Less

Submitted 28 November, 2006; v1 submitted 11 September, 2006; originally announced September 2006.

Bivariant Hopf cyclic cohomology

Authors: Atabey Kaygun, Masoud Khalkhali

Abstract: For module algebras and module coalgebras over an arbitrary bialgebra, we define two types of bivariant cyclic cohomology groups called bivariant Hopf cyclic cohomology and bivariant equivariant cyclic cohomology. These groups are defined through an extension of Connes' cyclic category $Λ$. We show that, in the case of module coalgebras, bivariant Hopf cyclic cohomology specializes to Hopf cycli… ▽ More For module algebras and module coalgebras over an arbitrary bialgebra, we define two types of bivariant cyclic cohomology groups called bivariant Hopf cyclic cohomology and bivariant equivariant cyclic cohomology. These groups are defined through an extension of Connes' cyclic category $Λ$. We show that, in the case of module coalgebras, bivariant Hopf cyclic cohomology specializes to Hopf cyclic cohomology of Connes and Moscovici and its dual version by fixing either one of the variables as the ground field. We also prove an appropriate version of Morita invariance for both of these theories. △ Less

Submitted 14 June, 2006; originally announced June 2006.

Comments: 21 pages

Hopf--Hochschild (co)homology of module algebras

Authors: Atabey Kaygun

Abstract: We define a version of Hochschild homology and cohomology suitable for a class of algebras admitting compatible actions of bialgebras, called module algebras. We show this (co)homology, called Hopf--Hochschild (co)homology, can also be defined as a derived functor on the category of representations of a crossed product algebra. We investigate the relationship of our theory with Hopf cyclic cohom… ▽ More We define a version of Hochschild homology and cohomology suitable for a class of algebras admitting compatible actions of bialgebras, called module algebras. We show this (co)homology, called Hopf--Hochschild (co)homology, can also be defined as a derived functor on the category of representations of a crossed product algebra. We investigate the relationship of our theory with Hopf cyclic cohomology and also prove Morita invariance of the Hopf--Hochschild (co)homology. △ Less

Submitted 24 August, 2006; v1 submitted 14 June, 2006; originally announced June 2006.

Comments: 19 Pages. Theorem 3.7 and Corollary 4.4 modified

Hopf Modules and Noncommutative Differential Geometry

Authors: Atabey Kaygun, Masoud Khalkhali

Abstract: We define a new algebra of noncommutative differential forms for any Hopf algebra with an invertible antipode. We prove that there is a one to one correspondence between anti-Yetter-Drinfeld modules, which serve as coefficients for the Hopf cyclic (co)homology, and modules which admit a flat connection with respect to our differential calculus. Thus we show that these coefficient modules can be… ▽ More We define a new algebra of noncommutative differential forms for any Hopf algebra with an invertible antipode. We prove that there is a one to one correspondence between anti-Yetter-Drinfeld modules, which serve as coefficients for the Hopf cyclic (co)homology, and modules which admit a flat connection with respect to our differential calculus. Thus we show that these coefficient modules can be regarded as ``flat bundles'' in the sense of Connes' noncommutative differential geometry. △ Less

Submitted 6 December, 2005; v1 submitted 1 December, 2005; originally announced December 2005.

Comments: 14 Pages, one reference added

Excision in Hopf cyclic homology

Authors: Atabey Kaygun, Masoud Khalkhali

Abstract: In this paper we show that both variants of the Hopf cyclic homology has excision under some natural homological conditions on the objects and the coefficient module. In this paper we show that both variants of the Hopf cyclic homology has excision under some natural homological conditions on the objects and the coefficient module. △ Less

Submitted 1 November, 2005; originally announced November 2005.

Loday--Quillen--Tsygan Theorem for Coalgebras

Authors: Atabey Kaygun

Abstract: In this paper we prove that Loday--Quillen--Tsygan Theorem generalizes to the case of coalgebras. Specifically, we show that the Chevalley--Eilenberg--Lie homology of the Lie coalgebra of infinite matrices over a coassociative coalgebra $C$ is generated by the cyclic homology of the underlying coalgebra $C$ as an exterior algebra. In this paper we prove that Loday--Quillen--Tsygan Theorem generalizes to the case of coalgebras. Specifically, we show that the Chevalley--Eilenberg--Lie homology of the Lie coalgebra of infinite matrices over a coassociative coalgebra $C$ is generated by the cyclic homology of the underlying coalgebra $C$ as an exterior algebra. △ Less

Submitted 30 November, 2004; originally announced November 2004.

Comments: LaTeX, 22 pages

Bialgebra Cyclic Homology with Coefficients, Part II

Authors: Atabey Kaygun

Abstract: This is the second part of the article [math.KT/0408094]. In the first paper, we used the underlying coalgebra structure to develop a cyclic theory. In this paper we define a dual theory by using the algebra structure. We define a cyclic homology theory for triples $(X,B,Y)$ where $B$ is a bialgebra, $X$ is a $B$--comodule algebra and $Y$ is just a stable $B$--module/comodule. We recover the mai… ▽ More This is the second part of the article [math.KT/0408094]. In the first paper, we used the underlying coalgebra structure to develop a cyclic theory. In this paper we define a dual theory by using the algebra structure. We define a cyclic homology theory for triples $(X,B,Y)$ where $B$ is a bialgebra, $X$ is a $B$--comodule algebra and $Y$ is just a stable $B$--module/comodule. We recover the main result of [math.KT/0310088] that these homology theories are dual to each other in the appropriate sense when the bialgebra is a Hopf algebra and the stable coefficient module satisfies anti-Yetter-Drinfeld condition. We also compute this particular homology for the quantum deformation of an arbitrary semi-simple Lie algebra and the Hopf algebra of foliations of codimension $N$ with stable but non-anti-Yetter-Drinfeld coefficients. △ Less

Submitted 11 September, 2004; originally announced September 2004.

Comments: 19 pages, LaTeX, no figures

MSC Class: 19D55 (Primary) 16W30; 17B37 (Secondary)

Bialgebra Cyclic Homology with Coefficients, Part I

Authors: Atabey Kaygun

Abstract: The cyclic (co)homology of Hopf algebras is defined by Connes and Moscovici [math.DG/9806109] and later extended by Khalkhali et.al [math.KT/0306288] to admit stable anti-Yetter-Drinfeld coefficient module/comodules. In this paper we will show that one can further extend the cyclic homology of Hopf algebras with coefficients non-trivially. The new homology, called the bialgebra cyclic homology,… ▽ More The cyclic (co)homology of Hopf algebras is defined by Connes and Moscovici [math.DG/9806109] and later extended by Khalkhali et.al [math.KT/0306288] to admit stable anti-Yetter-Drinfeld coefficient module/comodules. In this paper we will show that one can further extend the cyclic homology of Hopf algebras with coefficients non-trivially. The new homology, called the bialgebra cyclic homology, admits stable coefficient module/comodules, dropping the anti-Yetter-Drinfeld condition. This fact allows the new homology to use bialgebras, not just Hopf algebras. We will also give computations for bialgebra cyclic homology of the Hopf algebra of foliations of codimension $n$ and the quantum deformation of an arbitrary semi-simple Lie algebra with several stable but non-anti-Yetter-Drinfeld coefficients. △ Less

Submitted 11 September, 2004; v1 submitted 6 August, 2004; originally announced August 2004.

Comments: 23 pages, LaTeX, no figures. v2: Corollary 3.9 and Corollary 3.14 were removed. v3: A more refined notion of stability is introduced and an explicit definition of aYD modules is given