Related papers: Hilbert $\widetilde{\C}$-modules: structural prope…
We introduce the notion of Hilbert $C^*$-module independence: Let $\mathscr{A}$ be a unital $C^*$-algebra and let $\mathscr{E}_i\subseteq \mathscr{E},\,\,i=1, 2$, be ternary subspaces of a Hilbert $\mathscr{A}$-module $\mathscr{E}$. Then…
We show that a A-linear map of Hilbert A-modules is induced by a unitary Hilbert module operator if and only if it extends to an ordinary unitary on appropriately defined enveloping Hilbert spaces. Applications to the theory of…
A study of Hilbert $C^*$-bimodules over commutative $C^*$-algebras is carried out and used to establish a sufficient condition for two quantum Heisenberg manifolds to be isomorphic.
We introduce the good Hilbert functor and prove that it is algebraic. This functor generalizes various versions of the Hilbert moduli problem, such as the multigraded Hilbert scheme and the invariant Hilbert scheme. Moreover, we generalize…
We show that ideal submodules and closed ternary ideals in Hilbert modules are the same. We use this insight as a little peg on which to hang a little note about interrelations with other notions regarding Hilbert modules. In Section 3, we…
This work explores the tensor and combinatorial constructs underlying the linearised higher-order variational equations of a generic autonomous system along a particular solution. The main result of this paper is a compact yet explicit and…
A commuting $n$-tuple $(T_1, \ldots, T_n)$ of bounded linear operators on a Hilbert space $\clh$ associate a Hilbert module $\mathcal{H}$ over $\mathbb{C}[z_1, \ldots, z_n]$ in the following sense: \[\mathbb{C}[z_1, \ldots, z_n] \times…
A general structure theorem on higher order invariants is proven. For an arithmetic group, the structure of the corresponding Hecke module is determined. It is shown that the module does not contain any irreducible submodule. This explains…
We generalize the notion of harmonic conjugate functions and Hilbert transforms to higher dimensional euclidean spaces, in the setting of differential forms and the Hodge-Dirac system. These conjugate functions are in general far from being…
In this paper, we introduce controlled frames in Hilbert $C^*$-modules and we show that they share many useful properties with their corresponding notions in Hilbert space. Next, we give a characterization of controlled frames in Hilbert…
We formalize, at the level of D-modules, the notion that A-hypergeometric systems are equivariant versions of the classical hypergeometric equations. For this purpose, we construct a functor on a suitable category of torus equivariant…
In this survey article we revisit Hilbert's $19^{\text{th}}$ problem concerning the regularity of minimizers of variational integrals. We first discuss the classical theory (that is, the statement and resolution of Hilbert's problem in all…
Woronowicz introduced the functional calculus for normal operators in Hilbert C*-modules. The aim of this paper is to translate, if possible, some basic properties of the functional calculus in Hilbert spaces to the Hilbert C*-module…
We establish a generalization of the Dunkl--Williams inequality and its inverse in the framework of Hilbert $C^*$-modules and characterize the equality case. As applications, we get some new results and some known results due to…
We prove that applying a projective functor to a holonomic simple module over a semi-simple finite dimensional complex Lie algebra produces a module that has an essential semi-simple submodule of finite length. This implies that holonomic…
Continuous actions of topological groups on compact Hausdorff spaces $X$ are investigated which induce almost periodic functions in the corresponding commutative C*-algebra. The unique invariant mean on the group resulting from averaging…
The denominator of the Hilbert series of a finitely generated R-module M does not always divide the denominator of the Hilbert series of R. For this reason, we define the universal denominator. The universal denominator of a module M is the…
We introduce a general theory of homological Milnor-Witt cycle modules over an excellent base scheme equipped with a dimension function, extending both Rost's cycle modules and Feld's theory over fields. To any such module we associate a…
The existence theory is developed for solutions of the inhomogeneous linearized field equations for causal variational principles. These equations are formulated weakly with an integral operator which is shown to be bounded and symmetric on…
Functional analysis, especially the theory of Hilbert spaces and of operators on these, form an important area in mathematics. We formalized the Isabelle/HOL library Complex_Bounded_Operators containing a large amount of theorems about…