scholarly journals Embedding of Strongly Topological Gyrogroups in Path-Connected and Locally Path-Connected Gyrogroups

Symmetry ◽  
2020 ◽  
Vol 12 (11) ◽  
pp. 1817
Author(s):  
Jaturon Wattanapan ◽  
Watchareepan Atiponrat ◽  
Teerapong Suksumran
Keyword(s):  
Symmetric Space ◽  
Algebraic Structure ◽  
Isomorphic Copy ◽  
Path Connected

A gyrogroup, an algebraic structure that generalizes groups, is modeled on the bounded symmetric space of relativistically admissible velocities endowed with Einstein’s addition. Given a gyrogroup G, we offer a new way to construct a gyrogroup G• such that G• contains a gyro-isomorphic copy of G. We then prove that every strongly topological gyrogroup G can be embedded as a closed subgyrogroup of the path-connected and locally path-connected topological gyrogroup G•. We also study several properties shared by G and G•, including gyrocommutativity, first countability and metrizability. As an application of these results, we prove that being a quasitopological gyrogroup is equivalent to being a strongly topological gyrogroup in the class of normed gyrogroups.

INTEGRABILITY AND SYMMETRIC SPACES II: THE COSET SPACES

1989 ◽  
Vol 04 (03) ◽  
pp. 675-699 ◽  
Author(s):  
L. A. FERREIRA
Keyword(s):  
Symmetric Space ◽  
Poisson Bracket ◽  
Algebraic Structure ◽  
Symmetric Spaces ◽  
Sufficient Condition ◽  
Conserved Quantities ◽  
Coset Space ◽  
Canonical Variables ◽  
Coset Spaces

It is shown that a sufficient condition for a model describing the motion of a particle on a coset space to possess a Fundamental Poisson bracket Relation, and consequently charges in involution, is that it must be a symmetric space. The conditions, a Hamiltonian, or any functions of the canonical variables, has to satisfy in order to commute with these charges, are studied. It is shown that, for the case of the noncompact symmetric spaces, these conditions lead to an algebraic structure which plays an important role in the construction of conserved quantities.

Minimum and Conjugate Points in Symmetric Spaces

1962 ◽  
Vol 14 ◽  
pp. 320-328 ◽  
Author(s):  
Richard Crittenden
Keyword(s):  
Symmetric Space ◽  
Algebraic Structure ◽  
Tangent Bundle ◽  
Tangent Space ◽  
Symmetric Spaces ◽  
Conjugate Points ◽  
Minimum Cut ◽  
Cut Locus ◽  
Connected Case ◽  
Simply Connected

The purpose of this paper is to discuss conjugate points in symmetric spaces. Although the results are neither surprising nor altogether unknown, the author does not know of their explicit occurrence in the literature.Briefly, conjugate points in the tangent bundle to the tangent space at a point of a symmetric space are characterized in terms of the algebraic structure of the symmetric space. It is then shown that in the simply connected case the first conjugate locus coincides with the minimum (cut) locus. The interest in this last fact lies in its identification of a more or less locally and analytically defined set with one which includes all the topological interest of the space.

scholarly journals A note on rings of continous functions

1978 ◽  
Vol 1 (1) ◽  
pp. 87-92
Author(s):  
J. S. Yang
Keyword(s):  
Topological Space ◽  
Large Class ◽  
Algebraic Structure ◽  
Continuous Functions ◽  
Regular Space ◽  
Topological Ring ◽  
Completely Regular ◽  
Pointwise Multiplication ◽  
Path Connected

For a topological spaceX, and a topological ringA, letC(X,A)be the ring of all continuous functions fromXintoAunder the pointwise multiplication. We show that the theorem “there is a completely regular spaceYassociated with a given topological spaceXsuch thatC(Y,R)is isomorphic toC(X,R)” may be extended to a fairly large class of topologlcal rings, and that, in the study of algebraic structure of the ringC(X,A), it is sufficient to studyC(X,R)ifAis path connected.

Hypoelliptic Laplacian and Orbital Integrals (AM-177)

2011 ◽  
Author(s):  
Jean-Michel Bismut
Keyword(s):  
Fixed Point ◽  
Symmetric Space ◽  
Heat Kernel ◽  
Geodesic Flow ◽  
Casimir Operator ◽  
Index Theory ◽  
Weighted Sum ◽  
Orbital Integrals ◽  
Hypoelliptic Heat Kernel ◽  
Wave Kernel

