Related papers: On completely non-Baire union in category bases
We prove new (sharp) Liouville-type properties via degenerate Hadamard three-sphere theorems for fully nonlinear equations structured over Heisenberg vector fields. As model examples, we cover the case of Pucci's extremal operators…
Let $L$ be a nef and big line bundle on a scheme $X$. It is well known that if $X$ is a projective over a field then the augmented base locus and the exceptional base locus agree. This result is extended to projective schemes over arbitrary…
In this paper, we prove existence of \emph{very weak solutions} to nonhomogeneous quasilinear parabolic equations beyond the duality pairing. The main ingredients are a priori esitmates in suitable weighted spaces combined with the…
We introduce bounded category forcing axioms for well-behaved classes $\Gamma$. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe $H_{\lambda_\Gamma^+}$ modulo…
We show that in a vector space over Z_3, the union of any four linear bases is an additive basis, thus proving the Additive Basis Conjecture for p=3, and providing an alternative proof of the weak 3-flow conjecture.
We establish the generalized canonical bundle formula for generalized lc-trivial fibrations with irrational coefficients over non-compact bases in the complex analytic setting, and we show that the discriminant b-divisor and moduli…
We prove that the KZ functor from a certain category of modules for the Cherednik algebra to finite dimensional modules over the Hecke algebra is essentially surjective. Then we begin to use this result to study the analog of category O for…
We prove that if the squares of two unconditional bases are equivalent up to a permutation, then the bases themselves are permutatively equivalent. This settles a twenty year-old question raised by Casazza and Kalton in [Uniqueness of…
We introduce a new class of Abelian groups which lies strictly between the classes of co-Hopfian groups and Dedekind-finite groups, calling these groups {\it Bassian-finite}. We prove the surprising fact that in the torsion case the…
We consider the possibility of semisimple tensor categories whose fusion rule includes exactly one noninvertible simple object. Conditions are given for the existence or nonexistence of coherent associative structures for such fusion rules,…
In this paper we give a complete description of the $h$-amalgamation bases in the class of non trivial abelian groups.
We show that the consistency strength of the system NFUB, a variant of Quine's "New Foundations" recently introduced by Randall Holmes, is precisely that of [ZFC - Power Set] + "There is a weakly compact cardinal''. This is a preliminary…
In this paper, we consider pairs of a prime and a prime power with a fixed difference. We prove an average result on the distribution of such pairs. This is a partial improvement of the result of Bauer (1998).
We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining exact closed tensor categories of…
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…
With any even Hecke symmetry R (that is a Hecke type solution of the Yang-Baxter equation) we associate a quasitensor category. We formulate a condition on R implying that the constructed category is rigid and its commutativity isomorphisms…
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…
We describe families of complete orthogonal bases of full rank matrices which span the vector spaces of square matrices. The proposed bases generalise non-trivially the Pauli matrice while shedding light on their algebraic properties.…
This paper propose new sufficient conditions for stability analysis for non autonomous systems.
We develop a theory of separable ring extensions and separable functors for nonunital rings in the setting of firm modules. We prove nonunital analogues of classical results on functorial separability and semisimplicity, and apply these…