Related papers: On Lenagan's Theorem for finite length bimodules
We prove that direct limits of finite dimensional Lie algebroids and their prolongations can be endowed with structures of convenient spaces.
Firstly, we provide a different proof of an important lemma in Buzzard and Calegari's work on slopes of overconvergent 2-adic modular forms via nonarchimedean linear Hodge-Newton decomposition. The lemma shows that two equivalent matrices…
We give an elementary, self-contained and quick proof of Belyi's theorem. As a by-product of our proof we obtain an explicit bound for the degree of the defining number field of a Belyi surface.
We announce here that Fermat's Last theorem was solved, but there is an easy proof of it on the basis of elemetary undergraduate mathematics. We shall disclose such an easy proof.
We categorify cocompleteness results of monad theory, in the context of pseudomonads. We first prove a general result establishing that, in any 2-category, weighted bicolimits can be constructed from oplax bicolimits and bicoequalizers of…
Boolos's proof of incompleteness is extended straightforwardly to yield simple ``diagonalization-free'' proofs of some classical limitative theorems of logic.
We introduce the intersection cohomology module of a matroid and prove that it satisfies Poincar\'e duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. As applications, we obtain proofs of Dowling and Wilson's Top-Heavy…
We adapt and generalise results of Loganathan on the cohomology of inverse semigroups to the cohomology of ordered groupoids. We then derive a five-term exact sequence in cohomology from an extension of ordered groupoids, and show that this…
The present paper is devoted to the study of dimonoids, algebraic structures with two associative binary operations that satisfy a prescribed system of axioms. We investigate the properties of dual dimonoids. In the class of noncommutative…
The graded cellularity of Libedinsky Double Leaves, which form a basis for the endomorphism ring of the Bott_Samelson_Soergel bimodules, allows us to view the Kazhdan_Lusztig polynomials as graded decomposition numbers. Using this point of…
We provide non-isomorphic finite 2-groups which have isomorphic group algebras over any field of characteristic 2, thus settling the Modular Isomorphism Problem.
Using a field theory generalization of the spinning top motion, we construct nonabelian generalizations of the sine-Gordon theory according to each symmetric spaces. A Lagrangian formulation of these generalized sine-Gordon theories is…
A Central Limit Theorem for non-commutative random variables is proved using the Lindeberg method. The theorem is a generalization of the Central Limit Theorem for free random variables proved by Voiculescu. The Central Limit Theorem in…
We prove a new and unified GAGA theorem. This recovers all analytic and formal GAGA results in the literature, and is also valid in the non-noetherian setting. Our method can also be used to establish various Lefschetz theorems and…
A simple analytic proof of the formula known as the non-Abelian Stokes theorem is given. It is explicitly shown that the consistency of the formula is guaranteed by the Bianchi identity for the gauge field. An attempt is made to construct…
We exhibit an example of a finitely presented monoid that is congruence-free and simple but not bisimple.
Recently, Baltag and van Benthem arXiv:2103.14946 [cs.LO] introduced a new decidable logic of functional dependence (LFD) with local dependence formulas and dependence quantifiers. The language is interpreted over dependence models, which…
We show that the local and global invariant cycle theorems for Hodge modules follow easily from the general theory. We also give some remarks about related papers.
We describe two distinct simple, short and self contained proofs of the composition lemma.
In this paper, we completely prove a standard conjecture on the local converse theorem for generic representations of GLn(F), where F is a non-archimedean local field.