The essential Lagrangian-Grassmannian and the homotopy type of the Fredholm Lagrangian-Grassmannian

Let H be a separable infinite dimensional Hilbert space endowed with a symplectic structure and let L₀⊂H be a Lagrangian subspace. Using the results of [A. Abbondandolo, P. Majer, Infinite dimensional Grassmannians, math.AT/0307192], we show that the Fredholm Lagrangian-Grassmannian FL₀(Λ) has the homotopy type of Gc(L₀), the Grassmannian of all Lagrangian subspaces of H that are compact perturbations of L₀. It is well known that the latter has the homotopy type of the quotient U(∞)/O(∞). As a corollary, we recover a result by B. Booss-Bavnbek and K. Furutani (see [B. Booss-Bavnbek, K. Furutani, Symplectic functional analysis and spectral invariants, Contemp. Math. 242 (1999) 53-83; K. Furutani, Fredholm-Lagrangian-Grassmannian and the Maslov index, J. Geom. Phys. 51 (2004) 269-331]) that the L₀-Maslov index is an isomorphism between the fundamental group of FL₀(Λ) and the integers.     

Quantization of formal classical dynamical r-matrices: the reductive case

In this paper we prove the existence of a formal dynamical twist quantization for any triangular and non-modified formal classical dynamical r-matrix in the reductive case. The dynamical twist is constructed as the image of the dynamical r-matrix by a L_∞-quasi-isomorphism. This quasi-isomorphism also allows us to classify formal dynamical twist quantizations up to gauge equivalence.     

A counter-example to a conjecture of Félix

If X is a simply connected space of finite type, then the rational homotopy groups of the based loop space of X possess the structure of a graded Lie algebra, denoted L_X. The radical of L_X, which is an important rational homotopy invariant of X, is of finite total dimension if the Lusternik-Schnirelmann category of X is finite.Let X be a simply connected space with finite Lusternik-Schnirelmann category. If dimL_X<∞, i.e., if X is elliptic, then L_X is its own radical, and therefore the total dimension of the radical of L_X in odd degrees is less than or equal to its total dimension in even degrees (Friedlander and Halperin (1979) [8]). Félix conjectured that this inequality should hold for all simply connected spaces with finite Lusternik-Schnirelmann category.We prove Félix’s conjecture in some interesting special cases, then provide a counter-example to the general case.     

N-point locality for vertex operators: Normal ordered products,operator product expansions,twisted vertex algebras

In this paper we study fields satisfying N-point locality and their properties. We obtain residue formulae for N-point local fields in terms of derivatives of delta functions and Bell polynomials. We introduce the notion of the space of descendants of N-point local fields which includes normal ordered products and coefficients of operator product expansions. We show that examples of N  -point local fields include the vertex operators generating the boson–fermion correspondences of types B, C and D-A. We apply the normal ordered products of these vertex operators to the setting of the representation theory of the double-infinite rank Lie algebras _b∞$b_{\infty }$, _c∞$c_{\infty }$, _d∞$d_{\infty }$. Finally, we show that the field theory generated by N-point local fields and their descendants has a structure of a twisted vertex algebra.     

The matrix geometric mean of parameterized, weighted arithmetic and harmonic means

We define a new family of matrix means {L_μ(ω;A)}_μ∈R where ω and A vary over all positive probability vectors in R^m and m-tuples of positive definite matrices resp. Each of these means interpolates between the weighted harmonic mean (μ=-∞) and the arithmetic mean of the same weight (μ=∞) with L_μ≤L_ν for μ≤ν. Each has a variational characterization as the unique minimizer of the weighted sum for the symmetrized, parameterized Kullback-Leibler divergence. Furthermore, each can be realized as the common limit of the mean iteration by arithmetic and harmonic means (in the unparameterized case), or, more generally, the arithmetic and resolvent means. Other basic typical properties for a multivariable mean are derived.     

Poisson identities of enveloping algebras

Let L be a restricted Lie algebra. The symmetric algebra S_p(L) of the restricted enveloping algebra u(L) has the structure of a Poisson algebra. We give necessary and sufficient conditions on L in order for the symmetric algebra S_p(L) to satisfy a multilinear Poisson identity. We also settle the same problem for the symmetric algebra S(L) of a Lie algebra L over an arbitrary field. The first author was partially supported by MIUR of Italy. The second author was partially supported by Grant RFBR-04-01- 00739. Received: 31 October 2005     

Stability of Riemann solutions with large oscillation for the relativistic Euler equations

