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 .

     

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.

     

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).

     

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.

     

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 .

     

Large orbits in coprime actions of solvable groups

Let be a solvable group of automorphisms of a finite group . If and are coprime, then there exists an orbit of on of size at least . It is also proved that in a -solvable group, the largest normal -subgroup is the intersection of at most three Hall -subgroups.

     

Some new results in multiplicative and additive Ramsey theory

There are several notions of largeness that make sense in any semigroup, and others such as the various kinds of density that make sense in sufficiently well-behaved semigroups including and . It was recently shown that sets in which are multiplicatively large must contain arbitrarily large geoarithmetic progressions, that is, sets of the form , as well as sets of the form . Consequently, given a finite partition of , one cell must contain such configurations. In the partition case we show that we can get substantially stronger conclusions. We establish some combined additive and multiplicative Ramsey theoretic consequences of known algebraic results in the semigroups and , derive some new algebraic results, and derive consequences of them involving geoarithmetic progressions. For example, we show that given any finite partition of there must be, for each , sets of the form together with , the arithmetic progression , and the geometric progression in one cell of the partition. More generally, we show that, if is a commutative semigroup and a partition regular family of finite subsets of , then for any finite partition of and any , there exist and such that is contained in a cell of the partition. Also, we show that for certain partition regular families and of subsets of , given any finite partition of some cell contains structures of the form for some .

     

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.

     

The kernels of radical homomorphisms and intersections of prime ideals

We establish a necessary condition for a commutative Banach algebra so that there exists a homomorphism from into another Banach algebra such that the prime radical of the continuity ideal of is not a finite intersection of prime ideals in . We prove that the prime radical of the continuity ideal of an epimorphism from onto another Banach algebra (or of a derivation from into a Banach -bimodule) is always a finite intersection of prime ideals. Under an additional cardinality condition (and assuming the Continuum Hypothesis), this necessary condition is proved to be sufficient. En route, we give a general result on norming commutative semiprime algebras; extending the class of algebras known to be normable. We characterize those locally compact metrizable spaces for which there exists a homomorphism from into a radical Banach algebra whose kernel is not a finite intersection of prime ideals.

     

Pure subrings of regular rings are pseudo-rational

We prove a generalization conjectured by Aschenbrenner and Schoutens (2003) of the Hochster-Roberts-Boutot-Kawamata Theorem: let be a pure homomorphism of equicharacteristic zero Noetherian local rings. If is regular, then is pseudo-rational, and if is moreover -Gorenstein, then it is pseudo-log-terminal.

     

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.

     

Asymptotics for discrete weighted minimal Riesz energy problems on rectifiable sets

Given a closed -rectifiable set embedded in Euclidean space, we investigate minimal weighted Riesz energy points on ; that is, points constrained to and interacting via the weighted power law potential , where is a fixed parameter and is an admissible weight. (In the unweighted case () such points for fixed tend to the solution of the best-packing problem on as the parameter .) Our main results concern the asymptotic behavior as of the minimal energies as well as the corresponding equilibrium configurations. Given a distribution with respect to -dimensional Hausdorff measure on , our results provide a method for generating -point configurations on that are ``well-separated' and have asymptotic distribution as .

     

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 .

     

Stabilization of oscillators subject to dry friction: Finite time convergence versus exponential decay results

We investigate the dynamics of an oscillator subject to dry friction via the following differential inclusion:

where is a smooth potential and is a convex function. The friction is modelized by the subdifferential term . When (dry friction condition), it was shown by Adly, Attouch, and Cabot (2006) that the unique solution to converges in a finite time toward an equilibrium state provided that . In this paper, we study the delicate case where the vector belongs to the boundary of the set . We prove that either the solution converges in a finite time or the speed of convergence is exponential. When , , , we obtain the existence of a critical coefficient below which every solution stabilizes in a finite time. It is also shown that the geometry of the set plays a central role in the analysis.

     

Equilibriums of some non-Hölder potentials

We consider one-sided subshifts with some potential functions which satisfy the Hölder condition everywhere except at a fixed point and its preimages. We prove that the systems have conformal measures and invariant measures absolutely continuous with respect to , where may be finite or infinite. We show that the systems are exact, and are weak Gibbs measures and equilibriums for . We also discuss uniqueness of equilibriums and phase transition.

These results can be applied to some expanding dynamical systems with an indifferent fixed point.

     

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 .

     

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).