The weak Bieberbach theorem for crystallographic groups on pseudo-Euclidean spaces

The weak Bieberbach theorem states that each crystallographic group on a Euclidean space uniquely determines its translation lattice as an abstract group. Garipov proved in 2003 that the same holds for crystallographic groups on Minkowski spaces and asked whether a similar claim holds in the pseudo-Euclidean spaces ℝ ^p,q . We prove that the weak Bieberbach theorem holds for crystallographic groups on pseudo-Euclidean spaces ℝ ^p,q with min{p, q} ≤ 2. For min{p, q} ≥ 3 we construct examples of crystallographic groups with two distinct lattices exchanged by a suitable automorphism of the group. For crystallographic groups with two distinct isomorphic pseudo-Euclidean lattices we also prove that the coranks of their intersection in these lattices can take arbitrary values greater than 2 with the exception of 4.     

On images of affine spaces

We prove that every non-degenerate toric variety, every homogeneous space of a connected linear algebraic group without non-constant invertible regular functions, and every variety covered by affine spaces admit a surjective morphism from an affine space.     

Theory of submanifolds,associativity equations in 2D topological quantum field theories,and Frobenius manifolds

We prove that the associativity equations of two-dimensional topological quantum field theories are very natural reductions of the fundamental nonlinear equations of the theory of submanifolds in pseudo-Euclidean spaces and give a natural class of flat torsionless potential submanifolds. We show that all flat torsionless potential submanifolds in pseudo-Euclidean spaces bear natural structures of Frobenius algebras on their tangent spaces. These Frobenius structures are generated by the corresponding flat first fundamental form and the set of the second fundamental forms of the submanifolds (in fact, the structural constants are given by the set of the Weingarten operators of the submanifolds). We prove that each N-dimensional Frobenius manifold can be locally represented as a flat torsionless potential submanifold in a 2N-dimensional pseudo-Euclidean space. By our construction, this submanifold is uniquely determined up to motions. Moreover, we consider a nonlinear system that is a natural generalization of the associativity equations, namely, the system describing all flat torsionless submanifolds in pseudo-Euclidean spaces, and prove that this system is integrable by the inverse scattering method. To the memory of my wonderful mother Maya Nikolayevna Mokhova (4 May 1926–12 September 2006) Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 152, No. 2, pp. 368–376, August, 2007.     

Connected finite loop spaces with maximal tori

Finite loop spaces are a generalization of compact Lie groups. However, they do not enjoy all of the nice properties of compact Lie groups. For example, having a maximal torus is a quite distinguished property. Actually, an old conjecture, due to Wilkerson, says that every connected finite loop space with a maximal torus is equivalent to a compact connected Lie group. We give some more evidence for this conjecture by showing that the associated action of the Weyl group on the maximal torus always represents the Weyl group as a crystallographic group. We also develop the notion of normalizers of maximal tori for connected finite loop spaces, and prove for a large class of connected finite loop spaces that a connected finite loop space with maximal torus is equivalent to a compact connected Lie group if it has the right normalizer of the maximal torus. Actually, in the cases under consideration the information about the Weyl group is sufficient to give the answer. All this is done by first studying the analogous local problems.

     

Weakly symmetric spaces and spherical varieties

Weakly symmetric homogeneous spaces were introduced by A. Selberg in 1956. We prove that, for a real reductive algebraic group, they can be characterized as the spaces of real points of affine spherical homogeneous varieties of the complexified group. As an application, under the same assumption on the transitive group, we show that weakly symmetric spaces are precisely the homogeneous Riemannian manifolds with commutative algebra of invariant differential operators.Supported by the Alexander von Humboldt Foundation and Russian Foundation for Basic Research, Grant No. 95-01-01263.Supported by the U. S. Civilian Research and Development Foundation, Award No. 206, Russian Foundation for Basic Research, Grant No. 98-01-00598, and the Alexander von Humboldt Foundation.     

Pseudo-Riemannian geodesics and billiards

In pseudo-Riemannian geometry the spaces of space-like and time-like geodesics on a pseudo-Riemannian manifold have natural symplectic structures (just like in the Riemannian case), while the space of light-like geodesics has a natural contact structure. Furthermore, the space of all geodesics has a structure of a Jacobi manifold. We describe the geometry of these structures and their generalizations. We also introduce and study pseudo-Euclidean billiards, emphasizing their distinction from Euclidean ones. We present a pseudo-Euclidean version of the Clairaut theorem on geodesics on surfaces of revolution. We prove pseudo-Euclidean analogs of the Jacobi–Chasles theorems and show the integrability of the billiard in the ellipsoid and the geodesic flow on the ellipsoid in a pseudo-Euclidean space.     

Polynomial maps over finite fields and residual finiteness of mapping tori of group endomorphisms

We prove that every mapping torus of any free group endomorphism is residually finite. We show how to use a not yet published result of E. Hrushovski to extend our result to arbitrary linear groups. The proof uses algebraic self-maps of affine spaces over finite fields. In particular, we prove that when such a map is dominant, the set of its fixed closed scheme points is Zariski dense in the affine space.     

Affine Diffusions with Non-Canonical State Space

Multidimensional affine diffusions have been studied in detail for the case of a canonical state space. We present results for general state spaces and provide a complete characterization of all possible affine diffusions with polyhedral and quadratic state space. We give necessary and sufficient conditions on the behavior of drift and diffusion on the boundary of the state space in order to obtain invariance and to prove strong existence and uniqueness.     

两个非紧致齐性复解析流形

