On varieties parametrizing graded complex Lie algebras

We study spaces parametrizing graded complex Lie algebras from geometric as well as algebraic point of view. If R is a finite-dimensional complex Lie algebra, which is graded by a finite abelian group of order n, then a graded contraction of R, denoted by , is defined by a complex n × n-matrix , i, j = 1, . . . , n. In order for to be a Lie algebra, should satisfy certain homogeneous equations. In turn, these equations determine a projective variety X _R . We compute the first homology group of an irreducible component M of X _R , under some assumptions on M. We look into algebraic properties of graded Lie algebras where .      

Equivariant uniformization theorem for subanalytic sets

In this paper we prove an equivariant version of the uniformization theorem for closed subanalytic sets: Let G be a Lie group and let M be a proper real analytic G-manifold. Let X be a closed subanalytic G-invariant subset of M. We show that there exist a proper real analytic G-manifold N of the same dimension as X and a proper real analytic G-equivariant map such that .      

A speciality theorem for curves in P<Superscript>5</Superscript>

Let be an integral projective curve. One defines the speciality index e(C) of C as the maximal integer t such that , where ω _C denotes the dualizing sheaf of . Extending a classical result of Halphen concerning the speciality of a space curve, in the present paper we prove that if is an integral degree d curve not contained in any surface of degree  < s, in any threefold of degree  < t, and in any fourfold of degree  < u, and if , then Moreover equality holds if and only if C is a complete intersection of hypersurfaces of degrees u, , and . We give also some partial results in the general case , .      

Première valeur propre du laplacien, volume conforme et chirurgies

We define a new differential invariant a compact manifold by , where V _c (M, [g]) is the conformal volume of M for the conformal class [g], and prove that it is uniformly bounded above. The main motivation is that this bound provides a upper bound of the Friedlander-Nadirashvili invariant defined by . The proof relies on the study of the behaviour of when one performs surgeries on M.      

Obstruction classes of crossed modules of Lie algebroids and Lie groupoids linked to existence of principal bundles

Let K be a Lie group and P be a K-principal bundle on a manifold M. Suppose given furthermore a central extension of K. It is a classical question whether there exists a -principal bundle on M such that . Neeb (Commun. Algebra 34:991–1041, 2006) defines in this context a crossed module of topological Lie algebras whose cohomology class is an obstruction to the existence of . In the present article, we show that is up to torsion a full obstruction for this problem, and we clarify its relation to crossed modules of Lie algebroids and Lie groupoids, and finally to gerbes.      

The symplectomorphism group of a blow up

We study the relation between the symplectomorphism group Symp M of a closed connected symplectic manifold M and the symplectomorphism and diffeomorphism groups Symp and Diff of its one point blow up . There are three main arguments. The first shows that for any oriented M the natural map from to is often injective. The second argument applies when M is simply connected and detects nontrivial elements in the homotopy group that persist into the space of self-homotopy equivalences of . Since it uses purely homological arguments, it applies to c-symplectic manifolds (M, a), that is, to manifolds of dimension 2n that support a class such that . The third argument uses the symplectic structure on M and detects nontrivial elements in the (higher) homology of BSymp, M using characteristic classes defined by parametric Gromov–Witten invariants. Some results about many point blow ups are also obtained. For example we show that if M is the four-torus with k-fold blow up (where k > 0) then is not generated by the groups as ranges over the set of all symplectic forms on . Partially supported by NSF grants DMS 0305939 and 0604769.     

Diameter preserving bijections between Grassmann spaces over Bezout domains

Let R, S be Bezout domains. Assume that n is an integer ≥ 3, 1 ≤ k ≤ n − 2. Denoted by the k-dimensional Grassmann space on . Let be a map. This paper proves the following are equivalent: (i) is an adjacency preserving bijection in both directions. (ii) is a diameter preserving bijection in both directions. Moreover, Chow’s theorem on Grassmann spaces over division rings is extended to the case of Bezout domains: If is an adjacency preserving bijection in both directions, then is induced by either a collineation or the duality of a collineation. Project 10671026 supported by National Natural Science Foundation of China.     

Closed geodesics on compact nilmanifolds with Chevalley rational structure

We study the distribution of closed geodesics on nilmanifolds Γ \ N arising from a 2-step nilpotent Lie algebra constructed from an irreducible representation of a compact semisimple Lie algebra on a real finite dimensional vector space U. We determine sufficient conditions on the semisimple Lie algebra for Γ \ N to have the density of closed geodesics property where Γ is a lattice arising from a Chevalley rational structure on .     

The Poisson boundary of lamplighter random walks on trees

Let be the homogeneous tree with degree q + 1 ≥ 3 and a finitely generated group whose Cayley graph is . The associated lamplighter group is the wreath product , where is a finite group. For a large class of random walks on this group, we prove almost sure convergence to a natural geometric boundary. If the probability law governing the random walk has finite first moment, then the probability space formed by this geometric boundary together with the limit distribution of the random walk is proved to be maximal, that is, the Poisson boundary. We also prove that the Dirichlet problem at infinity is solvable for continuous functions on the active part of the boundary, if the lamplighter “operates at bounded range”. Supported by ESF program RDSES and by Austrian Science Fund (FWF) P15577.     

Rigidity of higher rank abelian cocycles with values in diffeomorphism groups

