Construction of Symmetric and Symplectic Bilinear Forms

Let V be a finite-dimensional vector-space. A linear mapping on V is called simple if V( - 1) is 1-dimensional. Let S be a set of simple bijections on V. We discuss conditions entraining that each element of S is orthogonal (respectively symplectic) under an appropriate symmetric (respectively symplectic) bilinear form on V.     

Simple Examples of Symplectic Four-manifolds with Exotic Properties

We construct examples of simply connected nonalgebraic symplectic four-manifolds with a prescribed number of nonintersecting symplectic curves with positive self-intersections.     

Principal bundles on the projective line

We classify principalG-bundles on the projective line over an arbitrary fieldk of characteristic ≠ 2 or 3, whereG is a reductive group. If such a bundle is trivial at ak-rational point, then the structure group can be reduced to a maximal torus.     

仿射辛群作用下的面轨道生成的格

设ASU(2v,F_q)是F_q上的2v维仿射辛空间,ASp_(2v)(F_q)是F_q上的2v次仿射辛群,设M(m,s)是ASp_(2v)(F_q)作用下的(m,s)面的轨道,用L(m,s)表示M(m,s)中面的交生成的集合.讨论了各轨道生成的集合之间的包含关系,一个面是由给定M(m,s)生成的集合中的一个元素的条件,以及L(m,s)何时做成几何格.     

Semisimple Symplectic Symmetric Spaces

A symplectic symmetric space is a connected affine symmetric manifold M endowed with a symplectic structure which is invariant under the geodesic symmetries. When the transvection group G⁰ of such a symmetric space M is semisimple, its action on (M,) is strongly Hamiltonian; a classical theorem due to Kostant implies that the moment map associated to this action realises a G⁰-equivariant symplectic covering of a coadjoint orbit O in the dual of the Lie algebra of G⁰. We show that this orbit itself admits a structure of symplectic symmetric space whose transvection algebra is . The main result of this paper is the classification of symmetric orbits for any semisimple Lie group. The classification is given in terms of root systems of transvection algebras and therefore provides, in a symplectic framework, a theorem analogous to the Borel–de Siebenthal theorem for Riemannian symmetric spaces. When its dimension is greater than 2, such a symmetric orbit is not regular and, in general, neither Hermitian nor pseudo-Hermitian.     

On the Nonlinear Stability of Symplectic Integrators

The modified Hamiltonian is used to study the nonlinear stability of symplectic integrators, especially for nonlinear oscillators. We give conditions under which an initial condition on a compact energy surface will remain bounded for exponentially long times for sufficiently small time steps. While this is easy to achieve for non-critical energy surfaces, in some cases it can also be achieved for critical energy surfaces (those containing critical points of the Hamiltonian). For example, the implicit midpoint rule achieves this for the critical energy surface of the Hénon–Heiles system, while the leapfrog method does not. We construct explicit methods which are nonlinearly stable for all simple mechanical systems for exponentially long times. We also address questions of topological stability, finding conditions under which the original and modified energy surfaces are topologically equivalent. This revised version was published online in July 2006 with corrections to the Cover Date.     

传递辛矩阵群收敛于辛Lie群

通过作用量变分原理,给出了Hamilton正则方程离散积分的传递辛矩阵表示,利用Hamilton正则方程给出了其对应的Lie代数．说明了当时间区段长度趋近于0时,离散系统积分的传递辛矩阵群收敛于连续时间Hamilton系统微分方程分析积分得到的辛Lie群．     

Holomorphic K-Theory, Algebraic Co-cycles, and Loop Groups

In this paper we study the holomorphic K-theory of a projective variety. This K-theory is defined in terms of the homotopy type of spaces of holomorphic maps from the variety to Grassmannians and loop groups. This theory is built out of studying algebraic bundles over a variety up to algebraic equivalence. In this paper we will give calculations of this theory for flag like varieties which include projective spaces, Grassmannians, flag manifolds, and more general homogeneous spaces, and also give a complete calculation for symmetric products of projective spaces. Using the algebraic geometric definition of the Chern character studied by the authors we will show that there is a rational isomorphism of graded rings between holomorphic K-theory and the appropriate morphic cohomology groups, in terms of algebraic co-cycles in the variety. In so doing we describe a geometric model for rational morphic cohomology groups in terms of the homotopy type of the space of algebraic maps from the variety to the symmetrized loop group U(n)/ _n where the symmetric group _n acts on U(n) via conjugation. This is equivalent to studying algebraic maps to the quotient of the infinite Grassmannians BU(k) by a similar symmetric group action. We then use the Chern character isomorphism to prove a conjecture of Friedlander and Walker stating that if one localizes holomorphic K-theory by inverting the Bott class, then rationally this is isomorphic to topological K-theory. Finally this will allows us to produce explicit obstructions to periodicity in holomorphic K-theory, and show that these obstructions vanish for generalized flag mani-folds.     

