Topological lower bounds on the distance between area preserving diffeomorphisms

Area preserving diffeomorphisms of the 2-disk which are Identity near the boundary form a group which can be equipped, using theL ²-norm on its Lie algebra, with a right invariant metric. In this paper we give a lower bound on the distance between diffeomorphisms which is invariant under area preserving changes of coordinates and which improves the lower bound induced by the Calabi invariant. In the case of renormalizable and infinitely renormalizable maps, our estimate can be improved and computed.     

Lengths of Contact Isotopies and Extensions of the Hofer Metric

Using the Hofer metric, we construct, under a certain condition, a bi-invariant distance on the identity component in the group of strictly contact diffeomorphisms of a compact regular contact manifold. We also show that the Hofer metric on Ham(M) has a right-invariant (but not left invariant) extension to the identity component in the groups of symplectic diffeomorphisms of certain symplectic manifolds.Mathematics Subject classification (2000): 53C12, 53C15.     

The transfer and symplectic cobordism

The main result of this paper is the nilpotency fomula , for N. Ray classes in the torsion of the symplectic bordism ring

     

Invariant functionals and the uniqueness of invariant norms

Let τ be a representation of a compact group G on a Banach space (X,||·||). The question we address is whether X carries a unique invariant norm in the sense that ||·|| is the unique norm on X for which τ is a representation. We characterize the uniqueness of norm in terms of the automatic continuity of the invariant functionals in the case when X is a dual Banach space and τ is a -continuous representation of G on X such that τ(G) consists of -continuous operators. We illustrate the usefulness of this characterization by studying the uniqueness of the norm on the spaces Lp(Ω), where Ω is a locally compact Hausdorff space equipped with a positive Radon measure and G acts on Ω as a group of continuous invertible measure-preserving transformations.     

Rademacher series and isomorphisms of rearrangement invariant spaces on the finite interval and on the semi-axis

Let X be a rearrangement invariant function space on [0,1]. We consider the subspace Radi X of X which consists of all functions of the form , where xk are arbitrary independent functions from X and rk are usual Rademacher functions independent of {xk}. We prove that Radi X is complemented in X if and only if both X and its Köthe dual space X^′ possess the so-called Kruglov property. As a consequence we show that the last conditions guarantee that X is isomorphic to some rearrangement invariant function space on [0,∞). This strengthens earlier results derived in different approach in [W.B. Johnson, B. Maurey, G. Schechtman, L. Tzafriri, Symmetric structures in Banach spaces, Mem. Amer. Math. Soc. 1 (217) (1979)].     

Approximation in reflexive Banach spaces and applications to the invariant subspace problem

We formulate a general approximation problem involving reflexive and smooth Banach spaces, and give its explicit solution. Two applications are presented--the first is to the Bounded Completion Problem involving approximation of Hardy class functions, while the second involves the construction of minimal vectors and hyperinvariant subspaces of linear operators, generalizing the Hilbert space technique of Ansari and Enflo.

     

Global entropy solutions to the compressible Euler equations in the isentropic nozzle flow for large data: Application of the generalized invariant regions and the modified Godunov scheme

We study the motion of isentropic gas in nozzles. This is a major subject in fluid dynamics. In fact, the nozzle is utilized to increase the thrust of rocket engines. Moreover, the nozzle flow is closely related to astrophysics. These phenomena are governed by the compressible Euler equations, which are one of crucial equations in inhomogeneous conservation laws.In this paper, we consider its unsteady flow and devote to proving the global existence and stability of solutions to the Cauchy problem for the general nozzle. The theorem has been proved in Tsuge (2013). However, this result is limited to small data. Our aim in the present paper is to remove this restriction, that is, we consider large data. Although the subject is important in Mathematics, Physics and engineering, it remained open for a long time. The problem seems to rely on a bounded estimate of approximate solutions, because we have only method to investigate the behavior with respect to the time variable. To solve this, we first introduce a generalized invariant region. Compared with the existing ones, its upper and lower bounds are extended constants to functions of the space variable. However, we cannot apply the new invariant region to the traditional difference method. Therefore, we invent the modified Godunov scheme. The approximate solutions consist of some functions corresponding to the upper and lower bounds of the invariant regions. These methods enable us to investigate the behavior of approximate solutions with respect to the space variable. The ideas are also applicable to other nonlinear problems involving similar difficulties.     

The Mumford relations and the moduli of rank three stable bundles

The cohomology ring of the moduli space M(n,d) of semistable bundles of coprime rank n and degree d over a Riemann surface M of genus g 2 has again proven a rich source of interest in recent years. The rank two, odd degree case is now largely understood. In 1991 Kirwan [8] proved two long standing conjectures due to Mumford and to Newstead and Ramanan. Mumford conjectured that a certain set of relations form a complete set; the Newstead-Ramanan conjecture involved the vanishing of the Pontryagin ring. The Newstead–Ramanan conjecture was independently proven by Thaddeus [15] as a corollary to determining the intersection pairings. As yet though, little work has been done on the cohomology ring in higher rank cases. A simple numerical calculation shows that the Mumford relations themselves are not generally complete when n>2. However by generalising the methods of [8] and by introducing new relations, in a sense dual to the original relations conjectured by Mumford, we prove results corresponding to the Mumford and Newstead-Ramanan conjectures in the rank three case. Namely we show (Sect. 4) that the Mumford relations and these dual Mumford relations form a complete set for the rational cohomology ring of M(3,d) and show (Sect. 5) that the Pontryagin ring vanishes in degree 12g-8 and above.     

