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.

     

The spherical Paley-Wiener theorem on the complex Grassmann manifolds SU

We prove the Paley-Wiener theorem for the spherical transform on the complex Grassmann manifolds SUSU   U. This theorem characterizes the -biinvariant smooth functions on the group that are supported in the -invariant ball of radius , with less than the injectivity radius of , in terms of holomorphic extendability, exponential growth, and Weyl invariance properties of the spherical Fourier transforms , originally defined on the discrete set of highest restricted spherical weights.

     

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.

     

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. .

     

Boundary structure of hyperbolic -manifolds admitting annular fillings at large distance

We show that if a hyperbolic -manifold with a union of tori admits two annular Dehn fillings at distance , then is bounded by at most three tori.

     

Arens-Michael enveloping algebras and analytic smash products

Let be a finite-dimensional complex Lie algebra, and let be its universal enveloping algebra. We prove that if , the Arens-Michael envelope of is stably flat over (i.e., if the canonical homomorphism is a localization in the sense of Taylor (1972), then is solvable. To this end, given a cocommutative Hopf algebra and an -module algebra , we explicitly describe the Arens-Michael envelope of the smash product as an ``analytic smash product' of their completions w.r.t. certain families of seminorms.

     

Ribbon-moves for 2-knots with 1-handles attached and Khovanov-Jacobsson numbers

We prove that a crossing change along a double point circle on a -knot is realized by ribbon-moves for a knotted torus obtained from the -knot by attaching a -handle. It follows that any -knots for which the crossing change is an unknotting operation, such as ribbon -knots and twist-spun knots, have trivial Khovanov-Jacobsson number.

     

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

     

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.

     

Universal localization of triangular matrix rings

If is a triangular matrix ring, the columns and are f.g. projective -modules. We describe the universal localization of which makes invertible an -module morphism , generalizing a theorem of A. Schofield. We also describe the universal localization of -modules.

     

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.

     

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.

     

Hodge structures on posets

Let be a poset with unique minimal and maximal elements and . For each , let be the vector space spanned by -chains from to in . We define the notion of a Hodge structure on which consists of a local action of on , for each , such that the boundary map intertwines the actions of and according to a certain condition.

We show that if has a Hodge structure, then the families of Eulerian idempotents intertwine the boundary map, and so we get a splitting of into Hodge pieces.

We consider the case where is , the poset of subsets of with cardinality divisible by is fixed, and is a multiple of . We prove a remarkable formula which relates the characters of acting on the Hodge pieces of the homologies of the to the characters of acting on the homologies of the posets of partitions with every block size divisible by .

     

Simultaneous non-vanishing of twists

Let be a newform of even weight , level and character and let be a newform of even weight , level and character . We give a generalization of a theorem of Elliott, regarding the average values of Dirichlet -functions, in the context of twisted modular -functions associated to and . Using this result, we find a lower bound in terms of for the number of primitive Dirichlet characters modulo prime whose twisted product -functions are non-vanishing at a fixed point with .

     

The rank of elliptic curves with rational 2-torsion points over large fields

Let be a number field, an algebraic closure of , the absolute Galois group , the maximal abelian extension of and an elliptic curve defined over . In this paper, we prove that if all 2-torsion points of are -rational, then for each , has infinite rank, and hence has infinite rank.

     

The weak Dirichlet problem for Baire functions

Let be a simplex and a compact subset of the set of all extreme points of . We show that any bounded function of Baire class on can be extended to a function of affine class on . Moreover, can be chosen in such a way that .

     

Hodge structures for orbifold cohomology

We construct a polarized Hodge structure on the primitive part of Chen and Ruan's orbifold cohomology for projective -orbifolds satisfying a ``Hard Lefschetz Condition'. Furthermore, the total cohomology forms a mixed Hodge structure that is polarized by every element of the Kähler cone of . Using results of Cattani-Kaplan-Schmid this implies the existence of an abstract polarized variation of Hodge structure on the complexified Kähler cone of .

This construction should be considered as the analogue of the abstract polarized variation of Hodge structure that can be attached to the singular cohomology of a crepant resolution of , in light of the conjectural correspondence between the (quantum) orbifold cohomology and the (quantum) cohomology of a crepant resolution.

     

Isomorphic -subspaces in Orlicz-Lorentz sequence spaces

Given a decreasing weight and an Orlicz function satisfying the -condition at zero, we show that the Orlicz-Lorentz sequence space contains an -isomorphic copy of , if and only if the Orlicz sequence space does, that is, if , where and are the Matuszewska-Orlicz lower and upper indices of , respectively. If does not satisfy the -condition, then a similar result holds true for order continuous subspaces and of and , respectively.

     

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 .