Symmetric Spaces Research Articles

Cartan–Helgason theorem for quaternionic symmetric and twistor spaces

Let (g,k) be a complex quaternionic symmetric pair with k having an ideal sl(2,ℂ), k=sl(2,ℂ)+mc. Consider the representation Sm(ℂ2)=ℂm+1 of k via the projection k→sl(2,ℂ) onto the ideal sl(2,ℂ). We study the finite dimensional irreducible representations V(λ) of g which contain Sm(ℂ2) under k⊆g. We give a characterization of all such representations V(λ) and find the corresponding multiplicity, the dimension of Hom(V(λ)|k,Sm(ℂ2)). We consider also the branching problem of V(λ) under l=u(1)ℂ+mc⊂k and find the multiplicities. Geometrically the Lie subalgebra l⊂k defines a twistor space over the compact symmetric space of the compact real form Gu of Gℂ, Lie(Gℂ)=g, and our results give the decomposition for the L2-spaces of sections of certain vector bundles over the symmetric space and line bundles over the twistor space. This generalizes Cartan–Helgason’s theorem for symmetric spaces (g,k) and Schlichtkrull’s theorem for Hermitian symmetric spaces where one-dimensional representations of k are considered.

Impact of Tolman–Kuchowicz potentials on Gauss–Bonnet gravity and isotropic stellar structures

In this manuscript, we study the behavior of charged isotropic compact stellar objects within the framework of modified f(G) theory of gravity by considering the Tolman–Kuchowicz spacetime. We use some matching condition of spherically symmetric space–time with Bardeen’s model as an exterior geometry and examine the physical behavior of stellar structures. In the current analysis, we discuss the energy conditions to check the viability of our model. Many physical aspects have been examined, such as energy density, pressure evolution, equation of state parameter, and causality condition. Furthermore, an equilibrium condition can be visualized through the modified Tolman–Oppenheimer–Volkov equation. Further, we study mass–radius function, compactness and redshift function, which are some essential features of charged compact star model. It is worthwhile to mention here for the current study that our stellar structure in the background of Bardeen’s model is more viable and stable.

Totally geodesic submanifolds in products of rank one symmetric spaces

Totally geodesic submanifolds in products of rank one symmetric spaces

Hotspots and photon rings in spherically symmetric space–times

ABSTRACT Future black hole (BH) imaging observations are expected to resolve finer features corresponding to higher order images of hotspots and of the horizon-scale accretion flow. In spherical space–times, the image order is determined by the number of half-loops executed by the photons that form it. Consecutive-order images arrive approximately after a delay time of ≈π times the BH shadow radius. The fractional diameters, widths, and flux-densities of consecutive-order images are exponentially demagnified by the lensing Lyapunov exponent, a characteristic of the space–time. The appearance of a simple point-sized hotspot when located at fixed spatial locations or in motion on circular orbits is investigated. The exact time delay between the appearance of its zeroth and first-order images agrees with our analytic estimate, which accounts for the observer inclination, with $\lesssim 20~{{\ \rm per\ cent}}$ error for hotspots located about ≲ 5M from a Schwarzschild BH of mass M. Since M87⋆ and Sgr A⋆ host geometrically thick accretion flows, we also explore the variation in the diameters and widths of their first-order images with disc scale-height. Using a simple ‘conical torus’ model, for realistic morphologies, we estimate the first-order image diameter to deviate from that of the shadow by $\lesssim 30~{{\ \rm per\ cent}}$ and its width to be ≲ 1.3M. Finally, the error in recovering the Schwarzschild lensing exponent (π), when using the diameters or the widths of the first and second-order images is estimated to be $\lesssim 20~{{\ \rm per\ cent}}$. It will soon become possible to robustly learn more about the space–time geometry of astrophysical BHs from such measurements.

Semi-Riemannian manifolds with linear differential conditions on the curvature

Semi-Riemannian manifolds that satisfy (homogeneous) linear differential conditions of arbitrary order r on the curvature are analyzed. They include, in particular, the spaces with (rth-order) recurrent curvature, (rth-order) symmetric spaces, as well as entire new families of semi-Riemannian manifolds rarely, or never, considered before in the literature—such as the spaces whose derivative of the Riemann tensor field is recurrent, among many others. Definite proof that all types of such spaces do exist is provided by exhibiting explicit examples of all possibilities in all signatures, except in the Riemannian case with a positive definite metric. Several techniques of independent interest are collected and presented. Of special relevance is the case of Lorentzian manifolds, due to its connection to the physics of the gravitational field. This connection is discussed with particular emphasis on Gauss–Bonnet gravity and in relation with Penrose limits. Many new lines of research open up and a handful of conjectures, based on the results found hitherto, is put forward.

