Module structure of the free Lie ring on three generators

Let Lⁿ denote the homogeneous component of degree n in the free Lie ring on three generators, viewed as a module for the symmetric group S₃ of all permutations of those generators. This paper gives a Krull-Schmidt Theorem for the LⁿL^n: if n > 1n>1 and Lⁿ is written as a direct sum of indecomposable submodules, then the summands come from four isomorphism classes, and explicit formulas for the number of summands from each isomorphism class show that these multiplicities are independent of the decomposition chosen.¶A similar result for the free Lie ring on two generators was implicit in a recent paper of R.M. Bryant and the second author. That work, and its continuation on free Lie algebras of prime rank p over fields of characteristic p, provide the critical tools here. The proof also makes use of the identification of the isomorphism types of \Bbb Z \Bbb Z -free indecomposable \Bbb Z S ₃\Bbb Z S _3-modules due to M. P. Lee. (There are, in all, ten such isomorphism types, and in general there is no Krull-Schmidt Theorem for their direct sums.)     

A rigidity theorem for the pair ${\cal q}{\Bbb C} P^n$ (complex hyperquadric, complex projective space)

Given a compact Kähler manifold M of real dimension 2n, let P be either a compact complex hypersurface of M or a compact totally real submanifold of dimension n. Let q\cal q (resp. \Bbb R Pⁿ{\Bbb R} P^n) be the complex hyperquadric (resp. the totally geodesic real projective space) in the complex projective space \Bbb C Pⁿ{\Bbb C} P^n of constant holomorphic sectional curvature 4l \lambda . We prove that if the Ricci and some (n-1)-Ricci curvatures of M (and, when P is complex, the mean absolute curvature of P) are bounded from below by some special constants and volume (P) / volume (M) ￡\leq volume (q\cal q)/ volume (\Bbb C Pⁿ)({\Bbb C} P^n) (resp. ￡\leq volume (\Bbb R Pⁿ)({\Bbb R} P^n) / volume (\Bbb C Pⁿ)({\Bbb C} P^n)), then there is a holomorphic isometry between M and \Bbb C Pⁿ{\Bbb C} P^n taking P isometrically onto q\cal q (resp. \Bbb R Pⁿ{\Bbb R} P^n). We also classify the Kähler manifolds with boundary which are tubes of radius r around totally real and totally geodesic submanifolds of half dimension, have the holomorphic sectional and some (n-1)-Ricci curvatures bounded from below by those of the tube \Bbb R Pⁿ_r{\Bbb R} P^n_r of radius r around \Bbb R Pⁿ{\Bbb R} P^n in \Bbb C Pⁿ{\Bbb C} P^n and have the first Dirichlet eigenvalue not lower than that of \Bbb R Pⁿ_r{\Bbb R} P^n_r.     

Integral Lie powers of a lattice for the cyclic group of order 2

Let L_n denote the n-th homogeneous component of the free Lie ring L(W) on a given \Bbb ZC₂{{\Bbb Z}}C_{2}-lattice W. This paper gives explicit formulae for the multiplicities of the three indecomposable \Bbb ZC₂{{\Bbb Z}}C_{2}-lattices in a Krull-Schmidt decomposition of L_n. In the case where W is a free \Bbb ZC₂{{\Bbb Z}}C_{2}-lattice, L_n is shown to have no non-zero direct summand on which C₂ acts trivially - this extends a result of R. M. Bryant for the special case where W is the regular \Bbb ZC₂{{\Bbb Z}}C_{2}-lattice. As an application, the structure of the higher dimensional modules associated to a non-cyclic free presentation of C₂ is determined.     

Solvability of systems of partial differential equations for functions defined on nonconvex sets

We consider systems of partial differential equations with constant coefficients of the form ( R(D_x, D_y)f = 0, P(D_x)f = g), f,g ? C^￥(W),\big ( R(D_x, D_y)f = 0, P(D_x)f = {g}\big ), f,g \in {C}^{\infty}(\Omega),, where R (and P) are operators in (n + 1) variables (and in n variables, respectively), g satisfies the compatibility condition R(D_x, D_y)g = 0  and  W ì \Bbb Rⁿ⁺¹R(D_x, D_y){g} = 0 \ {\rm and} \ \Omega \subset {\Bbb R}^{n+1} is open. Let R be elliptic. We show that the solvability of such systems for certain nonconvex sets W\Omega implies that any localization at ￥\infty of the principle part P_m of P is hyperbolic. In contrast to this result such systems can always be solved on convex open sets W\Omega by the fundamental principle of Ehrenpreis-Palamodov.     

Idempotent multipliers for LP (\Bbb R)(\Bbb R)

