Related papers: Constructive basic theory of central simple algebr…
An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the…
We study the representation theory of three towers of algebras which are related to the symmetric groups and their Hecke algebras. The first one is constructed as the algebras generated simultaneously by the elementary transpositions and…
Starting from vector fields that preserve a differential form on a Riemann sphere with Grassmann variables, one can construct a Superconformal Algebra by considering central extensions of the algebra of vector fields. In this note, the N=4…
Turner's Conjecture describes all blocks of symmetric groups and Hecke algebras up to derived equivalence in terms of certain double algebras. With a view towards a proof of this conjecture, we develop a general theory of Turner doubles. In…
The aim of this short research note is to present some results about a conjecture of Barker and Gelvin claiming that any source algebra of a block of a finite group has the unit group containing a basis stabilised by the left and right…
We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…
In this paper, we investigate semisimplicity of cellular algebras over positive characteristic fields. Our main result shows that the Frame number of cellular algebras characterizes semisimplicity of it. In a sense, this is a generalization…
The celebrated Skolem-Mahler-Lech Theorem states that the set of zeros of a linear recurrence sequence is the union of a finite set and finitely many arithmetic progressions. The corresponding computational question, the Skolem Problem,…
A construction of bases for cell modules of the Birman--Murakami--Wenzl (or B--M--W) algebra $B_n(q,r)$ by lifting bases for cell modules of $B_{n-1}(q,r)$ is given. By iterating this procedure, we produce cellular bases for B--M--W…
For a positive definite fundamental tensor all known examples of Osserman algebraic curvature tensors have a typical structure. They can be produced from a metric tensor and a finite set of skew-symmetric matrices which fulfil Clifford…
This note is purely expository. The statement of the Gauss theorem on the constructibility of regular polygons by means of compass and ruler is simple and well-known. However, its proofs given in most textbooks rely upon much unmotivated…
We propose a novel constructive framework for approaching the Hodge Conjecture via explicit degenerations. Building on limiting mixed Hodge structures (LMHS), we formulate a criterion under which a rational class of type (p, p) on a smooth…
Following N. Elkies ("ABC implies Mordell") we show that the abc conjecture of Masser-Oesterle implies an effective version of Siegel's theorem about integral points on algebraic curves, i.e. an upper bound for the S-integral points where…
We investigate a general structure theory for a vertex operator algebra. We discuss the center and blocks, the Jacobson radical and solvable radical and local vertex operator algebras. The main consequence of our structure theory is that if…
It is a classical result in matrix algebra that any square matrix over a field can be conjugated to its transpose by a symmetric matrix. For $F$ a non-Archimedean local field, Tupan used this to give an elementary proof that transpose…
Let $\Sigma$ be a surface with negative Euler characteristic, genus at least one and at most one boundary component. We prove that the skein algebra of $\Sigma$ over the field of rational functions can be algebraically generated by a finite…
In our paper Semi-symmetric Algebras: General Constructions, J. Algebra, 148 (1992), pp. 479-496, we present the construction of the semi-symmetric algebra of a module over a commutative ring with unit, which generalizes the tensor algebra,…
In a digraph, a kernel is a subset of vertices that is both independent and absorbing. Kernels have important applications in combinatorics and outside. Kernels do not always exist and finding sufficient conditions ensuring their existence…
'Skolem arithmetic' is the complete theory $T$ of the multiplicative monoid $(\mathbb{N},\cdot)$. We give a full characterization of the $\varnothing$-definable stably embedded sets of $T$, showing in particular that, up to the relation of…
Menger's basis property is a generalization of $\sigma$-compactness and admits an elegant combinatorial interpretation. We introduce a general combinatorial method to construct non $\sigma$-compact sets of reals with Menger's property.…