本文给出两个非紧致的齐性复解析流形．用它的齐性子流形构造出两个例外对称典型域的扩充空间，并由复流形上的运动群在超圆上的限制得到了两个例外对称典型域的仿射自同胚群，它们是闭的辛子群．     

Non-discrete affine buildings and convexity

Affine buildings are in a certain sense analogs of symmetric spaces. It is therefore natural to ask for analogs of results for symmetric spaces. We prove a version of Kostant?s convexity theorem for thick non-discrete affine buildings. Kostant proves that the image of a certain orbit of a point x in the symmetric space under a projection onto a maximal flat is the convex hull of the Weyl group orbit of x. We obtain the same result for a projection onto an apartment in an affine building. The methods are mostly borrowed from metric geometry. Our proof makes no appeal to the automorphism group of the building. However the final result has an interesting application for groups acting nicely on non-discrete buildings, such as groups admitting a root datum with non-discrete valuation. Along the proofs we obtain that segments are contained in apartments and that certain retractions are distance diminishing.     

Kollineationen von Translationsstrukturen

Translationstructures are generalized affine spaces. They can be described algebraically by partitions of groups. For desarguesian affine spaces the group is a vectorspace and the partition is the set of all onedimensional subspaces. In this case each collineation fixing 0 is a regular semilinear mapping, i.e. an automorphism of the vectorspace. In the general case it is a mapping called equivalence. Each equivalence of a partition is an automorphism iff the set of translations of the group is a normal subgroup of the collineationgroup. The translations form a normal subgroup, if the group is finite or abelian. We prove some theorems for the infinite non abelian case.     

Regular sets for the affine and projective groups over the field of two elements

In this paper we show that collineation groups of affine and projective spaces over the field of two elements GF (2), except in low dimensions, have regular sets. As an application of this result, we prove that, apart from a finite number of exceptions, any collineation group of affine and projective spaces over GF (2), is geometric. In the exceptional dimensions, all primitive groups are examined.Lavoro eseguito nell'ambito dei finanziamenti del M.P.I. Italia (40%).     

Classification of Lorentzian surfaces with parallel mean curvature vector in pseudo-Euclidean spaces

Spatial surfaces with parallel mean curvature vector in pseudo-Euclidean spaces of arbitrary dimension and index were classified by B.Y. Chen. In this work, we give a complete classification of Lorentzian surfaces with parallel mean curvature vector in pseudo-Euclidean spaces of arbitrary dimension and index. Consequently, the problem to classify all the surfaces with parallel mean curvature vector in pseudo-Euclidean spaces has been solved.     

Korn's inequality and Donati's theorem for the conformal Killing operator on pseudo-Euclidean space

We prove the Korn's inequality for the conformal Killing operator on pseudo-Euclidean space Rp,q, and an existence theorem for solutions to the non-homogeneous conformal Killing equation, which is a pseudo-Euclidean conformal generalization of Donati's theorem for Euclidean Killing operator.     

Convergence of minimum norm elements of projections and intersections of nested affine spaces in Hilbert space

We consider a Hilbert space, an orthogonal projection onto a closed subspace and a sequence of downwardly directed affine spaces. We give sufficient conditions for the projection of the intersection of the affine spaces into the closed subspace to be equal to the intersection of their projections. Under a closure assumption, one such (necessary and) sufficient condition is that summation and intersection commute between the orthogonal complement of the closed subspace, and the subspaces corresponding to the affine spaces. Another sufficient condition is that the cosines of the angles between the orthogonal complement of the closed subspace, and the subspaces corresponding to the affine spaces, be bounded away from one. Our results are then applied to a general infinite horizon, positive semi-definite, linear quadratic mathematical programming problem. Specifically, under suitable conditions, we show that optimal solutions exist and, modulo those feasible solutions with zero objective value, they are limits of optimal solutions to finite-dimensional truncations of the original problem.     

Heisenberg model in pseudo-Euclidean spaces

We construct analogues of the classical Heisenberg spin chain model (or the discrete Neumann system), on pseudo-spheres and light-like cones in the pseudo-Euclidean spaces and show their complete Hamiltonian integrability. Further, we prove that the Heisenberg model on a light-like cone leads to a new example of the integrable discrete contact system.     

A note on groups definable in difference fields

We prove that a group definable in a model of is virtually definably embeddable in an algebraic group. We give an improved proof of the same result for groups definable in differentially closed fields. We also extend to the difference field context results on the unipotence of definable groups on affine spaces.

     

E_(s)^(5)中的双调和超曲面北大核心CSCD

本文研究五维伪欧氏空间E_(s)^(5)中的双调和超曲面的几何和分类问题,证明了:如果M^(4)_(r)是E_(s)^(5)(s=1,2,3,4)中具有对角化形状算子的双调和超曲面,那么M^(4)_(r)一定是极小的.结合Turgay等人结果,本文进一步表明了五维Minkowski空间E_(1)^(5)中Lorentz双调和超曲面一定是极小的.该结果证明了五维伪欧氏空间中超曲面情形下的双调和猜想.     

Vector valued Fourier analysis on unimodular groups

The notion of Fourier type and cotype of linear maps between operator spaces with respect to certain unimodular (possibly nonabelian and noncompact) group is defined here. We develop analogous theory compared to Fourier types with respect to locally compact abelian groups of operators between Banach spaces. We consider the Heisenberg group as an example of nonabelian and noncompact groups and prove that Fourier type and cotype with respect to the Heisenberg group implies Fourier type with respect to classical abelian groups. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A Cylinder Theorem for Isometric Pluriharmonic Immersions

We prove a cylinder theorem for isometric pluriharmonic immersions of complete Kähler manifolds into semi-Euclidean spaces under an assumption concerning the index of relative nullity.