Related papers: A note on control theorems for quaternionic Hida f…
We present a comprehensive study of the behavioral theory of an untyped $\lambda$-calculus extended with the delimited-control operators shift and reset. To that end, we define a contextual equivalence for this calculus, that we then aim to…
We introduce the notion of non commutative truncated polynomial extension of an algebra A. We study two families of these extensions. For the first one we obtain a complete classification and for the second one, which we call upper…
Heisenberg groups over algebras with central involution and their automorphism groups are constructed. The complex quaternion group algebra over a prime field is used as an example. Its subspaces provide finite models for each of the real…
A new proof of the classification for tensor ideal thick subcategories of the bounded derived category, and the stable category, of modular representations of a finite group is obtained. The arguments apply more generally to yield a…
{\small In this paper, we find a class of division quaternion algebras over the field }$\mathbb{Q}\left( i\right) ${\small \ and a class of division symbol algebras over a cyclotomic field.}
In this paper, we study the Green ring and the stable Green ring of a Hopf algebra $H$ by means of bilinear forms. We show that the Green ring of a Hopf algebra of finite representation type is a Frobenius algebra over $\mathbb{Z}$ with a…
We develop the theory of mixed finite elements in terms of special inverse systems of complexes of differential forms, defined over cellular complexes. Inclusion of cells corresponds to pullback of forms. The theory covers for instance…
The present analysis deals with the regularity of solutions of bilinear control systems of the type $x'=(A+u(t)B)x$where the state $x$ belongs to some complex infinite dimensional Hilbert space, the (possibly unbounded) linear operators $A$…
We study universal families of stable genus two curves with level structure. Among other things, it is shown that the (1,1) part is spanned by divisor classes, and that there are no cycles of type (2,2) in the third cohomology of the first…
This is an update on the quasicentral modulus, an invariant for an n-tuple of Hilbert space operators and a rearrangement invariant norm, that plays a key-role in sharp multivariable generalizations of the classical Weyl-von Neumann-Kuroda…
Recent research has established complexity results for the problem of deciding the existence of interpolants in logics lacking the Craig Interpolation Property (CIP). The proof techniques developed so far are non-constructive, and no…
We use results by Chenevier to interpolate the classical Jacquet-Langlands correspondence for Hilbert modular forms, which gives us an extension of Chenevier's results to totally real fields. From this we obtain an isomorphisms between…
We prove Hida-style control theorems in the derived setting for a large class of reductive groups tailored for applications to Euler systems.
In this note, we extend the inductions and restrictions of modules over finite groups to non-injective group homomorphisms, establishing transitivity, Frobenius reciprocity, Mackey's formula, etc.
Using the complex Klein-Gordon field as a model, we quantize the quaternionic scalar field in the real Hilbert space. The lagrangian formulation has accordingly been obtained, as well as the hamiltonian formulation, and the energy and…
An algebraic classification is given for spaces of holomorphic vector-valued modular forms of arbitrary real weight and multiplier system, associated to irreducible, T-unitarizable representations of the full modular group, of dimension…
In this text, we develop the theory of vectorial modular forms with values in Tate algebras introduced by the first author, in a very special case (dimension two, for a very particular representation of {\Gamma} := GL 2 (Fq[$theta$])).…
We study relations between the classical modular symbols associated with congruence subgroups and Kontsevich-Pestun-Tschinkel groups $\mathcal{M}_n(G)$ associated with finite abelian groups $G$.
The authors developed in a recent paper natural dualities for finitely generated quasivarieties of Sugihara algebras. They thereby identified the admissibility algebras for these quasivarieties which, via the Test Spaces Method devised by…
We use high girth, high chromatic number hypergraphs to show that there are finite models of the equational theory of the semiring of nonnegative integers whose equational theory has no finite axiomatisation, and show this also holds if…