Related papers: On classes defining a homological dimension
If $A$ is an algebra with finite right global dimension, then for any automorphism $\alpha$ and $\alpha$-derivation $\delta$ the right global dimension of $A[t; \alpha, \delta]$ satisfies \[ \text{rgld} \, A \le \text{rgld} \, A[t; \alpha,…
We introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and…
An ample groupoid is said to be AF if it is a directed union of compact open principal subgroupoids. In this paper, we provide a complete homological characterization of these groupoids. Specifically, we prove that an ample groupoid is AF…
We prove a theorem on how a conclusion on homological dimension of a family of coherent sheaves over a scheme can be done from homological dimension of the restriction of this family to the reduction of the base.
The dimension algebra of graded groups is introduced. With the help of known geometric results of extension theory that algebra induces all known results of the cohomological dimension theory. Elements of the algebra are equivalence classes…
We study three related homological properties of modules in the BGG category O for basic classical Lie superalgebras, with specific focus on the general linear superalgebra. These are the projective dimension, associated variety and…
A computably presented algebraic field $F$ has a \emph{splitting algorithm} if it is decidable which polynomials in $F[X]$ are irreducible there. We prove that such a field is computably categorical iff it is decidable which pairs of…
For a finite group $G$, we define the $G$-cobordism category in dimension two. We show there is a one-to-one correspondence between the connected components of its classifying space and the abelianization of $G$. Also, we find an…
An algebra $\mathcal{A}$ of real or complex valued functions defined on a set $\mathbf{T}$ shall be called \textit{homotonic} if $\mathcal{A}$ is closed under forming of absolute values, and for all $f$ and $g$ in $\mathcal{A}$, the product…
We prove that the 2-category of skeletally small abelian categories with exact monoidal structures is anti-equivalent to the 2-category of fp-hom-closed definable additive categories satisfying an exactness criterion. For a fixed finitely…
Let $k$ be an algebraically closed field and $A$ be a (left and right) Noetherian associative $k$-algebra. Assume further that $A$ is either positively graded or semiperfect (this includes the class of finite dimensional $k$-algebras, and…
The objects of study in this paper are Hopf algebras $H$ which are finitely generated algebras over an algebraically closed field and are extensions of a commutative Hopf algebra by a finite dimensional Hopf algebra. Basic structural and…
This paper explores various homological regularity phenomena (in the sense of Auslander) in category $\mathcal{O}$ and its several variations and generalizations. Additionally, we address the problem of determining projective dimension of…
We extend the notions of complete intersection dimension and lower complete intersection dimension to the category of complexes with finite homology and verify basic properties analogous to those holding for modules. We also discuss the…
We prove that any faithful Frobenius functor between abelian categories preserves the Gorenstein projective dimension of objects. Consequently, it preserves and reflects Gorenstein projective objects. We give conditions on when a Frobenius…
We classify finite-dimensional complex Hopf algebras $A$ which are pointed, that is, all of whose irreducible comodules are one-dimensional, and whose group of group-like elements $G(A)$ is abelian such that all prime divisors of the order…
Let $A$ be abelian variety over the function field $K$ of a compact Riemann surface $B$. Fix a model $f \colon \mathcal{A} \to B$ of $A/K$ and a certain effective horizontal divisor $\DD \subset \mathcal{A}$. We give a sufficient condition…
A Q-manifold is a graded manifold endowed with a vector field of degree one squaring to zero. We consider the notion of a Q-bundle, that is, a fiber bundle in the category of Q-manifolds. To each homotopy class of ``gauge fields'' (sections…
The complexity of an action of a reductive algebraic group G on an algebraic variety X is the codimension of a generic B-orbit in X, where B is a Borel subgroup of G. We classify affine homogeneous spaces G/H of complexity one. These…
We call a triangulated category \emph{hereditary} provided that it is equivalent to the bounded derived category of a hereditary abelian category, where the equivalence is required to commute with the translation functors. If the…