Limits of conical Kähler–Einstein metrics on rank one horosymmetric spaces

AbstractWe consider families of conical Kähler–Einstein metrics on rank one horosymmetric Fano manifolds, with decreasing cone angles along a codimension one orbit. At the limit angle, which is positive, we show that the metrics, restricted to the complement of that orbit, converge to (the pull‐back of) the Kähler–Einstein metric on the basis of the horosymmetric homogeneous space, which is a projective homogeneous space. Then we show that, on the symmetric space fibers, the rescaled metrics converge to Stenzel's Ricci flat Kähler metric.

Temperedness of locally symmetric spaces: the product case

Let X=X1×X2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$X=X_1\ imes X_2$$\\end{document} be a product of two rank one symmetric spaces of non-compact type and Γ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Gamma $$\\end{document} a torsion-free discrete subgroup in G1×G2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$G_1\ imes G_2$$\\end{document}. We show that the spectrum of Γ\\(X1×X2)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Gamma \\backslash (X_1\ imes X_2)$$\\end{document} is related to the asymptotic growth of Γ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Gamma $$\\end{document} in the two directions defined by the two factors. We obtain that L2(Γ\\(G1×G2))\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L^2(\\Gamma \\backslash (G_1 \ imes G_2))$$\\end{document} is tempered for a large class of Γ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Gamma $$\\end{document}.

Sharp Adams Type Inequalities for the Fractional Laplace–Beltrami Operator on Noncompact Symmetric Spaces

Sharp Adams Type Inequalities for the Fractional Laplace–Beltrami Operator on Noncompact Symmetric Spaces

Two types of Witten zeta functions

We define two types of Witten’s zeta functions according to Cartan’s classification of compact symmetric spaces. The type II is the original Witten zeta function constructed by means of irreducible representations of the simple compact Lie group U. The type I Witten zeta functions, we introduce here, are related to the irreducible spherical representations of U. They arise in the harmonic analysis on compact symmetric spaces of the form U/K, where K is the maximal subgroup of U. To construct the type I zeta function we calculate the partition functions of 2d YM theory with broken gauge symmetry using the Migdal–Witten approach. We prove that for the rank one symmetric spaces the generating series for the values of the type I functions with integer arguments can be defined in terms of the generating series of the Riemann zeta-function.

Functional Inequalities on Symmetric Spaces of Noncompact Type and Applications

The aim of this paper is to begin a systematic study of functional inequalities on symmetric spaces of noncompact type of higher rank. Our first main goal of this study is to establish the Stein–Weiss inequality, also known as a weighted Hardy–Littlewood–Sobolev inequality, for the Riesz potential on symmetric spaces of noncompact type. This is achieved by performing delicate estimates of ground spherical function with the use of polyhedral distance on symmetric spaces and by combining the integral Hardy inequality developed by Ruzhansky and Verma with the sharp Bessel-Green-Riesz kernel estimates on symmetric spaces of noncompact type obtained by Anker and Ji. As a consequence of the Stein–Weiss inequality, we deduce Hardy–Sobolev, Hardy–Littlewood–Sobolev, Gagliardo–Nirenberg and Caffarelli–Kohn–Nirenberg inequalities on symmetric spaces of noncompact type. The second main purpose of this paper is to show the applications of aforementioned inequalities for studying nonlinear PDEs on symmetric spaces. Specifically, we show that the Gagliardo-Nirenberg inequality can be used to establish small data global existence results for the semilinear wave equations with damping and mass terms for the Laplace–Beltrami operator on symmetric spaces.

On Thurston's Geometrical Space Form Problem: On Quasi Space Forms

A proposal is made for what may well be the most elementary Riemannian spaces which are homogeneous but not isotropic. In other words: a proposal is made for what may well be the nicest symmetric spaces beyond the real space forms, that is, beyond the Riemannian spaces which are homogeneous and isotropic. The above qualification of ‘’nicest symmetric spaces” finds a justification in that, together with the real space forms, these spaces are most natural with respect to the importance in human vision of our ability to readily recognise conformal things and in that these spaces are most natural with respect to what inWeyl’s view is symmetry in Riemannian geometry. Following his suggestion to remove the real space forms’ isotropy condition, the quasi space forms thus introduced do offer a metrical, local geometrical solution to the geometrical space form problem as posed by Thurston in his 1979 Princeton Lecture Notes on ‘’The Geometry and Topology of 3- manifolds”. Roughly speaking, quasi space forms are the Riemannian manifolds of dimension greater than or equal to 3, which are not real space forms but which admit two orthogonally complementary distributions such that at all points all the 2-planes that in the tangent spaces there are situated in a same position relative to these distributions do have the same sectional curvatures.

