Showing 1–50 of 53 results for author: Schmüdgen, K

On $C$-Symmetric and $C$-Self-adjoint Unbounded Operators on Hilbert Space

Authors: Yury Arlinskii, Konrad Schmüdgen

Abstract: Let $C$ be a conjugation on a Hilbert space $\cH$. A densely defined linear operator $A$ on $\cH$ is called $C$-symmetric if $CAC\subseteq A^*$ and $C$-self-adjoint if $CAC=A^*$. Our main results describe all $C$-self-adjoint extensions of $A$ on $\cH$. Further, we prove a $C$-self-adjointness criterion based on quasi-analytic vectors and we characterize $C$-self-adjoint operators in terms of thei… ▽ More Let $C$ be a conjugation on a Hilbert space $\cH$. A densely defined linear operator $A$ on $\cH$ is called $C$-symmetric if $CAC\subseteq A^*$ and $C$-self-adjoint if $CAC=A^*$. Our main results describe all $C$-self-adjoint extensions of $A$ on $\cH$. Further, we prove a $C$-self-adjointness criterion based on quasi-analytic vectors and we characterize $C$-self-adjoint operators in terms of their polar decompositions. △ Less

Submitted 2 July, 2025; originally announced July 2025.

Comments: 16 pages

MSC Class: 47B02

$C$-self-adjoint contractive extensions of $C$-symmetric non-densely defined contractions

Authors: Yury Arlinskii, Konrad Schmüdgen

Abstract: Given a conjugation (involution) $C$ on a Hilbert space, $C$-self-adjoint contractive extensions of a non-densely defined $C$-symmetric contraction are studied and parameterizations of all such extensions are obtained. As an application, a proof of an announced result of Glazman \cite{Glazman1} on the existence of maximal dissipative $C$-self-adjoint extensions of a densely defined $C$-symmetric… ▽ More Given a conjugation (involution) $C$ on a Hilbert space, $C$-self-adjoint contractive extensions of a non-densely defined $C$-symmetric contraction are studied and parameterizations of all such extensions are obtained. As an application, a proof of an announced result of Glazman \cite{Glazman1} on the existence of maximal dissipative $C$-self-adjoint extensions of a densely defined $C$-symmetric dissipative operator is given. △ Less

Submitted 17 June, 2025; originally announced June 2025.

Comments: 18 pages

MSC Class: 47A20; 47B44; 47B02

Moment property and positivity for some algebras of fractions

Authors: Claus Scheiderer, Konrad Schmüdgen

Abstract: T. M. Bisgaard proved that the $*$-algebra ${\bf C}[z,\overline{z},1/z\overline{z}]$ has the moment property, that is, each positive linear functional on this $*$-algebra is a moment functional. We generalize this result to polynomials in $d$ variables $z_1,...,z_d$. We prove that there exist $3d-2$ linear polynomials as denominators such that the corresponding $*$-algebra has the moment property,… ▽ More T. M. Bisgaard proved that the $*$-algebra ${\bf C}[z,\overline{z},1/z\overline{z}]$ has the moment property, that is, each positive linear functional on this $*$-algebra is a moment functional. We generalize this result to polynomials in $d$ variables $z_1,...,z_d$. We prove that there exist $3d-2$ linear polynomials as denominators such that the corresponding $*$-algebra has the moment property, while for 3 linear polynomials in case $d=2$ the moment property always fails. Further, it is shown that for the real algebras ${\bf R}[x,y,1/(x^2+y^2)]$ (the hermitean part of ${\bf C}[z,\overline{z},1/z\overline{z}]$) and ${\bf R}[x,y,x^2/(x^2+y^2),xy/(x^2+y^2)]$, all positive semidefinite elements are sums of squares. These results are used to prove that for the semigroup $*$-algebras of ${\bf Z}^2$, ${\bf N}_0\times{\bf Z}$ and ${\mathsf N}_+:=\{(k,n)\in{\bf Z}^2:k+n\geq 0\}$, all positive semidefinite elements are sums of hermitean squares. △ Less

Submitted 14 August, 2024; originally announced August 2024.

MSC Class: 44 A 60

$K$-Positivity Preservers and their Generators

Authors: Philipp J. di Dio, Konrad Schmüdgen

Abstract: We study $K$-positivity preservers with given closed $K\subseteq\mathbb{R}^n$, i.e., linear maps $T:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}[x_1,\dots,x_n]$ such that $T\mathrm{Pos}(K)\subseteq\mathrm{Pos}(K)$ holds, and their generators $A:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}[x_1,\dots,x_n]$, i.e., $e^{tA}\mathrm{Pos}(K)\subseteq\mathrm{Pos}(K)$ holds for all $t\geq 0$. We characterize these maps… ▽ More We study $K$-positivity preservers with given closed $K\subseteq\mathbb{R}^n$, i.e., linear maps $T:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}[x_1,\dots,x_n]$ such that $T\mathrm{Pos}(K)\subseteq\mathrm{Pos}(K)$ holds, and their generators $A:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}[x_1,\dots,x_n]$, i.e., $e^{tA}\mathrm{Pos}(K)\subseteq\mathrm{Pos}(K)$ holds for all $t\geq 0$. We characterize these maps $T$ for any closed $K\subseteq\mathbb{R}^n$ in Theorem 4.5. We characterize the maps $A$ in Theorem 5.12 for $K=\mathrm{R}^n$ and give partial results for general $K$. In Proposition 6.1 and 6.3 we give maps $A$ such that $e^{tA}$ is a positivity preserver for all $t\geq τ$ for some $τ>0$ but not for $t\in (0,τ)$, i.e., we have an eventually positive semi-group. △ Less

Submitted 19 August, 2024; v1 submitted 22 July, 2024; originally announced July 2024.

On the Moment Functionals with Signed Representing Measures

Authors: Konrad Schmüdgen

Abstract: Suppose that $\sA$ is a finitely generated commutative unital real algebra and $K$ is a closed subset of the set $\hat{A}$ of characters of $\sA$. We study the following problem: When is {\it each} linear functional $L:{\sA} \to \dR$ an integral with respect to some signed Radon measure on $\hat{\sA}$ supported by the set $K$? A complete characterization of the sets $K$ and algebras $\sA$ by neces… ▽ More Suppose that $\sA$ is a finitely generated commutative unital real algebra and $K$ is a closed subset of the set $\hat{A}$ of characters of $\sA$. We study the following problem: When is {\it each} linear functional $L:{\sA} \to \dR$ an integral with respect to some signed Radon measure on $\hat{\sA}$ supported by the set $K$? A complete characterization of the sets $K$ and algebras $\sA$ by necessary and sufficient conditions is given. The result is applied to the polynomial algebra $\dR[x_1,\dots,x_d]$ and subsets $K$ of $\dR^d$. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Comments: 10 pages

MSC Class: 44 A 60

On the Archimedean Positivstellensatz in Real Algebraic Geometry

Authors: Konrad Schmüdgen

Abstract: A variant of the Archimedean Positivstellensatz is proved which is based on Archimedean semirings or quadratic modules of generating subalgebras. It allows one to obtain representations of strictly positive polynomials on compact semi-algebraic by means of smaller sets of squares or polynomials. A large number of examples is developed in detail. A variant of the Archimedean Positivstellensatz is proved which is based on Archimedean semirings or quadratic modules of generating subalgebras. It allows one to obtain representations of strictly positive polynomials on compact semi-algebraic by means of smaller sets of squares or polynomials. A large number of examples is developed in detail. △ Less

Submitted 17 January, 2024; originally announced January 2024.

MSC Class: 12 D 15

