Actions of pointed Hopf algebras with reduced pi invariants

Let be an -module algebra, where is a pointed Hopf algebra acting on finitely of dimension . Suppose that for every nonzero -stable left ideal of . It is proved that if satisfies a polynomial identity of degree , then satisfies a polynomial identity of degree provided at least one of the following additional conditions is fulfilled:

1. is semiprime and is almost central in ,
2. is reduced.

If we also assume that is central, then satisfies the standard polynomial identity of degree , where is the greatest integer in .

     

On the extensions of homogeneous polynomials

We investigate the problem of the uniqueness of the extension of -homogeneous polynomials in Banach spaces. We show in particular that in a nonreflexive Banach space that admits contractive projection of finite rank of at least dimension 2, for every there exists an -homogeneous polynomial on that has infinitely many extensions to . We also prove that under some geometric conditions imposed on the norm of a complex Banach lattice , for instance when satisfies an upper -estimate with constant one for some , any -homogeneous polynomial on attaining its norm at with a finite rank band projection , has a unique extension to its bidual . We apply these results in a class of Orlicz sequence spaces.

     

Metric geodesics of isometries in a Hilbert space and the extension problem

We consider the problem of finding short smooth curves of isometries in a Hilbert space . The length of a smooth curve , , is measured by means of , where denotes the usual norm of operators. The initial value problem is solved: for any isometry and each tangent vector at (which is an operator of the form with ) with norm less than or equal to , there exist curves of the form , with initial velocity , which are short along their path. These curves, which we call metric geodesics, need not be unique, and correspond to the so called extension problem considered by M.G. Krein and others: in our context, given a symmetric operator

find all possible extending to all , with . We also consider the problem of finding metric geodesics joining two given isometries and . It is well known that if there exists a continuous path joining and , then both ranges have the same codimension. We show that if this number is finite, then there exist metric geodesics joining and .

     

On zeros of Eisenstein series for genus zero Fuchsian groups

Let SL be a genus zero Fuchsian group of the first kind with as a cusp, and let be the holomorphic Eisenstein series of weight on that is nonvanishing at and vanishes at all the other cusps (provided that such an Eisenstein series exists). Under certain assumptions on and on a choice of a fundamental domain , we prove that all but possibly of the nontrivial zeros of lie on a certain subset of . Here is a constant that does not depend on the weight, is the upper half-plane, and is the canonical hauptmodul for

     

Rank of the fundamental group of any component of a function space

We compute the rank of the fundamental group of any connected component of the space for and connected, nilpotent CW complexes of finite type with finite. For the component corresponding to a general homotopy class , we give a formula directly computable from the Sullivan model for . For the component of the constant map, our formula retrieves a known expression for the rank in terms of classical invariants of and . When both and are rationally elliptic spaces with positive Euler characteristic, we use our formula to determine the rank of the fundamental group of any component of explicitly in terms of the homomorphism induced by on rational cohomology.

     

Cofinality changes required for a large set of unapproachable ordinals below

In , assume that is a strong limit cardinal and . Let be the set of approachable ordinals less than . An open question of M. Foreman is whether can be non-stationary in some and preserving extension of . It is shown here that if is such an outer model, then is infinite, for each positive integer .

     

Polynomial maps and even dimensional spheres

We construct, for every even dimensional sphere , , and every odd integer , a homogeneous polynomial map of Brouwer degree and algebraic degree .

     

Embeddings of -dimensional separable metric spaces into the product of Sierpinski curves

We give a short proof of the following fact: the set of embeddings of any -dimensional separable metric space into a certain -dimensional subset of the -product of Sierpinski curves is residual in .

     

Weyl's theorem for perturbations of paranormal operators

A bounded linear operator on a Banach space is said to satisfy ``Weyl's theorem' if the complement in the spectrum of the Weyl spectrum is the set of all isolated points of the spectrum which are eigenvalues of finite multiplicity. In this paper we show that if is a paranormal operator on a Hilbert space, then satisfies Weyl's theorem for every algebraic operator which commutes with .

     

Artinianess of graded local cohomology modules

