Source author record

Abhishek Banerjee

Abhishek Banerjee appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

27works
15topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

27 published item(s)

preprint2026arXiv

Categorification of modules and construction of schemes

We use categorification of monoid actions 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 actegories 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 an actegory 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 provide a description of schemes over $(\mathcal C,\mathcal M)$ in terms of quotients of disjoint unions of affine schemes over a certain equivalence relation. These categories of schemes are closed under pullbacks and coproducts, and are equipped with change of base functors induced by symmetric monoidal adjuctions accompanied by lax $\mathcal C$-linear functors.

preprint2022arXiv

Adjunctions between Eilenberg-Moore categories and a PBW-type theorem

Recently, Dotsenko and Tamaroff have shown that a morphism of $T\longrightarrow S$ of monads over a category $\mathscr C$ satisfies the PBW-property if and only if it makes $S$ into a free right $T$-module. We consider an adjunction $Ψ=(G,F)$ between categories $\mathscr C$, $\mathscr D$, a monad $S$ on $\mathscr C$ and a monad $T$ on $\mathscr D$. We show that a morphism $ϕ:(\mathscr C,S)\longrightarrow (\mathscr D,T)$ that is well behaved with respect to the adjunction $Ψ$ has a PBW-property if and only if it makes $S$ satisfy a certain freeness condition with respect to $T$-modules with values in $\mathscr C$.

preprint2022arXiv

Entwined modules over representations of categories

We introduce a theory of modules over a representation of a small category taking values in entwining structures over a semiperfect coalgebra. This takes forward the aim of developing categories of entwined modules to the same extent as that of module categories as well as the philosophy of Mitchell of working with rings with several objects. The representations are motivated by work of Estrada and Virili, who developed a theory of modules over a representation taking values in small preadditive categories, which were then studied in the same spirit as sheaves of modules over a scheme. We also describe, by means of Frobenius and separable functors, how our theory relates to that of modules over the underlying representation taking values in small $K$-linear categories.

preprint2022arXiv

Improved bounds on ultralight scalar dark matter in the radio-frequency range

We present a search for fundamental constant oscillations in the range $20$~kHz-$100$ MHz, that may arise within models for ultralight dark matter (UDM). Using two independent, significantly upgraded optical-spectroscopy apparatus, we achieve up to $\times$1000 greater sensitivity in the search relative to previous work. We report no observation of UDM and thus constrain respective couplings to electrons and photons within the investigated UDM particle mass range $8\cdot 10^{-11}-4\cdot 10^{-7}$ eV. The constraints significantly exceed previously set bounds, and as we show, may surpass in future experiments those provided by equivalence-principle experiments in a specific case regarding the combination of UDM couplings probed by the latter.

preprint2021arXiv

Homological Algebra of Heyting modules

The collection of open sets of a topological space forms a Heyting algebra, which leads to the idea of a Heyting algebra as a generalized topological space. In fact, a sober topological space may be reconstructed from its locale of open sets. This has given rise to a good theory of presheaves and sheaves over locales. At the same time, several ring like properties of Heyting algebras have also been studied. The purpose of this paper is to study a non-abelian homological theory for modules over Heyting algebras.

preprint2021arXiv

One-dimensional spin-orbit coupled Dirac system with extended $s$-wave superconductivity: Majorana modes and Josephson effects

Motivated by the spin-momentum locking of electrons at the boundaries of topological insulators, we study a one-dimensional system of spin-orbit coupled massless Dirac electrons with $s$-wave superconducting pairing. As a result of the spin-orbit coupling, our model has only two kinds of linearly dispersing modes, which we take to be right-moving spin-up and left-moving spin-down. Both lattice and continuum models are studied. In the lattice model, we find that a single Majorana zero energy mode appears at each end of a finite system provided that the $s$-wave pairing has an extended form, with the nearest-neighbor pairing being larger than the on-site pairing. We confirm this both numerically and analytically by calculating the winding number. Next we study a lattice version of a model with both Schrödinger and Dirac-like terms and find that the model hosts a topological transition between topologically trivial and non-trivial phases depending on the relative strength of the Schrödinger and Dirac terms. We then study a continuum system consisting of two $s$-wave superconductors with different phases of the pairing. Remarkably, we find that the system has a {\it single} Andreev bound state which is localized at the junction. When the pairing phase difference crosses a multiple of $2 π$, an Andreev bound state touches the top of the superconducting gap and disappears, and a different state appears from the bottom of the gap. We also study the AC Josephson effect in such a junction with a voltage bias that has both a constant $V_0$ and a term which oscillates with a frequency $ω$. We find that, in contrast to standard Josephson junctions, Shapiro plateaus appear when the Josephson frequency $ω_J= 2eV_0/\hbar$ is a rational fraction of $ω$. We discuss experiments which can realize such junctions.