On the Matricial Truncated Moment Problem. II

Authors: Conrad Mädler, Konrad Schmüdgen

Abstract: We continue the study of truncated matrix-valued moment problems begun in arXiv:2310.00957. Let $q\in\mathbb{N}$. Suppose that $(\mathcal{X},\mathfrak{X})$ is a measurable space and $\mathcal{E}$ is a finite-dimensional vector space of measurable mappings of $\mathscr{X}$ into $\mathcal{H}_q$, the Hermitian $q\times q$ matrices. A linear functional $Λ$ on $\mathcal{E}$ is called a moment functiona… ▽ More We continue the study of truncated matrix-valued moment problems begun in arXiv:2310.00957. Let $q\in\mathbb{N}$. Suppose that $(\mathcal{X},\mathfrak{X})$ is a measurable space and $\mathcal{E}$ is a finite-dimensional vector space of measurable mappings of $\mathscr{X}$ into $\mathcal{H}_q$, the Hermitian $q\times q$ matrices. A linear functional $Λ$ on $\mathcal{E}$ is called a moment functional if there exists a positive $\mathcal{H}_q$-valued measure $μ$ on $(\mathcal{X},\mathfrak{X})$ such that $Λ(F)=\int_\mathcal{X} \langle F, \mathrm{d}μ\rangle$ for $F\in \mathcal{E}$. In this paper a number of special topics on the truncated matricial moment problem are treated. We restate a result from (Mourrain and Schmüdgen, 2016) to obtain a matricial version of the flat extension theorem. Assuming that $\mathcal{X}$ is a compact space and all elements of $ \mathcal{E}$ are continuous on $\mathcal{X}$ we characterize moment functionals in terms of positivity and obtain an ordered maximal mass representing measure for each moment functional. The set of masses of representing measures at a fixed point and some related sets are studied. The class of commutative matrix moment functionals is investigated. We generalize the apolar scalar product for homogeneous polynomials to the matrix case and apply this to the matricial truncated moment problem. △ Less

Submitted 16 November, 2023; originally announced November 2023.

MSC Class: 47A57 (Primary) 44A60; 14P10 (Secondary)

On the Truncated Matricial Moment Problem. I

Authors: Conrad Mädler, Konrad Schmüdgen

Abstract: This paper is about the general truncated matrix-valued moment problem. Let $\mathcal{H}_q$ denote the complex Hermitian $q\times q$-matrices, $q\in \mathbb{N}$. Suppose that $(\mathcal{X},\mathfrak{X})$ is a measurable space and $\mathcal{E}$ is a finite-dimensional vector space of measurable mappings of $\mathcal{X}$ into $\mathcal{H}_q$. A linear functional $Λ$ on $\mathcal{E}$ is called a mome… ▽ More This paper is about the general truncated matrix-valued moment problem. Let $\mathcal{H}_q$ denote the complex Hermitian $q\times q$-matrices, $q\in \mathbb{N}$. Suppose that $(\mathcal{X},\mathfrak{X})$ is a measurable space and $\mathcal{E}$ is a finite-dimensional vector space of measurable mappings of $\mathcal{X}$ into $\mathcal{H}_q$. A linear functional $Λ$ on $\mathcal{E}$ is called a moment functional if there exists a positive $\mathcal{H}_q$-valued measure $μ$ on $(\mathcal{X},\mathfrak{X})$ such that $Λ(F)=\int_\mathcal{X} \langle F,\mathrm{d}μ\rangle$ for $F\in \mathcal{E}$. We prove a matricial version of the Richter-Tchakaloff theorem which states that each moment functional on $\mathcal{E}$ has a finitely atomic representing measure. It is shown that strictly positive linear functionals on $\mathcal{E}$ are moment functionals. For a moment functional $Λ$, we study the set of atoms $\mathcal{W}(Λ)$ and the Carathéodory numbers $\mathrm{Car}(Λ)$, $\mathrm{car}(Λ)$ and we define and investigate the core set $\mathcal{V}(Λ)$. A main result of the paper is the equality $\mathcal{W}(Λ)=\mathcal{V}(Λ)$. △ Less

Submitted 2 October, 2023; originally announced October 2023.

MSC Class: 47A57 (Primary) 44A60; 14P10 (Secondary)

Chapter 12: The moment problem on compact semi-algebraic sets (revised version)

Authors: Konrad Schmüdgen

Abstract: The following is an improved version of Chapter 12 of my book [Sm17]. Among others, we present a new unified approach to the Archimedean Positivstellensätze for quadratic modules and semirings in Section 12.4 and we add a number of new results on Positivstellensätze for semirings and the corresponding moment problems.All references to formulas and to the bibliography of the book are retained. This… ▽ More The following is an improved version of Chapter 12 of my book [Sm17]. Among others, we present a new unified approach to the Archimedean Positivstellensätze for quadratic modules and semirings in Section 12.4 and we add a number of new results on Positivstellensätze for semirings and the corresponding moment problems.All references to formulas and to the bibliography of the book are retained. This version is essentially based on results from the recent paper [SmS23]. We will also use a result form book [Sm20]. △ Less

Submitted 18 September, 2023; originally announced September 2023.

MSC Class: 46 A 60; 14 P 10

Positivstellensätze for Semirings

Authors: Konrad Schmüdgen, Matthias Schötz

Abstract: In this paper we develop a number of results and notions concerning Positivstellensätze for semirings (preprimes) of commutative unital real algebras. First we reduce the Archimedean Positivstellensatz for semirings to the corresponding result for quadratic modules. Various applications of the Archimedean Positivstellensatz for semirings are investigated. A general Positivstellensatz with denomina… ▽ More In this paper we develop a number of results and notions concerning Positivstellensätze for semirings (preprimes) of commutative unital real algebras. First we reduce the Archimedean Positivstellensatz for semirings to the corresponding result for quadratic modules. Various applications of the Archimedean Positivstellensatz for semirings are investigated. A general Positivstellensatz with denominators is proved for filtered algebras with semirings. As an application we derive a denominator-free Positivstellensatz for the cylindrical extension of an algebra with Archimedean semiring. A large number of illustrating examples are given. △ Less

Submitted 6 July, 2022; originally announced July 2022.

MSC Class: 13J30 (Primary) 12D15; 14P10; 44A60 (Secondary)

Adjoint Pairs and Unbounded Normal Operators

Authors: Konrad Schmüdgen

Abstract: An adjoint pair is a pair of densely defined linear operators $A, B$ on a Hilbert space such that $\langle Ax,y\rangle=\langle x,By\rangle$ for $x\in \cD(A), y \in \cD(B).$ We consider adjoint pairs for which $0$ is a regular point for both operators and associate a boundary triplet to such an adjoint pair. Proper extensions of the operator $B$ are in one-to-one correspondence… ▽ More An adjoint pair is a pair of densely defined linear operators $A, B$ on a Hilbert space such that $\langle Ax,y\rangle=\langle x,By\rangle$ for $x\in \cD(A), y \in \cD(B).$ We consider adjoint pairs for which $0$ is a regular point for both operators and associate a boundary triplet to such an adjoint pair. Proper extensions of the operator $B$ are in one-to-one correspondence $T_\cC\leftrightarrow \cC $ to closed subspaces $\cC$ of $\cN(A^*)\oplus\cN(B^*)$. In the case when $B$ is formally normal and $\cD(A)=\cD(B)$, the normal operators $T_\cC$ are characterized. Next we assume that $B$ has an extension to a normal operator with bounded inverse. Then the normal operators $T_\cC$ are described and the case when $\cN(A^*)$ has dimension one is treated. △ Less

