Let $A$ be a CM-finite Artin algebra with a Gorenstein-Auslander generator $E$, $M$ be a Gorenstein projective $A$-module and $B={\mathrm{End}}_{A}M$. We give an upper bound for the finitistic dimension of $B$ in terms of homological data of $M$. Furthermore, if $A$ is $n$-Gorenstein for $2\le n<\infty$, then we show the global dimension of $B$ is less than or equal to $n$ plus the $B$-projective dimension of ${\mathrm{Hom}}_A(M,E).$ As an application, the global dimension of ${\mathrm{End}}_{A}E$ is less than or equal to $n$.

Let $𝒜$ and $ℬ$ be abelian categories with enough projective and injective objects, and $T:𝒜\to ℬ$ a left exact additive functor. Then one has a comma category $\left(ℬ\downarrow T\right)$. It is shown that if $T:𝒜\to ℬ$ is $𝒳$-exact, then ${(}^{\perp }𝒳,𝒳)$ is a (hereditary) cotorsion pair in $𝒜$ and ${(}^{\perp }𝒴,𝒴)$) is a (hereditary) cotorsion pair in $ℬ$ if and only if $\left(\left(\genfrac{}{}{0pt}{}{{}^{\perp }𝒳}{{}^{\perp }𝒴}\right)\right),\langle 𝐡(𝒳,𝒴)\rangle )$ is a (hereditary) cotorsion pair in $\left(ℬ\downarrow T\right)$ and $𝒳$ and $𝒴$ are closed under extensions. Furthermore, we characterize when special preenveloping classes in abelian categories $𝒜$ and $ℬ$ can induce special preenveloping...

Let $𝒳$ be a semibrick in an extriangulated category. If $𝒳$ is a $\tau$-semibrick, then the Auslander-Reiten quiver $\Gamma \left(ℱ\right(𝒳\left)\right)$ of the filtration subcategory $ℱ\left(𝒳\right)$ generated by $𝒳$ is $\mathbb{Z}{𝔸}_{\infty }$. If $𝒳={\left\{X_i\right\}}_{i=1}^t$ is a $\tau$-cycle semibrick, then $\Gamma \left(ℱ\right(𝒳\left)\right)$ is $\mathbb{Z}{𝔸}_{\infty }/{\tau }_{𝔸}^t$.

For any positive integer $n$, let $A_n$ be a linearly oriented quiver of type $A$ with $n$ vertices. It is well-known that the quotient of an exact category by projective-injectives is an extriangulated category. We show that there exists an extriangulated equivalence between the extriangulated categories ${ℳ}_{n+1}$ and ${ℱ}_n$, where ${ℳ}_{n+1}$ and ${ℱ}_n$ are the two extriangulated categories corresponding to the representation category of $A_{n+1}$ and the morphism category of projective representations of $A_n$, respectively. As a...

Let $𝒯$ be a weak torsion class of left $R$-modules and $n$ a positive integer. A left $R$-module $M$ is called $(𝒯,n)$-injective if ${\mathrm{Ext}}_R^n(C,M)=0$ for each $(𝒯,n+1)$-presented left $R$-module $C$; a right $R$-module $M$ is called $(𝒯,n)$-flat if ${\mathrm{Tor}}_n^R(M,C)=0$ for each $(𝒯,n+1)$-presented left $R$-module $C$; a left $R$-module $M$ is called $(𝒯,n)$-projective if ${\mathrm{Ext}}_R^n(M,N)=0$ for each $(𝒯,n)$-injective left $R$-module $N$; the ring $R$ is called strongly $(𝒯,n)$-coherent if whenever $0\to K\to P\to C\to 0$ is exact, where $C$ is $(𝒯,n+1)$-presented and $P$ is finitely generated projective, then $K$ is $(𝒯,n)$-projective; the ring $R$ is called...

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...

Let $Y$ be an $(m+1)$-dimensional irreducible smooth complex projective variety embedded in a projective space. Let $Z$ be a closed subscheme of $Y$, and $\delta$ be a positive integer such that ${ℐ}_{Z,Y}\left(\delta \right)$ is generated by global sections. Fix an integer $d\ge \delta +1$, and assume the general divisor $X\in |H^0(Y,{ℐ}_{Z,Y}\left(d\right))|$ is smooth. Denote by $H^m{(X;\mathbb{Q})}_{\perp Z}^{\mathrm{van}}$ the quotient of $H^m(X;\mathbb{Q})$ by the cohomology of $Y$ and also by the cycle classes of the irreducible components of dimension $m$ of $Z$. In the present paper we prove that the monodromy representation on $H^m{(X;\mathbb{Q})}_{\perp Z}^{\mathrm{van}}$ for the family...

Let $k$ be an algebraically closed field of characteristic $p\&gt;0$. We study obstructions to lifting to characteristic $0$ the faithful continuous action $\phi$ of a finite group $G$ on $k\left[\right[t\left]\right]$. To each such $\phi$ a theorem of Katz and Gabber associates an action of $G$ on a smooth projective curve $Y$ over $k$. We say that the KGB obstruction of $\phi$ vanishes if $G$ acts on a smooth projective curve $X$ in characteristic $0$ in such a way that $X/H$ and $Y/H$ have the same genus for all subgroups $H\subset G$. We determine for which $G$ the KGB...

Let $X$ be the Tychonoff product ${\prod }_{\alpha <\tau }{X}_{\alpha }$ of $\tau$-many Tychonoff non-single point spaces $X_{\alpha }$. Let $p\in X^{*}$ be a point in the closure of some $G\subset X$ whose weak Lindelöf number is strictly less than the cofinality of $\tau$. Then we show that $\beta X\setminus \left\{p\right\}$ is not normal. Under some additional assumptions, $p$ is a butterfly-point in $\beta X$. In particular, this is true if either $X={\omega }^{\tau }$ or $X=R^{\tau }$ and $\tau$ is infinite and not countably cofinal.

Let ${ℱ}_h^i(k,n)$ be the $i$-th ordered configuration space of all distinct points $H_1,...,H_h$ in the Grassmannian $Gr(k,n)$ of $k$-dimensional subspaces of ${ℂ}^n$, whose sum is a subspace of dimension $i$. We prove that ${ℱ}_h^i(k,n)$ is (when non empty) a complex submanifold of $Gr{(k,n)}^h$ of dimension $i(n-i)+hk(i-k)$ and its fundamental group is trivial if $i=min(n,hk)$, $hk\ne n$ and $n\&gt;2$ and equal to the braid group of the sphere $ℂ$ $P^1$ if $n=2$. Eventually we compute the fundamental group in the special case of hyperplane arrangements, i.e. $k=n-1$.

Let ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ be the following algorithmic problem: Given a finite simplicial complex $K$ of dimension at most $k$, does there exist a (piecewise linear) embedding of $K$ into ${ℝ}^d$? Known results easily imply polynomiality of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2}$ ($k=1,2$; the case $k=1,d=2$ is graph planarity) and of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2k}$ for all $k\ge 3$. We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{d\to d}$ and ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{(d-1)\to d}$ are undecidable for each ${}_d\ge 5$. Our main result is NP-hardness of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{2\to 4}$ and, more generally, of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ for all...