The Haruki-Rassias and related integral representations of the Bernoulli and Euler polynomials

Haruki and Rassias [H. Haruki, T.M. Rassias, New integral representations for Bernoulli and Euler polynomials, J. Math. Anal. Appl. 175 (1993) 81-90] found the integral representations of the classical Bernoulli and Euler polynomials and proved them by making use of the properties of certain functional equation. In this sequel, we rederive, in a completely different way, the results of Haruki and Rassias and deduce related and new integral representations. Our proofs are quite simple and remarkably elementary.     

Local existence and blow-up criterion for the Euler equations in Besov spaces of weak type

We introduce Besov type function spaces, based on the weak L ^p -spaces instead of the standard L ^p -spaces, and prove a local-in-time unique existence and a blow-up criterion of solutions in those spaces for the Euler equations of perfect incompressible fluid in . For the proof, we establish the Beale-Kato-Majda type logarithmic inequality and commutator type estimates in our weak spaces. Abbreviate title: Euler equations in Besov spaces of weak type     

Frames and Riesz bases for shift invariant spaces on the abstract Heisenberg group

Let $G$ be a second countable locally compact abelian group. The aim of this paper is to characterize the left translates on the Heisenberg group $\mathbb{H}\left(G\right)$ to be frames and Riesz bases in terms of the group Fourier transform.     

The slice genus and the Thurston-Bennequin invariant of a knot

For any knot , .

     

From Symmetries of the Modular Tower of Genus Zero Real Stable Curves to a Euler Class for the Dyadic Circle

We construct actions of the spheromorphism group of Neretin (containing Thompson's group V) on towers of moduli spaces of genus zero real stable curves. The latter consist of inductive limits of spaces which are the real parts of the Grothendieck–Knudsen compactification of the moduli spaces of punctured Riemann spheres. By a result of M. Davis, T.Januszkiewicz and R. Scott, these spaces are aspherical cubical complexes whose fundamental groups, the pure quasi-braid groups, can be viewed as analogues of the Artin pure braid groups. By lifting the actions of the Thompson and Neretin groups to the universal covers of the towers, we obtain extensions of both groups by an infinite pure quasi-braid group, and construct an Euler class for the Neretin group. We justify this terminology by constructing a corresponding cocycle.     

Compact and weakly compact composition operators from the Bloch space into Möbius invariant spaces

We obtain exhaustive results and treat in a unified way the question of boundedness, compactness, and weak compactness of composition operators from the Bloch space into any space from a large family of conformally invariant spaces that includes the classical spaces like BMOA  , _Qα$Q_{\alpha }$, and analytic Besov spaces B^p$B^p$. In particular, by combining techniques from both complex and functional analysis, we prove that in this setting weak compactness is equivalent to compactness. For the operators into the corresponding “small” spaces we also characterize the boundedness and show that it is equivalent to compactness.     

The behavior of the Laplace transform of the invariant measure on the hypersphere of high dimension

We consider the sequence of the hyperspheres M _n , i.e., the homogeneous transitive spaces of the Cartan subgroup of the group and study the normalized limit of the corresponding sequence of invariant measures m _n on those spaces. In the case of compact groups and homogeneous spaces, for example, for the classical pairs (SO(n), S ^n-1), n = 1, 2, … , the limit of the corresponding measures is the classical infinite-dimensional Gaussian measure; this is the well-known Maxwell-Poincaré lemma. Simultaneously the Gaussian measure is a unique (up to a scalar) invariant measure with respect to the action of the infinite orthogonal group O(∞). This coincidence implies the asymptotic equivalence between grand and small canonical ensembles for the series of the pairs (SO(n), S ^n-1). Our main result shows that the situation for noncompact groups, for example for the case , is completely different: the limit of the measures m _n does not exist in the literal sense, and we show that only a normalized logarithmic limit of the Laplace transforms of those measures does exist. At the same time, there exists a measure which is invariant with respect to a continuous analogue of the Cartan subgroup of the group GL(∞), the so-called infinite-dimensional Lebesgue measure (see [7]). This difference is an evidence for non-equivalence between the grand and small canonical ensembles in the noncompact case. To my friend Dima Arnold     

The MacLane class and complex differential equations in the unit disk

The interaction between the coefficients and solutions for linear differential equations and for Riccati differential equations is investigated in the unit disk in terms of their asymptotic values as described by the MacLane class. This interaction is further explored within the context of a meromorphic version of the MacLane class.     

The cohomology of homotopy categories and the general linear group

A homotopy categoryC (of co-H-groups resp.H-groups) represents an element C in the third cohomology ofC. This element determines all Toda brackets and secondary homotopy operations inC. Moreover, in caseC =VS ⁿ consists of all one-point unions ofn-spheres, the bracket is actually a /2-generator which restricts to Igusa's class(1) in casen3; an explicit new cocycle for(1) is obtained by automorphisms of free nil(2)-groups.