Submitted 25 November, 2021; v1 submitted 13 October, 2021; originally announced October 2021.

Comments: A new reference has been added

Balanced Operators and Operator Domains

Authors: Konrad Schmüdgen

Abstract: We shall say that a densely defined closed operator $T$ on a Hilbert space is balanced if $\cD(T)=\cD(T^*)$. Balanced operators are described in terms of their phase operators abnd their moduli. Examples of balanced operators are developed. A characterization of the domain equality $\cD(A)=\cD(B)$ for positive self-adjoint operators $A$ and $B$ with bounded inverses is given in terms of their spec… ▽ More We shall say that a densely defined closed operator $T$ on a Hilbert space is balanced if $\cD(T)=\cD(T^*)$. Balanced operators are described in terms of their phase operators abnd their moduli. Examples of balanced operators are developed. A characterization of the domain equality $\cD(A)=\cD(B)$ for positive self-adjoint operators $A$ and $B$ with bounded inverses is given in terms of their spectral measures. △ Less

Submitted 11 March, 2021; v1 submitted 17 February, 2021; originally announced February 2021.

Comments: The paper contains an error. I work on repairing, but I dont know whether or when this will be done. Please withdraw the paper

MSC Class: 47 A 05; 47 B 25

On the multidimensional K-moment problem

Authors: Konrad Schmüdgen

Abstract: We prove a solvability theorem for the Stieltjes moment problem on $R^d$ which is based on the multivariate Stieltjes condition $\sum_{n=1}^\infty L(x_j^n)^{-1/(2n)}=+\infty$, $j=1,\dots,d.$ This result is applied to derive a new solvability theorem for the moment problem on unbounded semi-algebraic subsets of $R^d$. We prove a solvability theorem for the Stieltjes moment problem on $R^d$ which is based on the multivariate Stieltjes condition $\sum_{n=1}^\infty L(x_j^n)^{-1/(2n)}=+\infty$, $j=1,\dots,d.$ This result is applied to derive a new solvability theorem for the moment problem on unbounded semi-algebraic subsets of $R^d$. △ Less

Submitted 8 November, 2020; originally announced November 2020.

Comments: 7 pages

MSC Class: 44 A 60; 47 B 25; 14 P 10

Ten Lectures on the Moment Problem

Authors: Konrad Schmüdgen

Abstract: These are ten lectures on the moment problem delivered by the author at the Vietnam Institute of Advanced Studies in Mathematics, Hanoi, March 2019. The first 3 lectures are about the one-dimensional full and truncated moment problem. The next 4 lectures deal with the multidimensional full moment problem with particular emphasis on the interactions with real algebraic geometry and polynomial optim… ▽ More These are ten lectures on the moment problem delivered by the author at the Vietnam Institute of Advanced Studies in Mathematics, Hanoi, March 2019. The first 3 lectures are about the one-dimensional full and truncated moment problem. The next 4 lectures deal with the multidimensional full moment problem with particular emphasis on the interactions with real algebraic geometry and polynomial optimization. The final 3 lectures are devoted to the truncated multidimensional moment problem and some recent developments in this area.. △ Less

Submitted 28 August, 2020; originally announced August 2020.

$*$-Bimodules

Authors: Konrad Schmüdgen

Abstract: A $*$-bimodule for a unital $*$-algebra $A$ is an $A$-bimodule $X$ which is a vector space with involution $x\mapsto x^+$ satisfying $(a\cdot x\cdot b)^+=b^+\cdot x^+\cdot b^+$ for $x\in X$ and $a,b\in A$. An algebraic model for $*$-bimodules is given. Hilbert space representations of $*$-bimodules are defined and studied. A GNS-like representation theorem is obtained. A $*$-bimodule for a unital $*$-algebra $A$ is an $A$-bimodule $X$ which is a vector space with involution $x\mapsto x^+$ satisfying $(a\cdot x\cdot b)^+=b^+\cdot x^+\cdot b^+$ for $x\in X$ and $a,b\in A$. An algebraic model for $*$-bimodules is given. Hilbert space representations of $*$-bimodules are defined and studied. A GNS-like representation theorem is obtained. △ Less

Submitted 12 August, 2020; originally announced August 2020.

MSC Class: 46 L 50

The multidimensional truncated Moment Problem: The Moment Cone

Authors: Philipp J. di Dio, Konrad Schmüdgen

Abstract: Let $\mathsf{A}=\{a_1,\dots,a_m\}$, $m\in\mathbb{N}$, be measurable functions on a measurable space $(\mathcal{X},\mathfrak{A})$. If $μ$ is a positive measure on $(\mathcal{X},\mathfrak{A})$ such that $\int a_i dμ<\infty$ for all $i$, then the sequence $(\int a_1 dμ,\dots,\int a_m dμ)$ is called a moment sequence. By Richter's Theorem each moment sequence has a $k$-atomic representing measure with… ▽ More Let $\mathsf{A}=\{a_1,\dots,a_m\}$, $m\in\mathbb{N}$, be measurable functions on a measurable space $(\mathcal{X},\mathfrak{A})$. If $μ$ is a positive measure on $(\mathcal{X},\mathfrak{A})$ such that $\int a_i dμ<\infty$ for all $i$, then the sequence $(\int a_1 dμ,\dots,\int a_m dμ)$ is called a moment sequence. By Richter's Theorem each moment sequence has a $k$-atomic representing measure with $k\leq m$. The set $\mathcal{S}_\mathsf{A}$ of all moment sequences is the moment cone. The aim of this paper is to analyze the various structures of the moment cone. The main results concern the facial structure (exposed faces, facial dimensions) and lower and upper bounds of the Carathéodory number (that is, the smallest number of atoms which suffices for all moment sequences) of the convex cone $\mathcal{S}_{\mathcal{A}}$. In the case when $\mathcal{X}\subseteq \mathbb{R}^n$ and $a_i\in C^1(\mathcal{X},\mathbb{R})$, the differential structure of the moment map and regularity/singularity properties of moment sequences are analyzed. The maximal mass problem is considered and some applications to other problems are sketched. △ Less

Submitted 3 September, 2018; originally announced September 2018.

Comments: 1 figure, 3 tables

Some Remarks on the Operator T^*T

Authors: Fritz Gesztesy, Konrad Schmüdgen

Abstract: This note deals with the operator $T^*T$, where $T$ is a densely defined operator on a complex Hilbert space. We reprove a recent result of Z. Sebestyén and Zs. Tarcsay [13]: If $T^*T$ and $TT^*$ are self-adjoint, then $T$ is closed. In addition, we describe the Friedrichs extension of $S^2$, where $S$ is a symmetric operator, recovering results due to Yu. Arlinskiĭ and Yu. Kovalev [1], [2]. This note deals with the operator $T^*T$, where $T$ is a densely defined operator on a complex Hilbert space. We reprove a recent result of Z. Sebestyén and Zs. Tarcsay [13]: If $T^*T$ and $TT^*$ are self-adjoint, then $T$ is closed. In addition, we describe the Friedrichs extension of $S^2$, where $S$ is a symmetric operator, recovering results due to Yu. Arlinskiĭ and Yu. Kovalev [1], [2]. △ Less

Submitted 7 March, 2018; v1 submitted 15 February, 2018; originally announced February 2018.

Comments: 6 pages

MSC Class: 47B25; 47B65

On the infinite-dimensional moment problem

Authors: Konrad Schmüdgen

