Sheared algebra maps and operation bialgebras for mod 2 homology and cohomology

The mod 2 Steenrod algebra and Dyer-Lashof algebra have both striking similarities and differences arising from their common origins in ``lower-indexed' algebraic operations. These algebraic operations and their relations generate a bigraded bialgebra , whose module actions are equivalent to, but quite different from, those of and . The exact relationships emerge as ``sheared algebra bijections', which also illuminate the role of the cohomology of . As a bialgebra, has a particularly attractive and potentially useful structure, providing a bridge between those of and , and suggesting possible applications to the Miller spectral sequence and the structure of Dickson algebras.

     

Vertex operators for twisted quantum affine algebras

We construct explicitly the -vertex operators (intertwining operators) for the level one modules of the classical quantum affine algebras of twisted types using interacting bosons, where for (), for , for (), and for (). A perfect crystal graph for is constructed as a by-product.

     

A bracket power characterization of analytic spread one ideals

The main theorem characterizes, in terms of bracket powers, analytic spread one ideals in local rings. Specifically, let be regular nonunits in a local (Noetherian) ring and assume that , the integral closure of , where . Then the main result shows that for all but finitely many units in that are non-congruent modulo and for all large integers and it holds that for and not divisible by , where is the -th bracket power of . And, conversely, if there exist positive integers , , and such that has a basis such that , then has analytic spread one.

     

Avoidable algebraic subsets of Euclidean space

Fix an integer and consider real -dimensional . A partition of avoids the polynomial , where each is an -tuple of variables, if there is no set of the partition which contains distinct such that . The polynomial is avoidable if some countable partition avoids it. The avoidable polynomials are studied here. The polynomial is an especially interesting example of an avoidable one. We find (1) a countable partition which avoids every avoidable polynomial over , and (2) a characterization of the avoidable polynomials. An important feature is that both the ``master' partition in (1) and the characterization in (2) depend on the cardinality of .

     

Tight closure, plus closure and Frobenius closure in cubical cones

We consider tight closure, plus closure and Frobenius closure in the rings , where is a field of characteristic and . We use a -grading of these rings to reduce questions about ideals in the quotient rings to questions about ideals in the regular ring . We show that Frobenius closure is the same as tight closure in certain classes of ideals when . Since , we conclude that for these ideals. Using injective modules over the ring , the union of all th roots of elements of , we reduce the question of whether for -graded ideals to the case of -graded irreducible modules. We classify the irreducible -primary -graded ideals. We then show that for most irreducible -primary -graded ideals in , where is a field of characteristic and . Hence for these ideals.

     

Functions for parametrization of solutions of an equation in a free monoid

In this paper we introduce recursive functions

of the word variables , natural number variables and variables whose values are finite sequences of natural number variables. By means of these functions we give finite expressions for the family of solutions of the equation

where is an arbitrary word in the alphabet , in a free monoid.

     

Partial differential equations with matricial coefficients and generalized translation operators

Let be the Bessel operator with matricial coefficients defined on by

where is a diagonal matrix and let be an matrix-valued function. In this work, we prove that there exists an isomorphism on the space of even , -valued functions which transmutes and . This allows us to define generalized translation operators and to develop harmonic analysis associated with . By use of the Riemann method, we provide an integral representation and we deduce more precise information on these operators.

     

Rigidity and topological conjugates of topologically tame Kleinian groups

Minsky proved that two Kleinian groups and are quasi-conformally conjugate if they are freely indecomposable, the injectivity radii at all points of , are bounded below by a positive constant, and there is a homeomorphism from a topological core of to that of such that and map ending laminations to ending laminations. We generalize this theorem to the case when and are topologically tame but may be freely decomposable under the same assumption on the injectivity radii. As an application, we prove that if a Kleinian group is topologically conjugate to another Kleinian group which is topologically tame and not a free group, and both Kleinian groups satisfy the assumption on the injectivity radii as above, then they are quasi-conformally conjugate.

     

A counterexample concerning the relation between decoupling constants and -constants

For Banach spaces and and a bounded linear operator
we let such that

for all finitely supported and all , where is the sequence of Haar functions. We construct an operator , where is superreflexive and of type 2, with such that there is no constant with

In particular it turns out that the decoupling constants , where is the identity of a Banach space , fail to be equivalent up to absolute multiplicative constants to the usual -constants. As a by-product we extend the characterization of the non-superreflexive Banach spaces by the finite tree property using lower 2-estimates of sums of martingale differences.

     

On minimal parabolic functions and time-homogeneous parabolic -transforms

Does a minimal harmonic function remain minimal when it is viewed as a parabolic function? The question is answered for a class of long thin semi-infinite tubes of variable width and minimal harmonic functions corresponding to the boundary point of ``at infinity.' Suppose is the width of the tube units away from its endpoint and is a Lipschitz function. The answer to the question is affirmative if and only if . If the test fails, there exist parabolic -transforms of space-time Brownian motion in with infinite lifetime which are not time-homogenous.

     

Maximal functions with polynomial densities in lacunary directions

Given a real polynomial in one variable such that , we consider the maximal operator in ,

