Cohomology and rigidity of fuchsian groups

We prove the localC ³-rigidity of the standard actions of cocompact lattices in PSL(2,ℝ) on a circle, using the Schwarzian and the duality technique for twisted cocycles. Partially supported by NSF Grant #DMS 9403870.     

<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-rigidity in von Neumann algebras

We introduce the notion of L ²-rigidity for von Neumann algebras, a generalization of property (T) which can be viewed as an analogue for the vanishing of 1-cohomology into the left regular representation of a group. We show that L ²-rigidity passes to normalizers and is satisfied by nonamenable II₁ factors which are non-prime, have property Γ, or are weakly rigid. As a consequence we obtain that if M is a free product of diffuse von Neumann algebras, or if M=LΓ where Γ is a finitely generated group with β₁ ⁽²⁾(Γ)>0, then any nonamenable regular subfactor of M is prime and does not have properties Γ or (T). In particular this gives a new approach for showing solidity for a free group factor thus recovering a well known recent result of N. Ozawa.     

Equivalence relation groupoids associated with certain linearly ordered dimension groups

We consider linearly ordered, Archimedean dimension groups (G,G⁺,u) for which the group G/u is torsion-free. It will be shown that if, in addition, G/u is generated by a single element (i.e., ), then (G,G⁺,u) is isomorphic to for some irrational number τ(0,1). This amounts to an extension of related results where dimension groups for which G/u is torsion were considered. We will prove, in the case of the Fibonacci dimension group, that these results can be used to directly construct an equivalence relation groupoid whose C^*-algebra is the Fibonacci C^*-algebra.     

N=(1|1) Supersymmetric Dispersionless Toda Lattice Hierarchy

Generalizing the graded commutator in superalgebras, we propose a new bracket operation on the space of graded operators with an involution. We study properties of this operation and show that the Lax representation of the two-dimensional N=(1|1) supersymmetric Toda lattice hierarchy can be realized via the generalized bracket operation; this is important in constructing the semiclassical (continuum) limit of this hierarchy. We construct the continuum limit of the N=(1|1) Toda lattice hierarchy, the dispersionless N=(1|1) Toda hierarchy. In this limit, we obtain the Lax representation, with the generalized graded bracket becoming the corresponding Poisson bracket on the graded phase superspace. We find bosonic symmetries of the dispersionless N=(1|1) supersymmetric Toda equation.     

The interior of charged black holes and the problem of uniqueness in general relativity

We consider a spherically symmetric, double characteristic initial value problem for the (real) Einstein‐Maxwell‐scalar field equations. On the initial outgoing characteristic, the data is assumed to satisfy the Price law decay widely believed to hold on an event horizon arising from the collapse of an asymptotically flat Cauchy surface. We establish that the heuristic mass inflation scenario put forth by Israel and Poisson is mathematically correct in the context of this initial value problem. In particular, the maximal future development has a future boundary over which the space‐time is extendible as a C⁰ metric but along which the Hawking mass blows up identically; thus, the space‐time is inextendible as a C¹ metric. In view of recent results of the author in collaboration with I. Rodnianski, which rigorously establish the validity of Price's law as an upper bound for the decay of scalar field hair, the C⁰ extendibility result applies to the collapse of complete, asymptotically flat, spacelike initial data where the scalar field is compactly supported. This shows that under Christodoulou's C⁰ formulation, the strong cosmic censorship conjecture is false for this system. © 2005 Wiley Periodicals, Inc.     

On the semi-continuity of generalized inverses in Banach algebras

The main purpose of this paper is to study the continuity of several kinds of generalized inverses of elements in a Banach algebra with identity. We first obtain a sufficient and necessary condition for the lower semi-continuity of reflexive generalized inverses as set-valued mappings. Based on this result, we characterize the continuity of the Moore-Penrose inverse in a C^∗-algebra and therefore, derive some new and well-known criteria in operator theory.     

Poisson brackets associated to the conformal geometry of curves

