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.

     

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?

     

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 .

     

A central limit theorem for Markov chains and applications to hypergroups

Let be a homogeneous Markov chain on an unbounded Borel subset of with a drift function which tends to a limit at infinity. Under a very simple hypothesis on the chain we prove that converges in distribution to a normal law where the variance depends on the asymptotic behaviour of . When goes to zero quickly enough and , the random centering may be replaced by These results are applied to the case of random walks on some hypergroups.

     

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 .

     

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.

     

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.

     

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 .

     

Index of B-Fredholm operators and generalization of a Weyl theorem

The aim of this paper is to show that if and are commuting B-Fredholm operators acting on a Banach space , then is a B-Fredholm operator and , where means the index. Moreover if is a B-Fredholm operator and is a finite rank operator, then is a B-Fredholm operator and We also show that if is isolated in the spectrum of , then is a B-Fredholm operator of index if and only if is Drazin invertible. In the case of a normal bounded linear operator acting on a Hilbert space , we obtain a generalization of a classical Weyl theorem.     

Densely algebraic bounds for the exponential function

An upper bound for that implies the inequality between the arithmetic and geometric means is generalized with the introduction of a new parameter . The new upper bound is smoothly and densely algebraic in , and valid for for arbitrarily large positive provided that () is sufficiently close to . The range of its validity for negative is investigated through the study of a certain family of quadrinomials.

     

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 .

     

Root closed function algebras on compacta of large dimension

Let be a Hausdorff compact space and let be the algebra of all continuous complex-valued functions on , endowed with the supremum norm. We say that is (approximately) -th root closed if any function from is (approximately) equal to the -th power of another function. We characterize the approximate -th root closedness of in terms of -divisibility of the first Cech cohomology groups of closed subsets of . Next, for each positive integer we construct an -dimensional metrizable compactum such that is approximately -th root closed for any . Also, for each positive integer we construct an -dimensional compact Hausdorff space such that is -th root closed for any .

     

-boundedness for the Hilbert transform and maximal operator along a class of nonconvex curves

Some sufficient conditions on a real polynomial and a convex function are given in order for the Hilbert transform and maximal operator along to be bounded on , for all in , with bounds independent of the coefficients of . The same conclusion is shown to hold for the corresponding hypersurface in under weaker hypotheses on .

     

Minimizing functions for an uncertainty principle on locally compact groups of bounded representation dimension

Let be a locally compact group of bounded representation dimension . Then, for any integrable function on , the product of the measures of the support of and the support of its operator-valued Fourier transform on the dual space of is bounded below by . We classify all functions for which equality holds and prove criteria for when such functions exist.

     

Extensions of endomorphisms of

For a compact space we consider extending endomorphisms of the algebra to be endomorphisms of Arens-Hoffman and Cole extensions of . Given a non-linear, monic polynomial , with semi-simple, we show that if an endomorphism of extends to the Arens-Hoffman extension with respect to , then it also extends to the simple Cole extension with respect to . We show that the converse to this is false. For a locally connected, metric we characterize the algebraically closed in terms of the extendability of endomorphisms to Arens-Hoffman and to simple Cole extensions.

     

Irreducible characters which are zero on only one conjugacy class

Suppose that is a finite solvable group which has an irreducible character which vanishes on exactly one conjugacy class. Then we show that has a homomorphic image which is a nontrivial -transitive permutation group. The latter groups have been classified by Huppert. We can also say more about the structure of depending on whether is primitive or not.

     

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 .

     

Isomorphism of Borel full groups

Suppose that and are Polish groups which act in a Borel fashion on Polish spaces and . Let and denote the corresponding orbit equivalence relations, and and the corresponding Borel full groups. Modulo the obvious counterexamples, we show that .

     

A Hilbert -module not anti-isomorphic to itself

We study the complexification of real Hilbert -modules over real -algebras. We give an example of a Hilbert -module that is not the complexification of any Hilbert -module, where is a real -algebra.