We consider cocycles over certain hyperbolic actions, , and show rigidity properties for cocycles with values in a Lie group or a diffeomorphism group, which are close to identity on a set of generators, and are sufficiently smooth. The actions we consider are Cartan actions of or , for , and Γ torsion free cocompact lattice. The results in this paper rely on a technique developed recently by D. Damjanović and A. Katok.      

Riemannian foliations admitting transversal conformal fields

Let be a closed, connected Riemannian manifold with a foliation of codimension q and a bundle-like metric g _M . We study the relationship between several infinitesimal automorphisms. Moreover under the some curvature condition, if M admits a transversal conformal field, then is transversally isometric to the action of a finite subgroup of O(q) acting on the q-sphere of constant curvature.      

Partitioning 3-homogeneous latin bitrades

A latin bitrade is a pair of partial latin squares that define the difference between two arbitrary latin squares and of the same order. A 3-homogeneous bitrade has three entries in each row, three entries in each column, and each symbol appears three times in . Cavenagh [2] showed that any 3-homogeneous bitrade may be partitioned into three transversals. In this paper we provide an independent proof of Cavenagh’s result using geometric methods. In doing so we provide a framework for studying bitrades as tessellations in spherical, euclidean or hyperbolic space. Additionally, we show how latin bitrades are related to finite representations of certain triangle groups.      

The nonexistence of near-extremal formally self-dual codes

A code is called formally self-dual if and have the same weight enumerators. There are four types of nontrivial divisible formally self-dual codes over , and . These codes are called extremal if their minimum distances achieve the Mallows-Sloane bound. S. Zhang gave possible lengths for which extremal self-dual codes do not exist. In this paper, we define near-extremal formally self-dual (f.s.d.) codes. With Zhang’s systematic approach, we determine possible lengths for which the four types of near-extremal formally self-dual codes as well as the two types of near-extremal formally self-dual additive codes cannot exist. In particular, our result on the nonexistence of near-extremal binary f.s.d. even codes of any even length n completes all the cases since only the case 8|n was dealt with by Han and Lee.      

Non-free isometric immersions of Riemannian manifolds

Let (V, g) be a Riemannian manifold and let be the isometric immersion operator which, to a map , associates the induced metric on V, where denotes the Euclidean scalar product in . By Nash–Gromov implicit function theorem is infinitesimally invertible over the space of free maps. In this paper we study non-free isometric immersions . We show that the operator (where denotes the space of C ^∞- smooth quadratic forms on ) is infinitesimally invertible over a non-empty open subset of and therefore is an open map in the respective fine topologies.      

Fundamental domains in Lorentzian geometry

We consider a discrete subgroup Γ of the simply connected Lie group of finite level, i.e. the subgroup intersects the centre of in a subgroup of finite index, this index is called the level of the group. The Killing form induces a Lorentzian metric of constant curvature on the Lie group . The discrete subgroup Γ acts on by left translations. We describe the Lorentz space form by constructing a fundamental domain F for Γ. We want F to be a polyhedron with totally geodesic faces. We construct such F for all Γ satisfying the following condition: The image of Γ in PSU(1,1) has a fixed point u in the unit disk of order larger than the index of Γ. The construction depends on the group Γ and on the orbit Γ(u) of the fixed point u.      

Generically finite morphisms and formal neighborhoods of arcs

Let f : X → Y be a morphism of pure-dimensional schemes of the same dimension, with X smooth. We prove that if is an arc on X having finite order e along the ramification subscheme R _f of X, and if its image δ = f _∞(γ) on Y does not lie in J _∞(Y _sing), then the induced map T _γ J _∞(X) → T _δ J _∞(Y) is injective, with a cokernel of dimension e. In particular, if Y is smooth too, and if we denote by and the formal neighborhoods of and , then the induced morphism is a closed embedding of codimension e.      

Arboreal Galois representations

Let be the absolute Galois group of , and let T be the complete rooted d-ary tree, where d ≥ 2. In this article, we study “arboreal” representations of into the automorphism group of T, particularly in the case d = 2. In doing so, we propose a parallel to the well-developed and powerful theory of linear p-adic representations of . We first give some methods of constructing arboreal representations and discuss a few results of other authors concerning their size in certain special cases. We then discuss the analogy between arboreal and linear representations of . Finally, we present some new examples and conjectures, particularly relating to the question of which subgroups of Aut(T) can occur as the image of an arboreal representation of .      

Variational integrals of splitting-type: higher integrability under general growth conditions

Besides other things we prove that if , , locally minimizes the energy

Quasilinearization and curvature of Aleksandrov spaces

We present a new distance characterization of Aleksandrov spaces of non-positive curvature. By introducing a quasilinearization for abstract metric spaces we draw an analogy between characterization of Aleksandrov spaces and inner product spaces; the quasi-inner product is defined by means of the quadrilateral cosine—a metric substitute for the angular measure between two directions at different points. Our main result states that a geodesically connected metric space is an Aleksandrov domain (also known as a CAT(0) space) if and only if the quadrilateral cosine does not exceed one for every two pairs of distinct points in . We also observe that a geodesically connected metric space is an domain if and only if, for every quadruple of points in , the quadrilateral inequality (known as Euler’s inequality in ) holds. As a corollary of our main result we give necessary and sufficient conditions for a semimetric space to be an domain. Our results provide a complete solution to the Curvature Problem posed by Gromov in the context of metric spaces of non-positive curvature.