Abstract: This paper deals with the moment problem on a (not necessarily finitely generated) commutative unital real algebra $A$. We define moment functionals on $A$ as linear functionals which can be written as integrals over characters of $A$ with respect to cylinder measures. Our main results provide such integral representations for $A_+$--positive linear functionals (generalized Haviland theorem) and f… ▽ More This paper deals with the moment problem on a (not necessarily finitely generated) commutative unital real algebra $A$. We define moment functionals on $A$ as linear functionals which can be written as integrals over characters of $A$ with respect to cylinder measures. Our main results provide such integral representations for $A_+$--positive linear functionals (generalized Haviland theorem) and for positive functionals fulfilling Carleman conditions. As an application we solve the moment problem for the symmetric algebra $S(V)$ of a real vector space $V$. As a byproduct we obtain a new approaches to the moment problem on $S(V)$ for a nuclear space $V$ and to the integral decomposition of continuous positive functionals on a barrelled nuclear topological algebra $A$. △ Less

Submitted 18 December, 2017; originally announced December 2017.

MSC Class: 44A60 (primary); 46G12; 28C20 (secondary)

The multidimensional truncated Moment Problem: Atoms, Determinacy, and Core Variety

Authors: Philipp J. di Dio, Konrad Schmüdgen

Abstract: This paper is about the moment problem on a finite-dimensional vector space of continuous functions. We investigate the structure of the convex cone of moment functionals (supporting hyperplanes, exposed faces, inner points) and treat various important special topics on moment functionals (determinacy, set of atoms of representing measures, core variety). This paper is about the moment problem on a finite-dimensional vector space of continuous functions. We investigate the structure of the convex cone of moment functionals (supporting hyperplanes, exposed faces, inner points) and treat various important special topics on moment functionals (determinacy, set of atoms of representing measures, core variety). △ Less

Submitted 28 March, 2017; v1 submitted 4 March, 2017; originally announced March 2017.

MSC Class: 44A60; 14P10

Journal ref: J. Funct. Anal. 274 (2018), 3124--3148

The multidimensional truncated Moment Problem: Carathéodory Numbers

Authors: Philipp J. di Dio, Konrad Schmüdgen

Abstract: Let $\mathcal{A}$ be a finite-dimensional subspace of $C(\mathcal{X};\mathbb{R})$, where $\mathcal{X}$ is a locally compact Hausdorff space, and $\mathsf{A}=\{f_1,\dots,f_m\}$ a basis of $\mathcal{A}$. A sequence $s=(s_j)_{j=1}^m$ is called a moment sequence if $s_j=\int f_j(x) \, dμ(x)$, $j=1,\dots,m$, for some positive Radon measure $μ$ on $\mathcal{X}$. Each moment sequence $s$ has a finitely a… ▽ More Let $\mathcal{A}$ be a finite-dimensional subspace of $C(\mathcal{X};\mathbb{R})$, where $\mathcal{X}$ is a locally compact Hausdorff space, and $\mathsf{A}=\{f_1,\dots,f_m\}$ a basis of $\mathcal{A}$. A sequence $s=(s_j)_{j=1}^m$ is called a moment sequence if $s_j=\int f_j(x) \, dμ(x)$, $j=1,\dots,m$, for some positive Radon measure $μ$ on $\mathcal{X}$. Each moment sequence $s$ has a finitely atomic representing measure $μ$. The smallest possible number of atoms is called the Carathéodory number $\mathcal{C}_{\mathsf{A}}(s)$. The largest number $\mathcal{C}_{\mathsf{A}}(s)$ among all moment sequences $s$ is the Carathéodory number $\mathcal{C}_{\mathsf{A}}$. In this paper the Carathéodory numbers $\mathcal{C}_{\mathsf{A}}(s)$ and $\mathcal{C}_{\mathsf{A}}$ are studied. In the case of differentiable functions methods from differential geometry are used. The main emphasis is on real polynomials. For a large class of spaces of polynomials in one variable the number $\mathcal{C}_{\mathsf{A}}$ is determined. In the multivariate case we obtain some lower bounds and we use results on zeros of positive polynomials to derive upper bounds for the Carathéodory numbers. △ Less

Submitted 21 April, 2017; v1 submitted 4 March, 2017; originally announced March 2017.

MSC Class: 44A60; 14P10

Journal ref: J. Math. Anal. Appl. 461 (2018), 1606--1638

A general fibre theorem for moment problems and some applications

Authors: Konrad Schmüdgen

Abstract: The fibre theorem \cite{schm2003} for the moment problem on closed semi-algebraic subsets of $\R^d$ is generalized to finitely generated real unital algebras. As an application two new theorems on the rational multidimensional moment problem are proved. Another application is a characterization of moment functionals on the polynomial algebra $\R[x_1,\dots,x_d]$ in terms of extensions. Finally, the… ▽ More The fibre theorem \cite{schm2003} for the moment problem on closed semi-algebraic subsets of $\R^d$ is generalized to finitely generated real unital algebras. As an application two new theorems on the rational multidimensional moment problem are proved. Another application is a characterization of moment functionals on the polynomial algebra $\R[x_1,\dots,x_d]$ in terms of extensions. Finally, the fibre theorem and the extension theorem are used to reprove basic results on the complex moment problem due to Stochel and Szafraniec \cite{stochelsz} and Bisgaard \cite{bisgaard}. △ Less

Submitted 8 July, 2015; v1 submitted 3 February, 2015; originally announced February 2015.

Comments: The paper is based on the previous paper by the author arXiv:1406.0282 "A characterization of moment sequences by extensions"

MSC Class: 44A60; 14P10

Unbounded Operators on Hilbert $C^*$-Modules

Authors: René Gebhardt, Konrad Schmüdgen

Abstract: Let $E$ and $F$ be Hilbert $C^*$-modules over a $C^*$-algebra $\CAlg{A}$. New classes of (possibly unbounded) operators $t:E\to F$ are introduced and investigated. Instead of the density of the domain $\Def(t)$ we only assume that $t$ is essentially defined, that is, $\Def(t)^\bot=\{0\}$. Then $t$ has a well-defined adjoint. We call an essentially defined operator $t$ graph regular if its graph… ▽ More Let $E$ and $F$ be Hilbert $C^*$-modules over a $C^*$-algebra $\CAlg{A}$. New classes of (possibly unbounded) operators $t:E\to F$ are introduced and investigated. Instead of the density of the domain $\Def(t)$ we only assume that $t$ is essentially defined, that is, $\Def(t)^\bot=\{0\}$. Then $t$ has a well-defined adjoint. We call an essentially defined operator $t$ graph regular if its graph $\Graph(t)$ is orthogonally complemented in $E\oplus F$ and orthogonally closed if $\Graph(t)^{\bot\bot}=\Graph(t)$. A theory of these operators is developed. Various characterizations of graph regular operators are given. A number of examples of graph regular operators are presented ($E=C_0(X)$, a fraction algebra related to the Weyl algebra, Toeplitz algebra, Heisenberg group). A new characterization of affiliated operators with a $C^*$-algebra in terms of resolvents is given. △ Less

Submitted 8 July, 2015; v1 submitted 30 September, 2014; originally announced September 2014.

MSC Class: Primary 46L08; Secondary 47D40; 47L05

Flat extensions in *-algebras

Authors: Bernard Mourrain, Konrad Schmüdgen

Abstract: The main result of the paper is a flat extension theorem for positive linear functionals on *-algebras. The theorem is applied to truncated moment problems on cylinder sets, on matrices of polynomials and on enveloping algebras of Lie algebras. The main result of the paper is a flat extension theorem for positive linear functionals on *-algebras. The theorem is applied to truncated moment problems on cylinder sets, on matrices of polynomials and on enveloping algebras of Lie algebras. △ Less

Submitted 19 June, 2014; originally announced June 2014.

