Related papers: Gersten's Injectivity for Smooth Algebras over Val…

We prove a fast computable criterion that expresses non-flatness in terms of torsion: Let R be a regular algebra of finite type over a field K of characteristic zero and let F be a module finitely generated over an R-algebra of finite type.…

In terms of category theory, the Gromov homotopy principle for a set valued functor $F$ asserts that the functor $F$ can be induced from a homotopy functor. Similarly, we say that the bordism principle for an abelian group valued functor…

We discuss a connection between coherent duality and Verdier duality via a Gersten-type complex of sheaves on real schemes, and show that this construction gives a dualizing object in the derived category, which is compatible with the…

We establish an algebra-isomorphism between the complexified Grothendieck ring F of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories. This…

The \begin{it} Invariance Theorem \end{it} of M. Gerstenhaber and S. D. Schack states that if $\mathbb{A}$ is a diagram of algebras then the subdivision functor induces a natural isomorphism between the Yoneda cohomologies of the category…

Let $(R, \mathfrak{m})$ be a complete discrete valuation ring with the finite residue field $R/\mathfrak{m} = \mathbb{F}_{q}$. Given a monic polynomial $P(t) \in R[t]$ whose reduction modulo $\mathfrak{m}$ gives an irreducible polynomial…

In this article, we give a proof for a geometric presentation theorem for any irreducible scheme $X$ smooth projective over a discrete valuation ring $R$. As a consequence, for any reductive $R$-group scheme $\mathbf{G}$, we prove that any…

In this article we study support $\tau$-tilting modules, semibricks and more over blocks of group algebras. Let $k$ be an algebraically closed field of characteristic $p>0$, $\tilde{G}$ a finite group and $G$ a normal subgroup of…

Let k be a field of characteristic 0. Let G be a reductive group over the ring of Laurent polynomials R=k[x_1^{\pm 1},...,x_n^{\pm 1}] containing a maximal R-torus T (equivalently, loop reductive). Assume also that every semisimple normal…

We generalize to the super context, the known fact that if an affine algebraic group $G$ over a commutative ring $k$ acts freely (in an appropriate sense) on an affine scheme $X$ over $k$, then the dur sheaf $X\tilde{\tilde{/}}G$ of…

We formulate and answer Gorenstein projective, flat, and injective analogues of a classical projectivity question for group rings under some mild additional assumptions. Although the original question, that was proposed by Jang-Hyun Jo in…

In this paper, we define a generalization of the Brauer groups by using Bloch's cycle complex on etale site. We prove the Gersten conjecture of generalized Brauer group on some cases. As an application we prove the Gersten conjecture of the…

The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…

Consider a standard representation $\pi_{st}$ of a quasi-split reductive p-adic group G. The generalized injectivity conjecture, posed by Casselman and Shahidi, asserts that any generic irreducible subquotient $\pi$ of $\pi_{st}$ is…

A result of Foxby states that if there exists a complex with finite depth, finite flat dimension, and finite injective dimension over a local ring $R$, then $R$ is Gorenstein. In this paper we investigate some homological dimensions…

We prove a rigidity theorem for semi-arithmetic Fuchsian groups: If $\Gamma_1$, $\Gamma_2$ are two semi-arithmetic lattices in $\mathrm{PSL}(2,\mathbb{R})$ virtually admitting modular embeddings and $f\colon\Gamma_1\to\Gamma_2$ is a group…

We work with rational rank 1 valuations centered in regular local rings. Given an algebraic function field $K$ of transcendence degree 3 over $k$, a regular local ring $R$ with $QF(R)=K$ and a $k$-valuation $\nu$ of $K$, we provide an…

Let $R$ be a ring and $\mathcal{Q}$ be a finite and acyclic quiver. We present an explicit formula for the injective envelopes and projective precovers in the category $\rm{Rep} (\mathcal{Q} ,R)$ of representations of $\mathcal{Q}$ by left…

In this paper, we examine the class of cofibrant modules over a group algebra $kG$, that were defined by Benson in [2]. We show that this class is always the left-hand side of a complete hereditary cotorsion pair in the category of…

Let f(x) belong to L^p(R^n) and R>0. The transform is considered that integrates the function f over (almost) all spheres of radius R in R^n. This operator is known to be non-injective (as one can see by taking Fourier transform). However,…