Related papers: The Aleph-zero or zero dichotomy
Classical W-algebras in higher dimensions have been recently constructed. In this letter we show that there is a finitely generated subalgebra which is isomorphic to the algebra of local diffeomorphisms in D dimensions. Moreover, there is a…
In 2016, the first-named author introduced a formulation of the Alternative Hypothesis that assumes that consecutive zeros of the Riemann zeta-function are spaced at multiples of half of the average spacing, but does not assume that the…
We show that the existence of a Pi^{1}_{N}-indescribable cardinal over the Zermelo-Fraenkel's set theory ZF is proof-theoretically reducible to iterations of Mostowski collapsings and lower Mahlo operations. Furthermore we describe a…
A usual dichotomy is that in many cases, reasonably definable sets, satisfy the CH, i.e. if they are uncountable they have cardinality continuum. A strong dichotomy is when: if the cardinality is infinite it is continuum as in [Sh:273]. We…
We provide a direct and elementary proof of the fact that the category of Nachbin's compact ordered spaces is dually equivalent to an Aleph_1-ary variety of algebras. Further, we show that Aleph_1 is a sharp bound: compact ordered spaces…
Our "long term and large scale" aim is to characterize the first order theories T (at least the countable ones) such that: for every ordinal alpha there lambda,M_1,M_2 such that M_1,M_2 are non-isomorphic models of T of cardinality lambda…
First, we prove the Kac-Wakimoto conjecture on modular invariance of characters of exceptional affine W-algebras. In fact more generally we prove modular invariance of characters of all lisse W-algebras obtained through Hamiltonian…
In a recent paper, Amini et al. introduce a general framework to prove duality theorems between special decompositions and their dual combinatorial object. They thus unify all known ad-hoc proofs in one single theorem. While this…
A formalisation of G\"odel's incompleteness theorems using the Isabelle proof assistant is described. This is apparently the first mechanical verification of the second incompleteness theorem. The work closely follows {\'S}wierczkowski…
We have proved in this paper that the Lindel\" of hypothesis generates essential contraction of distances between consecutive odd-order zeros of the function $Z'(t)$. This paper is the translation of the paper \cite{11} into the English…
We investigate the irreducibility of the nilpotent Slodowy slices that appear as the associated variety of W-algebras. Furthermore, we provide new examples of vertex algebras whose associated variety has finitely many symplectic leaves.
This paper is the concise addition to the foregoing work "Inconsistency of Inaccessibility", containing the presentation of main theorem proof (in ZF) about inaccessible cardinals nonexistence. Here some refinement of this presentation is…
In this work we proivied a new simpler proof of the global diffeomorphism theorem from [9] which we further apply to consider unique solvability of some abstract semilinear equations. Applications to the second order Dirichlet problem…
We reexamine the $W_{\infty}$ symmetry of the $sl(N)$ Conformal Affine Toda theories. It is shown that it is possible to reduce (nonuniquely) the zero curvature equation to a Lax equation for a first order pseudodifferential oprator, whose…
Lindel{\"o}f's hypothesis, one of the most important open problems in the history of mathematics, states that for large $t$, Riemann's zeta function $\zeta(1/2+it)$ is of order $O(t^{\varepsilon})$ for any $\varepsilon>0$ . It is well known…
An technically interesting proof of a known theorem.
We prove that $\delta$-derivations of a simple finite-dimensional Lie algebra over a field of characteristic zero, with values in a finite-dimensional module, are either inner derivations, or, in the case of adjoint module, multiplications…
The main purpose of this paper is to investigate some natural problems regarding the order structure of representable functionals on $^*$-algebras. We describe the extreme points of order intervals, and give a nontrivial sufficient…
Feigin-Frenkel duality is the isomorphism between the principal $\mathcal{W}$-algebras of a simple Lie algebra $\mathfrak{g}$ and its Langlands dual Lie algebra ${}^L\mathfrak{g}$. A generalization of this duality to a larger family of…
We prove a duality theorem for certain graded algebras and show by various examples different kinds of failure of tameness of local cohomology.