A characterisation of in terms of forcing

We show that ``saturation' of the universe with respect to forcing over with partial orders on is equivalent to the existence of .

     

On stable equivalences induced by exact functors

Let and be two Artin algebras with no semisimple summands. Suppose that there is a stable equivalence between and such that is induced by exact functors. We present a nice correspondence between indecomposable modules over and . As a consequence, we have the following: (1) If is a self-injective algebra, then so is ; (2) If and are finite dimensional algebras over an algebraically closed field , and if is of finite representation type such that the Auslander-Reiten quiver of has no oriented cycles, then and are Morita equivalent.

     

A strong hot spot theorem

A real number is said to be -normal if every -long string of digits appears in the base- expansion of with limiting frequency . We prove that is -normal if and only if it possesses no base- ``hot spot'. In other words, is -normal if and only if there is no real number such that smaller and smaller neighborhoods of are visited by the successive shifts of the base- expansion of with larger and larger frequencies, relative to the lengths of these neighborhoods.

     

Fixed point spaces, primitive character degrees and conjugacy class sizes

Let be a finite group that acts on a nonzero finite dimensional vector space over an arbitrary field. Assume that is completely reducible as a -module, and that fixes no nonzero vector of . We show that some element has a small fixed-point space in . Specifically, we prove that we can choose so that , where is the smallest prime divisor of .

     

Geometric applications of Chernoff-type estimates and a ZigZag approximation for balls

In this paper we show that the euclidean ball of radius in can be approximated up to , in the Hausdorff distance, by a set defined by linear inequalities. We call this set a ZigZag set, and it is defined to be all points in space satisfying or more of the inequalities. The constant we get is , where is some universal constant. This should be compared with the result of Barron and Cheang (2000), who obtained . The main ingredient in our proof is the use of Chernoff's inequality in a geometric context. After proving the theorem, we describe several other results which can be obtained using similar methods.

     

The Banach algebra generated by a contraction

Let be a contraction on a Banach space and the Banach algebra generated by . Let be the unitary spectrum (i.e., the intersection of with the unit circle) of . We prove the following theorem of Katznelson-Tzafriri type: If is at most countable, then the Gelfand transform of vanishes on if and only if

     

On the minimum of several random variables

For a given sequence of real numbers , we denote the th smallest one by . Let be a class of random variables satisfying certain distribution conditions (the class contains Gaussian random variables). We show that there exist two absolute positive constants and such that for every sequence of real numbers and every , one has

-

where are independent random variables from the class . Moreover, if , then the left-hand side estimate does not require independence of the 's. We provide similar estimates for the moments of as well.

     

Open subgroups and the centre problem for the Fourier algebra

Let be the Fourier algebra of a locally compact group and the -algebra of uniformly continuous linear functionals on . We study how the centre problem for the algebra (resp. ) is related to the centre problem for the algebras (resp. ) of -compact open subgroups of . We extend some results of Lau-Losert on the centres of and .

     

Witt kernels of bilinear forms for algebraic extensions in characteristic

Let be a field of characteristic and let be a purely inseparable extension of exponent . We determine the kernel of the natural restriction map between the Witt rings of bilinear forms of and , respectively. This complements a result by Laghribi who computed the kernel for the Witt groups of quadratic forms for such an extension . Based on this result, we will determine for a wide class of finite extensions which are not necessarily purely inseparable.

     

On operators which commute with analytic Toeplitz operators modulo the finite rank operators

It is shown that an operator on the Hardy space (or ) commutes with all analytic Toeplitz operators modulo the finite rank operators if and only if . Here is a finite rank operator, and in the case , is a sum of a rational function and a bounded analytic function, and in the case , is a bounded analytic function.

     

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.

     

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.

     

Global dominated splittings and the Newhouse phenomenon

We prove that given a compact -dimensional boundaryless manifold , , there exists a residual subset of the space of diffeomorphisms such that given any chain-transitive set of , then either admits a dominated splitting or else is contained in the closure of an infinite number of periodic sinks/sources. This result generalizes the generic dichotomy for homoclinic classes given by Bonatti, Diaz, and Pujals (2003).