In this paper we present an invariant moving frame, in the group theoretical sense, along curves in the Möbius sphere. This moving frame will describe the relationship between all conformal differential invariants for curves that appear in the literature. Using this frame we first show that the Kac-Moody Poisson bracket on can be Poisson reduced to the space of conformal differential invariants of curves. The resulting bracket will be the conformal analogue of the Adler-Gel'fand-Dikii bracket. Secondly, a conformally invariant flow of curves induces naturally an evolution on the differential invariants of the flow. We give the conditions on the invariant flow ensuring that the induced evolution is Hamiltonian with respect to the reduced Poisson bracket. Because of a certain parallelism with the Euclidean case we study what we call Frenet and natural cases. We comment on the implications for completely integrable systems, and describe conformal analogues of the Hasimoto transformation.

     

Action-angle variables for the Gel'fand-Dikii flows

Using the scattering transform fornth order linear scalar operators, the Poisson bracket found by Gel'fand and Dikii, which generalizes the Gardner Poisson bracket for the KdV hierarchy, is computed on the scattering side. Action-angle variables are then constructed. Using this, complete integrability is demonstrated in the strong sense. Real action-angle variables are constructed in the self-adjoint case.Dedicated to Professor Klaus Kirchgässner on the occasion of his sixtieth birthdayResearch supported in part by N.S.F. Grants DMS-8916968 and DMS-8901607.We would like to thank Boris Konopelchenko for helpful discussions during the preparation of this paper.     

Triple Brackets and Lax Morphism Categories

Various aspects of the traditional homotopy theory of topological spaces may be developed in an arbitrary 2-category C with zeros. In particular certain secondary composition operations called box brackets recently have been defined for C; these are similar to, but extend, the familiar Toda brackets in the topological case. In this paper we introduce further the notion of a suspension functor in C and explore the ramifications of relativizing the theory in terms of the associated lax morphism category of C, denoted mC. Four operations associated to a 3-box diagram are introduced and relations among them are clarified. The results and insights obtained, while by nature somewhat technical, yield effective and efficient techniques for computing many operations of Toda bracket type. We illustrate by recording some computations from the homotopy groups of spheres. Also the properties of a new operation, the 2-sided matrix Toda bracket, are explored.     

Actions of Borel Subgroups on Homogeneous Spaces of Reductive Complex Lie Groups and Integrability

Let G be a real reductive Lie group, K its compact subgroup. Let A be the algebra of G-invariant real-analytic functions on T ^*(G/K) (with respect to the Poisson bracket) and let C be the center of A. Denote by 2(G,K) the maximal number of functionally independent functions from A\C. We prove that (G,K) is equal to the codimension (G,K) of maximal dimension orbits of the Borel subgroup BG ^C in the complex algebraic variety G ^C/K ^C. Moreover, if (G,K)=1, then all G-invariant Hamiltonian systems on T ^*(G/K) are integrable in the class of the integrals generated by the symmetry group G. We also discuss related questions in the geometry of the Borel group action.     

The ξ-compensator method in hydrodynamics

Some aspects of the Hamiltonian formalism for the dynamics of an inhomogeneous incompressible fluid relating to methods of calculating the Poisson brackets in definite problems are considered. As an example, the Poisson bracket of local velocities is calculated. The computational technique is based on the method of -compensators. It is shown that a previously established expression for this Poisson bracket can indeed be obtained from the general expression for {F, G} by the -compensator method.I. V. Kurchatov Institute of Atomic Energy, Moscow. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 91, No. 3, pp. 440–451, June, 1992.     

Several Cohomology Algebras Connected with the Poisson Structure

The structure of a Lie superalgebra is defined on the space of multiderivations of a commutative algebra. This structure is used to define some cohomology algebra of Poisson structure. It is shown that when a commutative algebra is an algebra of C -functions on the C -manifold, the cohomology algebra of Poisson structure is isomorphic to an algebra of vertical cohomologies of the foliation corresponding to the Poisson structure.     

On analytic microlocal hypoellipticity of linear partial differential operators of principal type

It is shown that if P is a linear partial differential uperator with analytic coefficients defined near a point xo in Rⁿ and if P in Rⁿ - 0 is such that: the principal symbol p_m,(x, ξ) vanishes at (x₀. ξ⁰). the differential of p_m, with respect to ξ is different from zero at (x₀, ξ⁰). the Poisson bracket {P_m, P_m} is zero at (x₀. ξ⁰) and the Poisson bracket {p_m, {p_m.p_m }} is different from zero at (x₀, ξ⁰), then P is analytic hypoelliptic at (x₀, ξ⁰). It is also proved that P is analytic hypoelliptic under the assumption that the first non-vanishing repeated Poisson bracket of p_m, and p_m, is of odd length and under some additional hypothesis on the commutators of the Hamilton fields of Re p_m, and Im p_m,     