Homogeneous Quandles with Abelian Inner Automorphism Groups and Vertex-Transitive Graphs

A quandle is an algebraic system originated in knot theory, and can be regarded as a generalization of symmetric spaces. The inner automorphism group of a quandle is defined as the group generated by the point symmetries (right multiplications). In this paper, starting from any simple graphs, we construct quandles whose inner automorphism groups are abelian. We also prove that the constructed quandle is homogeneous if and only if the graph is vertex-transitive. This shows that there is a wide family of quandles with abelian inner automorphism groups, even if we impose the homogeneity. The key examples of such quandles are realized as subquandles of oriented real Grassmannian manifolds.

Geodesics and magnetic curves in the 4-dim almost Kähler model space F4

Abstract We study geodesics and magnetic trajectories in the model space F 4 {{\rm{F}}}^{4} . The space F 4 {{\rm{F}}}^{4} is isometric to the 4-dim simply connected Riemannian 3-symmetric space due to Kowalski. We describe the solvable Lie group model of F 4 {{\rm{F}}}^{4} and investigate its curvature properties. We introduce the symplectic pair of two Kähler forms on F 4 {{\rm{F}}}^{4} . Those symplectic forms induce invariant Kähler structure and invariant strictly almost Kähler structure on F 4 {{\rm{F}}}^{4} . We explore some typical submanifolds of F 4 {{\rm{F}}}^{4} . Next, we explore the general properties of magnetic trajectories in an almost Kähler 4-manifold and characterize Kähler magnetic curves with respect to the symplectic pair of Kähler forms. Finally, we study homogeneous geodesics and homogeneous magnetic curves in F 4 {{\rm{F}}}^{4} .

A unified Fourier slice method to derive ridgelet transform for a variety of depth-2 neural networks

To investigate neural network parameters, it is easier to study the distribution of parameters than to study the parameters in each neuron. The ridgelet transform is a pseudo-inverse operator that maps a given function f to the parameter distribution γ so that a network NN[γ] reproduces f, i.e. NN[γ]=f. For depth-2 fully-connected networks on a Euclidean space, the ridgelet transform has been discovered up to the closed-form expression, thus we could describe how the parameters are distributed. However, for a variety of modern neural network architectures, the closed-form expression has not been known. In this paper, we explain a systematic method using Fourier expressions to derive ridgelet transforms for a variety of modern networks such as networks on finite fields Fp, group convolutional networks on abstract Hilbert space H, fully-connected networks on noncompact symmetric spaces G/K, and pooling layers, or the d-plane ridgelet transform.

On n-Dimensional Maxwell and Dirac Equations in Curved Space-Time and Its Applications in SO(P,Q) Group Theoretic Image Processing

Maxwell equations in p time and q spatial dimensions are formulated. Properties of the Green’s function for the associated (p,q)-wave operator are derived based on contour integration. The notions of electric and magnetic fields in (p,q)-dimensions is explored by analogy with four dimensional physics and the problem of far field computation of the radiation field generated by charges and currents in \((1,n-1)\) space-time is analyzed. SO(p,q) invariance properties of the Maxwell equations are deduced and used to formulate SO(p,q)-group theoretic image processing problems in (p,q)-dimensions. Dirac’s equation in (p,q)-dimensional space-time is derived using the Clifford algebra of the Dirac gamma matrices. SO(p,q)-invariance of the Dirac equation based on the spinor representation of \(SO(p,q)\) is mentioned. The Maxwell’s equations in (p,q)-dimensional curved space-time is analyzed using perturbation theory in the context of maximally symmetric spaces which play a fundamental role in \((p,q)\)-dimensional cosmological models for homogeneous and isotropic spaces. The Einstein-Maxwell equations for (p,q)-dimensional gravity and electromagnetism is studied and used to derive the equations of motion of point charges carrying mass moving under mutual gravitational and electromagnetic interactions in general relativity. Finally, Dirac’s equation in (p,q)-dimensional curved space-time interacting with the (p,q)-dimensional electromagnetic field is looked at. \(U(1)\)-Gauge, local SO(p,q) Lorentz and diffeomorphism invariance of this equation is analyzed. Local \(SO(p,q)\) invariance of the curved space-time Dirac equation is deduced based on transformation properties of the Dirac matrices under the spinor representation. The appendix presents some applications of group representation theoretic statistical image processing on a manifold to the situation when the image field is described by the six component electromagnetic field tensor on which the Lorentz group acts.