It follows from the above result that given a -generic diffeomorphism , then either the nonwandering set may be decomposed into a finite number of pairwise disjoint compact sets each of which admits a dominated splitting, or else exhibits infinitely many periodic sinks/sources (the `` Newhouse phenomenon"). This result answers a question of Bonatti, Diaz, and Pujals and generalizes the generic dichotomy for surface diffeomorphisms given by Mañé (1982).

     

Two characterizations of pure injective modules

Let be a commutative ring with identity and an -module. It is shown that if is pure injective, then is isomorphic to a direct summand of the direct product of a family of finitely embedded modules. As a result, it follows that if is Noetherian, then is pure injective if and only if is isomorphic to a direct summand of the direct product of a family of Artinian modules. Moreover, it is proved that is pure injective if and only if there is a family of -algebras which are finitely presented as -modules, such that is isomorphic to a direct summand of a module of the form , where for each , is an injective -module.

     

Deformations and derived equivalences

Suppose and are block algebras of finite groups over a complete local commutative Noetherian ring whose residue field is a field of positive characteristic. We prove that a split-endomorphism two-sided tilting complex (as introduced by Rickard) for the derived categories of bounded complexes of finitely generated modules over , resp. , preserves the versal deformation rings of bounded complexes of finitely generated modules over , resp. .

     

Universality of uniform Eberlein compacta

We prove that if for some regular , then there is no family of less than c-algebras of size which are jointly universal for c-algebras of size . On the other hand, it is consistent to have a cardinal as large as desired and satisfying and , while there are c-algebras of size that are jointly universal for c-algebras of size . Consequently, by the known results of M. Bell, it is consistent that there is as in the last statement and uniform Eberlein compacta of weight such that at least one among them maps onto any Eberlein compact of weight (we call such a family universal). The only positive universality results for Eberlein compacta known previously required the relevant instance of to hold. These results complete the answer to a question of Y. Benyamini, M. E. Rudin and M. Wage from 1977 who asked if there always was a universal uniform Eberlein compact of a given weight.

     

Automatic continuity of -derivations on -algebras

Let be a -algebra acting on a Hilbert space , let be a linear mapping and let be a -derivation. Generalizing the celebrated theorem of Sakai, we prove that if is a continuous -mapping, then is automatically continuous. In addition, we show the converse is true in the sense that if is a continuous --derivation, then there exists a continuous linear mapping such that is a --derivation. The continuity of the so-called - -derivations is also discussed.

     

Simple real rank zero algebras with locally Hausdorff spectrum

Let be a unital, simple, separable -algebra with real rank zero, stable rank one, and weakly unperforated ordered group. Suppose, also, that can be locally approximated by type I algebras with Hausdorff spectrum and bounded irreducible representations (the bound being dependent on the local approximating algebra). Then is tracially approximately finite dimensional (i.e., has tracial rank zero).

Hence, is an -algebra with bounded dimension growth and is determined by -theoretic invariants.

The above result also gives the first proof for the locally case.

     

Resolutions of ideals of fat points with support in a hyperplane

Let be a fat point subscheme of , and let be a linear form such that some power of vanishes on (i.e., the support of lies in the hyperplane defined by , regarded as ). Let , where is the subscheme of residual to ; note that is a fat points subscheme of . In this paper we give a graded free resolution of the ideal over , in terms of the graded minimal free resolutions of the ideals . We also give a criterion for when the resolution is minimal, and we show that this criterion always holds if .

     

The sufficiency of arithmetic progressions for the Conjecture

Define by if is odd and if is even. The Conjecture states that the -orbit of every positive integer contains . A set of positive integers is said to be sufficient if the -orbit of every positive integer intersects the -orbit of an element of that set. Thus to prove the Conjecture it suffices to prove it on some sufficient set. Andaloro proved that the sets are sufficient for and asked if is also sufficient for larger values of . We answer this question in the affirmative by proving the stronger result that is sufficient for any nonnegative integers and with i.e. every nonconstant arithmetic sequence forms a sufficient set. We then prove analagous results for the Divergent Orbits Conjecture and Nontrivial Cycles Conjecture.