SearcharxivSearch

arXiv subjects

Gestur Olafsson

Publications and source records attributed to Gestur Olafsson.

At least 19 recordsLinked to original sources

Analytic Wavefront Sets of Spherical Distributions on De Sitter Space

In this article we determine the wavefront sets of spherical distributions on the de Sitter space dS = G/H, G= SO_{1,n}(R)_e. These are eigendistributions of the Laplacian on dS = G/H invariant under the subgroup H. We construct bases for the spaces of spherical distributions as boundary values of sesquiholomorphic kernels on a certain G-invariant complex domain in dS^n_C containing the de Sitter space as a G-orbit on the boundary. We characterize the elements of the basis by their analytic wavefront sets. We also treat the spherical distributions invariant under O_{1,n-1}(R).

math.FA

Orthogonal pairs of Euler elements II: Geometric Bisognano--Wichmann and Spin--Statistics Theorems

Models in Algebraic Quantum Field Theory (AQFT) may be generalized including Lie groups of symmetries whose Lie algebras admit an Euler element $h$, characterized by the property that $ad h$ is diagonalizable with eigenvalues in $\{-1, 0, 1\}$. These elements becomes fundamental to the formal description of wedge localization. In this paper, we extend the geometric analysis of Euler wedges and investigate their applications within the AQFT framework. We call a pair of Euler elements $(h, k)$ orthogonal if $e^{i π\operatorname{ad} h}(k) = -k.$ Using the geometric framework established in our previous work, we derive both a Bisognano--Wichmann Theorem and a Spin--Statistics Theorem for nets of standard subspaces and von Neumann algebras. Our results {show} how this generalized approach recovers classical results in the AQFT literature while providing a deeper structural understanding of the underlying geometry in established models.

math-ph

Orthogonal pairs of Euler elements I. Classification, fundamental groups and twisted duality

The current article continues our project on representation theory, Euler elements, causal homogeneous spaces and Algebraic Quantum Field Theory (AQFT). We call a pair (h,k) of Euler elements orthogonal if $e^{πi \ad h} k = -k$. We show that, if (h,k) and (k,h) are orthogonal, then they generate a 3-dimensional simple subalgebra. We also classify orthogonal Euler pairs in simple Lie algebras and determine the fundamental groups of adjoint Euler elements in arbitrary finite-dimensional Lie algebras. Causal complements of wedge regions in spacetimes can be related to so-called twisted complements in the space of abstract Euler wedges, defined in purely group theoretic terms. We show that any pair of twisted complements can be connected by a chain of successive complements coming from $3$-dimensional subalgebras.

math.RT

Quantum Harmonic Analysis on the Unweighted Bergman Space of the Unit Ball

We study quantum harmonic analysis (QHA) on the Bergman space $\mathcal{A}^2(\mathbb{B}^n)$ over the unit ball in $\mathbb{C}^n$. We formulate a Wiener's Tauberian theorem, and characterizations of the radial Toeplitz algebra over $\mathcal{A}^2(\mathbb{B}^n)$. We discuss the $α$-Berezin transform and investigate the question of approximations by Toeplitz operators.

math.FA

Realization of unitary representations of the Lorentz group on de Sitter space

This paper builds on our previous work in which we showed that, for all connected semisimple linear Lie groups $G$ acting on a non-compactly causal symmetric space $M = G/H$, every irreducible unitary representation of $G$ can be realized by boundary value maps of holomorphic extensions in distributional sections of a vector bundle over $M$. In the present paper we discuss this procedure for the connected Lorentz group $G = SO_{1,d}(R)_e$ acting on de Sitter space $M = dS^d$. We show in particular that the previously constructed nets of real subspaces satisfy the locality condition. Following ideas of Bros and Moschella from the 1990's, we show that the matrix-valued spherical function that corresponds to our extension process extends analytically to a large domain $G_C^{cut}$ in the complexified group $G_C = \SO_{1,d}(C)$, which for $d = 1$ specializes to the complex cut plane $C \setminus (-\infinity, 0]$. A number of special situations is discussed specifically: (a) The case $d = 1$, which closely corresponds to standard subspaces in Hilbert spaces, (b) the case of scalar-valued functions, which for $d > 2$ is the case of spherical representations, for which we also describe the jump singularities of the holomorphic extensions on the cut in de Sitter space, (c) the case $d = 3$, where we obtain rather explicit formulas for the matrix-valued spherical functions.