preprint2021arXiv

Searching for Earth/Solar Axion Halos

We discuss the sensitivity of the present and near-future axion dark matter experiments to a halo of axions or axion-like particles gravitationally bound to the Earth or the Sun. The existence of such halos, assuming they are formed, renders a significant gain in the sensitivity of axion searches while satisfying all the present experimental bounds. The structure and coherence properties of these halos also imply novel signals, which can depend on the latitude or orientation of the detector. We demonstrate this by analysing the sensitivity of several distinct types of axion dark matter experiments.

preprint2020arXiv

$FI$-modules over preadditive categories and torsion theories

We work with $FI$-modules over a small preadditive category $\mathcal R$, viewed as a ring with several objects. Our aim is to study torsion theories for $FI$-modules. We are especially interested in torsion theories on finitely generated $FI$-modules and the category of what we call "shift finitely generated" $FI$-modules. We also apply these methods to study inductive descriptions of $FI$-modules over $\mathcal R$.

preprint2020arXiv

BV-operators and secondary Hochschild complex

We introduce the notion of a BV-operator $Δ=\{Δ^n:V^n\longrightarrow V^{n-1}\}_{n\geq 0}$ on a homotopy $G$-algebra $V^\bullet$ such that the Gerstenhaber bracket on $H(V^\bullet)$ is determined by $Δ$ in a manner similar to the BV-formalism. As an application, we produce a BV-operator on the cochain complex defining the secondary Hochschild cohomology of a symmetric algebra $A$ over a commutative algebra $B$.

preprint2020arXiv

Cycles over DGH-semicategories and pairings in categorical Hopf-cyclic cohomology

Let $H$ be a Hopf algebra and let $\mathcal D_H$ be a Hopf-module category. We describe the cocycles and coboundaries for the Hopf cyclic cohomology of $\mathcal D_H$, which correspond respectively to categorified cycles and vanishing cycles over $\mathcal D_H$. An important role in our work is played by semicategories, which are categories that may not contain identity maps. In particular, a cycle over $\mathcal D_H$ consists of a differential graded $H$-module semicategory equipped with a trace on endomorphism groups satisfying some conditions. Using a pairing on cycles, we obtain a pairing $HC^p(\mathcal{C}) \otimes HC^q(\mathcal{C}') \longrightarrow HC^{p+q}(\mathcal{C} \otimes \mathcal{C}')$ on cyclic cohomology groups for small $k$-linear categories $\mathcal C$ and $\mathcal C'$.

preprint2020arXiv

Cyclic cohomology of entwining structures

