Related papers: Rational factorizations of completely positive mat…
We prove that all Mathieu groups, some linear, and unitary groups are factorizable.
It is shown that each almost maximal valuation ring R such that every indecomposable injective module is countably generated, satisfies the following condition (C): each fp-injective module is locally injective. The converse holds if R is a…
Spaces with positive weights are those whose rational homotopy type admits a large family of "rescaling" automorphisms. We show that finite complexes with positive weights have many genuine self-maps. We also fix the proofs of some previous…
We study matrix factorizations of locally free coherent sheaves on a scheme. For a scheme that is projective over an affine scheme, we show that homomorphisms in the homotopy category of matrix factorizations may be computed as the…
This paper is a continuation of an earlier one, and completes a classification of the configurations of points in a plane lattice that determine angles that are rational multiples of ${\pi}$. We give a complete and explicit description of…
Rationally convex topological embeddings of compact surfaces (closed or with boundary) into $\mathbb{C}^2$ are constructed.
We establish a correspondence between consistent comprehension schemes and complete orthogonal factorisation systems. The comprehensive factorisation of a functor between small categories arises in this way. Similar factorisation systems…
We consider polynomials with integer coefficients and discuss their factorization properties in Z[[x]], the ring of formal power series over Z. We treat polynomials of arbitrary degree and give sufficient conditions for their reducibility…
Let k be an algebraically closed field. A polynomial F in k[X,Y] is said to be "generally rational" if, for almost all c in k, the curve " F= c '' is rational. It is well known that, if char(k)=0, F is generally rational iff there exists G…
The existence and construction of common invariant cones for families of real matrices is considered. The complete results are obtained for 2x2 matrices (with no additional restrictions) and for families of simultaneously diagonalizable…
We verify the conjecture of [10] and use it to prove that the semisimple parts of the rational Jordan-Kac-Vinberg decompositions of a rational vector all lie in a single rational orbit.
We prove that the only entrywise transforms of rectangular matrices which preserve total positivity or total non-negativity are either constant or linear. This follows from an extended classification of preservers of these two properties…
Factoring out the spin $1$ subalgebra of a $ W $ algebra leads to a new $ W $ structure which can be seen either as a rational finitely generated $ W $ algebra or as a polynomial non-linear $ W_\infty$ realization.
We show that any nonsingular (real or complex) square matrix can be factorized into a product of at most three normal matrices, one of which is unitary, another selfadjoint with eigenvalues in the open right half-plane, and the third one is…
We present a common sufficient condition for the total positivity of combinatorial triangles and their reversals, as well as the real-rootedness of generating functions of the rows. The proof technique is to construct a unified planar…
Let $X$ be an $F$-finite smooth scheme of essentially finite type over a perfect field. This article proves the existence of $b$-functions for locally finitely generated unit $F$-modules when equipped with their induced…
In 2020, Cossu and Zanardo raised a conjecture on the idempotent factorization on singular matrices in the form $\begin{pmatrix} p&z\\ \bar{z}&\sfrac{\lVert z\rVert}{p} \end{pmatrix},$ where $p$ is a prime integer which is irreducible but…
We present a simple proof of the factorization of (complex) symmetric matrices into a product of a square matrix and its transpose, and discuss its application in establishing a uniqueness property of certain antilinear operators.
For a proper cone $K$ and its dual cone $K^*$ in $\mathbb R^n$, the complementarity set of $K$ is defined as ${\mathbb C}(K)=\{(x,y): x\in K,\; y\in K^*,\, x^\top y=0\}$. It is known that ${\mathbb C}(K)$ is an $n$-dimensional manifold in…
We show that the theories of some (ordered) central simple algebras with involution over real closed fields are model-complete or admit quantifier elimination, and characterize positive cones in terms of morphisms into models of some of…