-
A note on measurings and higher order Hochschild homology of algebras
Authors:
Abhishek Banerjee,
Surjeet Kour
Abstract:
We know that coalgebra measurings behave like generalized maps between algebras. In this note, we show that coalgebra measurings between commutative algebras induce morphisms between higher order Hochschild homology groups of algebras. By higher order Hochschild homology, we mean the the Hochschild homology groups of a commutative algebra with respect to a simplicial set as introduced by Pirashvil…
▽ More
We know that coalgebra measurings behave like generalized maps between algebras. In this note, we show that coalgebra measurings between commutative algebras induce morphisms between higher order Hochschild homology groups of algebras. By higher order Hochschild homology, we mean the the Hochschild homology groups of a commutative algebra with respect to a simplicial set as introduced by Pirashvili.
△ Less
Submitted 9 April, 2025;
originally announced April 2025.
-
Galois measurings for noncommutative base change of entwined contramodule and entwined comodule categories
Authors:
Divya Ahuja,
Abhishek Banerjee,
Surjeet Kour
Abstract:
We study the noncommutative base change of an entwining structure $(A,C,ψ)$ by a Grothendieck category $\mathfrak S$, using two module like categories. These are the categories of entwined comodule objects and entwined contramodule objects in $\mathfrak S$ over the entwining structure $(A,C,ψ)$. We consider criteria for maps between these noncommutative spaces, induced by generalized maps between…
▽ More
We study the noncommutative base change of an entwining structure $(A,C,ψ)$ by a Grothendieck category $\mathfrak S$, using two module like categories. These are the categories of entwined comodule objects and entwined contramodule objects in $\mathfrak S$ over the entwining structure $(A,C,ψ)$. We consider criteria for maps between these noncommutative spaces, induced by generalized maps between entwining structures, known as measurings, to behave like Galois extensions. We also study conditions for extensions of these noncommutative spaces, understood as functors between module like categories, to have separability, Frobenius or Maschke type properties.
△ Less
Submitted 7 March, 2025;
originally announced March 2025.
-
Isotropy group of Lotka-Volterra derivations
Authors:
Himanshu Rewri,
Surjeet Kour
Abstract:
In this paper, we study the isotropy group of Lotka-Volterra derivations of $K[x_{1},\cdots,x_{n}]$, i.e., a derivation $d$ of the form $d(x_{i})=x_{i}(x_{i-1}-C_{i}x_{i+1})$. If $n=3$ or $n \geq 5$, we have shown that the isotropy group of $d$ is finite. However, for $n=4$, it is observed that the isotropy group of $d$ need not be finite. Indeed, for $C_{i}=-1$, we observed an infinite collection…
▽ More
In this paper, we study the isotropy group of Lotka-Volterra derivations of $K[x_{1},\cdots,x_{n}]$, i.e., a derivation $d$ of the form $d(x_{i})=x_{i}(x_{i-1}-C_{i}x_{i+1})$. If $n=3$ or $n \geq 5$, we have shown that the isotropy group of $d$ is finite. However, for $n=4$, it is observed that the isotropy group of $d$ need not be finite. Indeed, for $C_{i}=-1$, we observed an infinite collection of automorphisms in the isotropy group of $d$. Moreover, for $n \geq 3, ~~\text{and}~~C_{i}=1$, we have shown that the isotropy group of $d$ is isomorphic to the dihedral group of order $2n$.
△ Less
Submitted 30 December, 2024;
originally announced December 2024.
-
Categorification of modules and construction of schemes
Authors:
Abhishek Banerjee,
Subhajit Das,
Surjeet Kour
Abstract:
We use categorification of module structures to study algebraic geometry over symmetric monoidal categories. This brings together the relative algebraic geometry over symmetric monoidal categories developed by Toën and Vaquié, along with the theory of module categories over monoidal categories. We obtain schemes over a datum $(\mathcal C,\mathcal M)$, where $(\mathcal C,\otimes,1)$ is a symmetric…
▽ More
We use categorification of module structures to study algebraic geometry over symmetric monoidal categories. This brings together the relative algebraic geometry over symmetric monoidal categories developed by Toën and Vaquié, along with the theory of module categories over monoidal categories. We obtain schemes over a datum $(\mathcal C,\mathcal M)$, where $(\mathcal C,\otimes,1)$ is a symmetric monoidal category and $\mathcal M$ is a module category over $\mathcal C$. One of our main tools is using the datum $(\mathcal C,\mathcal M)$ to give a Grothendieck topology on the category of affine schemes over $(\mathcal C,\otimes,1)$ that we call the ``spectral $\mathcal M$-topology.'' This consists of ``fpqc $\mathcal M$-coverings'' with certain special properties. We also give a counterpart for a construction of Connes and Consani by presenting a notion of scheme over a composite datum consisting of a $\mathcal C$-module category $\mathcal M$ and the category of commutative monoids with an absorbing element.
△ Less
Submitted 12 December, 2024;
originally announced December 2024.
-
Entwined comodules and contramodules over coalgebras with several objects: Frobenius, separability and Maschke theorems
Authors:
Abhishek Banerjee,
Surjeet Kour
Abstract:
We study module like objects over categorical quotients of algebras by the action of coalgebras with several objects. These take the form of ``entwined comodules'' and ``entwined contramodules'' over a triple $(\mathscr C,A,ψ)$, where $A$ is an algebra, $\mathscr C$ is a coalgebra with several objects and $ψ$ is a collection of maps that ``entwines'' $\mathscr C$ with $A$. Our objective is to prov…
▽ More
We study module like objects over categorical quotients of algebras by the action of coalgebras with several objects. These take the form of ``entwined comodules'' and ``entwined contramodules'' over a triple $(\mathscr C,A,ψ)$, where $A$ is an algebra, $\mathscr C$ is a coalgebra with several objects and $ψ$ is a collection of maps that ``entwines'' $\mathscr C$ with $A$. Our objective is to prove Frobenius, separability and Maschke type theorems for functors between categories of entwined comodules and entwined contramodules.
△ Less
Submitted 23 October, 2024;
originally announced October 2024.
-
Differential torsion theories on Eilenberg-Moore categories of monads
Authors:
Divya Ahuja,
Surjeet Kour
Abstract:
Let $\mathcal C$ be a Grothendieck category and $U$ be a monad on $\mathcal C$ that is exact and preserves colimits. In this article, we prove that every hereditary torsion theory on the Eilenberg-Moore category of modules over a monad $U$ is differential. Further, if $δ:U\longrightarrow U$ denotes a derivation on a monad $U$, then we show that every $δ$-derivation on a $U$-module $M$ extends uniq…
▽ More
Let $\mathcal C$ be a Grothendieck category and $U$ be a monad on $\mathcal C$ that is exact and preserves colimits. In this article, we prove that every hereditary torsion theory on the Eilenberg-Moore category of modules over a monad $U$ is differential. Further, if $δ:U\longrightarrow U$ denotes a derivation on a monad $U$, then we show that every $δ$-derivation on a $U$-module $M$ extends uniquely to a $δ$-derivation on the module of quotients of $M$.
△ Less
Submitted 28 August, 2024; v1 submitted 23 July, 2024;
originally announced July 2024.
-
Hilbert spaces over $C^*$-tensor categories, Fredholm modules and cyclic cohomology
Authors:
Abhishek Banerjee,
Subhajit Das,
Surjeet Kour
Abstract:
We construct Fredholm modules over an algebra taking values in generalized Hilbert spaces over a rigid $C^*$-tensor category. Using methods of Connes, we obtain Chern characters taking values in cyclic cohomology. These Chern characters are well behaved with respect to the periodicity operator, and depend only on the homotopy class of the Fredholm module.
We construct Fredholm modules over an algebra taking values in generalized Hilbert spaces over a rigid $C^*$-tensor category. Using methods of Connes, we obtain Chern characters taking values in cyclic cohomology. These Chern characters are well behaved with respect to the periodicity operator, and depend only on the homotopy class of the Fredholm module.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
Eilenberg-Moore categories and quiver representations of monads and comonads
Authors:
Divya Ahuja,
Abhishek Banerjee,
Surjeet Kour,
Samarpita Ray
Abstract:
We consider representations of quivers taking values in monads or comonads over a Grothendieck category $\mathcal C$. We treat these as scheme like objects whose ``structure sheaf'' consists of monads or comonads. By using systems of adjoint functors between Eilenberg-Moore categories, we obtain a categorical framework of modules over monad quivers, and of comodules over comonad quivers. Our main…
▽ More
We consider representations of quivers taking values in monads or comonads over a Grothendieck category $\mathcal C$. We treat these as scheme like objects whose ``structure sheaf'' consists of monads or comonads. By using systems of adjoint functors between Eilenberg-Moore categories, we obtain a categorical framework of modules over monad quivers, and of comodules over comonad quivers. Our main objective is to give conditions for these to be Grothendieck categories, which play the role of noncommutative spaces. As with usual ringed spaces, we have to study two kinds of module categories over a monad quiver. The first behaves like a sheaf of modules over a ringed space. The second consists of modules that are cartesian, which resemble quasi-coherent sheaves. We also obtain an extension of the classical quasi-coherator construction to modules over a monad quiver with values in Eilenberg-Moore categories. We establish similar results for comodules over a comonad quiver. One of our key steps is finding a modulus like bound for an endofunctor $U:\mathcal C\longrightarrow \mathcal C$ in terms of $κ(G)$, where $G$ is a generator for $\mathcal C$ and $κ(G)$ is a cardinal such that $G$ is $κ(G)$-presentable. Another feature of our paper is that we study modules over a monad quiver in two different orientations, which we refer to as ``cis-modules'' and ``trans-modules.'' We conclude with rational pairings of a monad quiver with a comonad quiver, which relate comodules over a comonad quiver to coreflective subcategories of modules over monad quivers.
△ Less
Submitted 27 October, 2024; v1 submitted 24 July, 2023;
originally announced July 2023.
-
Measurings of Hopf algebroids and morphisms in cyclic (co)homology theories
Authors:
Abhishek Banerjee,
Surjeet Kour
Abstract:
In this paper, we consider measurings between Hopf algebroids and show that they induce morphisms on cyclic homology and cyclic cohomology. We also consider comodule measurings between SAYD modules over Hopf algebroids. These give an enrichment of the global category of SAYD modules over comodules. These measurings also induce morphisms on cyclic (co)homology of Hopf algebroids with SAYD coefficie…
▽ More
In this paper, we consider measurings between Hopf algebroids and show that they induce morphisms on cyclic homology and cyclic cohomology. We also consider comodule measurings between SAYD modules over Hopf algebroids. These give an enrichment of the global category of SAYD modules over comodules. These measurings also induce morphisms on cyclic (co)homology of Hopf algebroids with SAYD coefficients, which are compatible with Hopf-Galois maps. Finally, we consider non-$Σ$ operads with multiplication. We obtain an enrichment of cyclic unital comp modules over non-$Σ$ operads, as well as morphisms on cyclic homology induced by measurings of comp modules over operads with multiplication.
△ Less
Submitted 7 July, 2023; v1 submitted 19 January, 2023;
originally announced January 2023.
-
Comodule theories in Grothendieck categories and relative Hopf objects
Authors:
Mamta Balodi,
Abhishek Banerjee,
Surjeet Kour
Abstract:
We develop the categorical algebra of the noncommutative base change of a comodule category by means of a Grothendieck category $\mathfrak S$. We describe when the resulting category of comodules is locally finitely generated, locally noetherian or may be recovered as a coreflective subcategory of the noncommutative base change of a module category. We also introduce the category…
▽ More
We develop the categorical algebra of the noncommutative base change of a comodule category by means of a Grothendieck category $\mathfrak S$. We describe when the resulting category of comodules is locally finitely generated, locally noetherian or may be recovered as a coreflective subcategory of the noncommutative base change of a module category. We also introduce the category ${_A}\mathfrak S^H$ of relative $(A,H)$-Hopf modules in $\mathfrak S$, where $H$ is a Hopf algebra and $A$ is a right $H$-comodule algebra. We study the cohomological theory in ${_A}\mathfrak S^H$ by means of spectral sequences. Using coinduction functors and functors of coinvariants, we study torsion theories and how they relate to injective resolutions in ${_A}\mathfrak S^H$. Finally, we use the theory of associated primes and support in noncommutative base change of module categories to give direct sum decompositions of minimal injective resolutions in ${_A}\mathfrak S^H$.
△ Less
Submitted 16 June, 2023; v1 submitted 30 June, 2022;
originally announced June 2022.
-
Noncommutative supports, local cohomology and spectral sequences
Authors:
Abhishek Banerjee,
Surjeet Kour
Abstract:
The purpose of this paper is to study local cohomology in the noncommutative algebraic geometry framework of Artin and Zhang. The noncommutative spaces are obtained by base change of a Grothendieck category that is locally noetherian or strongly locally noetherian. Using what we call elementary objects and their injective hulls, we develop a theory of supports and associated primes in these catego…
▽ More
The purpose of this paper is to study local cohomology in the noncommutative algebraic geometry framework of Artin and Zhang. The noncommutative spaces are obtained by base change of a Grothendieck category that is locally noetherian or strongly locally noetherian. Using what we call elementary objects and their injective hulls, we develop a theory of supports and associated primes in these categories. We apply our theory to study a general functorial setup that requires certain conditions on the injective hulls of elementary objects and gives us spectral sequences for derived functors associated to local cohomology objects, as well as generalized local cohomology and also generalized Nagata ideal transforms.
△ Less
Submitted 23 September, 2023; v1 submitted 8 May, 2022;
originally announced May 2022.
-
On generalized cyclotomic derivations
Authors:
Sakshi Gupta,
Surjeet Kour
Abstract:
In this article we study the field of rational constants and Darboux polynomials of a generalized cyclotomic $K$-derivation $d$ of $K[X]$. It is shown that $d$ is without Darboux polynomials if and only if $K(X)^d=K$. Result is also studied in the tensor product of polynomial algebras.
In this article we study the field of rational constants and Darboux polynomials of a generalized cyclotomic $K$-derivation $d$ of $K[X]$. It is shown that $d$ is without Darboux polynomials if and only if $K(X)^d=K$. Result is also studied in the tensor product of polynomial algebras.
△ Less
Submitted 17 February, 2022;
originally announced February 2022.
-
On measurings of algebras over operads and homology theories
Authors:
Abhishek Banerjee,
Surjeet Kour
Abstract:
The notion of a coalgebra measuring, introduced by Sweedler, is a kind of generalized ring map between algebras. We begin by studying maps on Hochschild homology induced by coalgebra measurings. We then introduce a notion of coalgebra measuring between Lie algebras and use it to obtain maps on Lie algebra homology. Further, these measurings between Lie algebras satisfy nice adjoint like properties…
▽ More
The notion of a coalgebra measuring, introduced by Sweedler, is a kind of generalized ring map between algebras. We begin by studying maps on Hochschild homology induced by coalgebra measurings. We then introduce a notion of coalgebra measuring between Lie algebras and use it to obtain maps on Lie algebra homology. Further, these measurings between Lie algebras satisfy nice adjoint like properties with respect to universal enveloping algebras.
More generally, we introduce and undertake a detailed study of the notion of coalgebra measuring between algebras over any operad $\mathcal O$. In case $\mathcal O$ is a binary and quadratic operad, we show that a measuring of $\mathcal O$-algebras leads to maps on operadic homology. In general, for any operad $\mathcal O$, we construct universal measuring coalgebras to show that the category of $\mathcal O$-algebras is enriched over coalgebras. We develop measuring comodules and universal measuring comodules for this theory. We also relate these to measurings of the universal enveloping algebra $U_{\mathcal O}(\mathscr A)$ of an $\mathcal O$-algebra $\mathscr A$ and the modules over it. Finally, we construct the Sweedler product $C\rhd \mathscr A$ of a coalgebra $C$ and an $\mathcal O$-algebra $\mathscr A$. The object $C\rhd \mathscr A$ is universal among $\mathcal O$-algebras that arise as targets of $C$-measurings starting from $\mathscr A$.
△ Less
Submitted 27 February, 2020; v1 submitted 30 September, 2019;
originally announced September 2019.
-
On $n^{th}$ class preserving automorphisms of $n$-isoclinism family
Authors:
Surjeet Kour
Abstract:
Let $G$ be a finite group and $M,N$ be two normal subgroups of $G$. Let $Aut_N^M(G)$ denote the group of all automorphisms of $G$ which fix $N$ element wise and act trivially on $G/M$. Let $n$ be a positive integer. In this article we have shown that if $G$ and $H$ are two $n$-isoclinic groups, then there exists an isomorphism from $Aut_{Z_n(G)}^{γ_{n+1}(G)}(G)$ to $Aut_{Z_n(H)}^{γ_{n+1}(H)}(H)$,…
▽ More
Let $G$ be a finite group and $M,N$ be two normal subgroups of $G$. Let $Aut_N^M(G)$ denote the group of all automorphisms of $G$ which fix $N$ element wise and act trivially on $G/M$. Let $n$ be a positive integer. In this article we have shown that if $G$ and $H$ are two $n$-isoclinic groups, then there exists an isomorphism from $Aut_{Z_n(G)}^{γ_{n+1}(G)}(G)$ to $Aut_{Z_n(H)}^{γ_{n+1}(H)}(H)$, which maps the group of $n^{th}$ class preserving automorphisms of $G$ to the group of $n^{th}$ class preserving automorphisms of $H$. Also, for a nilpotent group of class at most $(n+1)$, with some suitable conditions on $γ_{n+1}(G)$, we prove that $Aut_{Z_n(G)}^{γ_{n+1}(G)}(G)$ is isomorphic to the group of inner automorphisms of a quotient group of $G$.
△ Less
Submitted 19 January, 2017;
originally announced January 2017.
-
On Equality of Certain Automorphism Groups
Authors:
Surjeet Kour,
Vishakha
Abstract:
Let $G = H\times A$ be a group, where $H$ is a purely non-abelian subgroup of $G$ and $A$ is a non-trivial abelian factor of $G$. Then, for $n \geq 2$, we show that there exists an isomorphism $φ: Aut_{Z(G)}^{γ_{n}(G)}(G) \rightarrow Aut_{Z(H)}^{γ_{n}(H)}(H)$ such that $φ(Aut_{c}^{n-1}(G))=Aut_{c}^{n-1}(H)$. Also, for a finite non-abelian $p$-group $G$ satisfying a certain natural hypothesis, we g…
▽ More
Let $G = H\times A$ be a group, where $H$ is a purely non-abelian subgroup of $G$ and $A$ is a non-trivial abelian factor of $G$. Then, for $n \geq 2$, we show that there exists an isomorphism $φ: Aut_{Z(G)}^{γ_{n}(G)}(G) \rightarrow Aut_{Z(H)}^{γ_{n}(H)}(H)$ such that $φ(Aut_{c}^{n-1}(G))=Aut_{c}^{n-1}(H)$. Also, for a finite non-abelian $p$-group $G$ satisfying a certain natural hypothesis, we give some necessary and sufficient conditions for $Autcent(G) = Aut_c^{n-1}(G)$. Furthermore, for a finite non-abelian $p$-group $G$ we study the equality of $Autcent(G)$ with $Aut_{Z(G)}^{γ_{n}(G)}(G)$.
△ Less
Submitted 29 January, 2016; v1 submitted 21 May, 2015;
originally announced May 2015.