math-ph

Nets of standard subspaces on non-compactly causal symmetric spaces

Let G be a connected simple linear Lie group and H in G a symmetric subgroup such that the corresponding symmetric space G/H is non-compactly causal. We show that any irreducible unitary representation of G leads naturally to a net of standard subspaces on G/H that is isotone, covariant and has the Reeh--Schlieder and the Bisognano--Wichmann property. We also show that this result extends to the universal covering group of SL(2,R) which has some interesting application to intersections of standard subspaces associated to representations of such groups. For this a detailed study of hyperfunction and distribution vectors is needed. In particular we show that every H-finite hyperfunction vector is in fact a distribution vector.

math.RT

Modular geodesics and wedge domains in non-compactly causal symmetric spaces

We continue our investigation of the interplay between causal structures on symmetric spaces and geometric aspects of Algebraic Quantum Field Theory. We adopt the perspective that the geometric implementation of the modular group is given by the flow generated by an Euler element of the Lie algebra (an element defining a 3-grading). Since any Euler element of a semisimple Lie algebra specifies a canonical non-compactly causal symmetric space M = G/H, we turn in this paper to the geometry of this flow. Our main results concern the positivity region W of the flow (the corresponding wedge region): If G has trivial center, then W is connected, it coincides with the so-called observer domain, specified by a trajectory of the modular flow which at the same time is a causal geodesic, it can also be characterized in terms of a geometric KMS condition, and it has a natural structure of an equivariant fiber bundle over a Riemannian symmetric space that exhibits it as a real form of the crown domain of G/K. Among the tools that we need for these results are two observations of independent interest: a polar decomposition of the positivity domain and a convexity theorem for G-translates of open $H$-orbits in the minimal flag manifold specified by the 3-grading.

math.DG

Double summation addition theorems for Jacobi functions of the first and second kind

In this paper we review and derive hyperbolic and trigonometric double summation addition theorems for Jacobi functions of the first and second kind. In connection with these addition theorems, we perform a full analysis of the relation between symmetric, antisymmetric and odd-half-integer parameter values for the Jacobi functions with certain Gauss hypergeometric functions which satisfy a quadratic transformation, including associated Legendre, Gegenbauer and Ferrers functions of the first and second kind. We also introduce Olver normalizations of the Jacobi functions which are particularly useful in the derivation of expansion formulas when the parameters are integers. We introduce an application of the addition theorems for the Jacobi functions of the second kind to separated eigenfunction expansions of a fundamental solution of the Laplace-Beltrami operator on the compact and noncompact rank one symmetric spaces.

math.CA

Wedge domains in non-compactly causal symmetric spaces

This article is part of an ongoing project aiming at the connections between causal structures on homogeneous spaces, Algebraic Quantum Field Theory (AQFT), modular theory of operator algebras and unitary representations of Lie groups. In this article we concentrate on non-compactly causal symmetric space $G/H$. This class contains the de Sitter space but also other spaces with invariant partial ordering. The central ingredient is an Euler element h in the Lie algebra of \fg. We define three different kinds of wedge domains depending on h and the causal structure on G/H. Our main result is that the connected component containing the base point eH of those seemingly different domains all agree. Furthermore we discuss the connectedness of those wedge domains. We show that each of those spaces has a natural extension to a non-compactly causal symmetric space of the form G_\C/G^c where G^c is certain real form of the complexification G_\$ of G. As G_\C/G^c is non-compactly causal it also comes with the three types of wedge domains. Our results says that the intersection of those domains with $G/H$ agrees with the wedge domains in G/H.

math-ph

Algebraic Quantum Field Theory and Causal Symmetric Spaces

In this article we review our recent work on the causal structure of symmetric spaces and related geometric aspects of Algebraic Quantum Field Theory. Motivated by some general results on modular groups related to nets of von Neumann algebras,we focus on Euler elements of the Lie algebra, i.e., elements whose adjoint action defines a 3-grading. We study the wedge regions they determine in corresponding causal symmetric spaces and describe some methods to construct nets of von Neumann algebras on causal symmetric spaces that satisfy abstract versions of the Reeh--Schlieder and the Bisognano-Wichmann condition.