The algebra B_p(\Bbb R){\cal B}_p({\Bbb R}), p ? (1,￥)\{2}p\in (1,\infty )\setminus \{2\}, consisting of all measurable sets in \Bbb R{\Bbb R} whose characteristic function is a Fourier p-multiplier, forms an algebra of sets containing many interesting and non-trivial elements (e.g. all intervals and their finite unions, certain periodic sets, arbitrary countable unions of dyadic intervals, etc.). However, B_p(\Bbb R){\cal B}_p({\Bbb R}) fails to be a s\sigma -algebra. It has been shown by V. Lebedev and A. Olevskii [4] that if E ? B_p(\Bbb R)E\in {\cal B}_p({\Bbb R}), then E must coincide a.e. with an open set, a remarkable topological constraint on E. In this note we show if $2 < p < \infty $2 < p < \infty , then there exists E ? B_p(\Bbb R)E\in {\cal B}_p({\Bbb R}) which is not in B_q(\Bbb R){\cal B}_q({\Bbb R}) for any q > pq>p.     

On matrix near-rings

Let R be a right near-ring with identity and M_n(R) be the near-ring of n 2 n matrices over R in the sense of Meldrum and Van der Walt. In this paper, M_n(R) is said to be s\sigma-generated if every n 2 n matrix A over R can be expressed as a sum of elements of X_n(R), where X_n(R)={f_ij^r | 1\leqq i, j\leqq n, r ? R}X_n(R)=\{f_{ij}^r\,|\,1\leqq i, j\leqq n, r\in R\}, is the generating set of M_n(R). We say that R is s\sigma-generated if M_n(R) is s\sigma-generated for every natural number n. The class of s\sigma-generated near-rings contains distributively generated and abstract affine near-rings. It is shown that this class admits homomorphic images. For abelian near-rings R, we prove that the zerosymmetric part of R is a ring, so the class of zerosymmetric abelian s\sigma-generated near-rings coincides with the class of rings. Further, for every n, there is a bijection between the two-sided subgroups of R and those of M_n(R).     

Analytic Fourier integral operators, Monge-Ampère equation and holomorphic factorization

We will show that the factorization condition for the Fourier integral operators I_r ^m (X,Y;L )I_\rho ^\mu (X,Y;\it\Lambda ) leads to a parametrized parabolic Monge-Ampère equation. For an analytic operator, the fibration by the kernels of the Hessian of phase function is shown to be analytic in a number of cases, by considering a more general continuation problem for the level sets of a holomorphic mapping. The results are applied to obtain L^p-continuity for translation invariant operators in \Bbb Rⁿ{\Bbb R}^n with n ￡ 4n\leq 4 and for arbitrary \Bbb Rⁿ{\Bbb R}^n with dp_X×Y|_L ￡ n+2d\pi _{X\times Y}|_\Lambda \leq n+2.     

Straightening and bounded cohomology of hyperbolic groups

It was stated by M. Gromov [Gr2] that, for any hyperbolic group G, the map from bounded cohomology Hⁿ_b(G,\Bbb R) H^n_b(G,{\Bbb R}) to Hⁿ(G,\Bbb R) H^n(G,{\Bbb R}) induced by inclusion is surjective for n 3 2 n \ge 2 . We introduce a homological analogue of straightening simplices, which works for any hyperbolic group. This implies that the map Hⁿ_b(G,V) ? Hⁿ(G,V) H^n_b(G,V) \to H^n(G,V) is surjective for n 3 2 n \ge 2 when V is any bounded \Bbb QG {\Bbb Q}G -module and when V is any finitely generated abelian group.     

The dimension monoid of a lattice

We introduce the dimension monoid of a lattice L, denoted by Dim L. The monoid Dim L is commutative and conical, the latter meaning that the sum of any two nonzero elements is nonzero. Furthermore, Dim L is given along with the dimension map, D\Delta from L2L to Dim L, which has the intuitive meaning of a distance function. The maximal semilattice quotient of Dim L is isomorphic to the semilattice Con_c L of compact congruences of L; hence Dim L is a precursor of the congruence lattice of L. Here are some additional features of this construction: ¶¶ (1) Our dimension theory provides a generalization to all lattices of the von Neumann dimension theory of continuous geometries. In particular, if L is an irreducible continuous geometry, then Dim L is either isomorphic to \Bbb Z⁺\Bbb Z^+ or to \Bbb R⁺\Bbb R^+.¶ (2) If L has no infinite bounded chains, then Dim L embeds (as an ordered monoid) into a power of \Bbb Z⁺è{￥}.{\Bbb Z}^{+}\cup \{\infty\}.¶ (3) If L is modular or if L has no infinite bounded chains, then Dim L is a refinement monoid.¶ (4) If L is a simple geometric lattice, then Dim L is isomorphic to \Bbb Z⁺\Bbb Z^+, if L is modular, and to the two-element semilattice, otherwise.¶ (5) If L is an à₀\aleph_0-meet-continuous complemented modular lattice, then both Dim L and the dimension function D\Delta satisfy (countable) completeness properties.¶¶ If R is a von Neumann regular ring and if L is the lattice of principal right ideals of the matrix ring M₂ (R), then Dim L is isomorphic to the monoid V (R) of isomorphism classes of finitely generated projective right R-modules. Hence the dimension theory of lattices provides a wide lattice-theoretical generalization of nonstable K-theory of regular rings.     

