Related papers: The splitting problem for coalgebras: a direct app…

For a given multicusp $f=c_{(\theta_0,..., \theta_i)}$ $(1\le i)$, we present a direct sum decomposition theorem of the source space of ${}_i\bar{\omega}f$, where ${}_i\bar{\omega}f$ is a higher version of the reduced Kodaira-Spencer-Mather…

We consider the operation of sum on Kripke frames, where a family of frames-summands is indexed by elements of another frame. In many cases, the modal logic of sums inherits the finite model property and decidability from the modal logic of…

A $\Sigma^*$-algebra is a concrete $C^*$-algebra that is sequentially closed in the weak operator topology. We study an appropriate class of $C^*$-modules over $\Sigma^*$-algebras analogous to the class of $W^*$-modules (selfdual…

We show that every separable simple tracially approximately divisible $C^*$-algebra has strict comparison, is either purely infinite, or has stable rank one. As a consequence, we show that every (non-unital) finite simple ${\cal Z}$-stable…

Let $R$ be an associative ring with identity. A unital right $R$-module $M$ is called strongly finite dimensional if Sup$\{{\rm G.dim} (M/N) | N\leq M\} < +\infty$. Properties of strongly finite dimensional modules are explored. It is also…

We show that the common theory of all modules over a tubular algebra (over a recursive algebraically closed field) is decidable. This result supports a long standing conjecture of Mike Prest which says that a finite-dimensional algebra…

Let $g$ be a semisimple Lie algebra over $\mathbb C$ and $k$ be a reductive in $g$ subalgebra. We say that a simple $g$-module $M$ is a $(g; k)$-module if as a $k$-module $M$ is a direct sum of finite-dimensional $k$-modules. We say that a…

A summation is a shift-invariant ${\rm R}$-module homomorphism from a submodule of ${\rm R}[[\sigma]]$ to ${\rm R}$ or another ring. [11] formalized a method for extending a summation to a larger domain by telescoping. In this paper, we…

Let $\mathcal{A}$ be a separable nuclear C*-algebra, and $\mathcal{B}$ be a nonunital separable simple $\mathcal{Z}$-stable C*-algebra. Continuing the work from Gabe-Lin-Ng, we classify all essential extensions, with large complement, of…

Given a ring $R$, we have a classical result stating that the ordinary category of modules is the abelianization of the category of augmented $R$-algebras. Analogously, using the framework of infinity categories and higher algebra, Francis…

We show that a separable C*-algebra is an inductive limits of projective C*-algebras if and only if it has trivial shape, that is, if it is shape equivalent to the zero C*-algebra. In particular, every contractible C*-algebra is an…

By [R. Bautista, P. Gabriel, A.V Roiter., L. Salmeron, Representation-finite algebras and multiplicative basis. Invent. Math. 81 (1985) 217-285.], a finite-dimensional algebra having finitely many isoclasses of indecomposable…

We introduce weakenings of two of the more prominent open problems in the classification of $\mathrm{C}^*$-algebras, namely the quasidiagonality problem and the UCT problem. We show that the a positive solution of the conjunction of the two…

Let $\mathfrak{a}$ be an ideal of a noetherian (not necessarily local) ring $R$ and $M$ an $R$-module with $\mathrm{Supp}_RM\subseteq\mathrm{V}(\mathfrak{a})$. We show that if $\mathrm{dim}_RM\leq2$, then $M$ is $\mathfrak{a}$-cofinite if…

We show that semiprojectivity of a C*-algebra is preserved when passing to C*-subalgebras of finite codimension. In particular, any pullback of two semiprojective C*-algebras over a finite-dimensional C*-algebra is again semiprojective.

Let $L$ be a finite-dimensional Lie algebra over a field of non-zero characteristic and let $S$ be a subalgebra. Suppose that $X$ is a finite set of finite-dimensional $L$-modules. Let $D$ be the category of all finite-dimensional…

Let $\phi\colon A\rightarrow B$ be an algebra extension. We prove that if $\phi$ is split, the derived-discreteness of $A$ implies the derived-discreteness of $B$; if $\phi$ is separable and the right $A$-module $B$ is projective, the…

Let $A$ be a $C^*$-algebra. Let $E$ and $F$ be Hilbert $A$-modules with $E$ being full. Suppose that $\theta : E\to F$ is a linear map preserving orthogonality, i.e., $<\theta(x), \theta(y) > = 0$ whenever $<x, y > = 0$. We show in this…

We investigate conditions under which a two-dimensional complex semi-torus splits into a direct product of C^* and a one-dimensional compact complex torus.

New exact modular branching rules are obtained for modules over the symmetric groups that are close to completely splittable modules. These results are based on some upper bounds for the Ext^1-spaces between simple modules.