math-ph

From Euler elements and 3-gradings to non-compactly causal symmetric spaces

In this article we discuss the interplay between causal structures of symmetric spaces and geometric aspects of Algebraic Quantum Field Theory (AQFT). The central focus is the set of Euler elements in a Lie algebra, i.e., elements whose adjoint action defines a 3-grading. In the first half of this article we survey the classification of reductive causal symmetric spaces from the perspective of Euler elements. This point of view is motivated by recent applications in AQFT. In the second half we obtain several results that prepare the exploration of the deeper connection between the structure of causal symmetric spaces and AQFT. In particular, we explore the technique of strongly orthogonal roots and corresponding systems of sl_2-subalgebras. Furthermore, we exhibit real Matsuki crowns in the adjoint orbits of Euler elements and we describe the group of connected components of the stabilizer group of Euler elements.

math-ph

Toeplitz operators on the Fock space with quasi-radial symbols

The Fock space $\mathcal{F}(\mathbb{C}^n)$ is the space of holomorphic functions on $\mathbb{C}^n$ that are square-integrable with respect to the Gaussian measure on $\mathbb{C}^n$. This space plays an important role in several subfields of analysis and representation theory. In particular, it has for a long time been a model to study Toeplitz operators. Esmeral and Maximenko showed in 2016 that radial Toeplitz operators on $\mathcal{F}(\mathbb{C})$ generate a commutative $C^*$-algebra which is isometrically isomorphic to the $C^*$-algebra $C_{b,u}(\mathbb{N}_0,ρ_1)$. In this article, we extend the result to $k$-quasi-radial symbols acting on the Fock space $\mathcal{F}(\mathbb{C}^n)$. We calculate the spectra of the said Toeplitz operators and show that the set of all eigenvalue functions is dense in the $C^*$-algebra $C_{b,u}(\mathbb{N}_0^k,ρ_k)$ of bounded functions on $\mathbb{N}_0^k$ which are uniformly continuous with respect to the square-root metric. In fact, the $C^*$-algebra generated by Toeplitz operators with quasi-radial symbols is $C_{b,u}(\mathbb{N}_0^k,ρ_k)$.

math.FA

Wedge domains in compactly causal symmetric spaces

Motivated by construction in Algebraic Quantum Field Theory we introduce wedge domains in compactly causal symmetric spaces M=G/H, which includes in particular anti de Sitter space in all dimensions and its coverings. Our wedge domains generalize Rindler wedges in Minkowski space. The key geometric structure we use is the modular flow on M defined by an Euler element in the Lie algebra of G. Our main geometric result asserts that three seemingly different characterizations of these domains coincide: the positivity domain of the modular vector field; the domain specified by a KMS like analytic extension condition for the modular flow; and the domain specified by a polar decomposition in terms of certain cones. In the second half of the article we show that our wedge domains share important properties with wedge domains in Minkowski space. If G is semisimple, there exist unitary representations of G and isotone covariant nets of real subspaces defined for any open subset of M, which assign to connected components of the wedge domains a standard subspace whose modular group corresponds to the modular flow on M. This corresponds to the Bisognano--Wichmann property in Quantum Field Theory. We also show that the set of G-translates of the connected components of the wedge domain provides a geometric realization of the abstract wedge space introduced by the first author and V. Morinelli.

math.RT

Standard subspaces of Hilbert spaces of holomorphic functions on tube domains

In this article we study standard subspaces of Hilbert spaces of vector-valued holomorphic functions on tube domains E + i C^0, where C \subeq E is a pointed generating cone invariant under e^{R h} for some endomorphism h \in \End(E), diagonalizable with the eigenvalues 1,0,-1 (generalizing a Lorentz boost). This data specifies a wedge domain W(E,C,h) \subeq E and one of our main results exhibits corresponding standard subspaces as being generated using test functions on these domains. We also investigate aspects of reflection positivity for the triple (E,C,e^{πi h}) and the support properties of distributions on E, arising as Fourier transforms of operator-valued measures defining the Hilbert spaces H. For the imaginary part of these distributions, we find similarities to the well known Huygens' principle, relating to wedge duality in the Minkowski context. Interesting examples are the Riesz distributions associated to euclidean Jordan algebras.