This book uses the hypoelliptic Laplacian to evaluate semisimple orbital integrals in a formalism that unifies index theory and the trace formula. The hypoelliptic Laplacian is a family of operators that is supposed to interpolate between the ordinary Laplacian and the geodesic flow. It is essentially the weighted sum of a harmonic oscillator along the fiber of the tangent bundle, and of the generator of the geodesic flow. In this book, semisimple orbital integrals associated with the heat kernel of the Casimir operator are shown to be invariant under a suitable hypoelliptic deformation, which is constructed using the Dirac operator of Kostant. Their explicit evaluation is obtained by localization on geodesics in the symmetric space, in a formula closely related to the Atiyah-Bott fixed point formulas. Orbital integrals associated with the wave kernel are also computed. Estimates on the hypoelliptic heat kernel play a key role in the proofs, and are obtained by combining analytic, geometric, and probabilistic techniques. Analytic techniques emphasize the wavelike aspects of the hypoelliptic heat kernel, while geometrical considerations are needed to obtain proper control of the hypoelliptic heat kernel, especially in the localization process near the geodesics. Probabilistic techniques are especially relevant, because underlying the hypoelliptic deformation is a deformation of dynamical systems on the symmetric space, which interpolates between Brownian motion and the geodesic flow. The Malliavin calculus is used at critical stages of the proof.

scholarly journals Some results on the span of families of Banach valued independent, random variables

1991 ◽  
Vol 14 (2) ◽  
pp. 381-384
Author(s):  
Rohan Hemasinha
Keyword(s):  
Banach Space ◽  
Probability Space ◽  
Linear Span ◽  
Random Variables ◽  
Isomorphic Copy ◽  
Independent Random Variables ◽  
Closed Linear Span

LetEbe a Banach space, and let(Ω,ℱ,P)be a probability space. IfL1(Ω)contains an isomorphic copy ofL1[0,1]then inLEP(Ω)(1≤P<∞), the closed linear span of every sequence of independent,Evalued mean zero random variables has infinite codimension. IfEis reflexive orB-convex and1<P<∞then the closed(in LEP(Ω))linear span of any family of independent,Evalued, mean zero random variables is super-reflexive.

scholarly journals Gauged double field theory as an L∞ algebra

2021 ◽  
Vol 2021 (6) ◽  
Author(s):  
Eric Lescano ◽  
Martín Mayo
Keyword(s):  
Field Theory ◽  
Algebraic Structure ◽  
Classical Field ◽  
Field Theories ◽  
Lie Derivative ◽  
Linear Perturbation ◽  
Double Field Theory ◽  
Generalized Frame ◽  
Symmetry Transformations ◽  
Classical Field Theories

Abstract L∞ algebras describe the underlying algebraic structure of many consistent classical field theories. In this work we analyze the algebraic structure of Gauged Double Field Theory in the generalized flux formalism. The symmetry transformations consist of a generalized deformed Lie derivative and double Lorentz transformations. We obtain all the non-trivial products in a closed form considering a generalized Kerr-Schild ansatz for the generalized frame and we include a linear perturbation for the generalized dilaton. The off-shell structure can be cast in an L3 algebra and when one considers dynamics the former is exactly promoted to an L4 algebra. The present computations show the fully algebraic structure of the fundamental charged heterotic string and the $$ {L}_3^{\mathrm{gauge}} $$ L 3 gauge structure of (Bosonic) Enhanced Double Field Theory.

scholarly journals Polymorphic Iterable Sequential Effect Systems

2021 ◽  
Vol 43 (1) ◽  
pp. 1-79
Author(s):  
Colin S. Gordon
Keyword(s):  
Algebraic Structure ◽  
Position Effect ◽  
Type Systems ◽  
Sequential Effect ◽  
Prior Work ◽  
Sequential Effects ◽  
Wide Range ◽  
The Relationship ◽  
Categorical Semantics

Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect systems is limited primarily to systems where the order of effects is irrelevant. Understanding such systems in terms of a semilattice of effects grounds understanding of the essential issues and provides guidance when designing new effect systems. By contrast, sequential effect systems—where the order of effects is important—lack an established algebraic structure on effects. We present an abstract polymorphic effect system parameterized by an effect quantale—an algebraic structure with well-defined properties that can model the effects of a range of existing sequential effect systems. We define effect quantales, derive useful properties, and show how they cleanly model a variety of known sequential effect systems. We show that for most effect quantales, there is an induced notion of iterating a sequential effect; that for systems we consider the derived iteration agrees with the manually designed iteration operators in prior work; and that this induced notion of iteration is as precise as possible when defined. We also position effect quantales with respect to work on categorical semantics for sequential effect systems, clarifying the distinctions between these systems and our own in the course of giving a thorough survey of these frameworks. Our derived iteration construct should generalize to these semantic structures, addressing limitations of that work. Finally, we consider the relationship between sequential effects and Kleene Algebras, where the latter may be used as instances of the former.

