Related papers: Odd H-depth and H-separable extensions
Let $H$ be a finite dimensional quasi-Hopf algebra over a field $k$ and ${\mathfrak A}$ a right $H$-comodule algebra in the sense of Hausser and Nill. We first show that on the $k$-vector space ${\mathfrak A}\ot H^*$ we can define an…
We introduce a fundamental homological invariant, called Serre depth, which stratifies Serre's conditions in the same way that depth stratifies the Cohen-Macaulay property. We study the Serre depths of modules over arbitrary Noetherian…
We give an explicit characterization for group extensions that correspond to elements of the symmetric cohomology $HS^2(G,A)$. We also give conditions for the map $HS^n(G,A)\to H^n(G,A)$ to be injective.
Hilbert algebras are the implicative subreducts of Heyting algebras. It is shown that having depth at most n is an equational condition in Hilbert algebras. This generalizes an analogous well-known result in the setting of Heyting algebras.
We present short and elementary proofs of two theorems of Huckaba and Marley, while generalizing them at the same time to the case of a module. The theorems concern a characterization of the depth of the associated graded ring of a…
We prove that all Hochschild cohomology groups of the associative conformal algebra of conformal endomorphisms $\mathrm{Cend}_k$ with coefficients in an arbitrary conformal bimodule $M$ are trivial starting from the dimension 2, i.e.,…
The codimension-three conjecture states that any regular holonomic module extends uniquely beyond an analytic subset with codimension equal to or larger than three. We give a proof of this conjecture.
For a finite group $\Gamma$, acting on a finite group $G,$ we find necessary conditions for which the first $\Gamma_0$-equivariant Hochschild cohomology of the group algebra $kG$ is non-trivial, where $k$ is a field of characteristic $p$…
If H is a quasi-Hopf algebra and B is a right H-comodule algebra such that there exists v:H\to B a morphism of right H-comodule algebras, we prove that there exists a left H-module algebra A such that B\simeq A# H. The main difference…
The defect of a complex Hadamard matrix $H$ is an upper bound for the dimension of a continuous Hadamard orbit stemming from $H$. We provide a new interpretation of the defect as the dimension of the center subspace of a gradient flow and…
We investigate two invariants of Noetherian semiperfect rings, namely the depth and a new invariant we call the "delooping level". These give lower and upper bounds for the finitistic dimension, respectively. As first theorems, we give a…
Let H be the Taft algebra over a finite commutative ring R. When N is a unit in R, we show that all H-cleft extensions over R are determined up to H-comodule algebra isomorphism by their polynomial H-identities.
We construct a cycle in higher Hochschild homology associated to the 2-dimensional torus which represents 2-holonomy of a non-abelian gerbe in the same way the ordinary holonomy of a principal G-bundle gives rise to a cycle in ordinary…
The study of extensions realizing affine datum is specialized to central extensions in varieties with a difference term which leads to generalizations of several classical theorems on central extensions from group theory. We establish a…
Let $\mathbb{E}$ be the HNN-extension of a group $B$ with subgroups $H$ and $K$ associated according to an isomorphism $\varphi\colon H \to K$. Suppose that $H$ and $K$ are normal in $B$ and $(H \cap K)\varphi = H \cap K$. Under these…
Let V be a variety of not necessarily associative algebras, and A an inverse limit of nilpotent algebras A_i\in V, such that some finitely generated subalgebra S \subseteq A is dense in A under the inverse limit of the discrete topologies…
We show that for each positive integer $n$, there are a group $G$ and a subgroup $H$ such that the ordinary depth is $d(H, G) = 2n$. This solves the open problem posed by Lars Kadison whether even ordinary depth larger than $6$ can occur.
We introduce the concept of relational depth of a finite semigroup $S$ whose $J$-classes form a chain. It captures how far down in the ideal structure one is obliged to go in order to define the semigroup by generators and defining…
We establish a version "over the ring" of the celebrated Hilbert Irreducibility Theorem. Given finitely many polynomials in $k+n$ variables, with coefficients in $\mathbb Z$, of positive degree in the last $n$ variables, we show that if…
Let $R$ be a Cohen-Macaulay local ring, and let $I\subset R$ be an ideal with minimal reduction $J$. In this paper we attach to the pair $I$, $J$ a non-standard bigraded module $\Sigma^{I,J}$. The study of the bigraded Hilbert function of…