On characterization and perturbation of local -semigroups

Let be a -group with generator , and let be a local -semigroup commuting with . Then the operators , , form a local -semigroup. It is proved that if is injective and is the generator of , then is closable and is the generator of . Also proved are a characterization theorem for local -semigroups with not necessarily injective and a theorem about solvability of the abstract inhomogeneous Cauchy problem:

     

A prediction problem in

For a nonnegative integrable weight function on the unit circle , we provide an expression for , in terms of the series coefficients of the outer function of , for the weighted distance , where is the normalized Lebesgue measure and ranges over trigonometric polynomials with frequencies in , , . The problem is open for .

     

Lightface -indescribable cardinals

-absoluteness for forcing means that for any forcing , . `` inaccessible to reals' means that for any real , . To measure the exact consistency strength of `` -absoluteness for forcing and is inaccessible to reals', we introduce a weak version of a weakly compact cardinal, namely, a (lightface) -indescribable cardinal; has this property exactly if it is inaccessible and .

     

Henselian valuations and orderings of a commutative ring

The purpose of this paper is to investigate the interplay between henselian valuations and orderings (or semiorderings) of a ring. As a main result, it is proved that for a henselian valuation on a ring , the following statements are equivalent: (1) is compatible with every semiordering of ; (2) is compatible with every ordering of ; (3) Every real prime ideal of is contained in the core of .

     

Algebras generated by the disc algebra and bounded harmonic functions

Let denote the open unit disc, and let denote the disc algebra. The subsets of such that the inclusion holds for every nonconstant continuous on , or the inclusion holds for every bounded harmonic nonholomorphic function on continuous on , are characterized. In the first case the condition is that has positive measure, and in the second case that has full measure in .

     

Lower degree bounds for modular vector invariants

Let be a finite group of order divisible by a prime acting on an vector space where is the field with elements and . Consider the diagonal action of on copies of This note sharpens a lower bound for for groups which have an element of order whose Jordan blocks have sizes at most 2.

     

Sharp Marchaud and converse inequalities in Orlicz spaces

For spaces on , and , sharp versions of the classical Marchaud inequality are known. These results are extended here to Orlicz spaces (on , and ) for which is convex for some , , where is the Orlicz function. Sharp converse inequalities for such spaces are deduced.

     

Equivariant crystalline cohomology and base change

Given a perfect field of characteristic , a smooth proper -scheme , a crystal on relative to and a finite group acting on and , we show that, viewed as a virtual -module, the reduction modulo of the crystalline cohomology of is the de Rham cohomology of modulo . On the way we prove a base change theorem for the virtual -representations associated with -equivariant objects in the derived category of -modules.

     

Spreading of quasimodes in the Bunimovich stadium

We consider Dirichlet eigenfunctions of the Bunimovich stadium , satisfying . Write where is the central rectangle and denotes the ``wings,' i.e., the two semicircular regions. It is a topic of current interest in quantum theory to know whether eigenfunctions can concentrate in as . We obtain a lower bound on the mass of in , assuming that itself is -normalized; in other words, the norm of is controlled by times the norm in . Moreover, if is an quasimode, the same result holds, while for an quasimode we prove that the norm of is controlled by times the norm in . We also show that the norm of may be controlled by the integral of along , where is a smooth factor on vanishing at . These results complement recent work of Burq-Zworski which shows that the norm of is controlled by the norm in any pair of strips contained in , but adjacent to .

     

A condition under which follows from

We will give some sufficient conditions for a -hyponormal operator, , to be normal, and a sufficient condition for a triplet of operators , , with , self-adjoint and unitary such that necessarily satisfies .

     

Restrictions of bounded linear operators: Closed range

Let be a bounded linear operator on a Banach space and let be a subspace of which is a Banach space and invariant. Denote by the restriction of to This paper explores the questions:

If the range of is closed, under what conditions is the range of closed?

If the range of is closed, under what conditions is the range of closed?

     

Generalizations of Cayley's -process

In this paper we axiomatize some constructions and results due to Cayley and Hilbert. We define the concept of -process for an arbitrary affine algebraic monoid with zero and unit group . In our situation we show how to produce from the process and for a linear rational representation of a number of elements of the ring of -invariants that is large enough to guarantee its finite generation. Moreover, using complete reducibility, we give an explicit construction of all -processes for reductive monoids.

     

Dimension distortion of hyperbolically convex maps

In this note, we provide an answer to a question of D. Mejia and Chr. Pommerenke, by constructing a hyperbolically convex subdomain of the unit disc so that the conformal map from to maps a set of dimension 0 on to a set of dimension

     

The degree of the bicanonical map of a surface with

In this note it is shown that, given a smooth minimal complex surface of general type with , , for which the bicanonical map is a morphism, the degree of is not 3. This completes our earlier results, showing that if is a minimal surface of general type with , such that is free, then the bicanonical map of can have degree 1, 2 or 4.

     

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.

     

Character degree graphs that are complete graphs

Let be a finite group, and write for the set of degrees of irreducible characters of . We define to be the graph whose vertex set is , and there is an edge between and if . We prove that if is a complete graph, then is a solvable group.

     

A Schottky-type theorem for starlike domains in Banach spaces

We show that if is a starlike domain in a Banach space and is a family of holomorphic functions on that omit two distinct values and is bounded at the origin, then is uniformly bounded on each -bounded set.

     

On Banach lattices with Levi norms

Schmidt proved that an operator from a Banach lattice into a Banach lattice with property is order bounded if and only if its adjoint is order bounded, and in this case satisfies . In the present paper the result is generalized to Banach lattices with Levi-Fatou norm serving as range, and some characterizations of Banach lattices with a Levi norm are given. Moreover, some characterizations of Riesz spaces having property are also obtained.

     

More on partitioning triples of countable ordinals

Consider an arbitrary partition of the triples of all countable ordinals into two classes. We show that either for each finite ordinal  the first class of the partition contains all triples from a set of type  , or for each finite ordinal  the second class of the partition contains all triples of an -element set. That is, we prove that for each pair of finite ordinals and .

     

On the Hartshorne-Speiser-Lyubeznik theorem about Artinian modules with a Frobenius action

Let be a commutative Noetherian local ring of prime characteristic. The purpose of this paper is to provide a short proof of G. Lyubeznik's extension of a result of R. Hartshorne and R. Speiser about a module over the skew polynomial ring (associated to and the Frobenius homomorphism , in the indeterminate ) that is both -torsion and Artinian over .