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.

     

Codimension growth of two-dimensional non-associative algebras

Let be a field of characteristic zero and let be a two- dimensional non-associative algebra over . We prove that the sequence of codimensions of is either bounded by or grows exponentially as . We also construct a family of two-dimensional algebras indexed by rational numbers with distinct T-ideals of polynomial identities and whose codimension sequence is , .

     

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.

     

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.

     

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.

     

A remark on irregularity of the -Neumann problem on non-smooth domains

It is an observation due to J. J. Kohn that for a smooth bounded pseudoconvex domain in there exists such that the -Neumann operator on maps (the space of -forms with coefficient functions in -Sobolev space of order ) into itself continuously. We show that this conclusion does not hold without the smoothness assumption by constructing a bounded pseudoconvex domain in , smooth except at one point, whose -Neumann operator is not bounded on for any .

     

Schreier theorem on groups which split over free abelian groups

Let be either a free product with amalgamation or an HNN group where is isomorphic to a free abelian group of finite rank. Suppose that both and have no nontrivial, finitely generated, normal subgroups of infinite indices. We show that if contains a finitely generated normal subgroup which is neither contained in nor free, then the index of in is finite. Further, as an application of this result, we show that the fundamental group of a torus sum of -manifolds and , the interiors of which admit hyperbolic structures, have no nontrivial, finitely generated, nonfree, normal subgroup of infinite index if each of and has at least one nontorus boundary.

     

On the regularity of the Neumann problem for free surfaces with surface tension

In 1952 H. Lewy established that a hydrodynamic free surface which is at least in a neighborhood of a point situated on the free surface is automatically , possibly in a smaller neighborhood of . This local result is an example which preceeds the theory developed by D. Kinderlehrer, L. Nirenberg and J. Spruck (1977-79), proving that in many cases free surfaces cannot have an arbitrary regularity; in particular, there exist such that if the surface in question is , then automatically is . In this paper we extend their methods to Neumann type problems for free surfaces with surface tension.

     

Universal spaces for almost -dimensionality

We find universal functions for the class of lower semi-continuous (LSC) functions with at most -dimensional domain. In an earlier paper we proved that a space is almost -dimensional if and only if it is homeomorphic to the graph of an LSC function with an at most -dimensional domain. We conclude that the class of almost -dimensional spaces contains universal elements (that are topologically complete). These universal spaces can be thought of as higher-dimensional analogues of complete Erdos space.

     

On the index and spectrum of differential operators on

If is an system of differential operators on having continuous coefficients with vanishing oscillation at infinity, the Cordes-Illner theory ensures that is Fredholm from to for all or no value We prove that both the index (when defined) and the spectrum of are independent of

     

Non-reflexivity of the derivation space from Banach algebras of analytic functions

Let be an open connected subset of the plane, and let be a Banach algebra of analytic functions on . We show that the space of bounded derivations from into is not reflexive. We also obtain similar results when for .

     

Holes in the spectrum of functions generating affine systems

Given a expansive dilation matrix , a measurable set is called a -dilation generator of if is tiled (modulo null sets) by the collection . Our main goal in this paper is to prove certain results relating the support of the Fourier transform of functions generating a wavelet or orthonormal affine system associated with the dilation to an arbitrary set which is a -dilation generator of .

     

A structure theorem for quasi-Hopf comodule algebras

If is a quasi-Hopf algebra and is a right -comodule algebra such that there exists a morphism of right -comodule algebras, we prove that there exists a left -module algebra such that . The main difference when comparing to the Hopf case is that, from the multiplication of , which is associative, we have to obtain the multiplication of , which in general is not; for this we use a canonical projection arising from the fact that becomes a quasi-Hopf -bimodule.

     

On the plane section of an integral curve in positive characteristic

If is an integral curve and an algebraically closed field of characteristic 0, it is known that the points of the general plane section of are in uniform position. From this it follows easily that the general minimal curve containing is irreducible. If char, the points of may not be in uniform position. However, we prove that the general minimal curve containing is still irreducible.

     

Extremal extensions for the sum of nonnegative selfadjoint relations

The sum of two nonnegative selfadjoint relations (multi-valued operators) and is a nonnegative relation. The class of all extremal extensions of the sum is characterized as products of relations via an auxiliary Hilbert space associated with and . The so-called form sum extension of is a nonnegative selfadjoint extension, which is constructed via a closed quadratic form associated with and . Its connection to the class of extremal extensions is investigated and a criterion for its extremality is established, involving a nontrivial dependence on and .

     

A reduction theorem for the topological degree for mappings of class

The reduction theorem for the Leray-Schauder degree provides an efficient tool to calculate the value of the degree in a suitable invariant subspace. We shall prove how the calculation of the value of the topological degree for a mapping of class from a real separable reflexive Banach space into the dual space can be reduced into the calculation of degree of mapping from a closed subspace into Since the Leray-Schauder mappings are acting from to and we are dealing with mappings from to the standard `invariant subspace' condition must be replaced by a less obvious one.

     

Separating classes of composition operators via subnormal condition

Several classes have been considered to study the weak subnormalities of Hilbert space operators. One of them is -hypnormality, which comes from the Bram-Halmos criterion for subnormal operators. In this note we consider -hyponormality, which is the parallel version corresponding to the Embry characterization for subnormal operators. We characterize -hyponormality of composition operators via -th Radon-Nikodym derivatives and present some examples to distinguish the classes.

     

Minimal index of a -crossed product by a finite group

Let be the -crossed product of a simple unital -algebra by a finite group . In this paper we show that the canonical conditional expectation from to has the minimal index if is simple. It is also proved that if is an outer action, then the canonical one is the unique conditional expectation of index-finite type from to , while there are infinitely many conditional expectations when a nontrivial subgroup of acts innerly on .