math.RT

New atomic decompositions of Bergman spaces on bounded symmetric domains

We provide a large family of atoms for Bergman spaces on irreducible bounded symmetric domains. This vastly generalizes results by Coifman and Rochberg from 1980. The atomic decompositions are derived using the holomorphic discrete series representations for the domain, and the approach is inspired by recent advances in wavelet and coorbit theory. This approach also settles the relation between atomic decompositions for the bounded and unbounded realizations of the domain.

math.CV

Nets of standard subspaces on Lie groups

Let G be a Lie group with Lie algebra $\mathfrak{g}$, $h \in \frak{g}$ an element for which the derivation ad(h) defines a 3-grading of $\mathfrak{g}$ and $τ_G$ an involutive automorphism of G inducing on $\mathfrak{g}$ the involution $e^{πi ad(h)}$. We consider antiunitary representations $U$ of the Lie group $G_τ= G \rtimes \{e,τ_G\}$ for which the positive cone $C_U = \{ x \in \mathfrak{g} : -i \partial U(x) \geq 0\}$ and $h$ span $\mathfrak{g}$. To a real subspace E of distribution vectors invariant under $exp(\mathbb{R} h)$ and an open subset $O \subseteq G$, we associate the real subspace $H_E(O) \subseteq H$, generated by the subspaces $U(φ)E$, where $φ\in C^\infty_c(O,\mathbb{R})$ is a real-valued test function on $O$. Then $H_E(O)$ is dense in $H_E(G)$ for every non-empty open subset $O \subseteq G$ (Reeh--Schlider property). For the real standard subspace $V \subseteq H$, for which $J_V = U(τ_G)$ is the modular conjugation and $Δ_V^{-it/2π} = U(\exp th)$ is the modular group, we obtain sufficient conditions to be of the form $H_E(S)$ for an open subsemigroup $S \subseteq G$. If $\mathfrak{g}$ is semisimple with simple hermitian ideals of tube type, we verify these criteria and obtain nets of cyclic subspacs $H_E(O)$, $O \subseteq G$, satisfying the Bisognano--Wichman property for some domains O. Our construction also yields such nets on simple Jordan space-times and compactly causal symmetric spaces of Cayley type. By second quantization, these nets lead to free quantum fields in the sense of Haag--Kastler on causal homogeneous spaces whose groups are generated by modular groups and conjugations.

math-ph

Extensions of real bounded symmetric domains

For a real bounded symmetric domain, G/K, we construct various natural enlargements to which several aspects of harmonic analysis on G/K and G have extensions. Our starting point is the realization of G/K as a totally real submanifold in a bounded domain G_h/K_h. We describe the boundary orbits and relate them to the boundary orbits of G_h/K_h. We relate the crown and the split-holomorphic crown of G/K to the crown Ξ_h of G_h/K_h. We identify an extension of a representation of K to a larger group L_c and use that to extend sections of vector bundles over the Borel compactification of G/K to its closure. Also, we show there is an analytic extension of K-finite matrix coefficients of G to a specific Matsuki cycle space.

math.RT

Computer-based and paper-and-pencil tests: A study in calculus for STEM majors

Computer-based testing is an expanding use of technology offering advantages to teachers and students. We studied Calculus II classes for STEM majors using different testing modes. Three sections with 324 students employed: Paper-and-pencil testing, computer-based testing, and both. Computer tests gave immediate feedback, allowed multiple submissions, and pooling. Paper-and-pencil tests required work and explanation allowing inspection of high cognitive demand tasks. Each test mode used the strength of its method. Students were given the same lecture by the same instructor on the same day and the same homework assignments and due dates. The design is quasi-experimental, but students were not aware of the testing mode at registration. Two basic questions examined were: (1) Do paper-and-pencil and computer-based tests measure knowledge and skill in STEM Calculus II in a consistent manner? (2) How does the knowledge and skill gained by students in a fully computer-based Calculus II class compare to students in a class requiring pencil-and-paper tests and hence some paper-and-pencil work. These results indicate that computer-based tests are as consistent with paper-and-pencil tests as computer-based tests are with themselves. Results are also consistent with classes using paper-and-pencil tests having slightly better outcomes than fully computer-based classes using only computer assessments.

math.HO