We are concerned with entropy solutions of the 2×2 relativistic Euler equations for perfect fluids in special relativity. We establish the uniqueness of Riemann solutions in the class of entropy solutions in L^∞∩BV_loc with arbitrarily large oscillation. Our proof for solutions with large oscillation is based on a detailed analysis of global behavior of shock curves in the phase space and on special features of centered rarefaction waves in the physical plane for this system. The uniqueness result does not require specific reference to any particular method for constructing the entropy solutions. Then the uniqueness of Riemann solutions yields their inviscid large-time stability under arbitrarily largeL¹∩L^∞∩BV_loc perturbation of the Riemann initial data, as long as the corresponding solutions are in L^∞ and have local bounded total variation that allows the linear growth in time. We also extend our approach to deal with the uniqueness and stability of Riemann solutions containing vacuum in the class of entropy solutions in L^∞ with arbitrarily large oscillation.     

Copies of c0(Г) and ?∞(Г)/c0(Г) in quotients of Banach spaces with applications to Orlicz and Marcinkiewicz spaces

Let X be a Banach space, let Y be its subspace, and let Г be an infinite set. We study the consequences of the assumption that an operator T embeds ?_221E;(Г) into X isomorphically with T(c₀(Г)) ⊂ Y. Under additional assumptions on T we prove the existence of isomorphic copies of c₀(Г^ℵ0) in X/Y, and complemented copies ?_∞(Г) in X/Y. In concrete cases we obtain a new information about the structure of X/Y. In particular, L∞[O,1]/C[O,1] contains a complemented copy of ?_∞/c₀, and some natural (lattice) quotients of real Orlicz and Marcinkiewicz spaces contain lattice-isometric and positively I-complemented copies of(real) ?_∞/c₀.     

Extrapolation with weights, rearrangement-invariant function spaces, modular inequalities and applications to singular integrals

We present an extrapolation theory that allows us to obtain, from weighted L^p inequalities on pairs of functions for p fixed and all A_∞ weights, estimates for the same pairs on very general rearrangement invariant quasi-Banach function spaces with A_∞ weights and also modular inequalities with A_∞ weights. Vector-valued inequalities are obtained automatically, without the need of a Banach-valued theory. This provides a method to prove very fine estimates for a variety of operators which include singular and fractional integrals and their commutators. In particular, we obtain weighted, and vector-valued, extensions of the classical theorems of Boyd and Lorentz-Shimogaki. The key is to develop appropriate versions of Rubio de Francia's algorithm.     

On non-effective weights in Orlicz spaces

Given a weight w in Ω ⊂ ∝^N, |Ω| < ∞ and a Young function φ, we consider the weighted modular ∫_Ω ω(f(x))w(x)dx and the resulting weighted Orlicz space L_ω(w). For a Young function Ω ∉ Δ₂(∞) we present a necessary and sufficient conditions in order that L_ω(w) = L_ω(X_Ω) up to the equivalence of norms. We find a necessary and sufficient condition for ω in order that there exists an unbounded weight w such that the above equality of spaces holds. By way of applications we simplify criteria from [5] for continuity of the composition operator from L_ω into itself when ω Δ₂(∞) and obtain necessary and sufficient condition in order that the composition operator maps L_ω. continuously onto L_ω.     

Global small amplitude solutions for two-dimensional nonlinear Klein-Gordon systems in the presence of mass resonance

We consider a nonlinear system of two-dimensional Klein-Gordon equations with masses m₁, m₂ satisfying the resonance relation m₂=2m₁>0. We introduce a structural condition on the nonlinearities under which the solution exists globally in time and decays at the rate O(|t|⁻¹) as t→±∞ in L^∞. In particular, our new condition includes the Yukawa type interaction, which has been excluded from the null condition in the sense of J.-M. Delort, D. Fang and R. Xue [J.-M. Delort, D. Fang, R. Xue, Global existence of small solutions for quadratic quasilinear Klein-Gordon systems in two space dimensions, J. Funct. Anal. 211 (2004) 288-323].     

Generalized Arf invariants in algebraic L-theory

