arXiv subjects

Sourayan Banerjee

Publications and source records attributed to Sourayan Banerjee.

7 recordsLinked to original sources

arXiv2026

Relative Brauer groups and Kummer Sequence without characteristic constraint in $fppf$-topology

Let $f: X\rightarrow S$ be a faithful affine map. In this article we construct a group homomorphism $\theta_{{fppf}}: \text{Br}(f) \longrightarrow H^1_{{fppf}}\!\left(S, (f_*\mathcal{O}_X^\times / \mathcal{O}_S^\times)_{{fppf}}\right)$, extending the formerly defined morphism over an \'etale site $\theta_{et}$. In doing so, we eliminate the characteristic constraint previously found in the relative version of Kummer's exact sequence. Furthermore, given a finite subintegral extension of noetherian rings $A \hookrightarrow B$, we show that all the $fppf$ cohomology groups, $H^i_{fppf}(Spec(A),\mu^f_n); \;\forall i\geq 0$ vanish whenever $n$ does not divide the characteristic of $A$.

math.AG↗

arXiv2026

Toolkit for the algebraic geometer

In this text, we outline a theory of schemes associated with a site, which generalizes a variety of geometries, such as manifolds, schemes, analytic spaces, simplicial complexes, and more. We present an abstract process of gluing model spaces via sheaf theory and recover a posteriori the underlying topological spaces that are often present in the construction of such geometric objects. We apply this formalism to semiring schemes and reason why the usual definition of semiring schemes has to be considered as the good approach to the geometry of semirings.

math.AG↗

arXiv2025

Model-theoretic $K_1$ for modules over semisimple rings: (weak) Morita invariance

This paper is a sequel to a paper by the same authors, where they defined $K$-groups of model-theoretic structures, and computed $K_1$ of free modules over PIDs. In this paper, we compute $K_1$ of a right $M_q(R)$-module $M$, where $R$ is a division ring, $q\geq1$, and $|M_q(R)|\neq 2$. As a consequence, we obtain a (weak) Morita invariance $K_1(R_R)\cong K_1((M_q(R))_{M_q(R)})$ for all division rings $R$ and $q\geq 1$. Finally, we compute $K_1$ of a module over a semisimple ring by showing that the model-theoretic $K_1$ commutes with finite product of modules. We also show that the algebraic $K_1$ of a finite product of infinite matrix rings embeds into the model-theoretic $K_1$ of their right regular modules.

math.LO↗

arXiv2025

Homotopy Invariance of $K$-groups using Grayson's Technique

Homotopy invariance of $K$-theory has always been a point of interest. In this article, with the help of the generators of Nil$K$-groups using Grayson's technique, it is shown that if $R$ is a Pr\"{u}fer domain, then $K_n(R) \cong K_n(R[s])$ for all $n>0.$ This is a specific case of the already published work of the author and Vivek Sadhu. However, contrary to the method used before, we specifically prove the isomorphism by showing that Nil$K$-groups vanish.

math.KT↗

arXiv2024

Model-theoretic $K_1$ of free modules over PIDs

Motivated by Kraji\v{c}ek and Scanlon's definition of the Grothendieck ring $K_0(M)$ of a first-order structure $M$, we introduce the definition of $K$-groups $K_n(M)$ for $n\geq0$ via Quillen's $S^{-1}S$ construction. We provide a recipe for the computation of $K_1(M_R)$, where $M_R$ is a free module over a PID $R$, subject to the knowledge of the abelianizations of the general linear groups $GL_n(R)$. As a consequence, we provide explicit computations of $K_1(M_R)$ when $R$ belongs to a large class of Euclidean domains that includes fields with at least $3$ elements and polynomial rings over fields with characteristic $0$. We also show that the algebraic $K_1$ of a PID $R$ embeds into $K_1(R_R)$.

math.LO↗

arXiv2023

Lambda Module structure on higher $K$-groups

In this article, we show that for a quasicompact scheme $X$ and $n>0,$ the $n$-th $K$-group $K_{n}(X)$ is a $\lambda$-module over a $\lambda$-ring $K_{0}(X)$ in the sense of Hesselholt.

math.KT↗

arXiv2023

On the generators of Nil $K$-groups

In this article, we study higher Nil $K$-groups via binary complexes. More particularly, we exhibit an explicit form of generators of higher Nil $K$-groups in terms of binary complexes.

math.KT↗