A Borsuk-Ulam Theorem for compact Lie group actions

Let G be a compact Lie group. Let X, Y be free G-spaces. In this paper, we consider the question of the existence of G-maps f : X → Y . As a consequence, we obtain a theorem about the existence of ℤ_p-coincidence points. *The author was supported by FAPESP of Brazil Grant 01/02226-9.     

The biinvariant diagonal class for Hamiltonian torus actions

Suppose that an algebraic torus G acts algebraically on a projective manifold X with generically trivial stabilizers. Then the Zariski closure of the set of pairs {(x,y)∈X×X|y=gx for some g∈G} defines a nonzero equivariant cohomology class . We give an analogue of this construction in the case where X is a compact symplectic manifold endowed with a Hamiltonian action of a torus, whose complexification plays the role of G. We also prove that the Kirwan map sends the class [ΔG] to the class of the diagonal in each symplectic quotient. This allows to define a canonical right inverse of the Kirwan map.     

A convexity theorem for three tangled Hamiltonian torus actions,and super-integrable systems

A completely integrable system on a symplectic manifold is called super-integrable when the number of independent integrals of motion is more than half the dimension of the manifold. Several important completely integrable systems are super-integrable: the harmonic oscillators, the Kepler system, the non-periodic Toda lattice, etc. Motivated by an additional property of the super-integrable system of the Toda lattice (Agrotis et al., 2006) [2], we will give a generalization of the Atiyah and Guillemin–Sternberg?s convexity theorem.     

Infinitesimal orbit type theorem for normalizable actions

Let α:G×M→M$\alpha :G\times M\to M$ be a differentiable action of a Lie group G$G$ on a connected differentiable manifold M$M$. Assume that the local tube theorem holds at every x∈M$x\in M$. Then the following is proved: there is a maximal infinitesimal orbit type, called the principal, such that the union of the orbits belonging to this infinitesimal type is an open and dense set in M$M$.     

On Macdonald's formula for the volume of a compact Lie group

We give a simple proof of Macdonald's formula for the volume of a compact Lie group. Received: May 10, 1997     

A central extension theorem for essential dimensions

Let be an arbitrary field and a finite group. We will denote by the essential dimension of over . A generalization of the central extension theorem of Buhler and Reichstein (Compositio Math. 106 (1997) 159-179, Theorem 5.3) is obtained.

     

A fixed point theorem for a family of mappings in a fuzzy metric space

In this paper we give a common fixed point theorem for a family of mappings of a G-complete fuzzy metric space (X, M, *) into itself. From this result we deduce a common fixed point theorem for a family of mappings of a complete metric space (X, d) into itself. Supported by University of Palermo.     

Cohomology of solvable lie algebras and solvmanifolds

The cohomology H^* (G/,) of the de Rham complex *(G/) of a compact solvmanifold G/ with deformed differential d = d + , where is a closed 1 -form, is studied. Such cohomologies naturally arise in Morse-Novikov theory. It is shown that, for any completely solvable Lie group G containing a cocompact lattice G, the cohomology H^*(G/, ) is isomorphic to the cohomology H^*( ) of the tangent Lie algebra of the group G with coefficients in the one-dimensional representation : defined by () = (). Moreover, the cohomology H ^*(G/,) is nontrivial if and only if -[] belongs to a finite subset of H ¹(G/,) defined in terms of the Lie algebra .Translated from Matematicheskie Zametki, vol. 77, no. 1, 2005, pp. 67–79.Original Russian Text Copyright © 2005 by D. V. Millionshchikov.This revised version was published online in April 2005 with a corrected issue number.     

Rational Mackey functors for compact lie groups I

