On the essential commutant of QC

Let (QC) (resp. ) be the -algebra generated by the Toeplitz operators QC (resp. ) on the Hardy space of the unit circle. A well-known theorem of Davidson asserts that (QC) is the essential commutant of . We show that the essential commutant of (QC) is strictly larger than . Thus the image of in the Calkin algebra does not satisfy the double commutant relation. We also give a criterion for membership in the essential commutant of (QC).

     

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.

     

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 .

     

Analyticity on translates of a Jordan curve

Let be a domain in which is symmetric with respect to the real axis and whose boundary is a real analytic simple closed curve. Translate vertically to get where is such that . We prove that if is a continuous function on such that for each , the function has a continuous extension to which is holomorphic on , then is holomorphic on .

     

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.

     

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.

     

Quantum symmetric derivatives

For , a one-parameter family of symmetric quantum derivatives is defined for each order of differentiation as are two families of Riemann symmetric quantum derivatives. For , symmetrization holds, that is, whenever the th Peano derivative exists at a point, all of these derivatives of order also exist at that point. The main result, desymmetrization, is that conversely, for , each symmetric quantum derivative is a.e. equivalent to the Peano derivative of the same order. For and , each th symmetric quantum derivative coincides with both corresponding th Riemann symmetric quantum derivatives, so, in particular, for and , both th Riemann symmetric quantum derivatives are a.e. equivalent to the Peano derivative.

     

A note on -estimates for stable integrals with drift

Let be of the form where is a symmetric stable process of index with . We obtain various -estimates for the process . In particular, for and any measurable, nonnegative function we derive the inequality

As an application of the obtained estimates, we prove the existence of solutions for the stochastic equation for any initial value .

     

Uniform Sobolev inequalities and absolute continuity of periodic operators

We establish certain uniform inequalities for a family of second order elliptic operators of the form on the -torus, where and is a symmetric, positive definite matrix with real constant entries. Using these Sobolev type inequalities, we obtain the absolute continuity of the spectrum of the periodic Dirac operator on with singular potential. The absolute continuity of the elliptic operator div on with a positive periodic scalar function is also studied.

     

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.

     

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 .

     

On a Ramanujan equation connected with the median of the gamma distribution

In this paper, we consider the sequence solving the Ramanujan equation

The three main achievements are the following. We introduce a continuous-time extension of and show its close connections with the medians of the distributions and the Charlier polynomials. We give upper and lower bounds for both and , in particular for , which are sharper than other known estimates. Finally, we show (and at the same time complete) two conjectures by Chen and Rubin referring to the sequence of medians .

     

Linear differential equations with coefficients in weighted Bergman and Hardy spaces

Complex linear differential equations of the form

with coefficients in weighted Bergman or Hardy spaces are studied. It is shown, for example, that if the coefficient of belongs to the weighted Bergman space , where , for all , then all solutions are of order of growth at most , measured according to the Nevanlinna characteristic. In the case when all solutions are shown to be not only of order of growth zero, but of bounded characteristic. Conversely, if all solutions are of order of growth at most , then the coefficient is shown to belong to for all and .

Analogous results, when the coefficients belong to certain weighted Hardy spaces, are obtained. The non-homogeneous equation associated to is also briefly discussed.

     

Singular solutions of parabolic -Laplacian with absorption

We consider, for and , the -Laplacian evolution equation with absorption

We are interested in those solutions, which we call singular solutions, that are non-negative, non-trivial, continuous in , and satisfy for all . We prove the following:

(i)

When , there does not exist any such singular solution.

(ii)

When , there exists, for every , a unique singular solution that satisfies as .

Also, as , where is a singular solution that satisfies as .

Furthermore, any singular solution is either or for some finite positive .

     

Good measures on Cantor space

While there is, up to homeomorphism, only one Cantor space, i.e. one zero-dimensional, perfect, compact, nonempty metric space, there are many measures on Cantor space which are not topologically equivalent. The clopen values set for a full, nonatomic measure is the countable dense subset is clopen of the unit interval. It is a topological invariant for the measure. For the class of good measures it is a complete invariant. A full, nonatomic measure is good if whenever are clopen sets with , there exists a clopen subset of such that . These measures have interesting dynamical properties. They are exactly the measures which arise from uniquely ergodic minimal systems on Cantor space. For some of them there is a unique generic measure-preserving homeomorphism. That is, within the Polish group of such homeomorphisms there is a dense, conjugacy class.

     

On initial segment complexity and degrees of randomness

One approach to understanding the fine structure of initial segment complexity was introduced by Downey, Hirschfeldt and LaForte. They define to mean that . The equivalence classes under this relation are the -degrees. We prove that if is -random, then and have no upper bound in the -degrees (hence, no join). We also prove that -randomness is closed upward in the -degrees. Our main tool is another structure intended to measure the degree of randomness of real numbers: the -degrees. Unlike the -degrees, many basic properties of the -degrees are easy to prove. We show that implies , so some results can be transferred. The reverse implication is proved to fail. The same analysis is also done for , the analogue of for plain Kolmogorov complexity.

Two other interesting results are included. First, we prove that for any , a -random real computable from a --random real is automatically --random. Second, we give a plain Kolmogorov complexity characterization of -randomness. This characterization is related to our proof that implies .

     

Vertices for characters of -solvable groups

Suppose that is a finite -solvable group. We associate to every irreducible complex character of a canonical pair , where is a -subgroup of and , uniquely determined by up to -conjugacy. This pair behaves as a Green vertex and partitions into ``families" of characters. Using the pair , we give a canonical choice of a certain -radical subgroup of and a character associated to which was predicted by some conjecture of G. R. Robinson.

     

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 .