Primitive and Poisson Spectra of Twists of Polynomial Rings

A family of flat deformations of a commutative polynomial ring S on n generators is considered, where each deformation B is a twist of S by a semisimple, linear automorphism of ^n–1, such that a Poisson bracket is induced on S. We show that if the symplectic leaves associated with this Poisson structure are algebraic, then they are the orbits of an algebraic group G determined by the Poisson bracket. In this case, we prove that if is 'generic enough', then there is a natural one-to-one correspondence between the primitive ideals of B and the symplectic leaves if and only if has a representative in GL( ⁿ ) which belongs to G. As an example, the results are applied to the coordinate ring of quantum 2 × 2 matrices which is not a twist of a polynomial ring, although it is a flat deformation of one; if q is not a root of unity, then there is a bijection between the primitive ideals of and the symplectic leaves.     

The coarse Baum–Connes conjecture via coarse geometry

The C₀ coarse structure on a metric space is a refinement of the bounded structure and is closely related to the topology of the space. In this paper we will prove the C₀ version of the coarse Baum–Connes conjecture and show that K_*(C^*X₀) is a topological invariant for a broad class of metric spaces. Using this result we construct a ‘geometric’ obstruction group to the coarse Baum–Connes conjecture for the bounded coarse structure. We then show under the assumption of finite asymptotic dimension that the obstructions vanish, and hence we obtain a new proof of the coarse Baum–Connes conjecture in this context.     

Multiple Positive Solutions for Eigenvalue Problems of Hemivariational Inequalities

We study a nonlinear eigenvalue problem with a nonsmooth potential. The subgradients of the potential are only positive near the origin (from above) and near +∞. Also the subdifferential is not necessarily monotone (i.e. the potential is not convex). Using variational techniques and the method of upper and lower solutions, we establish the existence of at least two strictly positive smooth solutions for all the parameters in an interval. Our approach uses the nonsmooth critical point theory for locally Lipschitz functions. A byproduct of our analysis is a generalization of a result of Brezis-Nirenberg (CRAS, 317 (1993)) on H¹₀ versus C¹₀ minimizers of a C¹-functional.     

Morse theory for some lower-C 2 functions in finite dimension

Using inf-regularization methods, we prove that Morse inequalities hold for some lower-C ² functions. For this purpose, we first recall some properties of the class of lower-C ² functions and of their Moreau-Yosida approximations. Then, we establish, under some qualification conditions on the critical points, that it is possible to define a Morse index for a lower-C ² functionf. This index is preserved by the Moreau-Yosida approximation process. We prove in particular that the Moreau-Yosida approximations are twice continuolusly differentiable around such a critical point which is shown to be a strict local minimum of the restriction off and of its approximations to some affine space. In a last step, Morse inequalities are written for Moreau-Yosida approximations and with the aid of deformation retractions we prove that these inequalities also hold for some lower-C ² functions.     

Uniformly stable rectangular elements for fourth order elliptic singular perturbation problems

In this article, we consider rectangular finite element methods for fourth order elliptic singular perturbation problems. We show that the non‐ C⁰ rectangular Morley element is uniformly convergent in the energy norm with respect to the perturbation parameter. We also propose a C⁰ extended high order rectangular Morley element and prove the uniform convergence. Finally, we do some numerical experiments to confirm the theoretical results. © 2012 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2013     

Wavelets and Hilbert Modules

A Hilbert C^*-module is a generalization of a Hilbert space for which the inner product takes its values in a C^*-algebra instead of the complex numbers. We use the bracket product to construct some Hilbert C^*-modules over a group C^*-algebra which is generated by the group of translations associated with a wavelet. We shall investigate bracket products and their Fourier transform in the space of square integrable functions in Euclidean space. We will also show that some wavelets are associated with Hilbert C^*-modules over the space of essentially bounded functions over higher dimensional tori.