The Positive Fundamental Group of Sp(2) and Sp(4)
In this paper, we examine the homotopy classes of positive loops in Sp(2) and Sp(4). We show that two positive loops are homotopic if and only if they are homotopic through positive loops.
SEARCH · Searcharxiv
Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
In this paper, we examine the homotopy classes of positive loops in Sp(2) and Sp(4). We show that two positive loops are homotopic if and only if they are homotopic through positive loops.
In this paper a functional definition of geodesics is introduced which allows to generalize the notion of a geodesic from smooth to topological manifolds. It is shown that in the smooth case the new definition coincides with the classical definition of geodesics of a linear connection. If the smoothness is not required, it is shown by an example that the new definition includes geodesics of non-linear, homogeneous connections. Moreover, an example of generalized geodesics which does not arise from any connection is presented here.
Let G be a complex reductive group and K a maximal compact subgroup. If X is a smooth projective G-variety, with a fixed (not necessarily integral) K-invariant Kaehler form, then the K-action is Hamiltonian. Let M be the zero fiber of the corresponding moment map. It is well known that the quotient M/K is a complex space in a natural way. We prove that M/K is a projective variety. In particular, it follows that semistability with respect to a moment map is equivalent to semistability in the sense of Mumford.
Consider a lattice $Γ$ in a group $G = SL_2(\R), SO(1,n), SU(1,n)$, $SL_2(\Q_p)$. We discuss actions of $Γ$ by affine isometric transformations of Hilbert spaces. We show that for irreducible affine isometric action of $G$ its restriction to $Γ$ is irreducible. We prove the existence of canonical irreducible affine isometric actions of $Γ$ associated to actions of $Γ$ on $\R$- trees. Using such actions we construct irreducible representations of semigroup of probabilistic measures on $Γ$ and construct the series of representations of the groups of diffeomorphisms of Riemann surfaces enumerated by the points of Thurston compactification of Teichmüller (Teichmuller) space.
We consider a connected compact Lie group K acting on a symplectic manifold M such that a moment map m exists. A pull-back function via m Poisson commutes with all K-invariants. Guillemin-Sternberg raised the problem to find a converse. In this paper, we solve this problem by determining the Poisson commutant of the algebra of K-invariants. It is completely controlled by the image of m and a certain subquotient W_M of the Weyl group of K. The group W_M is also a reflection group and forms a symplectic analogue of the little Weyl group of a symmetric space. The proof rests ultimately on techniques from algebraic geometry. In fact, a major part of the paper is of independent interest: it establishes connectivity and reducedness properties of the fibers of the (complex algebraic) moment map of a complex cotangent bundle.
Global isothermic immersions are defined and studied with the aid of a connection between quadratic differentials and immersions. The applications are two problems stemming from the fundamental question: how much data is needed to identify a surface immersion (Christoffel's problem) or its shape (Bonnet's problem). A short complete solution of Christoffel's problem, including closed surfaces, is given. It is shown that every immersion of an oriented closed surface (genus $\neq$ 1) is uniquely determined up to similitude by its conformal class and the tangent planes map. A classification of all generic Bonnet surfaces follows from a series of papers by Bonnet, Cartan, and Chern. The existence of a new class of Bonnet surfaces is shown here. The understanding of this class is necessary in order to study the rigidity of closed surfaces.
We prove that under certain mild assumptions a Lie bialgebroid integrates to a Poisson groupoid. This includes, in particular, a new proof of the existence of local symplectic groupoids for any Poisson manifold, a theorem of Karasev and of Weinstein.
We complete the construction of the double Lie algebroid of a double Lie groupoid begun in the first paper of this title. We show that the Lie algebroid structure of an LA--groupoid may be prolonged to the Lie algebroid of its Lie groupoid structure; in the case of a double groupoid this prolonged structure for either LA--groupoid is canonically isomorphic to the Lie algebroid structure associated with the other; this extends many canonical isomorphisms associated with iterated tangent and cotangent structures. We also show that the cotangent of a double Lie groupoid is a symplectic double groupoid, and that the side groupoids of any symplectic double groupoid are Poisson groupoids in duality. Thus any double Lie groupoid gives rise to a dual pair of Poisson groupoids.
Let M be a simply connected Riemannian symmetric space, with at most one flat direction. We show that every Riemannian (or unitary) vector bundle with parallel curvature over M is an associated vector bundle of a canonical principal bundle, with the connection inherited from the principal bundle. The problem of finding Riemannian (or unitary) vector bundles with parallel curvature then reduces to finding representations of the structure group of the canonical principal bundle.
This is an expository article, explaining recent work by D. Groisser and myself [GS] on the extent to which the boundary region of moduli space contributes to the ``simple type'' condition of Donaldson theory. The presentation is intended to complement [GS], presenting the essential ideas rather than the analytical details. It is shown that the boundary region of moduli space contributes 6/64 of the homology required for simple type, regardless of the topology or geometry of the underlying 4-manifold. The simple type condition thus reduces to a statement about the interior of moduli space, namely that the interior of the (k+1)st ASD moduli space, intersected with two representatives of (4 times) the point class, be homologous to 58 copies of the (k)-th moduli space. This is peculiar, since the only known embeddings of the (k)-th moduli space into the (k+1)st involve Taubes patching, and the image of such an embedding lies entirely in the boundary region.
We measure, in two distinct ways, the extent to which the boundary region of moduli space contributes to the ``simple type'' condition of Donaldson theory. Using a geometric representative of μ(pt), the boundary region of moduli space contributes 6/64 of the homology required for simple type, regardless of the topology or geometry of the underlying 4-manifold. The simple type condition thus reduces to the interior of the k+1st ASD moduli space, intersected with two representatives of (4 times) the point class, being homologous to 58 copies of the k-th moduli space. This is peculiar, since the only known embeddings of the k-th moduli space into the k+1st involve Taubes gluing, and the images of such embeddings lie entirely in the boundary region. When using de Rham representatives of mu(pt), the boundary region contributes 1/8 of what is needed for simple type, again regardless of the topology or geometry of the underlying 4-manifold. The difference between this and the geometric representative answer is surprising but not contradictory, as the contribution of a fixed region to the Donaldson invariants is geometric, not topological.
We show that an invariant surface allows to construct the Jacobi vector field along a geodesic and construct the formula for the normal component of the Jacobi field. If a geodesic is the transversal intersection of two invariant surfaces (such situation we have, for example, if the geodesic is hyperbolic), then we can construct a fundamental solution of the the Jacobi-Hill equation. This is done for quadratically integrable geodesic flows.
There is a well-known example of integrable conservative system on $S^2$, the case of Kovalevskaya in the dynamics of a rigid body, possessing an integral of fourth degree in momenta. Goryachev proposed a one-parameter family of examples of conservative systems on $S^2$ possessing an integral of fourth degree in momenta which includes the case of Kovalevskaya. In this paper we proposed new examples of conservative systems on $S^2$ possessing an integral of fourth degree in momenta.
Let G be a complex Lie group, G_R a real form of G and X a G_R-stable domain of holomorphy in a complex G-manifold. If there is a G_R-invariant strictly plurisubharmonic function on X which has certain exhaustion properties, then we show that the extended domain G.X is also a domain of holomorphy. As an application we give a proof of the extended future tube conjecture. This is the assertion that G.X is a domain of holomorphy in the case where X is the N-fold product of the tube domain in C^4 over the positive light cone in R^4 and G is the connected complex Lorentz group acting diagonally.
In this paper, we establish a general relationship between the nonvanishing of GW invariants with the existence of the closed orbits of a Hamiltonian system. As an application, we completely solved the stabilized Weinstein conjecture.
The Hochschild and cyclic homology groups are computed for the algebra of `cusp' pseudodifferential operators on any compact manifold with boundary. The index functional for this algebra is interpreted as a Hochschild 1-cocycle and evaluated in terms of extensions of the trace functionals on the two natural ideals, corresponding to the two filtrations by interior order and vanishing degree at the boundary, together with the exterior derivations of the algebra. This leads to an index formula which is a pseudodifferential extension of that of Atiyah, Patodi and Singer for Dirac operators; together with a symbolic term it involves the `eta' invariant on the suspended algebra over the boundary previously introduced by the first author.
Let $M$ be a complete Riemannian manifold and let $Ω^*(M)$ denote the space of differential forms on $M$. Let $d:Ω^*(M) \to Ω^{*+1}(M)$ be the exterior differential operator and let $\Del=dd^*+d^*d$ be the Laplacian. We establish a sufficient condition for the Schroedinger operator $H=\Del+V(x)$ (where the potential $V(x):Ω^*(M)\to Ω^*(M)$ is a zero order differential operator) to be self-adjoint. Our result generalizes a theorem by Igor Oleinik about self-adjointness of a Schroedinger operator which acts on the space of scalar valued functions.
Various semigroups of noninvertible supermatrices of the special (antitriangle) shape having nilpotent Berezinian which appear in supersymmetric theories are defined and investigated. A subset of them continuously represents left and right zero semigroups and rectangular bands. The ideal properties of higher order rectangular band analogs and the ``wreath'' version of them are studied in detail. We introduce the ``fine'' equivalence relations leading to ``multidimesional'' eggbox diagrams. They are full images of Green's relations on corresponding subsemigroups.