The number of Hall -subgroups of a -separable group

We observe a simple formula to compute the number of Hall -subgroups of a -separable finite group in terms of only the action of a fixed Hall -subgroup of on a set of normal -sections of . As a consequence, we obtain that divides whenever is a subgroup of a finite -separable group . This generalizes a recent result of Navarro. In addition, our method gives an alternative proof of Navarro's result.

     

Double covering of curves

Let be a smooth projective algebraic curve of genus and an integer with . For all integers we prove the existence of a double covering with a smooth curve of genus and the existence of a degree morphism that does not factor through . By the Castelnuovo-Severi inequality, the result is sharp (except perhaps the bound ).

     

Multiplicative bijections of

Let be a compact Hausdorff space which satisfies the first axiom of countability, let and let , be the set of all continuous functions from to If , ,is a bijective multiplicative map, then there exist a homeomorphism and a continuous map such that for all and for all

     

-Weyl's theorem for operator matrices

If is a upper triangular matrix on the Hilbert space , then -Weyl's theorem for and need not imply -Weyl's theorem for , even when . In this note we explore how -Weyl's theorem and -Browder's theorem survive for operator matrices on the Hilbert space.

     

-function of an operator: A white noise approach

Let be the canonical framework of white noise analysis over the Gel'fand triple and be the space of continuous linear operators from to . Let be a self-adjoint operator in with spectral representation . In this paper, it is proved that under appropriate conditions upon , there exists a unique linear mapping such that for each . The mapping is then naturally used to define as , where is the Dirac -function. Finally, properties of the mapping are investigated and several results are obtained.

     

A note concerning the index of the shift

Let be a finite, positive Borel measure with support in such that - the closure of the polynomials in - is irreducible and each point in is a bounded point evaluation for . We show that if 0$">and there is a nontrivial subarc of such that

-\infty,\end{displaymath}">

then for each nontrivial closed invariant subspace for the shift on .

     

Examples concerning heredity problems of WCG Banach spaces

We present two examples of WCG spaces that are not hereditarily WCG. The first is a space with an unconditional basis, and the second is a space such that is WCG and does not contain . The non-WCG subspace of has the additional property that is not WCG and is reflexive.

     

Composition of inner mappings on the ball

Suppose that is an inner map and that . We show that the identity

holds with an abstract boundary value . If the natural compatibility condition is satisfied, then . Here, denotes the image of the surface measure on under . In particular, is inner if and are inner and . Furthermore, we characterize the boundedness of composition operators on Hardy spaces in terms of the absolute continuity of .

     

A simple closure condition for the normal cone intersection formula

In this paper it is shown that if and are two closed convex subsets of a Banach space and , then whenever the convex cone, , is weak* closed, where and are the support function and the normal cone of the set respectively. This closure condition is shown to be weaker than the standard interior-point-like conditions and the bounded linear regularity condition.

     

Existence of local solutions of the complex Monge-Ampère equation

We prove the local solvability of the -dimensional complex Monge-Ampère equation , 0$">, in a neighborhood of any point where but .

     

Transference for amenable actions

Suppose acts amenably on a measure space with quasi-invariant -finite measure . Let be an isometric representation of on and a finite Radon measure on . We show that the operator has -operator norm not exceeding the -operator norm of the convolution operator defined by . We shall also prove an analogous result for the maximal function associated to a countable family of Radon measures .

     

On the isolated points of the surjective spectrum of a bounded operator

For a bounded operator acting on a complex Banach space, we show that if is not surjective, then is an isolated point of the surjective spectrum of if and only if , where is the quasinilpotent part of and is the analytic core for . Moreover, we study the operators for which . We show that for each of these operators , there exists a finite set consisting of Riesz points for such that and is connected, and derive some consequences.

     

Linear series over real and -adic fields

We note that the degeneration arguments given by the author in 2003 to derive a formula for the number of maps from a general curve of genus to with prescribed ramification also yields weaker results when working over the real numbers or -adic fields. Specifically, let be such a field: we see that given , , , and satisfying , there exists smooth curves of genus together with points such that all maps from to can, up to automorphism of the image, be defined over . We also note that the analagous result will follow from maps to higher-dimensional projective spaces if it is proven in the case , , and that thanks to work of Sottile, unconditional results may be obtained for special ramification conditions.

     

On two problems of Erdos and Hechler: New methods in singular madness

For an infinite cardinal , denotes the set of all cardinalities of nontrivial maximal almost disjoint families over .

Erdos and Hechler proved in 1973 the consistency of for a singular cardinal and asked if it was ever possible for a singular that , and also whether for every singular cardinal .

We introduce a new method for controlling for a singular and, among other new results about the structure of for singular , settle both problems affirmatively.

     

An application of Ramsey's Theorem to the Banach Contraction Principle

One of the most fundamental fixed-point theorems is Banach's Contraction Principle, of which the following conjecture is a generalization.

Generalized Banach Contraction Conjecture (GBCC). Let be a self-map of a complete metric space , and let . Let be a positive integer. Assume that for each pair , . Then has a fixed point.

Unlike Banach's original theorem (the case ), the above hypothesis does not compel to be continuous. In this paper we use Ramsey's Theorem from combinatorics to establish the GBCC for arbitrary in the case when is assumed to be continuous, and also derive a result which enables us to prove the GBCC when without the assumption of continuity; it is known that the case includes instances where is not continuous.

     

New facts

We use ``iterated square sequences' to show that there is an -definable partition such that if is an inner model not containing :

(a)

For some is stationary.

(b)

For each there is a generic extension of in which does not exist and is non-stationary.

This result is then applied to show that if is an inner model without , then some sentence not true in can be forced over .

     

A characterization of total reflection orders

Let be a Coxeter system with set of reflections . It is known that if is a total reflection order for , then, for each , and its complement are stable under conjugation by . Moreover the upper and lower -conjugates of are still total reflection orders. For any total order on , say that is stable if is stable under conjugation by for each . We prove that if and all orders obtained from by successive lower or upper -conjugations are stable, then is a total reflection order.

     

Exactness of one relator groups

A discrete group is -exact if the reduced crossed product with converts a short exact sequence of --algebras into a short exact sequence of -algebras. A one relator group is a discrete group admitting a presentation where is a countable set and is a single word over . In this short paper we prove that all one relator discrete groups are -exact. Using the Bass-Serre theory we also prove that a countable discrete group acting without inversion on a tree is -exact if the vertex stabilizers of the action are -exact.

     

On -supplemented maximal and minimal subgroups of Sylow subgroups of finite groups

This paper proves: Let be a saturated formation containing . Suppose that is a group with a normal subgroup such that .

(1) If all maximal subgroups of any Sylow subgroup of are -supple- mented in , then ;

(2) If all minimal subgroups and all cyclic subgroups with order 4 of are -supplemented in , then .

     

The exposed points of the set of invariant means on an ideal

Let be a -compact locally compact nondiscrete group and let be a -invariant ideal of . We denote the set of left invariant means on that are zero on (i.e. for all ) by . We show that, when is amenable as a discrete group and the closed -invariant subset of the spectrum of corresponding to is a -set, is very large in the sense that every nonempty -subset of contains a norm discrete copy of , where is the Stone- compactification of the set of positive integers with the discrete topology. In particular, we prove that has no exposed points in this case and every nonempty -subset of the set of left invariant means on contains a norm discrete copy of .