On the unique representation of families of sets

Let and be uncountable Polish spaces. represents a family of sets provided each set in occurs as an -section of . We say that uniquely represents provided each set in occurs exactly once as an -section of . is universal for if every -section of is in . is uniquely universal for if it is universal and uniquely represents . We show that there is a Borel set in which uniquely represents the translates of if and only if there is a Vitali set. Assuming there is a Borel set with all sections sets and all non-empty sets are uniquely represented by . Assuming there is a Borel set with all sections which uniquely represents the countable subsets of . There is an analytic set in with all sections which represents all the subsets of , but no Borel set can uniquely represent the sets. This last theorem is generalized to higher Borel classes.

     

Profinite and pro- completions of Poincaré duality groups of dimension 3

We establish some sufficient conditions for the profinite and pro- completions of an abstract group of type (resp. of finite cohomological dimension, of finite Euler characteristic) to be of type over the field for a fixed natural prime (resp. of finite cohomological -dimension, of finite Euler -characteristic).

We apply our methods for orientable Poincaré duality groups of dimension 3 and show that the pro- completion of is a pro- Poincaré duality group of dimension 3 if and only if every subgroup of finite index in has deficiency 0 and is infinite. Furthermore if is infinite but not a Poincaré duality pro- group, then either there is a subgroup of finite index in of arbitrary large deficiency or is virtually . Finally we show that if every normal subgroup of finite index in has finite abelianization and the profinite completion of has an infinite Sylow -subgroup, then is a profinite Poincaré duality group of dimension 3 at the prime .

     

Multiscale-bump standing waves with a critical frequency for nonlinear Schrödinger equations

In this paper we study the existence and qualitative property of standing wave solutions for the nonlinear Schrödinger equation with being a critical frequency in the sense that We show that if the zero set of has isolated connected components such that the interior of is not empty and is smooth, has isolated zero points, , , and has critical points such that , then for small, there exists a standing wave solution which is trapped in a neighborhood of Moreover the amplitudes of the standing wave around , and are of a different order of . This type of multi-scale solution has never before been obtained.

     

Geometry and ergodic theory of non-hyperbolic exponential maps

We deal with all the maps from the exponential family such that the orbit of zero escapes to infinity sufficiently fast. In particular all the parameters are included. We introduce as our main technical devices the projection of the map to the infinite cylinder and an appropriate conformal measure . We prove that , essentially the set of points in returning infinitely often to a compact region of disjoint from the orbit of , has the Hausdorff dimension , that the -dimensional Hausdorff measure of is positive and finite, and that the -dimensional packing measure is locally infinite at each point of . We also prove the existence and uniqueness of a Borel probability -invariant ergodic measure equivalent to the conformal measure . As a byproduct of the main course of our considerations, we reprove the result obtained independently by Lyubich and Rees that the -limit set (under ) of Lebesgue almost every point in , coincides with the orbit of zero under the map . Finally we show that the the function , , is continuous.

     

properties for Gaussian random series

Let be an arbitrary sequence of and let be a random series of the type

where is a sequence of independent Gaussian random variables and an orthonormal basis of (the finite measure space being arbitrary). By using the equivalence of Gaussian moments and an integrability theorem due to Fernique, we show that a necessary and sufficient condition for to belong to , for any almost surely is that . One of the main motivations behind this result is the construction of a nontrivial Gibbs measure invariant under the flow of the cubic defocusing nonlinear Schrödinger equation posed on the open unit disc of .

     

Simple derivations of differentiably simple Noetherian commutative rings in prime characteristic

Let be a differentiably simple Noetherian commutative ring of characteristic (then is local with ). A short proof is given of the Theorem of Harper (1961) on classification of differentiably simple Noetherian commutative rings in prime characteristic. The main result of the paper is that there exists a nilpotent simple derivation of the ring such that if , then for some . The derivation is given explicitly, and it is unique up to the action of the group of ring automorphisms of . Let be the set of all such derivations. Then . The proof is based on existence and uniqueness of an iterative -descent (for each ), i.e., a sequence in such that , and for all . For each , and .

     

Structural interactions of conjugacy closed loops

We study conjugacy closed loops by means of their multiplication groups. Let be a conjugacy closed loop, its nucleus, the associator subloop, and and the left and right multiplication groups, respectively. Put . We prove that the cosets of agree with orbits of , that and that one can define an abelian group on . We also explain why the study of finite conjugacy closed loops can be restricted to the case of nilpotent. Group is shown to be a subgroup of a power of (which is abelian), and we prove that can be embedded into . Finally, we describe all conjugacy closed loops of order .

     

Completely isometric representations of

Let be a locally compact group. It is shown that there exists a natural completely isometric representation of the completely bounded Fourier multiplier algebra , which is dual to the representation of the measure algebra , on . The image algebras of and in are intrinsically characterized, and some commutant theorems are proved. It is also shown that for any amenable group , there is a natural completely isometric representation of on , which can be regarded as a duality result of Neufang's completely isometric representation theorem for .

     

Gromov-Witten invariants of jumping curves

Given a vector bundle on a smooth projective variety , we can define subschemes of the Kontsevich moduli space of genus-zero stable maps parameterizing maps such that the Grothendieck decomposition of has a specified splitting type. In this paper, using a ``compactification' of this locus, we define Gromov-Witten invariants of jumping curves associated to the bundle . We compute these invariants for the tautological bundle of Grassmannians and the Horrocks-Mumford bundle on . Our construction is a generalization of jumping lines for vector bundles on . Since for the tautological bundle of the Grassmannians the invariants are enumerative, we resolve the classical problem of computing the characteristic numbers of unbalanced scrolls.

     

Equipartitions of measures in