Kähler–Einstein metrics on smooth Fano toroidal symmetric varieties of type AIII

The wonderful compactification [Formula: see text] of a symmetric homogeneous space of type AIII[Formula: see text] for each [Formula: see text] is Fano, and its blowup [Formula: see text] along the unique closed orbit is Fano if [Formula: see text] and Calabi–Yau if [Formula: see text]. Using a combinatorial criterion for K-polystability of smooth Fano spherical varieties obtained by Delcroix, we prove that [Formula: see text] admits a Kähler–Einstein metric for each [Formula: see text] and [Formula: see text] admits a Kähler–Einstein metric if and only if [Formula: see text].

Classical analogue of quantum superdense coding and communication advantage of a single quantum system

We analyze utility of communication channels in absence of any short of quantum or classical correlation shared between the sender and the receiver. To this aim, we propose a class of two-party communication games, and show that the games cannot be won given a noiseless 1-bit classical channel from the sender to the receiver. Interestingly, the goal can be perfectly achieved if the channel is assisted with classical shared randomness. This resembles an advantage similar to the quantum superdense coding phenomenon where pre-shared entanglement can enhance the communication utility of a perfect quantum communication line. Quite surprisingly, we show that a qubit communication without any assistance of classical shared randomness can achieve the goal, and hence establishes a novel quantum advantage in the simplest communication scenario. In pursuit of a deeper origin of this advantage, we show that an advantageous quantum strategy must invoke quantum interference both at the encoding step by the sender and at the decoding step by the receiver. We also study communication utility of a class of non-classical toy systems described by symmetric polygonal state spaces. We come up with communication tasks that can be achieved neither with 1-bit of classical communication nor by communicating a polygon system, whereas 1-qubit communication yields a perfect strategy, establishing quantum advantage over them. To this end, we show that the quantum advantages are robust against imperfect encodings-decodings, making the protocols implementable with presently available quantum technologies.

Geometric realization of the Sasa-Satsuma equation on the symmetric space SU(3)/U(2)

The analytic property of the Sasa-Satsuma equation has been well-explored via using an array of mathematical tools (such as the inverse scattering transformation, the Hirota bilinear method and the Darboux transformation). This paper devotes to exploring geometric properties of this equation via the zero curvature representation in terms of the language in Yang-Mills theory. The generalized Landau-Lifshitz type model of Sym-Pohlmeyer moving curves evolving in the symmetric Lie algebra g=k⊕m with initial data being suitably restricted is gauge equivalent to the Sasa-Satsuma equation. This gives a geometric realization of the Sasa-Satsuma equation.

The snapshot problem for the wave equation

By definition, a wave is a C∞ solution u(x,t) of the wave equation on Rn, and a snapshot of the wave u at time t is the function ut on Rn given by ut(x)=u(x,t). We show that there are infinitely many waves with given C∞ snapshots f0 and f1 at times t=0 and t=1 respectively, but that all such waves have the same snapshots at integer times. We present a necessary condition for the uniqueness, and a compatibility condition for the existence, of a wave u to have three given snapshots at three different times, and we show how this compatibility condition leads to the problem of small denominators and Liouville numbers. We extend our results to wave equations on noncompact symmetric spaces. Finally, we consider the two-snapshot problem and corresponding small denominator results for the wave equation on the n-sphere.

Asymptotic behavior of solutions to the extension problem for the fractional Laplacian on noncompact symmetric spaces

This work deals with the extension problem for the fractional Laplacian on Riemannian symmetric spaces G/K of noncompact type and of general rank, which gives rise to a family of convolution operators, including the Poisson operator. More precisely, motivated by Euclidean results for the Poisson semigroup, we study the long-time asymptotic behavior of solutions to the extension problem for L1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L^1$$\\end{document} initial data. In the case of the Laplace–Beltrami operator, we show that if the initial data are bi-K-invariant, then the solution to the extension problem behaves asymptotically as the mass times the fundamental solution, but this convergence may break down in the non-bi-K-invariant case. In the second part, we investigate the long-time asymptotic behavior of the extension problem associated with the so-called distinguished Laplacian on G/K. In this case, we observe phenomena which are similar to the Euclidean setting for the Poisson semigroup, such as L1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L^1$$\\end{document} asymptotic convergence without the assumption of bi-K-invariance.