Related papers: The Selberg Trace Formula IX: Contribution from th…
A new generalization of the classical separate algebraicity theorem is suggested and proved.
We describe a graded extension of the usual Hecke algebra: it acts in a graded fashion on the cohomology of an arithmetic group $\Gamma$. Under favorable conditions, the cohomology is freely generated in a single degree over this graded…
The Cellularization Principle states that under rather weak conditions a Quillen adjunction of stable model categories induces a Quillen equivalence on cellularizations provided there is a derived equivalence on cells. We give a proof…
In this paper we determine all types and the canonical forms of simple subalgebras for each type of simple Jordan algebras and the number of conjugate classes corresponding to the given simple Jordan algebra.
The theory of Selberg zeta functions is generalized to higher rank spaces. Applications towards analytic torsion numbers are given.
We give a large sieve type inequality for functions supported on primes. As application we prove a conjecture by Elliott, and give bounds for short character sums over primes. The proves uses a combination of the large sieve and the Selberg…
We consider posets of lattice paths (endowed with a natural order) and begin the study of such structures. We give an algebraic condition to recognize which ones of these posets are lattices. Next we study the class of Dyck lattices (i.e.,…
Let F be a field of characteristic not 2 and assume all algebras are over F. We establish several conjugacy theorems for the special linear Lie algebra sl_2 over an F-algebra which is a UFD. We find the structure of the full automorphism…
A set of recursive relations satisfied by Selberg-type integrals involving monomial symmetric polynomials are derived, generalizing previously known results. These formulas provide a well-defined algorithm for computing Selberg-Schur…
The support of a vector in R d is the set of indices with nonzero entries. Functions of the support have the property to be 0-homogeneous and, because of that, the Fenchel conjugacy fails to provide relevant analysis. In this paper, we…
We introduce a Selberg type zeta function of two variables which interpolates several higher Selberg zeta functions. The analytic continuation, the functional equation and the determinant expression of this function via the Laplacian on a…
The present paper proposes a new introductory treatment of the very well known Sahlqvist correspondence theory for classical modal logic. The first motivation for the present treatment is {\em pedagogical}: classical Sahlqvist…
In the former article "Formal mathematical systems including a structural induction principle" we have presented a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the…
We prove that every surjective isometry between the unit spheres of two trace class spaces admits a unique extension to a surjective complex linear or conjugate linear isometry between the spaces. This provides a positive solution to…
Let S be a symbol algebra. The trace form of S is computed and it is shown how this form can be used to determine whether S is a division algebra or not. In addition, the exterior powers of the trace form of S are computed.
This paper introduces a causation coefficient which is defined in terms of probabilistic causal models. This coefficient is suggested as the natural causal analogue of the Pearson correlation coefficient and permits comparing causation and…
We define a relation that describes the ternary commutator for congruence modular varieties. Properties of this relation are used to investigate the theory of the higher commutator for congruence modular varieties.
In this article one builds a class of recursive sets, one establishes properties of these sets, and one proposes applications.
In this note we provide a simple formula of general term of recurrent sequence.
While not obvious from its initial motivation in linear algebra, there are many context where iterated traces can be defined. In this paper we prove a very general theorem about iterated 2-categorical traces. We show that many…