On the Geometry of Lagrangian Submanifolds

We prove that a Lagrangian submanifold passes through each point of a symplectic manifold in the direction of arbitrary Lagrangian plane at this point. Generally speaking, such a Lagrangian submanifold is not unique; nevertheless, the set of all such submanifolds in Hermitian extension of a symplectic manifold of dimension greater than 4 for arbitrary initial data contains a totally geodesic submanifold (which we call the s-Lagrangian submanifold) iff this symplectic manifold is a complex space form. We show that each Lagrangian submanifold in a complex space form of holomorphic sectional curvature equal to c is a space of constant curvature c/4. We apply these results to the geometry of principal toroidal bundles.     

Actions symplectiques de groupes compacts (Symplectic Actions of Compact Groups)

For any symplectic action of a compact connected group on a compact connected symplectic manifold, we show that the intersection of the Weyl chamber with the image of the moment map is a closed convex polyhedron. This extends Atiyah–Guillemin–Sternberg–Kirwan's convexity theorems to non-Hamiltonian actions. As a consequence, we describe those symplectic actions of a torus which are coisotropic (or multiplicity free), i.e. which have at least one coisotropic orbit: they are the product of an Hamiltonian coisotropic action by an anhamiltonian one. The Hamiltonian coisotropic actions have already been described by Delzant thanks to the convex polyhedron. The anhamiltonian coisotropic actions are actions of a central torus on a symplectic nilmanifold. This text is written as an introduction to the theory of symplectic actions of compact groups since complete proofs of the preliminary classical results are given. An erratum to this article is available at .     

Error Analysis of the Symplectic Lanczos Method for the Symplectic Eigenvalue Problem

A rounding error analysis of the symplectic Lanczos algorithm for the symplectic eigenvalue problem is given. It is applicable when no break down occurs and shows that the restriction of preserving the symplectic structure does not destroy the characteristic feature of nonsymmetric Lanczos processes. An analog of Paige's theory on the relationship between the loss of orthogonality among the Lanczos vectors and the convergence of Ritz values in the symmetric Lanczos algorithm is discussed. As to be expected, it follows that (under certain assumptions) the computed J-orthogonal Lanczos vectors loose J-orthogonality when some Ritz values begin to converge.     

关于内亏格1的弱可约SD-分解(英)

设(M；H_1,H_2；F_0)为带边3-流形M的一个SD-分解．称该分解为可约的(或弱可约的)若存在本质圆片D_1■H)_1,D_2■H_2使得■D_1,■D_2■F_0并且■D_1=■D_2(或■D_1∩■D_2=■)．称(M；H_1,H_2；F_0)为内亏格1若F_0为穿孔环面．本文主要结果：一个弱可约的内亏格1的SD-分解或是可约的或是双经的．     

On Subgroups of the General Linear Group over the Skew Field of Quaternions Which Include the Symplectic Group

Subgroups of the general linear group over the skew field of quaternions are described which include the symplectic group over some subfield of this skew field.     

Complex Symplectic Geometry of Quasi-Fuchsian Space

We study the complex symplectic geometry of the space QF(S) of quasi-Fuchsian structures of a compact orientable surface S of genus g > 1. We prove that QF(S) is a complex symplectic manifold. The complex symplectic structure is the complexification of the Weil–Petersson symplectic structure of Teichmüller space and is described in terms which look natural from the point of view of hyperbolic geometry.     

On Subgroups and Quotient Groups of L-fuzzy Topological Groups

In paper [1], it gave the concept and basic properties of L-fuzzy topological groups. This paper will enter the concept of quotient groups of L-fuzzy topological groups and will prove some properties of subgroups and quotient groups. The persent work is the continuation of [1] and hence all the conventions in [1] still hold good in the present paper.     

关于嵌入图的最大亏格

不依赖图的其它参数, 而主要依据图嵌入在定向曲面上的有关嵌入性质, 该文研究图的最大亏格.     

On Infinite Camina Groups

A group G is called a Camina group if G′ ≠ G and each element x ∈ G?G′ satisfies the equation x ^G  = xG′, where x ^G denotes the conjugacy class of x in G. Finite Camina groups were introduced by Alan Camina in 1978, and they had been studied since then by many authors. In this article, we start the study of infinite Camina groups. In particular, we characterize infinite Camina groups with a finite G′ (see Theorem 3.1) and we show that infinite non-abelian finitely generated Camina groups must be nonsolvable (see Theorem 4.3). We also describe locally finite Camina groups, residually finite Camina groups (see Section 3) and some periodic solvable Camina groups (see Section 5).     

On the Hopficity of HNN-Extensions of Polycyclic Groups

For a group G, an HNN-extension of polycyclic groups, we give two necessary and sufficient conditions for G to be hopfian. One is based on the nature of the endomorphism of G and the other on the nature of the associated subgroups of G. At the end, we give an application for HNN-extensions of nilpotent groups.