Integration of the lifting formulas and the cyclic homology of the algebras of differential operators

We integrate the Lifting cocycles Y_2n+1, Y_2n+3, Y_2n+5,? ([Sh1,2]) \Psi_{2n+1}, \Psi_{2n+3}, \Psi_{2n+5},\ldots\,([\rm Sh1,2]) on the Lie algebra Dif_n of holomorphic differential operators on an n-dimensional complex vector space to the cocycles on the Lie algebra of holomorphic differential operators on a holomorphic line bundle l \lambda on an n-dimensional complex manifold M in the sense of Gelfand--Fuks cohomology [GF] (more precisely, we integrate the cocycles on the sheaves of the Lie algebras of finite matrices over the corresponding associative algebras). The main result is the following explicit form of the Feigin--Tsygan theorem [FT1]:¶¶ H^·_Lie(\frak g\frak l^fin_￥(Dif_n);\Bbb C) = ù^·(Y_2n+1, Y_2n+3, Y_2n+5,? ) H^\bullet_{\rm Lie}({\frak g}{\frak l}^{\rm fin}_\infty({\rm Dif}_n);{\Bbb C}) = \wedge^\bullet(\Psi_{2n+1}, \Psi_{2n+3}, \Psi_{2n+5},\ldots\,) .     

Lagrangian barriers and symplectic embeddings

We prove that every symplectic Kähler manifold (M;W) (M;\Omega) with integral [W] [\Omega] decomposes into a disjoint union (M,W) = (E,w₀) \coprod D (M,\Omega) = (E,\omega_0) \coprod \Delta , where (E,w₀) (E,\omega_0) is a disc bundle endowed with a standard symplectic form w₀ \omega_0 and D \Delta is an isotropic CW-complex. We perform explicit computations of this decomposition on several examples.¶As an application we establish the following symplectic intersection phenomenon: There exist symplectically irremovable intersections between contractible domains and Lagrangian submanifolds. For example, we prove that every symplectic embedding j:B²ⁿ(l) ? \Bbb CPⁿ \varphi:B^{2n}(\lambda) \to {\Bbb C}P^n of a ball of radius l² 3 1/2 \lambda^2 \ge 1/2 must intersect the standard Lagrangian real projective space \Bbb RPⁿ ì \Bbb CPⁿ {\Bbb R}P^n \subset {\Bbb C}P^n .     

Quadratic isoperimetric inequality for mapping tori of polynomially growing automorphisms of free groups

We prove that the mapping torus F_n \rtimes_f \Bbb Z F_n \rtimes_\phi {\Bbb Z} of a polynomially growing automorphism f: F_n ? F_n \phi : F_n \to F_n of finitely generated free group F_n satisfies the quadratic isoperimetric inequality.     

Some blow-up results for a generalized Ginzburg-Landau equation

We investigate the blow-up of the solution to a complex Ginzburg-Landau like equation in u coupled with a Poisson equation in f\phi defined on the whole space \Bbb Rⁿ, n = 1{\Bbb R}^n, n = 1 or 2.     

Reducibility of polynomials a0(x) + a1 (x)y + a2 (x) y2 modulo p

Let f=a₀(x)+a₁(x)y+a₂(x)y² ? \Bbb Z[x,y]f=a_0(x)+a_1(x)y+a_2(x)y^2\in {\Bbb Z}[x,y] be an absolutely irreducible polynomial of degree m in x. We show that the reduction f mod p will also be absolutely irreducible if p 3 c_m·H(f)^e_mp\ge c_m\cdot H(f)^{e_m} where H (f) is the height of f and e₁ = 4,e₂ = 6, e₃ = 6 [2/3]{2}\over{3} and e_m = 2 m for m S 4. We also show that the exponents e_m are best possible for m 1 3m\ne 3 if a plausible number theoretic conjecture is true.     

Successive Minima and Best Simultaneous Diophantine Approximations

We study the problem of best approximations of a vector a ? \Bbb Rⁿ\alpha\in{\Bbb R}^n by rational vectors of a lattice L ì \Bbb Rⁿ\Lambda\subset{\Bbb R}^n whose common denominator is bounded. To this end we introduce successive minima for a periodic lattice structure and extend some classical results from geometry of numbers to this structure. This leads to bounds for the best approximation problem which generalize and improve former results.     