The difference between the quadratic L-groups L_*(A) and the symmetric L-groups L^*(A) of a ring with involution A is detected by generalized Arf invariants. The special case A=Z[x] gives a complete set of invariants for the Cappell UNil-groups UNil_*(Z;Z,Z) for the infinite dihedral group D_∞=Z₂*Z₂, extending the results of Connolly and Ranicki [Adv. Math. 195 (2005) 205-258], Connolly and Davis [Geom. Topol. 8 (2004) 1043-1078, e-print http://arXiv.org/abs/math/0306054].     

Weitzenböck derivations of free metabelian Lie algebras

A nonzero locally nilpotent linear derivation δ   of the polynomial algebra K[_Xd]=K[_x1,…,_xd]$K[X_d]=K[x_1\text{,}\dots \text{,}{x}_d]$ in several variables over a field K   of characteristic 0 is called a Weitzenböck derivation. The classical theorem of Weitzenböck states that the algebra of constants K[_Xd]^δ$K{[X_d]}^{\delta }$ (which coincides with the algebra of invariants of a single unipotent transformation) is finitely generated. Similarly one may consider the algebra of constants of a locally nilpotent linear derivation δ of a finitely generated (not necessarily commutative or associative) algebra which is relatively free in a variety of algebras over K  . Now the algebra of constants is usually not finitely generated. Except for some trivial cases this holds for the algebra of constants (_Ld/_Ld^″)^δ${(L_d/{L_d}^{″})}^{\delta }$ of the free metabelian Lie algebra _Ld/_Ld″$L_d/L_d″$ with d   generators. We show that the vector space of the constants (_Ld/_Ld^″)^δ${(L_d/{L_d}^{″})}^{\delta }$ in the commutator ideal _Ld′/_Ld″$L_d\prime /L_d″$ is a finitely generated K[_Xd]^δ$K{[X_d]}^{\delta }$-module. For small d  , we calculate the Hilbert series of (_Ld/_Ld^″)^δ${(L_d/{L_d}^{″})}^{\delta }$ and find the generators of the K[_Xd]^δ$K{[X_d]}^{\delta }$-module (_Ld/_Ld^″)^δ${(L_d/{L_d}^{″})}^{\delta }$. This gives also an (infinite) set of generators of the algebra (_Ld/_Ld^″)^δ${(L_d/{L_d}^{″})}^{\delta }$.     

An asymptotic formula for the ranks of homotopy groups

Let X be a finite simply connected CW complex of dimension n. The loop space homology H_∗(ΩX;Q) is the universal enveloping algebra of a graded Lie algebra LX isomorphic with π∗−1(X)⊗Q. Let QX⊂LX be a minimal generating subspace, and set .Theorem: If dimLX=∞ and , then

     

Tensor product stabilization in Kac-Moody algebras

We consider a large class of series of symmetrizable Kac-Moody algebras (generically denoted X_n). This includes the classical series A_n as well as others like E_n whose members are of Indefinite type. The focus is to analyze the behavior of representations in the limit n→∞. Motivated by the classical theory of A_n=sl_n+1C, we consider tensor product decompositions of irreducible highest weight representations of X_n and study how these vary with n. The notion of “double-headed” dominant weights is introduced. For such weights, we show that tensor product decompositions in X_n do stabilize, generalizing the classical results for A_n. The main tool used is Littelmann's celebrated path model. One can also use the stable multiplicities as structure constants to define a multiplication operation on a suitable space. We define this so-called stable representation ring and show that the multiplication operation is associative.     

On decay and blow-up of the solution for a viscoelastic wave equation with boundary damping and source terms

In this paper we consider the decay and blow-up properties of a viscoelastic wave equation with boundary damping and source terms. We first extend the decay result (for the case of linear damping) obtained by Lu et al. (On a viscoelastic equation with nonlinear boundary damping and source terms: Global existence and decay of the solution, Nonlinear Analysis: Real World Applications 12 (1) (2011), 295-303) to the nonlinear damping case under weaker assumption on the relaxation function g(t). Then, we give an exponential decay result without the relation between g^′(t) and g(t) for the linear damping case, provided that ‖g‖_L¹(0,∞) is small enough. Finally, we establish two blow-up results: one is for certain solutions with nonpositive initial energy as well as positive initial energy for both the linear and nonlinear damping cases, the other is for certain solutions with arbitrarily positive initial energy for the linear damping case.     

齐型空间上带非光滑核的奇异积分算子的双权不等式

该文在齐型空间( X, d,μ)上建立带非光滑核的奇异积分算子的双权、弱型不等式, 即对于1< p≤ q <∞, 此算子是L^p( X, v)到 L^q,∞( X, u)有界的, 只要权函数对(u, v)满足在权 u 上增加一个"Orlicz-bump" '的 A_p 型条件.     

Orlicz spaces without extreme points

Orlicz function and sequence spaces unit balls of which have no extreme points are completely characterized for both (the Orlicz and the Luxemburg) norms. Their subspaces of order continuous elements, with the norms induced from the whole Orlicz spaces without extreme points in their unit balls are also characterized. The well-known spaces L₁ and c₀ with unit balls without extreme points are covered by our results. Moreover, a new example of a Banach space without extreme points in its unit ball is given (see Example 1). This is the subspace a(L₁+L_∞) of order continuous elements of the space L₁+L_∞ equipped with the norm whenever 0<a<∞ and μ(T)>1/a.