Related papers: A note on singular equivalences and idempotents

We classify $n$-representation infinite algebras $\Lambda$ of type \~A. This type is defined by requiring that $\Lambda$ has higher preprojective algebra $\Pi_{n+1}(\Lambda) \simeq k[x_1, \ldots, x_{n+1}] \ast G$, where $G \leq…

From the viewpoint of higher homological algebra, we introduce pure semisimple $n$-abelian category, which is analogs of pure semisimple abelian category. Let $\Lambda$ be an Artin algebra and $\mathcal{M}$ be an $n$-cluster tilting…

Let $F$ be a field, char$(F)\neq 2$. Then every finite-dimensional $F$-algebra has either an idempotent or an absolute nilpotent if and only if over $F$ every polynomial of odd degree has a root in $F$. This is also necessary and sufficient…

This article supplements recent work of the authors. (1) A criterion for failure of covariant finiteness of a full subcategory of $\Lambda\text{-mod}$ is given, where $\Lambda$ is a finite dimensional algebra. The criterion is applied to…

We study idempotents in intensional Martin-L\"of type theory, and in particular the question of when and whether they split. We show that in the presence of propositional truncation and Voevodsky's univalence axiom, there exist idempotents…

We explore an alternative definition of unit in a monoidal category originally due to Saavedra: a Saavedra unit is a cancellative idempotent (in a 1-categorical sense). This notion is more economical than the usual notion in terms of…

Rickard proved that for certain self-injective algebras, a stable equivalence induced from an exact functor is a stable equivalence of Morita type, in the sense of Brou\'{e}. In this paper we study singular equivalences of finite…

We will show in this paper that if $\lambda$ is very close to 1, then $$I(M,\lambda,m)= \sup_{u\in H^{1,n}_0(M) ,\int_M|\nabla u|^ndV=1}\int_\Omega (e^{\alpha_n |u|^\frac{n}{n-1}}-\lambda\sum\limits_{k=1}^m\frac{|\alpha_nu^\frac{n}{n-1}|^k}…

We study equivariant modules over $GL(V)$ over the polynomial ring $R = Sym V$. We introduce for every partition $\lambda$ the elementary equivariant module $M_{\lambda}$. Then we prove that any finitely generated equivariant module admits…

Over a finite-dimensonal algbera $A$, simple $A$-modules that have projective dimension one have special properties. For example, Geigle-Lenzing studied them in connection to homological epimorphisms of rings, and they have also appeared in…

The homological theory of Auslander-Platzeck-Todorov on idempotent ideals laid much of the groundwork for higher Auslander-Reiten theory, providing the key technical lemmas for both higher Auslander correspondence as well as the…

We prove various comparison theorems of the $i$-th eigenvalue $\lambda_i$ of the Laplacian on fibred Riemannian manifolds by using fiberwise spherical and Euclidean (or hyperbolic) symmetrization. In particular we generalize the…

The practically important classes of equal-input and of monotone Markov matrices are revisited, with special focus on embeddability, infinite divisibility, and mutual relations. Several uniqueness results for the classic Markov embedding…

We obtain the best approximation in $L^1(\R)$, by entire functions of exponential type, for a class of even functions that includes $e^{-\lambda|x|}$, where $\lambda >0$, $\log |x|$ and $|x|^{\alpha}$, where $-1 < \alpha < 1$. We also give…

Let $A$ and $B$ be finite-dimensional $k$-algebras over a field $k$ such that $A/\rad(A)$ and $B/\rad(B)$ are separable. In this note, we consider how to transfer a stable equivalence of Morita type between $A$ and $B$ to that between $eAe$…

Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…

We show that the idempotent completion of an n-angulated category admits a unique n-angulated structure such that the inclusion is an n-angulated functor, which satisfies a universal property.

Let $\Lambda$ be a finite-dimensional associative algebra. The torsion classes of $mod\, \Lambda$ form a lattice under containment, denoted by $tors\, \Lambda$. In this paper, we characterize the cover relations in $tors\, \Lambda$ by…

Let $\Lambda$ and $\Gamma$ be artin algebras and $_{\Lambda}U_{\Gamma}$ a faithfully balanced selforthogonal bimodule. We show that the $U$-dominant dimensions of $_{\Lambda}U$ and $U_{\Gamma}$ are identical. As applications to the results…

We prove, over any base ring, that the infinity-category of strictly unital A-infinity-categories (and strictly unital functors) is equivalent to the infinity-category of unital A-infinity-categories (and unital functors). We also identify…