A Mackey functor M is a structure analogous to the representationring functor H R(H) encoding good formal behaviour under inductionand restriction. More explicitly, M associates an abelian groupM(H) to each closed subgroup H of a fixed compact Lie groupG, and to each inclusion K H it associates a restriction map and an induction map . This paper gives an analysis of thecategory of Mackey functors M whose values are rational vectorspaces: such a Mackey functor may be specified by giving a suitablycontinuous family consisting of a Q ₀(W_G(H))-module V(H) foreach closed subgroup H with restriction maps V(K) V(K) wheneverK is normal in K and K/K is a torus (a ‘continuous Weyl-toralmodule’). We show that the category of rational Mackeyfunctors is equivalent to the category of rational continuousWeyl-toral modules. In Part II this will be used to give analgebraic analysis of the category of rational Mackey functors,showing in particular that it has homological dimension equalto the rank of the group. 1991 Mathematics Subject Classification:19A22, 20C99, 22E15, 55N91, 55P42, 55P91.     

用投影方法求耗散广义Hamilton约束系统的李群积分

针对耗散广义Hamilton约束系统,通过引入拉格朗日乘子和采用投影技术,给出了一种保持动力系统内在结构和约束不变性的李群积分法．首先将带约束条件的耗散Hamilton系统化为无约束广义Hamilton系统, 进而讨论了无约束广义Hamilton系统的李群积分法,最后给出了广义Hamilton约束系统李群积分的投影方法．采用投影技术保证了约束的不变性,引入拉格朗日乘子后,在向约束流形投影时不会破坏原动力系统的李群结构．讨论的内容仅限于完整约束系统, 通过数值例题说明了方法的有效性．     

Techniques for searching first integrals by lie group and application to gyroscope system

In the paper, the methods of finding first integrals of an autonomous system using one-parameter Lie groups are discussed. A class of nontrivial one-parameter Lie groups admitted by the classical gyroscope system is found, and based on the properties of first integral determined by the one-parameter Lie group, the fourth first integral of the gyroscope system in Euler case, Lagrange case and Kovalevskaya case can be obtained in a uniform idea. An error on the fourth first integral in general Kovalevskaya case (A = B = 2C, ZG =0), which appeared in literature is found and corrected.     

A fixed point theorem for the infinite-dimensional simplex

We define the infinite-dimensional simplex to be the closure of the convex hull of the standard basis vectors in R^∞, and prove that this space has the fixed point property: any continuous function from the space into itself has a fixed point. Our proof is constructive, in the sense that it can be used to find an approximate fixed point; the proof relies on elementary analysis and Sperner's lemma. The fixed point theorem is shown to imply Schauder's fixed point theorem on infinite-dimensional compact convex subsets of normed spaces.     

Ergodicity of mapping class group actions on representation varieties, I. Closed surfaces

We prove that the mapping class group of a closed surface acts ergodically on connected components of the representation variety corresponding to a connected compact Lie group. Received: March 21, 2001     

A group theoretic criterion for property FA

We give group-theoretic conditions on a set of generators of a group which imply that admits no non-trivial action on a tree. The criterion applies to several interesting classes of groups, including automorphism groups of most free groups and mapping class groups of most surfaces.

     

p-距离空间中的一类压缩映象的不动点定理

仿照距离空间,2-距离空间中的一些概念,引入了p-距离空间及p-距离空间中的一些基本概念.根据研究2-距离空间中不动点理论的思想和方法,利用泛函分析的理论,对p-距离空间中的不动点问题进行了研究.把2.距离空间中压缩型映像的不动点理论移植到了p-距离空间中,形成了p-距离空间中压缩型映像的一些基本不动点理论.其距.离空...     

A KAM-type Theorem for Generalized Hamiltonian Systems

In this paper we mainly concern the persistence of invariant tori in generalized Hamiltonian systems. Here the generalized Hamiltonian systems refer to the systems which may admit a distinct number of action and angle variables. In particular, system under consideration can be odd dimensional. Under the Riissmann type non-degenerate condition, we proved that the majority of the lower-dimension invariant tori of the integrable systems in generalized Hamiltonian system are persistent under small perturbation. The surviving lower-dimensional tori might be elliptic, hyperbolic, or of mixed type.     

A multiplier theorem for the sublaplacian on the Heisenberg group

A multiplier theorem for the sublaplacian on the Heisenberg group is proved using Littlewood-Paley-Stein theory ofg-functions.