Related papers: When the extension property does not hold
Assume $A$ is weakly symmetric, indecomposable, with radical cube zero and radical square non-zero. We show that such algebra of wild representation type does not have a non-projective module $M$ whose ext algebra is finite-dimensional.…
We study problems related to indecomposability of modules over certain local finite dimensional trivial extension algebras. We do this by purely combinatorial methods. We introduce the concepts of graph of cyclic modules, of combinatorial…
A conjecture going back to the eighties claims that there are no non-trivial self-extensions of irreducible modules over symmetric groups if the characteristic of the ground field is not equal to $2$. We obtain some partial positive results…
We prove existence of extension dimension for paracompact spaces. Here is the main result of the paper: \proclaim{Theorem} Suppose X is a paracompact space. There is a CW complex K such that {a.} K is an absolute extensor of X up to…
Let $\mathcal{W}(b)$ be a class of free Lie conformal algebras of rank $2$ with $\mathbb{C}[\partial]$-basis ${L,H}$ and relations \begin{eqnarray*} [L_\lambda L]=(\partial+2\lambda)L,\ \ [L_\lambda H]=\big(\partial+(1-b)\lambda\big)H, \ \…
A theory T is tight if different deductively closed extensions of T (in the same language) cannot be bi-interpretable. Many well-studied foundational theories are tight, including PA [Visser2006], ZF, Z2, and KM [enayat2017]. In this…
In a seminal paper, Choquet introduced an integral formula to extend a monotone increasing setfunction on a sigma-algebra to a (nonlinear) functional on bounded measurable functions. The most important special case is when the setfunction…
We show that there can be no algorithm to decide whether infinite recursively described acyclic aspherical 2-complexes are contractible. We construct such a complex that is contractible if and only if the Collatz conjecture holds.
Let $\otimes$ be the map which classifies the tensor product of two line bundles, an extension of this map to the space of all codimension 1 algebraic cycles is constructed. It is proved that this extension cannot exist in codimension…
Let $A$ be a finite or countable alphabet and let $\theta$ be literal (anti)morphism onto $A^*$ (by definition, such a correspondence is determinated by a permutation of the alphabet). This paper deals with sets which are invariant under…
We show that a weak version of the canonical bundle formula holds for fibrations of relative dimension one. We provide various applications thereof, for instance, using the recent result of Xu and Zhang, we prove the log non-vanishing…
All known structural extensions of the substructural logic $\mathsf{FL_e}$, Full Lambek calculus with exchange/commutativity, (corresponding to subvarieties of commutative residuated lattices axiomatized by $\{\vee, \cdot, 1\}$-equations)…
A characterization of a class of optimal three-weight cyclic codes of dimension 3 over any finite field was recently presented in [10]. Shortly after this, a generalization for the sufficient numerical conditions of such characterization…
We investigate language interpretations of two extensions of the Lambek calculus: with additive conjunction and disjunction and with additive conjunction and the unit constant. For extensions with additive connectives, we show that…
It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…
A weight-dependent generalization of the binomial theorem for noncommuting variables is presented. This result extends the well-known binomial theorem for q-commuting variables by a generic weight function depending on two integers. For a…
A geometric extension algebra is an extension algebra of a semi-simple perverse sheaf (allowing shifts), e.g. a push-forward of the constant sheaf under a projective map. Particular nice situations arise for collapsings of homogeneous…
We study self-extensions of modules over symmetric artin algebras. We show that non-projective modules with eventually vanishing self-extensions must lie in AR components of stable type $\mathbb{Z}A_{\infty}$. Moreover, the degree of the…
Let L be a countable and locally finite CW complex. Suppose that the class of all metrizable compacta of extension dimension not greater than L contains a universal element which is an absolute extensor in dimension L. Our main result shows…
We give a complete proof of a propagation theorem of multiplicity-free property from fibers to spaces of global sections for holomorphic vector bundles. The propagation theorem is formalised in three ways, aiming for producing various…