On the infinitesimal affine rigidity of ellipsoids in the n-space

Due to R. Schneider 1967 an ellipsoid E in the affine space \Bbb Aⁿ\Bbb A^n is affinely rigid, i.e. every other ovaloid F in \Bbb Aⁿ\Bbb A^n with the same affine Blaschke metric as for E equals E up to an equiaffine motion of E. Due to M. Kozlowski 1985 resp. W. Blaschke 1922 for n = 3 ellipsoids are moreover S-rigid resp. infinitesimally S-rigid in the sense of equal resp. infinitesimally equal affine scalar curvature S (unknown until now for n >3). - In this article it is proved that ellipsoids in \Bbb Aⁿ\Bbb A^n are also infinitesimally S-rigid for any n.     

Representations of nilpotent Lie algebras

Let (L,[p]) a finite dimensional nilpotent restricted Lie algebra of characteristic p 3 3, c ? L^*p \geq 3, \chi \in L^* a linear form. In this paper we study the representation theory of the reduced universal enveloping algebra u(L,c)u(L,\chi ). It is shown that u(L,c)u(L,\chi ) does not admit blocks of tame representation type. As an application, we prove that the nonregular AR-components of u(L,c)u(L,\chi ) are of types \Bbb Z [A_￥ ]\Bbb Z [A_\infty ] or \Bbb Z [A_n]/(t)\Bbb Z [A_n]/(\tau ).     

Homogenization for strongly anisotropic nonlinear elliptic equations

In this paper we present homogenization results for elliptic degenerate differential equations describing strongly anisotropic media. More precisely, we study the limit as e? 0 \epsilon \to 0 of the following Dirichlet problems with rapidly oscillating periodic coefficients:¶¶ . \cases {{ -div(\alpha(\frac{x}{\epsilon}}, \nabla u) A(\frac{x}{\epsilon}) \nabla u) = f(x) \in L^{\infty}(\Omega) \atop u = 0 su \eth\Omega\ } ¶¶where, p > 1,     a: \Bbb Rⁿ ×\Bbb Rⁿ ? \Bbb R,     a(y,x) ? áA(y)x,x?^p/2-1, A ? M^{n ×n}(\Bbb R) p>1, \quad \alpha : \Bbb R^n \times \Bbb R^n \to \Bbb R, \quad \alpha(y,\xi) \approx \langle A(y)\xi,\xi \rangle ^{p/2-1}, A \in M^{n \times n}(\Bbb R) , A being a measurable periodic matrix such that A^t(x) = A(x) 3 0A^t(x) = A(x) \ge 0 almost everywhere.¶¶The anisotropy of the medium is described by the following structure hypothesis on the matrix A:¶¶l^2/p(x) |x|² ￡ áA(x)x,x? ￡ L ^2/p(x) |x|², \lambda^{2/p}(x) |\xi|^2 \leq \langle A(x)\xi,\xi \rangle \leq \Lambda ^{2/p}(x) |\xi|^2, ¶¶where the weight functions l \lambda and L \Lambda (satisfying suitable summability assumptions) can vanish or blow up, and can also be "moderately" different. The convergence to the homogenized problem is obtained by a classical compensated compactness argument, that had to be extended to two-weight Sobolev spaces.     

Walls for Gieseker semistability and the Mumford-Thaddeus principle for moduli spaces of sheaves over higher dimensional bases

Let X be a projective manifold over \Bbb C \Bbb C . Fix two ample line bundles H₀ and H₁ on X. It is the aim of this note to study the variation of the moduli spaces of Gieseker semistable sheaves for polarizations lying in the cone spanned by H₀ and H₁. We attempt a new definition of walls which naturally describes the behaviour of Gieseker semistability. By means of an example, we establish the possibility of non-rational walls which is a substantially new phenomenon compared to the surface case. Using the approach by Ellingsrud and Göttsche via parabolic sheaves, we were able to show that the moduli spaces undergo a sequence of GIT flips while passing a rational wall. We hope that our results will be helpful in the study of the birational geometry of moduli spaces over higher dimensional bases.     

A note on discrete heat conduction

If the longitudinal line method is applied to the Cauchy problem u_t = u_xx, u(0, x) = u₀(x) with a bounded function u₀, one is led to a linear initial value problem v￠(t)=A v(t), v(0)=wv'(t)=A v(t),\, v(0)=w in l^￥ (\Bbb Z)l^\infty (\Bbb Z). Using Banach limit techniques we study the asymptotic behaviour of the solutions of these problems as t tends to infinity.