Related papers: On Lenagan's Theorem for finite length bimodules
This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…
Let $V$ be a M\"{o}bius vertex algebra and $G$ an abelian group of automorphisms of $V$. We construct $P(z)$-tensor product bifunctors for the category of $C_{n}$-cofinite grading-restricted generalized $g$-twisted $V$-modules (without…
The "Modularity Conjecture" is the assertion that the join of two nonmodular varieties is nonmodular. We establish the veracity of this conjecture for the case of linear idempotent varieties. We also establish analogous results concerning…
We prove a stronger version of a termination theorem appeared in the paper "On existence of log minimal models II". We essentially just get rid of the redundant assumptions so the proof is almost the same as in there. However, we give a…
It is shown that modular invariance provides a natural explanation for the absence of monopoles when assumed to be a discrete gauge symmetry. It follows that monopoles can not be seen because it is always possible to find a suitable…
In this paper we develop a general method to prove independence of algebraic monodromy groups in compatible systems of representations, and we apply it to deduce independence results for compatible systems both in automorphic and in…
We propose a new construction of Banach-Lie groups and algebras relying on nonstandard analysis. A major standard application is the Local Theorem which to certain extent reduces the problem of associating a Lie group to a given banach-Lie…
In a preceding paper [E.J.ofProb.34,860-892,(2006)], we proved a sewing lemma which was a key result for the study of Holder continuous functions. In this paper we give a non-commutative version of this lemma with some applications.
We propose a proof of the Lagrange Interpolation Formula based on the Chinese Remainder Theorem for arbitrary rings. Even such relationships are known, we think that our viewpoint is worth being published.
A Central Limit Theorem is proved for linear random fields when sums are taken over finite disjoint union of rectangles. The approach does not rely upon the use of Beveridge Nelson decomposition and the conditions needed are similar to…
We prove several finiteness theorems for the normal bundles to souls in nonnegatively curved manifolds. More generally, we obtain finiteness results for open Riemannian manifolds whose topology is concentrated on compact domains of…
We introduce a general version of singular compactness theorem which makes it possible to show that being a $\Sigma$-cotorsion module is a property of the complete theory of the module. As an application of the powerful tools developed…
In this note, we give a new proof of Liggett's theorem on the invariant measures of independent particle systems from [Lig78] in the particular case of independent drifted Brownian motions. This particular case has received a lot of…
We obtain a Bernstein theorem for special Lagrangian graphs in n-dimensional complex space for arbitrary n only assuming bounded slope, but no quantitative restriction.
In this article we generalize Cobham theorem to a large class of substitutions including non primitive and non constant length substitutions.
We prove a result that can be applied to determine the finite-dimensional simple Poisson modules over a Poisson algebra and apply it to numerous examples. In the discussion of the examples, the emphasis is on the correspondence with the…
Given an exact Lagrangian submanifold $L$ in $T^*N$, we want to construct a complex of sheaves in the derived category of sheaves on $N\times {\mathbb R} $, such that its singular support, $SS({\mathcal F}^\bullet_L)$, is equal to $\widehat…
We prove the Feigin-Tipunin conjecture on the geometric construction of the logarithmic W-algebras associated with a simply-laced simple Lie algebra and an integer p bigger than 2, and their modules.
We prove a variant of the well-known Reidemeister-Schreier theorem for finitely $L$-presented groups. More precisely, we prove that each finite index subgroup of a finitely $L$-presented group is itself finitely $L$-presented. Our proof is…
We give a natural proof of the Ado theorem.