0\,,\,i,j\in \mathbb{Z}}\frac{1... ...t f\big (x_{1}-2^{i}p(t),x_{2}-2^{j}p(t)\big )\big \vert\,dt . \end{displaymath}">

We prove that is bounded on for 1$"> with bounds that only depend on the degree of .

     

Willmore two-spheres in the four-sphere

Genus zero Willmore surfaces immersed in the three-sphere correspond via the stereographic projection to minimal surfaces in Euclidean three-space with finite total curvature and embedded planar ends. The critical values of the Willmore functional are , where , with . When the ambient space is the four-sphere , the regular homotopy class of immersions of the two-sphere is determined by the self-intersection number ; here we shall prove that the possible critical values are , where . Moreover, if , the corresponding immersion, or its antipodal, is obtained, via the twistor Penrose fibration , from a rational curve in and, if , via stereographic projection, from a minimal surface in with finite total curvature and embedded planar ends. An immersion lies in both families when the rational curve is contained in some or (equivalently) when the minimal surface of is complex with respect to a suitable complex structure of .

     

Cohomology of uniformly powerful -groups

In this paper we will study the cohomology of a family of -groups associated to -Lie algebras. More precisely, we study a category of -groups which will be equivalent to the category of -bracket algebras (Lie algebras minus the Jacobi identity). We then show that for a group in this category, its -cohomology is that of an elementary abelian -group if and only if it is associated to a Lie algebra.

We then proceed to study the exponent of in the case that is associated to a Lie algebra . To do this, we use the Bockstein spectral sequence and derive a formula that gives in terms of the Lie algebra cohomologies of . We then expand some of these results to a wider category of -groups. In particular, we calculate the cohomology of the -groups which are defined to be the kernel of the mod reduction

     

On reflection of stationary sets in

Let be an inaccessible cardinal, and let and is regular and . It is consistent that the set is stationary and that every stationary subset of reflects at almost every .

     

Conditions for the Existence of SBR Measures for ``Almost Anosov' Diffeomorphisms

A diffeomorphism of a compact manifold is called ``almost Anosov' if it is uniformly hyperbolic away from a finite set of points. We show that under some nondegeneracy condition, every almost Anosov diffeomorphism admits an invariant measure that has absolutely continuous conditional measures on unstable manifolds. The measure is either finite or infinite, and is called SBR measure or infinite SBR measure respectively. Therefore, tends to either an SBR measure or for almost every with respect to Lebesgue measure. ( is the Dirac measure at .) For each case, we give sufficient conditions by using coefficients of the third order terms in the Taylor expansion of at .

     

Compressions of resolvents and maximal radius of regularity

Suppose that is left invertible in for all , where is an open subset of the complex plane. Then an operator-valued function is a left resolvent of in if and only if has an extension , the resolvent of which is a dilation of of a particular form. Generalized resolvents exist on every open set , with included in the regular domain of . This implies a formula for the maximal radius of regularity of in terms of the spectral radius of its generalized inverses. A solution to an open problem raised by
J. Zemánek is obtained.

     

A nonlinear Fokker-Planck equation modelling the approach to thermal equilibrium in a homogeneous plasma

This work deals with the problem consisting in the equation

together with no-flux conditions at and , i.e.

Such a problem arises as a kinetic approximation to describe the evolution of the radiation distribution in a homogeneous plasma when radiation interacts with matter via Compton scattering. We shall prove that there exist solutions of , which develop singularities near in a finite time, regardless of how small the initial number of photons is. The nature of such singularities is then analyzed in detail. In particular, we show that the flux condition is lost at when the singularity unfolds. The corresponding blow-up pattern is shown to be asymptotically of a shock wave type. In rescaled variables, it consists in an imploding travelling wave solution of the Burgers equation near , that matches a suitable diffusive profile away from the shock. Finally, we also show that, on replacing near as determined by the manner of blow-up, such solutions can be continued for all times after the onset of the singularity.

     

Rotation topological factors of minimal -actions on the Cantor set

In this paper we study conditions under which a free minimal -action on the Cantor set is a topological extension of the action of rotations, either on the product of -tori or on a single -torus . We extend the notion of linearly recurrent systems defined for -actions on the Cantor set to -actions, and we derive in this more general setting a necessary and sufficient condition, which involves a natural combinatorial data associated with the action, allowing the existence of a rotation topological factor of one of these two types.

     

Geometry of chain complexes and outer automorphisms under derived equivalence

The two main theorems proved here are as follows: If is a finite dimensional algebra over an algebraically closed field, the identity component of the algebraic group of outer automorphisms of is invariant under derived equivalence. This invariance is obtained as a consequence of the following generalization of a result of Voigt. Namely, given an appropriate geometrization of the family of finite -module complexes with fixed sequence of dimensions and an ``almost projective' complex , there exists a canonical vector space embedding

where is the pertinent product of general linear groups acting on , tangent spaces at are denoted by , and is identified with its image in the derived category .

     

Characterizations of function spaces on the sphere using frames

In this paper we introduce a polynomial frame on the unit sphere of , for which every distribution has a wavelet-type decomposition. More importantly, we prove that many function spaces on the sphere , such as , and Besov spaces, can be characterized in terms of the coefficients in the wavelet decompositions, as in the usual Euclidean case . We also study a related nonlinear -term approximation problem on . In particular, we prove both a Jackson-type inequality and a Bernstein-type inequality associated to wavelet decompositions, which extend the corresponding results obtained by R. A. DeVore, B. Jawerth and V. Popov (``Compression of wavelet decompositions', Amer. J. Math. 114 (1992), no. 4, 737-785).