Let be a Noetherian homogeneous ring with local base ring and let be a finitely generated graded -module. Let be the largest integer such that is not Artinian. We will prove that are Artinian for all and there exists a polynomial of degree less than such that for all . Let be the first integer such that the local cohomology module is not cofinite. We will show that for all the graded module is Artinian.

     

Transversals for strongly almost disjoint families

For a family of sets , and a set , is said to be a transversal of if and for each . is said to be a Bernstein set for if for each . Erdos and Hajnal first studied when an almost disjoint family admits a set such as a transversal or Bernstein set. In this note we introduce the following notion: a family of sets is said to admit a -transversal if can be written as such that each admits a transversal. We study the question of when an almost disjoint family admits a -transversal and related questions.

     

A quasiconformal mapping class group acting trivially on the asymptotic Teichmüller space

For an analytically infinite Riemann surface , the quasiconformal mapping class group always acts faithfully on the ordinary Teichmüller space . However in this paper, an example of is constructed for which acts trivially on its asymptotic Teichmüller space .

     

Decomposing representations of finite groups on Riemann-Roch spaces

If is a finite subgroup of the automorphism group of a projective curve and is a divisor on stabilized by , then we compute a simplified formula for the trace of the natural representation of on the Riemann-Roch space , under the assumption that is ``rational', is nonspecial, and the characteristic is ``good'. We discuss the partial formulas that result if is not rational.

     

Periodic homotopy and conjugacy idempotents

A self-map on the CW complex is a periodic homotopy idempotent if for some and the iterates and are homotopic. Geoghegan and Nicas defined the rotation index of such a map. They proved that for , the homotopy idempotent splits if and only if , while for , the index divides . We extend this to arbitrary and , and generalize various results related to the splitting of homotopy idempotents on CW complexes and conjugacy idempotents on groups.

     

A new estimate in optimal mass transport

Let be a bounded Lipschitz regular open subset of and let be two probablity measures on . It is well known that if is absolutely continuous, then there exists, for every , a unique transport map pushing forward on and which realizes the Monge-Kantorovich distance . In this paper, we establish an bound for the displacement map which depends only on , on the shape of and on the essential infimum of the density .

     

On quasifree profinite groups

Recently, it has been shown by Harbater and Stevenson that a profinite group is free profinite of infinite rank if and only if is projective and -quasifree. The latter condition requires the existence of distinct solutions to certain embedding problems for . In this paper we provide several new non-trivial examples of -quasifree groups, projective and non-projective. Our main result is that open subgroups of -quasifree groups are -quasifree.

     

Semiprime smash products and -stable prime radicals for PI-algebras

Assume that is a finite-dimensional Hopf algebra over a field and that is an -module algebra satisfying a polynomial identity (PI). We prove that if is semisimple and is -semiprime, then is semiprime. If is cosemisimple, we show that the prime radical of is -stable.

     

Asymptotics of best-packing on rectifiable sets

We investigate the asymptotic behavior, as grows, of the largest minimal pairwise distance of points restricted to an arbitrary compact rectifiable set embedded in Euclidean space, and we find the limit distribution of such optimal configurations. For this purpose, we compare best-packing configurations with minimal Riesz -energy configurations and determine the -th root asymptotic behavior (as of the minimal energy constants.

We show that the upper and the lower dimension of a set defined through the Riesz energy or best-packing coincides with the upper and lower Minkowski dimension, respectively.

For certain sets in of integer Hausdorff dimension, we show that the limiting behavior of the best-packing distance as well as the minimal -energy for large is different for different subsequences of the cardinalities of the configurations.

     

Linear bijections preserving the Hölder seminorm

Let be a compact metric space and let be a real number with The aim of this paper is to solve a linear preserver problem on the Banach algebra of Hölder functions of order from into We show that each linear bijection having the property that for every where

is of the form for every where with is a surjective isometry and is a linear functional.

     

The Noether map II

Let be a faithful representation of a finite group . In this paper we proceed with the study of the image of the associated Noether map

In our 2005 paper it has been shown that the Noether map is surjective if is a projective -module. This paper deals with the converse. The converse is in general not true: we illustrate this with an example. However, for -groups (where is the characteristic of the ground field ) as well as for permutation representations of any group the surjectivity of the Noether map implies the projectivity of .