In this paper, we introduce and study a cyclic cohomology theory $H^\bullet_λ(A,C,ψ)$ for an entwining structure $(A,C,ψ)$ over a field $k$. We then provide a complete description of the cocycles and the coboundaries in this theory using entwined traces applied to dg-entwining structures over $(A,C,ψ)$. We then apply these descriptions to construct a pairing $ H^m_λ(A,C,ψ) \otimes H^n_λ(A',C',ψ') \longrightarrow H^{m+n}_λ(A \otimes A', C \otimes C', ψ\otimes ψ') $, where $(A,C,ψ)$ and $(A',C',ψ')$ are entwining structures.

preprint2020arXiv

On measurings of algebras over operads and homology theories

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$.

preprint2020arXiv

Probing the Relaxed Relaxion at the Luminosity and Precision Frontiers

Cosmological relaxation of the electroweak scale is an attractive scenario addressing the gauge hierarchy problem. Its main actor, the relaxion, is a light spin-zero field which dynamically relaxes the Higgs mass with respect to its natural large value. We show that the relaxion is generically stabilized at a special position in the field space, which leads to suppression of its mass and potentially unnatural values for the model's effective low-energy couplings. In particular, we find that the relaxion mixing with the Higgs can be several orders of magnitude above its naive naturalness bound. Low energy observers may thus find the relaxion theory being fine-tuned although the relaxion scenario itself is constructed in a technically natural way. More generally, we identify the lower and upper bounds on the mixing angle. We examine the experimental implications of the above observations at the luminosity and precision frontiers. A particular attention is given to the impressive ability of future nuclear clocks to search for rapidly oscillating scalar ultra-light dark matter, where the future projected sensitivity is presented.

preprint2019arXiv

Categorified Fredholm Modules and Chern Characters

In this paper, we continue our program of systematic categorification of the Noncommutative Differential Geometry of Connes. We replace a ring with a small $\mathbb C$-linear category, seen as a ring with several objects in the sense of Mitchell. We introduced Fredholm modules over this category and construct a Chern character taking values in the cyclic cohomology of $\mathcal C$. We show that this categorified Chern character depends only on the homotopy class of the Fredholm module and is well-behaved with respect to the periodicity operator in cyclic cohomology.

preprint2019arXiv

Coherent relaxion dark matter

We show that relaxion, that addresses the hierarchy problem, can account for the observed dark matter (DM) relic density. The setup is similar to the case of axion DM models topped with a dynamical misalignment mechanism. After the reheating, when the temperature is well above the electroweak scale, the backreaction potential disappears and the relaxion is displaced from its vacuum. When the "wiggles" reappear the relaxion coherently oscillates around its minimum as in the case of vanilla axion DM models. We identify the parameter space such that the relaxion is retrapped leading to the standard cosmology. When the relaxion is lighter than $10^{-7}\,$eV, Hubble friction during radiation-domination is sufficiently strong for retrapping, and even minimal models are found to be viable. It also leads to a new constraint on relaxion models, as a certain region of their parameter space could lead to overabundant relaxion DM. Alternatively, even a larger parameter space exists when additional friction is obtained by particle production from additional coupling to an additional dark photon field. The phenomenology of this class of models is quite unique, as it implies that we are surrounded by a time-dependent axion-like field that due to relaxion-Higgs mixing implies time-dependent Higgs vacuum-expectation-value that lead to time-variation of all coupling constants of nature.

preprint2019arXiv

Cohomology of modules over $H$-categories and co-$H$-categories

Let $H$ be a Hopf algebra. We consider $H$-equivariant modules over a Hopf module category $\mathcal C$ as modules over the smash extension $\mathcal C\# H$. We construct Grothendieck spectral sequences for the cohomologies as well as the $H$-locally finite cohomologies of these objects. We also introduce relative $(\mathcal D,H)$-Hopf modules over a Hopf comodule category $\mathcal D$. These generalize relative $(A,H)$-Hopf modules over an $H$-comodule algebra $A$. We construct Grothendieck spectral sequences for their cohomologies by using their rational $Hom$ objects and higher derived functors of coinvariants.

preprint2019arXiv

Relaxion Stars and their detection via Atomic Physics

The cosmological relaxion can address the hierarchy problem, while its coherent oscillations can constitute dark matter in the present universe. We consider the possibility that the relaxion forms gravitationally bound objects that we denote as relaxion stars. The density of these stars would be higher than that of the local dark matter density, resulting in enhanced signals in table-top detectors, among others. Furthermore, we raise the possibility that these objects may be trapped by an external gravitational potential, such as that of the Earth or the Sun. This leads to formation of relaxion halos of even greater density. We discuss several interesting implications of relaxion halos, as well as detection strategies to probe them.

preprint2016arXiv

Emergence of a weak topological insulator from the Bi$_x$Se$_y$ family and the observation of weak anti-localization

The discovery of strong topological insulators led to enormous activity in condensed matter physics and the discovery of new types of topological materials. Bisumth based chalcogenides are exemplary strong three dimensional topological insulators that host an odd number of massless Dirac fermionic states on all surfaces. A departure from this notion is the idea of a weak topological insulator, wherein only certain surface terminations host surface states characterized by an even number of Dirac cones leading to exciting new physics. Experimentally however, weak topological insulators have proven to be elusive. Here, we report a discovery of a weak topological insulator (WTI), BiSe, of the Bi-chalcogenide family with an indirect band gap of 42 meV. Its structural unit consists of bismuth bilayer (Bi$_2$), a known quantum spin hall insulator sandwiched between two units of Bi$_2$Se$_3$ which are three dimensional strong topological insulators. Angle resolved photo-emission spectroscopy (ARPES) measurements on cleaved single crystal flakes along with density fucntional theory (DFT) calculations confirm the existence of weak topological insulating state of BiSe. Additionally, we have carried out magneto-transport measurements on single crystal flakes as well as thin films of BiSe, which exhibit clear signatures of weak anti-localization at low temperatures, consistent with the properties of topological insulators.

preprint2016arXiv

Noetherian Schemes over abelian symmetric monoidal categories

In this paper, we develop basic results of algebraic geometry over abelian symmetric monoidal categories. Let $A$ be a commutative monoid object in an abelian symmetric monoidal category $(\mathbf C,\otimes,1)$ satisfying certain conditions and let $\mathcal E(A)=Hom_{A-Mod}(A,A)$. If the subobjects of $A$ satisfy a certain compactness property, we say that $A$ is Noetherian. We study the localisation of $A$ with respect to any $s\in \mathcal E(A)$ and define the quotient $A/\mathscr I$ of $A$ with respect to any ideal $\mathscr I\subseteq \mathcal E(A)$. We use this to develop appropriate analogues of the basic notions from usual algebraic geometry (such as Noetherian schemes, irreducible, integral and reduced schemes, function field, the local ring at the generic point of a closed subscheme, etc) for schemes over $(\mathbf C,\otimes,1)$ . Our notion of a scheme over a symmetric monoidal category $(\mathbf C,\otimes,1)$ is that of Toën and Vaquié.

preprint2016arXiv

On integral schemes over symmetric monoidal categories

We propose notions of "Noetherian" and "integral" for schemes over an abelian symmetric monoidal category $(\mathcal C,\otimes,1)$. For Noetherian integral schemes, we construct a "function field" that is a commutative monoid object of $(\mathcal C,\otimes,1)$. Under certain conditions, we show that a Noetherian scheme over $(\mathcal C,\otimes,1)$ is integral if and only if it is reduced and irreducible.

preprint2016arXiv

On Noetherian schemes over $(\mathcal C,\otimes,1)$ and the category of quasi-coherent sheaves

Let $(\mathcal C,\otimes,1)$ be an abelian symmetric monoidal category satisfying certain conditions and let $X$ be a scheme over $(\mathcal C,\otimes,1)$ in the sense of Toën and Vaquié. In this paper we show that when $X$ is quasi-compact and semi-separated, any quasi-coherent sheaf on $X$ may be expressed as a directed colimit of its finitely generated quasi-coherent submodules. Thereafter, we introduce a notion of "field objects" in $(\mathcal C,\otimes,1)$ that satisfy several properties similar to those of fields in usual commutative algebra. Finally we show that the points of a Noetherian, quasi-compact and semi-separated scheme $X$ over such a field object $K$ in $(\mathcal C,\otimes,1)$ can be recovered from certain kinds of functors between categories of quasi-coherent sheaves. The latter is a partial generalization of some recent results of Brandenburg and Chirvasitu.

preprint2016arXiv

On some spectral spaces associated to tensor triangulated categories

We consider a closure operator $c$ of finite type on the space $SMod(\mathcal M)$ of thick $\mathcal K$-submodules of a triangulated category $\mathcal M$ that is a module over a tensor triangulated category $(\mathcal K,\otimes,1)$. Our purpose is to show that the space $SMod^c(\mathcal M)$ of fixed points of the operator $c$ is a spectral space that also carries the structure of a topological monoid.

preprint2015arXiv

Quasimodular Hecke algebras and Hopf actions

Let $Γ=Γ(N)$ be a principal congruence subgroup of $SL_2(\mathbb Z)$. In this paper, we extend the theory of modular Hecke algebras due to Connes and Moscovici to define the algebra $\mathcal Q(Γ)$ of quasimodular Hecke operators of level $Γ$. Then, $\mathcal Q(Γ)$ carries an action of "the Hopf algebra $\mathcal H_1$ of codimension $1$ foliations" that also acts on the modular Hecke algebra $\mathcal A(Γ)$ of Connes and Moscovici. However, in the case of quasimodular forms, we have several new operators acting on the quasimodular Hecke algebra $\mathcal Q(Γ)$. Further, for each $σ\in SL_2(\mathbb Z)$, we introduce the collection $\mathcal Q_σ(Γ)$ of quasimodular Hecke operators of level $Γ$ twisted by $σ$. Then, $\mathcal Q_σ(Γ)$ is a right $\mathcal Q(Γ)$-module and is endowed with a pairing $(\_\_,\_\_):\mathcal Q_σ(Γ)\otimes \mathcal Q_σ(Γ)\longrightarrow \mathcal Q_σ(Γ)$. We show that there is a "Hopf action" of a certain Hopf algebra $\mathfrak{h}_1$ on the pairing on $\mathcal Q_σ(Γ)$. Finally, for any $σ\in SL_2(\mathbb Z)$, we consider operators acting between the levels of the graded module $\mathbb Q_σ(Γ)=\underset{m\in \mathbb Z}{\oplus}\mathcal Q_{σ(m)}(Γ)$, where $σ(m)=\begin{pmatrix} 1 & m \\ 0 & 1 \\ \end{pmatrix}\cdot σ$ for any $m\in \mathbb Z$. The pairing on $\mathcal Q_σ(Γ)$ can be extended to a graded pairing on $\mathbb Q_σ(Γ)$ and we show that there is a Hopf action of a larger Hopf algebra $\mathfrak{h}_{\mathbb Z}\supseteq \mathfrak{h}_1$ on the pairing on $\mathbb Q_σ(Γ)$.

preprint2014arXiv

Sur la catégorie dérivée des faisceaux tordus

Soit $X$ un schéma quasi-compact et séparé et soit $α\in \check{C}^2(X, \mathcal O_X^*)$ un cocycle de Cěch. Nous considérons la catégorie dérivée $D(QCoh(X,α))$ des faisceaux quasi-cohérents sur $X$ tordu par $α$. Soit $Δ(X,α)$ la plus petite sous-catégorie triangulée de $D(QCoh(X,α))$ contenant tous les objets $u_*\mathcal F^\bullet$, où $u:U\longrightarrow X$ est une immersion ouverte avec $U$ affine et $\mathcal F^\bullet\in D(QCoh(U,u^*(α)))$. Alors, le but de cet article est de montrer que $Δ(X,α)=D(QCoh(X,α))$. -- Let $X$ be a quasi-compact and separated scheme and let $α\in \check{C}^2(X, \mathcal O_X^*)$ be a Cěch cocycle. We consider the derived category $D(QCoh(X,α))$ of quasi-coherent sheaves on $X$ twisted by $α$. Let $Δ(X,α)$ be the smallest triangulated subcategory of $D(QCoh(X,α))$ containing all the objects $u_*\mathcal F^\bullet$, where $u:U\longrightarrow X$ is an open immersion with $U$ affine and $\mathcal F^\bullet\in D(QCoh(U,u^*(α)))$. Then, the purpose of this article is to show that $Δ(X,α)=D(QCoh(X,α))$.

preprint2014arXiv

The $q$-analog of higher order Hochschild homology and the Lie derivative

Let $A$ be a commutative algebra over $\mathbb C$. Given a pointed simplicial finite set $Y$ and $q\in \mathbb C$ a primitive $N$-th root of unity, we define the $q$-Hochschild homology groups of $A$ of order $Y$. When $D$ is a derivation on $A$, we construct the corresponding Lie derivative on these groups. We also define the Lie derivative for a higher derivation $\{D_n\}_{n\geq 0}$ on $A$. Finally, we describe the morphisms induced on the bivariant $q$-Hochschild cohomology groups of order $Y$ by a derivation $D$ on $A$.