A characterization of moment sequences by extensions

Authors: Konrad Schmüdgen

Abstract: The fibre theorem \cite{schm2003} for the moment problem on closed semi-algebraic subsets of $\R^d$ is generalized to finitely generated real unital algebras. A charaterization of moment functionals on the polynomial algebra $\R[x_1,\dots,x_d]$ in terms of extensions is given. These results are applied to reprove basic results on the complex moment problem due to Stochel and Szafraniec \cite{stoch… ▽ More The fibre theorem \cite{schm2003} for the moment problem on closed semi-algebraic subsets of $\R^d$ is generalized to finitely generated real unital algebras. A charaterization of moment functionals on the polynomial algebra $\R[x_1,\dots,x_d]$ in terms of extensions is given. These results are applied to reprove basic results on the complex moment problem due to Stochel and Szafraniec \cite{stochelsz} and Bisgaard \cite{bisgaard}. △ Less

Submitted 2 June, 2014; originally announced June 2014.

MSC Class: 44A60; 14P10

A Resolvent Approach to the Real Quantum Plane

Authors: Vasyl Ostrovskyi, Konrad Schmüdgen

Abstract: Let $q\neq \pm 1$ be a complex number of modulus one. This paper deals with the operator relation $AB=qBA$ for self-adjoint operators $A$ and $B$ on a Hilbert space. Two classes of well-behaved representations of this relation are studied in detail and characterized by resolvent equations. Let $q\neq \pm 1$ be a complex number of modulus one. This paper deals with the operator relation $AB=qBA$ for self-adjoint operators $A$ and $B$ on a Hilbert space. Two classes of well-behaved representations of this relation are studied in detail and characterized by resolvent equations. △ Less

Submitted 23 April, 2013; originally announced April 2013.

Comments: 4 figures

MSC Class: 47D40; 81R50; 47B25

Transition Probabilities of Positive Linear Functionals on $*$-Algebras

Authors: Konrad Schmüdgen

Abstract: Using unbounded Hilbert space representations basic results on the transition probability of positive linear functionals $f$ and $g$ on a unital *-algebra are obtained. The main assumption is the essential self-adjointness of GNS representations $π_f$ and $π_g$. Applications to functionals given by density matrices and by integrals and to vector functionals on the Weyl algebra are given. Using unbounded Hilbert space representations basic results on the transition probability of positive linear functionals $f$ and $g$ on a unital *-algebra are obtained. The main assumption is the essential self-adjointness of GNS representations $π_f$ and $π_g$. Applications to functionals given by density matrices and by integrals and to vector functionals on the Weyl algebra are given. △ Less

Submitted 23 April, 2013; originally announced April 2013.

MSC Class: 46L50; 47L60; 81P68

Spectral theory of Schrödinger operators with infinitely many point interactions and radial positive definite functions

Authors: Mark M. Malamud, Konrad Schmüdgen

Abstract: A number of results on radial positive definite functions on ${\mathbb R^n}$ related to Schoenberg's integral representation theorem are obtained. They are applied to the study of spectral properties of self-adjoint realizations of two- and three-dimensional Schrödinger operators with countably many point interactions. In particular, we find conditions on the configuration of point interactions su… ▽ More A number of results on radial positive definite functions on ${\mathbb R^n}$ related to Schoenberg's integral representation theorem are obtained. They are applied to the study of spectral properties of self-adjoint realizations of two- and three-dimensional Schrödinger operators with countably many point interactions. In particular, we find conditions on the configuration of point interactions such that any self-adjoint realization has purely absolutely continuous non-negative spectrum. We also apply some results on Schrödinger operators to obtain new results on completely monotone functions. △ Less

Submitted 6 August, 2012; originally announced August 2012.

Comments: to appear in Journal of Functional Analysis

MSC Class: 47A10; 47B25

On $q$-normal operators and quantum complex plane

Authors: Jaka Cimpric, Yurii Savchuk, Konrad Schmüdgen

Abstract: For $q>0$ let $\cA$ denote the unital $\ast$-algebra with generator $x$ and defining relation $xx^\ast=qxx^\ast$. Based on this algebra we study $q$-normal operators, the complex $q$-moment problem, positive elements and sums of squares. For $q>0$ let $\cA$ denote the unital $\ast$-algebra with generator $x$ and defining relation $xx^\ast=qxx^\ast$. Based on this algebra we study $q$-normal operators, the complex $q$-moment problem, positive elements and sums of squares. △ Less

Submitted 20 January, 2011; v1 submitted 15 January, 2011; originally announced January 2011.

MSC Class: Primary 14P99; 47L60; Secondary 14A22; 46L52; 11E25

Positivstellensätze for Algebras of Matrices

Authors: Yurii Savchuk, Konrad Schmüdgen

Abstract: The paper is concerned with various types of noncommutative Positivstellensätze for the matrix algebra $M_n(\cA)$, where $\cA$ is an algebra of operators acting on a unitary space, a path algebra, a cyclic algebra or a formally real field. Some new types of Positivstellensätze are proposed and proved, it is shown by examples that they occur. There are a number of results stating that a type of Pos… ▽ More The paper is concerned with various types of noncommutative Positivstellensätze for the matrix algebra $M_n(\cA)$, where $\cA$ is an algebra of operators acting on a unitary space, a path algebra, a cyclic algebra or a formally real field. Some new types of Positivstellensätze are proposed and proved, it is shown by examples that they occur. There are a number of results stating that a type of Positivstellensatz is valid for $M_n(\cA)$ provided that it holds for $\cA$. △ Less

Submitted 6 August, 2010; v1 submitted 9 April, 2010; originally announced April 2010.

Comments: 28 pages

MSC Class: 15B48; 15B33; 14P99

A noncommutative version of the Fejér-Riesz theorem

Authors: Yurii Savchuk, Konrad Schmüdgen

Abstract: Let $\cX$ be the unital *-algebra generated by the unilateral shift operator. It is shown that for any nonnegative operator $X\in \cX$ there is an element $Y\in \cX$ such that $X=Y^*Y$. Let $\cX$ be the unital *-algebra generated by the unilateral shift operator. It is shown that for any nonnegative operator $X\in \cX$ there is an element $Y\in \cX$ such that $X=Y^*Y$. △ Less

Submitted 6 July, 2010; v1 submitted 26 August, 2009; originally announced August 2009.

MSC Class: 14A22; 47A68; 42A05

Journal ref: Proc. Amer. Math. Soc. 138 (2010), no. 4, 1243--1248

Algebras of Fractions and Strict Positivstellensätze for *-Algebras

Authors: Konrad Schmuedgen

Abstract: In this paper we investigate a *-algebra $\cX$ of fractions associated with a unital complex *-algebra $\cA$. The algebra $\cX$ and its Hilbert space representations are used to prove abstract noncommutative strict Positivstellensätze for $\cA$. Multi-grading of $\cA$ are studied as technical tools to verify the assumptions of this theorem. As applications we obtain new strict Positivstellensä… ▽ More In this paper we investigate a *-algebra $\cX$ of fractions associated with a unital complex *-algebra $\cA$. The algebra $\cX$ and its Hilbert space representations are used to prove abstract noncommutative strict Positivstellensätze for $\cA$. Multi-grading of $\cA$ are studied as technical tools to verify the assumptions of this theorem. As applications we obtain new strict Positivstellensätze for the Weyl algebra and for the Lie algebra $\cg$ of the affine group of the real line. We characterize integrable representations of the Lie algebra $\cg$ in terms of resolvents of the generators and derive a new integrability criterion for representations of $\cg$. △ Less

Submitted 16 March, 2009; originally announced March 2009.

MSC Class: 14P10; 14A22; 46K10

Multivariate Determinateness

Authors: Mihai Putinar, Konrad Schmüdgen

Abstract: The uniqueness question of the multivariate moment problem is studied by different methods: Hilbert space operators, complex function theory, polynomial approximation, disintegration, integral geometry. Most of the known results in the multi-dimensional case are reviewed and reproved, and a number of new determinacy criteria are developed. The uniqueness question of the multivariate moment problem is studied by different methods: Hilbert space operators, complex function theory, polynomial approximation, disintegration, integral geometry. Most of the known results in the multi-dimensional case are reviewed and reproved, and a number of new determinacy criteria are developed. △ Less

Submitted 5 October, 2008; originally announced October 2008.

Unbounded Induced Representations of *-Algebras

Authors: Yu. Savchuk, K. Schmuedgen

Abstract: Induced representations of $\ast$-algebras by unbounded operators in Hilbert space are investigated. Conditional expectations of a $\ast$-algebra $\cA$ onto a unital $\ast$-subalgebra $\cB$ are introduced and used to define inner products on the corresponding induced modules. The main part of the paper is concerned with group graded $\ast$-algebras $\cA=\oplus_{g\in G}\cA_g$ for which the *-subalg… ▽ More Induced representations of $\ast$-algebras by unbounded operators in Hilbert space are investigated. Conditional expectations of a $\ast$-algebra $\cA$ onto a unital $\ast$-subalgebra $\cB$ are introduced and used to define inner products on the corresponding induced modules. The main part of the paper is concerned with group graded $\ast$-algebras $\cA=\oplus_{g\in G}\cA_g$ for which the *-subalgebra $\cB:=\cA_e$ is commutative. Then the canonical projection $p:\cA\to\cB$ is a conditional expectation and there is a partial action of the group $G$ on the set $\cBp$ of all characters of $\cB$ which are nonnegative on the cone $\sum\cA^2\cap\cB.$ The complete Mackey theory is developed for $\ast$-representations of $\cA$ which are induced from characters of $\cBp.$ Systems of imprimitivity are defined and two versions of the imprimitivity theorem are proved in this context. A concept is well-behaved $\ast$-representations of such $\ast$-algebras $\cA$ is introduced and studied. It is shown that well-behaved representations are direct sums of cyclic well-behaved representations and that induced representations of well-behaved representations are again well-behaved. The theory applies to a large variety of examples. For important examples such as the Weyl algebra, enveloping algebras of the Lie algebras $su(2),$ $su(1,1)$, and of the Virasoro algebra, and $\ast$-algebras generated by dynamical systems our theory is carried out in great detail. △ Less

Submitted 4 February, 2011; v1 submitted 15 June, 2008; originally announced June 2008.

Comments: 64 pages

MSC Class: 16G99; 16W50; 47L60; 22D30

Non-commutative Real Algebraic Geometry - Some Basic Concepts and First Ideas

Authors: Konrad Schmuedgen

Abstract: We propose and discuss how basic notions (quadratic modules, positive elements, semialgebraic sets, Archimedean orderings) and results (Positivstellensaetze) from real algebraic geometry can be generalized to noncommutative $*$-algebras. A version of Stengle's Positivstellensatz for $n \times n$ matrices of real polynomials is proved. We propose and discuss how basic notions (quadratic modules, positive elements, semialgebraic sets, Archimedean orderings) and results (Positivstellensaetze) from real algebraic geometry can be generalized to noncommutative $*$-algebras. A version of Stengle's Positivstellensatz for $n \times n$ matrices of real polynomials is proved. △ Less

Submitted 25 September, 2007; v1 submitted 20 September, 2007; originally announced September 2007.

MSC Class: 13J30; 47L60; 15A48 (Primary); 11E25 (Secondary)

A Strict Positivstellensatz for Enveloping Algebras

Authors: Konrad Schmuedgen

Abstract: Let G be a connected and simply connected real Lie group with Lie algebra g. Semialgebraic subsets of the unitary dual of G are defined and a strict Positivstellensatz for positive elements of the universal enveloping algebra of g is proved. Let G be a connected and simply connected real Lie group with Lie algebra g. Semialgebraic subsets of the unitary dual of G are defined and a strict Positivstellensatz for positive elements of the universal enveloping algebra of g is proved. △ Less

Submitted 9 March, 2004; originally announced March 2004.

Comments: 15 pages

MSC Class: 14P10; 17B35

A Strict Positivstellensatz for the Weyl Algebra

Authors: Konrad Schmuedgen

Abstract: Let $c$ be an element of the Weyl algebra $W(d)$ which is given by a strictly positive operator in the Schr"odinger representation. It is shown that, under some conditions, there exist elements $b_1,...,b_d$ in $W(d)$ such that $b_1 c b_1^* + ... + b_d c b_d^*$ is a finite sum of squares. Let $c$ be an element of the Weyl algebra $W(d)$ which is given by a strictly positive operator in the Schr"odinger representation. It is shown that, under some conditions, there exist elements $b_1,...,b_d$ in $W(d)$ such that $b_1 c b_1^* + ... + b_d c b_d^*$ is a finite sum of squares. △ Less

Submitted 26 July, 2005; v1 submitted 3 March, 2004; originally announced March 2004.

Comments: 17 pages, condition (i) in Theorem 1.1 implies (ii). Assumption (ii) can be omitted

MSC Class: 14P10; 14A22; 46K10

Journal ref: Math. Annalen 331 (2005), pp. 779-794

Hilbert space representations of cross product algebras II

Authors: Konrad Schmuedgen, Elmar Wagner

Abstract: In this paper, we study and classify Hilbert space representations of cross product *-algebras of the quantized enveloping algebra $U_q(e_2)$ with the coordinate algebras $O(E_q(2))$ of the quantum motion group and $O(\C_q)$ of the complex plane, and of the quantized enveloping algebra $U_q(su_{1,1})$ with the coordinate algebras $O(SU_q(1,1))$ of the quantum group $SU_q(1,1)$ and $O(U_q)$ of th… ▽ More In this paper, we study and classify Hilbert space representations of cross product *-algebras of the quantized enveloping algebra $U_q(e_2)$ with the coordinate algebras $O(E_q(2))$ of the quantum motion group and $O(\C_q)$ of the complex plane, and of the quantized enveloping algebra $U_q(su_{1,1})$ with the coordinate algebras $O(SU_q(1,1))$ of the quantum group $SU_q(1,1)$ and $O(U_q)$ of the quantum disc. Invariant positive functionals and the corresponding Heisenberg representations are explicitely described. △ Less

Submitted 25 August, 2003; originally announced August 2003.

Comments: 42 pages

MSC Class: 17B37; 81R50; 47L60

Representations of cross product algebras of Podles quantum spheres

Authors: Konrad Schmuedgen, Elmar Wagner

Abstract: Hilbert space representations of the cross product *-algebras of the Hopf *-algebra U_q(su_2) and its module *-algebras O(S^2_{qr}) of Podles spheres are investigated and classified by describing the action of generators. The representations are analyzed within two approaches. It is shown that the Hopf *-algebra O(SU_q(2)) of the quantum group SU_q(2) decomposes into an orthogonal sum of project… ▽ More Hilbert space representations of the cross product *-algebras of the Hopf *-algebra U_q(su_2) and its module *-algebras O(S^2_{qr}) of Podles spheres are investigated and classified by describing the action of generators. The representations are analyzed within two approaches. It is shown that the Hopf *-algebra O(SU_q(2)) of the quantum group SU_q(2) decomposes into an orthogonal sum of projective Hopf modules corresponding to irreducible integrable *-representations of the cross product algebras and that each irreducible integrable *-representation appears with multiplicity one. The projections of these projective modules are computed. The decompositions of tensor products of irreducible integrable *-representations with spin l representations of U_q(su_2) are given. The invariant state h on O(S^2_{qr}) is studied in detail. By passing to function algebras over the quantum spheres S^2_{qr}, we give chart descriptions of quantum line bundles and describe the representations from the first approach by means of the second approach. △ Less

Submitted 23 July, 2007; v1 submitted 22 May, 2003; originally announced May 2003.

Comments: 50 pages, references updated, typos corrected

MSC Class: 17B37; 81R50; 46L87

Examples of twisted cyclic cocycles from covariant differential calculi

Authors: Konrad Schmuedgen, Elmar Wagner

Abstract: For two covariant differential *-calculi, the twisted cyclic cocycle associated with the volume form is represented in terms of commutators [F,ρ(x)] for some self-adjoint operator F and some *-representation $ρ$ of the underlying *-algebra. For two covariant differential *-calculi, the twisted cyclic cocycle associated with the volume form is represented in terms of commutators [F,ρ(x)] for some self-adjoint operator F and some *-representation $ρ$ of the underlying *-algebra. △ Less

Submitted 12 May, 2003; originally announced May 2003.

Comments: 12 pages

MSC Class: 17B37; 46L87; 81R50

Dirac operator and a twisted cyclic cocycle on the standard Podles quantum sphere

Authors: Konrad Schmuedgen, Elmar Wagner

Abstract: A Dirac operator D on the standard Podles sphere is defined and investigated. It yields a spectral triple such that |D|^{-z} is of trace class for Re z>0. Commutators with the Dirac operator give the distinguished 2-dimensional covariant differential calculus on the standard Podles sphere. The twisted cyclic cocycle associated with the volume form of the differential calculus is expressed by mea… ▽ More A Dirac operator D on the standard Podles sphere is defined and investigated. It yields a spectral triple such that |D|^{-z} is of trace class for Re z>0. Commutators with the Dirac operator give the distinguished 2-dimensional covariant differential calculus on the standard Podles sphere. The twisted cyclic cocycle associated with the volume form of the differential calculus is expressed by means of the Dirac operator. △ Less

Submitted 23 July, 2007; v1 submitted 2 May, 2003; originally announced May 2003.

Comments: 21 pages

MSC Class: 17B37; 46L87; 58B37; 81K50

Journal ref: J. Reine Angew. Math. 574 (2004), 219--235

Operator representations of cross product algebras of Podles' quantum spheres

Authors: Konrad Schmuedgen, Elmar Wagner

Abstract: Hilbert space representations of the cross product *-algebra of the Hopf *-algebra U_q(su_2) and its module *-algebras O(S^2_{qc}) of Podles' spheres are studied. Two classes of representations are described by explicit formulas for the actions of the generators. Hilbert space representations of the cross product *-algebra of the Hopf *-algebra U_q(su_2) and its module *-algebras O(S^2_{qc}) of Podles' spheres are studied. Two classes of representations are described by explicit formulas for the actions of the generators. △ Less

Submitted 20 December, 2002; originally announced December 2002.

Comments: 15 pages

MSC Class: 17B37; 81R50; 46L86

On the moment problem of closed semi-algebraic sets

Authors: Konrad Schmuedgen

Abstract: Let $K_f$ be a closed semi-algebraic set in $\dR^d$ such that there exist bounded real polynomials $h_1,{...},h_n$ on $K_f$. It is proved that the moment problem for $K_f$ is solvable provided it is for all sets $K_f\cap C_λ$, where $C_λ=\{x:h_1(x)=λ_1,{...},h_n(x)=λ_n\}$ and $\inf\{h_j(x); x\in K_f\}\leλ_j\le\sup\{h_j(x);x\in K_f\}$. New classes of non-compact closed semi-algebraic sets $K_f$ a… ▽ More Let $K_f$ be a closed semi-algebraic set in $\dR^d$ such that there exist bounded real polynomials $h_1,{...},h_n$ on $K_f$. It is proved that the moment problem for $K_f$ is solvable provided it is for all sets $K_f\cap C_λ$, where $C_λ=\{x:h_1(x)=λ_1,{...},h_n(x)=λ_n\}$ and $\inf\{h_j(x); x\in K_f\}\leλ_j\le\sup\{h_j(x);x\in K_f\}$. New classes of non-compact closed semi-algebraic sets $K_f$ are found for which the moment problem is solvable. To appear in Journal fuer die Reine und Angewandte Mathematik △ Less

Submitted 30 October, 2002; v1 submitted 20 March, 2002; originally announced March 2002.

Comments: LaTeX2e, 12 pages

MSC Class: 44A60; 14P10; 14P05

Commutator Representations of Covariant Differential Calculi on Quantum Groups

Authors: Konrad Schmuedgen

Abstract: Let (G,d) be a first order differential *-calculus on a *-algebra A. We say that a pair (π,F) of a *-representation πof A on a dense domain D of a Hilbert space and a symmetric operator F on D gives a commutator representation of G if there exists a linear mapping t:G -> L(D) such that t(adb)=π(a)i[F,π(b)], a,b in A. Among others, it is shown that each left-covariant *-calculus G of a compact qu… ▽ More Let (G,d) be a first order differential *-calculus on a *-algebra A. We say that a pair (π,F) of a *-representation πof A on a dense domain D of a Hilbert space and a symmetric operator F on D gives a commutator representation of G if there exists a linear mapping t:G -> L(D) such that t(adb)=π(a)i[F,π(b)], a,b in A. Among others, it is shown that each left-covariant *-calculus G of a compact quantum group Hopf *-algebra A has a faithful commutator representation. For a class of bicovariant *-calculi on A there is a commutator representation such that F is the image of a central element of the quantum tangent space. If A is the Hopf *-algebra of the compact form of one of the quantum groups SL_q(n+1), O_q(n), Sp_q(2n) with real transcendental q, then this commutator representation is faithful. Keywords: Quantum Groups; Noncommuative Geometry; Differential Calculus △ Less

Submitted 30 May, 2001; originally announced May 2001.

Comments: LaTeX2e, 14 pages

MSC Class: 17B37; 46L87; 81R50

Hilbert Space Representations of Cross Product Algebras

Authors: Konrad Schmuedgen, Elmar Wagner

Abstract: Hilbert space representations of cross product *-algebras of the Hopf *-algebras U_q(gl_2) with the coordinate algebras O(C^2_q) and O(R^3_q) of quantum vector spaces and U_q(su_2) with coordinate algebras O(SU_q(2)) and O(S^2_q) of corresponding quantum spheres are investigated and classified. Invariant states on the coordinate *-algebras are described by two variants of the quantum trace. Hilbert space representations of cross product *-algebras of the Hopf *-algebras U_q(gl_2) with the coordinate algebras O(C^2_q) and O(R^3_q) of quantum vector spaces and U_q(su_2) with coordinate algebras O(SU_q(2)) and O(S^2_q) of corresponding quantum spheres are investigated and classified. Invariant states on the coordinate *-algebras are described by two variants of the quantum trace. △ Less

Submitted 12 December, 2002; v1 submitted 23 May, 2001; originally announced May 2001.

Comments: LaTeX2e, 44 pages; appears in Journal of Functional Analysis

MSC Class: 17B37; 81R50; 47L55

On the Quantum Quarter Plane and the Real Quantum Plane

Authors: Konrad Schmuedgen

Abstract: Suppose q is a complex number of modulus one and different from 1,-1. Let O(R^2_q) be the *-algebra with two hermitean generators x and y satisfying the relation xy=qyx. Using operator representations of the *-algebra O(R^2_q) on Hilbert space and the Weyl calculus of pseudodifferential operators we construct *-algebras of ``functions'' on the quantum quarter plane R^{++}_q and on the real quant… ▽ More Suppose q is a complex number of modulus one and different from 1,-1. Let O(R^2_q) be the *-algebra with two hermitean generators x and y satisfying the relation xy=qyx. Using operator representations of the *-algebra O(R^2_q) on Hilbert space and the Weyl calculus of pseudodifferential operators we construct *-algebras of ``functions'' on the quantum quarter plane R^{++}_q and on the real quantum plane R^2_q which are left module *-algebras for the Hopf *-algebra U_q(gl_2(R)). We define a family h_k, k\in Z^2, of covariant positive linear functionals on these *-algebras and study the actions of the *-algebras O(R^2_q) and U_q(gl_2(R)) on the associated Hilbert spaces. Quantum analogs of the partial Fourier transforms and the Fourier transform are found. A differential calculus on the ``function'' *-algebras is also developed and investigated. A shorter version appeared in International Journal of Mathematics 13 (2002), 279-321. △ Less

Submitted 30 October, 2002; v1 submitted 23 May, 2000; originally announced May 2000.

Comments: 59 pages

MSC Class: 16W30 (Primary) 46L87 (Secondary)

On Well-behaved Unbounded Representations of *-Algebras

Authors: Konrad Schmuedgen

Abstract: A general approach to the well-behaved unbounded *-representations of a *-algebra X is proposed. Let B be a normed *-algebra equipped with a left action |> of X on B such that (x |> a)^+ b=a^+(x^+ |> b) for a,b\in B and x\in X. Then the pair (X,B) is called a compatible pair. For any continuous non-degenerate *-representation ρof B there exists a closed *-representation ρ' of X such that ρ'(x)ρ(… ▽ More A general approach to the well-behaved unbounded *-representations of a *-algebra X is proposed. Let B be a normed *-algebra equipped with a left action |> of X on B such that (x |> a)^+ b=a^+(x^+ |> b) for a,b\in B and x\in X. Then the pair (X,B) is called a compatible pair. For any continuous non-degenerate *-representation ρof B there exists a closed *-representation ρ' of X such that ρ'(x)ρ(b)=ρ(x |> b), where x\in X and b\in B. The *-representations ρ' are called the well-behaved *-representations associated with the compatible pair (X,B). A number of examples are developed in detail. △ Less

Submitted 26 April, 2000; originally announced April 2000.

Comments: 16 pages

MSC Class: 16G30 (Primary) 47B25 (Secondary)

On holomorphic functions on a strip in the complex plane

Authors: Konrad Schmuedgen

Abstract: Let $f$ be a holomorphic function on the strip $\{z\in C: -α<Im z<α\}, α> 0$, belonging to the class $H(α,-α;ε)$ defined below. It is shown that there exist holomorphic functions $w_1$ on $\{z\in C: 0<Im z <2 α\}$ and $w_2$ on $\{z\in C: -2 α<Im z<2 α\}$ such that $w_1$ and $w_2$ have boundary values of modulus one on the real axis and satisfy the relation $w_1(z)=f(z-αi)w_2(z-2 αi)$ and… ▽ More Let $f$ be a holomorphic function on the strip $\{z\in C: -α<Im z<α\}, α> 0$, belonging to the class $H(α,-α;ε)$ defined below. It is shown that there exist holomorphic functions $w_1$ on $\{z\in C: 0<Im z <2 α\}$ and $w_2$ on $\{z\in C: -2 α<Im z<2 α\}$ such that $w_1$ and $w_2$ have boundary values of modulus one on the real axis and satisfy the relation $w_1(z)=f(z-αi)w_2(z-2 αi)$ and $w_2(z+2 αi)= \bar{f}(z+αi)w_1(z)$ for $0<Im z<2$, where $\bar{f}(z):=\bar{f(\bar{z})}$. This leads to a "polar decomposition" $f(z)=u_f(z+αi)g_f(z)$ of the function $f(z)$, where $u_f(z+αi)$ and $g_f(z)$ are holomorphic functions for $-α<Im z<α$ such that $|u_f(x)|=1$ and $g_f(x)\ge 0$ a.e. on the real axis. As a byproduct, an operator representation of a $q$-deformed Heisenberg algebra is developed. △ Less

Submitted 20 May, 1999; originally announced May 1999.

Comments: 12 pages, LaTeX

MSC Class: Primary 30D05; Secondary 81S05; 47D40; 17B37

Commutator Representations of Differential Calculi on the Quantum Group SU_q(2)

Authors: Konrad Schmuedgen

Abstract: Let (Γ,d) be the 3D-calculus or the 4D_{\pm}-calculus on the quantum group SU_q(2). We describe all pairs (π, F) of a *-representation πof O(SU_q(2)) and of a symmetric operator F on the representation space satisfying a technical condition concerning its domain such that there exist a homomorphism of first order differential calculi which maps dx into the commutator [iF,π(x)] for x\in O(SU_q(2)… ▽ More Let (Γ,d) be the 3D-calculus or the 4D_{\pm}-calculus on the quantum group SU_q(2). We describe all pairs (π, F) of a *-representation πof O(SU_q(2)) and of a symmetric operator F on the representation space satisfying a technical condition concerning its domain such that there exist a homomorphism of first order differential calculi which maps dx into the commutator [iF,π(x)] for x\in O(SU_q(2)). As an application commutator representations of the 2-dimensional left-covariant calculus on Podles' quantum 2-sphere S^2_{qc} with c=0 are given. △ Less

Submitted 15 December, 1998; originally announced December 1998.

Comments: 21 pages, Latex+amsmath+amssymb+amsfonts

MSC Class: 17B37; 46L87; 81R50

On Coquasitriangular Bialgebras

Authors: Konrad Schmuedgen

Abstract: The paper deals with three topics on coquasitriangular bialgebras. A characterization of universal r-forms in terms of Yetter-Drinfeld modules is given. All universal r-forms for the coordinate Hopf algebras of the quantum groups GL_q(N), SL_q(N), O_q(N) and Sp_q(N) are described. It is well-known that the square of the antipode of a coquasitriangular Hopf algebra A with universal r-form r can b… ▽ More The paper deals with three topics on coquasitriangular bialgebras. A characterization of universal r-forms in terms of Yetter-Drinfeld modules is given. All universal r-forms for the coordinate Hopf algebras of the quantum groups GL_q(N), SL_q(N), O_q(N) and Sp_q(N) are described. It is well-known that the square of the antipode of a coquasitriangular Hopf algebra A with universal r-form r can be expressed by means of the linear functional f_r(a)=r(a_{(1)}\otimes S(a_{(2)})), a\in A. For the standard compact matrix groups the functional f_r is related to the Woronowicz modular character f_{-2}. △ Less

Submitted 1 December, 1998; originally announced December 1998.

Comments: 10 pages, Latex+amsmath+amssymb

MSC Class: 16W30; 57T05; 81R50

Operator Representations of a q-Deformed Heisenberg Algebra

Authors: Konrad Schmuedgen

Abstract: A class of well-behaved *-representations of a q-deformed Heisenberg algebra is studied and classified. A class of well-behaved *-representations of a q-deformed Heisenberg algebra is studied and classified. △ Less

Submitted 28 May, 1998; originally announced May 1998.

Comments: 17 pages; Plain Tex; no figures

MSC Class: 47B25; 81R50; 17B37