Let K be an algebraically closed field. Let (Q,Sp,I) be a skewed-gentle triple, and let $(Q^{sg},I^{sg})$ and $(Q^g,I^g)$ be the corresponding skewed-gentle pair and the associated gentle pair, respectively. We prove that the skewed-gentle algebra $K{Q}^{sg}/⟨I^{sg}⟩$ is singularity equivalent to KQ/⟨I⟩. Moreover, we use (Q,Sp,I) to describe the singularity category of $K{Q}^g/⟨I^g⟩$. As a corollary, we find that $gldimK{Q}^{sg}/⟨I^{sg}⟩<\infty$ if and only if $gldimKQ/⟨I⟩<\infty$ if and only if $gldimK{Q}^g/⟨I^g⟩<\infty$.

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...

We study equivalences for category ${𝒪}_p$ of the rational Cherednik algebras ${𝐇}_p$ of type $G_{\ell }\left(n\right)={\left({\mu }_{\ell }\right)}^n⋊{𝔖}_n$: a highest weight equivalence between ${𝒪}_p$ and ${𝒪}_{\sigma \left(p\right)}$ for $\sigma \in {𝔖}_{\ell }$ and an action of ${𝔖}_{\ell }$ on an explicit non-empty Zariski open set of parameters $p$; a derived equivalence between ${𝒪}_p$ and ${𝒪}_{p^{\text{'}}}$ whenever $p$ and $p^{\text{'}}$ have integral difference; a highest weight equivalence between ${𝒪}_p$ and a parabolic category $𝒪$ for the general linear group, under a non-rationality assumption on the parameter $p$. As a consequence, we confirm special cases...

Suppose $A$ is a separable unital $𝒞\left(X\right)$-algebra each fibre of which is isomorphic to the same strongly self-absorbing and $K_1$-injective $C^{*}$-algebra $𝒟$. We show that $A$ and $𝒞\left(X\right)\otimes 𝒟$ are isomorphic as $𝒞\left(X\right)$-algebras provided the compact Hausdorff space $X$ is finite-dimensional. This statement is known not to extend to the infinite-dimensional case.

The moduli space of rank-$n$ commutative algebras equipped with an ordered basis is an affine scheme ${𝔅}_n$ of finite type over $\mathbb{Z}$, with geometrically connected fibers. It is smooth if and only if $n\le 3$. It is reducible if $n\ge 8$ (and the converse holds, at least if we remove the fibers above $2$ and $3$). The relative dimension of ${𝔅}_n$ is $\frac{2}{27}{n}^3+O\left(n^{8/3}\right)$. The subscheme parameterizing étale algebras is isomorphic to ${GL}_n/S_n$, which is of dimension only $n^2$. For $n\ge 8$, there exist algebras that are not limits of étale algebras. The dimension...

Let $ℳf_m$ be the category of $m$-dimensional manifolds and local diffeomorphisms and  let $T$ be the tangent functor on $ℳf_m$. Let $𝒱$ be the category of real vector spaces and linear maps and let ${𝒱}_m$ be the category of $m$-dimensional real vector spaces and linear isomorphisms. We characterize all regular covariant functors $F:{𝒱}_m\to 𝒱$ admitting $ℳf_m$-natural operators $\tilde{J}$ transforming classical linear connections $\nabla$ on $m$-dimensional manifolds $M$ into almost complex structures $\tilde{J}\left(\nabla \right)$ on $F\left(T\right)M={\bigcup }_{x\in M}F\left(T_{x}M\right)$.

Let $M$ be an $m$-dimensional manifold and $A={𝔻}_k^r/I=ℝ\oplus N_A$ a Weil algebra of height $r$. We prove that any $A$-covelocity $T_x^{A}f\in T_x^{A*}M$, $x\in M$ is determined by its values over arbitrary $max\{\mathrm{width}A,m\}$ regular and under the first jet projection linearly independent elements of $T_x^{A}M$. Further, we prove the rigidity of the so-called universally reparametrizable Weil algebras. Applying essentially those partial results we give the proof of the general rigidity result $T^{A*}M\simeq T^{r*}M$ without coordinate computations, which improves and generalizes the partial...

CONTENTSIntroduction................................................................................................................................................................................5§ 1. Notation and preliminaries.............................................................................................................................................6§ 2. Epimorphisms and monomorphisms.........................................................................................................................7§...

We study the problem of classifying triangulated categories with finite-dimensional morphism spaces and finitely many indecomposables over an algebraically closed field $k$. We obtain a new proof of the following result due to Xiao and Zhu: the Auslander-Reiten quiver of such a category $𝒯$ is of the form $\mathbb{Z}\Delta /G$ where $\Delta$ is a disjoint union of simply-laced Dynkin diagrams and $G$ a weakly admissible group of automorphisms of $\mathbb{Z}\Delta$. Then we prove that for ‘most’ groups $G$, the category $𝒯$ is standard, ...

Let C be a coalgebra over an arbitrary field K. We show that the study of the category C-Comod of left C-comodules reduces to the study of the category of (co)representations of a certain bicomodule, in case C is a bipartite coalgebra or a coradical square complete coalgebra, that is, C = C₁, the second term of the coradical filtration of C. If C = C₁, we associate with C a K-linear functor ${ℍ}_C:C-Comod\to H_C-Comod$ that restricts to a representation equivalence ${ℍ}_C:C-comod\to H_C-como{d}_{sp}^{•}$, where $H_C$ is a coradical square complete hereditary...

Let $p$ be a prime number. This paper introduces the Roquette category ${ℛ}_p$ of finite $p$-groups, which is an additive tensor category containing all finite $p$-groups among its objects. In ${ℛ}_p$, every finite $p$-group $P$ admits a canonical direct summand $\partial P$, called the edge of $P$. Moreover $P$ splits uniquely as a direct sum of edges of Roquette $p$-groups, and the tensor structure of ${ℛ}_p$ can be described in terms of such edges. The main motivation for considering this category is that the additive functors...

For a finite Coxeter group $W$ and a Coxeter element $c$ of $W$; the $c$-Cambrian fan is a coarsening of the fan defined by the reflecting hyperplanes of $W$. Its maximal cones are naturally indexed by the $c$-sortable elements of $W$. The main result of this paper is that the known bijection cl${}_c$ between $c$-sortable elements and $c$-clusters induces a combinatorial isomorphism of fans. In particular, the $c$-Cambrian fan is combinatorially isomorphic to the normal fan of the generalized associahedron for...

Let Λ be an artin algebra. We prove that for each sequence ${\left(h_i\right)}_{i\in \mathbb{Z}}$ of non-negative integers there are only a finite number of isomorphism classes of indecomposables $X{\in }^b\left(\Lambda \right)$, the bounded derived category of Λ, with $lengt{h}_{E\left(X\right)}{H}^i\left(X\right)=h_i$ for all i ∈ ℤ and E(X) the endomorphism ring of X in ${}^b\left(\Lambda \right)$ if and only if ${}^b\left(Mod\Lambda \right)$, the bounded derived category of the category $Mod\Lambda$ of all left Λ-modules, has no generic objects in the sense of [4].

Let $G$ be a simple algebraic group over an algebraically closed field $𝕜$ of characteristic 0, and $𝔤=LieG$. Let $(e,h,f)$ be an $𝔰{𝔩}_2$-triple in $𝔤$ with $e$ being a long root vector in $𝔤$. Let $(·,·)$ be the $G$-invariant bilinear form on $𝔤$ with $(e,f)=1$ and let $\chi \in {𝔤}^{*}$ be such that $\chi \left(x\right)=(e,x)$ for all $x\in 𝔤$. Let $𝒮$ be the Slodowy slice at $e$ through the adjoint orbit of $e$ and let $H$ be the enveloping algebra of $𝒮$; see [31]. In this article we give an explicit presentation of $H$ by generators and relations. As a consequence we deduce that $H$ contains...

Contents Introduction.................................................................................................................................................. 3 § 1. System $𝒮$ of a propositional calculus...................................................................... 4 § 2. System $𝒮*$..................................................................................................................... 5 § 3. $𝒮*$-algebras.....................................................................................................................

T. Almada and J. Vaz de Carvalho (2001) stated the problem to investigate if these Łukasiewicz algebras are algebras of some logic system. In this article an affirmative answer is given and the ${ℒ}_n^m$-propositional calculus, denoted by ${\ell }_n^m$, is introduced in terms of the binary connectives $\to$ (implication), $\twoheadrightarrow$ (standard implication), $\wedge$ (conjunction), $\vee$ (disjunction) and the unary ones $f$ (negation) and $D_i$, $1\le i\le n-1$ (generalized Moisil operators). It is proved that ${\ell }_n^m$ belongs to the class of standard systems...

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

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...

Let $f^j={\sum }_k{a}_{k}f(2^{j+1}x-2k)$, where the sum is taken over the lattice of all points k in ${ℝ}^n$ having integer-valued components, j∈ℕ and $a_k\in ℂ$. Let $A_{pq}^s$ be either $B_{pq}^s$ or $F_{pq}^s$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on ${ℝ}^n.$ The aim of the paper is to clarify under what conditions $\parallel f^j|A_{pq}^s\parallel$ is equivalent to $2^{j(s-n/p)}({\sum }_k|a_k{|}^p{)}^{1/p}\parallel f|A_{pq}^s\parallel$.

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 $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...