scholarly journals THE SMOOTHNESS OF ORBITAL MEASURES ON NONCOMPACT SYMMETRIC SPACES

2021 ◽  
pp. 1-20
Author(s):  
SANJIV KUMAR GUPTA ◽  
KATHRYN E. HARE
Keyword(s):  
Symmetric Space ◽  
Symmetric Spaces ◽  
Continuous Measure ◽  
Convolution Product ◽  
Absolutely Continuous ◽  
Regular Elements ◽  
Connected Subgroup ◽  
Decay Properties ◽  
Absolutely Continuous Measure ◽  
Special Case

Abstract Let $G/K$ be an irreducible symmetric space, where G is a noncompact, connected Lie group and K is a compact, connected subgroup. We use decay properties of the spherical functions to show that the convolution product of any $r=r(G/K)$ continuous orbital measures has its density function in $L^{2}(G)$ and hence is an absolutely continuous measure with respect to the Haar measure. The number r is approximately the rank of $G/K$ . For the special case of the orbital measures, $\nu _{a_{i}}$ , supported on the double cosets $Ka_{i}K$ , where $a_{i}$ belongs to the dense set of regular elements, we prove the sharp result that $\nu _{a_{1}}\ast \nu _{a_{2}}\in L^{2},$ except for the symmetric space of Cartan class $AI$ when the convolution of three orbital measures is needed (even though $\nu _{a_{1}}\ast \nu _{a_{2}}$ is absolutely continuous).

ISOMETRY HORIZONS IN SPHERICALLY SYMMETRIC SPACE–TIMES

2006 ◽  
Vol 03 (05n06) ◽  
pp. 1263-1271
Author(s):  
J. SZENTHE
Keyword(s):  
Symmetric Space ◽  
Spherically Symmetric ◽  
Isometric Action ◽  
Event Horizons ◽  
Killing Horizons

Some event horizons in space–times that are invariant under an isometric action, considered first by Carter, are called isometry horizons, especially Killing horizons. In this paper, isometry horizons in spherically symmetric space–times are considered. It is shown that these isometry horizons are all Killing horizons.

scholarly journals On equicontinuous factors of flows on locally path-connected compact spaces

2020 ◽  
pp. 1-18
Author(s):  
NIKOLAI EDEKO
Keyword(s):  
Lie Group ◽  
Metric Space ◽  
Betti Number ◽  
Alternative Proof ◽  
Simple Consequence ◽  
Compact Metric Space ◽  
Invariant Functions ◽  
Compact Spaces ◽  
Path Connected

Abstract We consider a locally path-connected compact metric space K with finite first Betti number $\textrm {b}_1(K)$ and a flow $(K, G)$ on K such that G is abelian and all G-invariant functions $f\,{\in}\, \text{\rm C}(K)$ are constant. We prove that every equicontinuous factor of the flow $(K, G)$ is isomorphic to a flow on a compact abelian Lie group of dimension less than ${\textrm {b}_1(K)}/{\textrm {b}_0(K)}$ . For this purpose, we use and provide a new proof for Theorem 2.12 of Hauser and Jäger [Monotonicity of maximal equicontinuous factors and an application to toral flows. Proc. Amer. Math. Soc.147 (2019), 4539–4554], which states that for a flow on a locally connected compact space the quotient map onto the maximal equicontinuous factor is monotone, i.e., has connected fibers. Our alternative proof is a simple consequence of a new characterization of the monotonicity of a quotient map $p\colon K\to L$ between locally connected compact spaces K and L that we obtain by characterizing the local connectedness of K in terms of the Banach lattice $\textrm {C}(K)$ .

Sign in / Sign up

Export Citation Format

Share Document