Related papers: Vop\v{e}nka's Principle, Maximum Deconstructibilit…

Let $\Lambda$ be a left and right noetherian ring. First, for $m,n\in\mathbb{N}\cup\{\infty\}$, we give equivalent conditions for a given $\Lambda$-module to be $n$-torsionfree and have $m$-torsionfree transpose. Using them, we investigate…

Let $R$ by a right coherent ring and $R$-Mod denote the category of left $R$-modules. We show that there is an abelian model structure on $R$-Mod whose cofibrant objects are precisely the Gorenstein flat modules. Employing a new method for…

We study reducing invariants of modules related to certain homological properties. For modules of finite reducing projective dimension, we establish grade inequalities. We prove that if $\mathbb{P}$ is the (uniform) Auslander condition, or…

The modal logic of forcing arises when one considers a model of set theory in the context of all its forcing extensions, interpreting necessity as "in all forcing extensions" and possibility as "in some forcing extension". In this modal…

We study the removability of compact sets for continuous Sobolev functions. In particular, we focus on sets with infinitely many complementary components, called "detour sets", which resemble the Sierpi\'nski gasket. The main theorem is…

We consider the Arveson-Douglas conjecture on the essential normality of homogeneous submodules corresponding to algebraic subvarieties of the unit ball. We prove that the property of essential normality is preserved by isomorphisms between…

Let G be a reductive linear algebraic group over an algebraically closed field of characteristic p > 0. A subgroup of G is said to be separable in G if its global and infinitesimal centralizers have the same dimension. We study the…

Dub\'e introduced cone decompositions and their Macaulay constants and used them to obtain an upper bound on the degrees of the generators in a Gr\"obner basis of an ideal. Liang extended the theory to submodules of a free module. In this…

In this paper, we construct a class of non-weight modules over the affine-Virasoro algebra of type $A_1$ by taking tensor products of a finite number of irreducible modules $M(\lambda, \alpha, \beta, \gamma)$ with irreducible highest weight…

Let $\mathbf{k}$ be a field of arbitrary characteristic, let $\Lambda$ be a finite dimensional $\mathbf{k}$-algebra, and let $V$ be an indecomposable Gorenstein-projective $\Lambda$-module with finite dimension over $\mathbf{k}$. It follows…

We study compactness and L\"owenheim-Skolem properties of fragments of the class-sized logic $\mathcal{L}_{\infty \infty}$ and of class-sized versions of second-order and sort logics. In these fragments, certain combinations of infinitary…

An A-module M will be said to be semi-Gorenstein-projective provided that Ext^i(M,A) = 0 for all i > 0. All Gorenstein-projective modules are semi-Gorenstein-projective and only few and quite complicated examples of…

We show that the stable module $\infty$-category of a finite group $G$ decomposes in three different ways as a limit of the stable module $\infty$-categories of certain subgroups of $G$. Analogously to Dwyer's terminology for homology…

I investigate modal group theory for arbitrary homomorphisms. Possibility is interpreted by the existence of a group homomorphism out of the given group, so the semantics is governed by the possibility of collapse: elements may be…

A necessary and sufficient condition is provided for the solvability of a binomial congruence with a composite modulus, circumventing its prime factorization. This is a generalization of Euler's Criterion through that of Euler's Theorem,…

We investigate homological and depth-theoretic properties of finitely generated modules of finite projective dimension over Noetherian local rings. A central theme is the study of criteria for freeness and reflexivity derived from the…

In this note, it is proved that over a commutative noetherian henselian non-Gorenstein local ring there are infinitely many isomorphism classes of indecomposable totally reflexive modules, if there is a nonfree cyclic totally reflexive…

Generalized Monge-Amp\`ere equations form a large class of PDE including Donaldson's J-equation, inverse Hessian equations, some supercritical deformed Hermitian-Yang Mills equations, and some Z-critical equations. Solvability of these…

We prove a constructive existence theorem for abelian envelopes of non-abelian monoidal categories. This establishes a new tool for the construction of tensor categories. As an example we obtain new proofs for the existence of several…

In this paper, we obtain a class of Virasoro modules by taking tensor products of the irreducible Virasoro modules $\Omega(\lambda,\alpha,h)$ and $\Omega(\mu, b)$ with irreducible highest weight modules $V(\theta,h)$ or with irreducible…