A well-known problem of B. Grünbaum (1960) asks whether for every continuous mass distribution (measure) on there exist hyperplanes dividing into parts of equal measure. It is known that the answer is positive in dimension (see H. Hadwiger (1966)) and negative for (see D. Avis (1984) and E. Ramos (1996)). We give a partial solution to Grünbaum's problem in the critical dimension by proving that each measure in admits an equipartition by hyperplanes, provided that it is symmetric with respect to a -dimensional affine subspace of . Moreover we show, by computing the complete obstruction in the relevant group of normal bordisms, that without the symmetry condition, a naturally associated topological problem has a negative solution. The computation is based on Koschorke's exact singularity sequence (1981) and the remarkable properties of the essentially unique, balanced binary Gray code in dimension ; see G. C. Tootill (1956) and D. E. Knuth (2001).

     

Strongly self-absorbing -algebras

Say that a separable, unital -algebra is strongly self-absorbing if there exists an isomorphism such that and are approximately unitarily equivalent -homomorphisms. We study this class of algebras, which includes the Cuntz algebras , , the UHF algebras of infinite type, the Jiang-Su algebra and tensor products of with UHF algebras of infinite type. Given a strongly self-absorbing -algebra we characterise when a separable -algebra absorbs tensorially (i.e., is -stable), and prove closure properties for the class of separable -stable -algebras. Finally, we compute the possible -groups and prove a number of classification results which suggest that the examples listed above are the only strongly self-absorbing -algebras.

     

-bounds for the Beurling-Ahlfors transform

Let denote the Beurling-Ahlfors transform defined on , . The celebrated conjecture of T. Iwaniec states that its norm where . In this paper the new upper estimate

is found.

     

Well-posedness for the Kadomtsev-Petviashvili II equation and generalisations

We show the local in time well-posedness of the Cauchy problem for the Kadomtsev-Petviashvili II equation for initial data in the non-isotropic Sobolev space with and . On the scale this result includes the full subcritical range without any additional low frequency assumption on the initial data. More generally, we prove the local in time well-posedness of the Cauchy problem for the following generalisation of the KP II equation:

for , , and . We deduce global well-posedness for , and real valued initial data.

     

Decomposition numbers for weight three blocks of symmetric groups and Iwahori-Hecke algebras

Let be a field, a non-zero element of and the Iwahori-Hecke algebra of the symmetric group . If is a block of of -weight and the characteristic of is at least , we prove that the decomposition numbers for are all at most . In particular, the decomposition numbers for a -block of of defect are all at most .

     

An analogue of the Descartes-Euler formula for infinite graphs and Higuchi's conjecture

Let be a connected 2-manifold without boundary obtained from a (possibly infinite) collection of polygons by identifying them along edges of equal length. Let be the set of vertices, and for every , let denote the (Gaussian) curvature of : minus the sum of incident polygon angles. Descartes showed that whenever may be realized as the surface of a convex polytope in . More generally, if is made of finitely many polygons, Euler's formula is equivalent to the equation where is the Euler characteristic of . Our main theorem shows that whenever converges and there is a positive lower bound on the distance between any pair of vertices in , there exists a compact closed 2-manifold and an integer so that is homeomorphic to minus points, and further .

In the special case when every polygon is regular of side length one and for every vertex , we apply our main theorem to deduce that is made of finitely many polygons and is homeomorphic to either the 2-sphere or to the projective plane. Further, we show that unless is a prism, antiprism, or the projective planar analogue of one of these that . This resolves a recent conjecture of Higuchi.

     

A simple formula for an analogue of conditional Wiener integrals and its applications

Let denote the space of real-valued continuous functions on the interval and for a partition of , let be given by .

In this paper, with the conditioning function , we derive a simple formula for conditional expectations of functions defined on which is a probability space and a generalization of Wiener space. As applications of the formula, we evaluate the conditional expectation of functions of the form

for and derive a translation theorem for the conditional expectation of integrable functions defined on the space .

     

Homology of generalized Steinberg varieties and Weyl group invariants

Let be a complex, connected, reductive algebraic group. In this paper we show analogues of the computations by Borho and MacPherson of the invariants and anti-invariants of the cohomology of the Springer fibres of the cone of nilpotent elements, , of for the Steinberg variety of triples.

Using a general specialization argument we show that for a parabolic subgroup of the space of -invariants and the space of -anti-invariants of are isomorphic to the top Borel-Moore homology groups of certain generalized Steinberg varieties introduced by Douglass and Röhrle (2004).

The rational group algebra of the Weyl group of is isomorphic to the opposite of the top Borel-Moore homology of , where . Suppose is a parabolic subgroup of . We show that the space of -invariants of is , where is the idempotent in the group algebra of affording the trivial representation of and is defined similarly. We also show that the space of -anti-invariants of is , where is the idempotent in the group algebra of affording the sign representation of and is defined similarly.

     

The zero set of semi-invariants for extended Dynkin quivers

We show that the set of common zeros of all semi-invariants vanishing at 0 on the variety of all representations with dimension vector of an extended Dynkin quiver under the group is a complete intersection if is ``big enough'. In case does not contain an open -orbit, which is the case not considered so far, the number of irreducible components of grows with , except if is an oriented cycle.

     

Existence of renormalized solutions to nonlinear elliptic equations with two lower order terms and measure data

In this paper we prove the existence of a renormalized solution to a class of nonlinear elliptic problems whose prototype is

where is a bounded open subset of , , is the so-called Laplace operator, , is a Radon measure with bounded variation on , , , and and belong to the Lorentz spaces , , and , respectively. In particular we prove the existence under the assumptions that , belongs to the Lorentz space , , and is small enough.