Congruences involving Bernoulli polynomials

Let {B_n(x)} be the Bernoulli polynomials. In the paper we establish some congruences for , where p is an odd prime and x is a rational p-integer. Such congruences are concerned with the properties of p-regular functions, the congruences for and the sum , where h(d) is the class number of the quadratic field of discriminant d and p-regular functions are those functions f such that are rational p-integers and for n=1,2,3,… . We also establish many congruences for Euler numbers.     

Pseudovarieties defining classes of sofic subshifts closed under taking shift equivalent subshifts

For a pseudovariety of ordered semigroups, let be the class of sofic subshifts whose syntactic semigroup lies in . It is proved that if contains then is closed under taking shift equivalent subshifts, and conversely, if is closed under taking conjugate subshifts then contains and . Almost finite type subshifts are characterized as the irreducible elements of , which gives a new proof that the class of almost finite type subshifts is closed under taking shift equivalent subshifts.     

Moduli of metaplectic bundles on curves and Theta-sheaves

We give a geometric interpretation of the Weil representation of the metaplectic group, placing it in the framework of the geometric Langlands program.For a smooth projective curve X we introduce an algebraic stack of metaplectic bundles on X. It also has a local version , which is a gerbe over the affine Grassmanian of G. We define a categorical version of the (nonramified) Hecke algebra of the metaplectic group. This is a category of certain perverse sheaves on , which act on by Hecke operators. A version of the Satake equivalence is proved describing as a tensor category. Further, we construct a perverse sheaf on corresponding to the Weil representation and show that it is a Hecke eigen-sheaf with respect to .     

Vertex coloring acyclic digraphs and their corresponding hypergraphs

We consider vertex coloring of an acyclic digraph in such a way that two vertices which have a common ancestor in receive distinct colors. Such colorings arise in a natural way when bounding space for various genetic data for efficient analysis. We discuss the corresponding down-chromatic number and derive an upper bound as a function of , the maximum number of descendants of a given vertex, and the degeneracy of the corresponding hypergraph. Finally, we determine an asymptotically tight upper bound of the down-chromatic number in terms of the number of vertices of and .     

Estimates of weighted Hardy-Littlewood averages on the p-adic vector space

In the p-adic vector space , we characterize those non-negative functions ψ defined on for which the weighted Hardy-Littlewood average is bounded on (1?r?∞), and on . Also, in each case, we find the corresponding operator norm ‖Uψ‖.     

Hilbert-Speiser number fields for a prime p inside the p-cyclotomic field

Let p be a prime number. We say that a number field F satisfies the condition when for any cyclic extension N/F of degree p, the ring of p-integers of N has a normal integral basis over . It is known that F=Q satisfies for any p. It is also known that when p?19, any subfield F of Q(ζp) satisfies . In this paper, we prove that when p?23, an imaginary subfield F of Q(ζp) satisfies if and only if and p=43, 67 or 163 (under GRH). For a real subfield F of Q(ζp) with F≠Q, we give a corresponding but weaker assertion to the effect that it quite rarely satisfies .     

Remarks on Hardy spaces defined by non-smooth approximate identity

We study in this paper some relations between Hardy spaces which are defined by non-smooth approximate identity ?(x), and the end-point Triebel-Lizorkin spaces (1?q?∞). First, we prove that for compact ? which satisfies a slightly weaker condition than Fefferman and Stein's condition. Then we prove that non-trivial Hardy space defined by approximate identity ? must contain Besov space . Thirdly, we construct certain functions and a function such that Daubechies wavelet function but .     

Additive maps on standard operator algebras preserving parts of the spectrum

Let and be standard operator algebras on infinite dimensional complex Banach spaces X and Y, respectively, and let Φ be a unital additive surjection from  onto . We introduce thirteen parts of the spectrum for elements in  and , and prove that if Φ preserves any one of these parts of the spectrum, then it is either an isomorphism or an anti-isomorphism.     

Combinatorial sums and finite differences

We present a new approach to evaluating combinatorial sums by using finite differences. Let and be sequences with the property that Δb_k=a_k for k?0. Let , and let . We derive expressions for g_n in terms of h_n and for h_n in terms of g_n. We then extend our approach to handle binomial sums of the form , , and , as well as sums involving unsigned and signed Stirling numbers of the first kind, and . For each type of sum we illustrate our methods by deriving an expression for the power sum, with a_k=k^m, and the harmonic number sum, with a_k=H_k=1+1/2+?+1/k. Then we generalize our approach to a class of numbers satisfying a particular type of recurrence relation. This class includes the binomial coefficients and the unsigned Stirling numbers of the first kind.     

Comodules and Landweber exact homology theories

We show that, if E is a commutative MU-algebra spectrum such that is Landweber exact over , then the category of -comodules is equivalent to a localization of the category of -comodules. This localization depends only on the heights of E at the integer primes p. It follows, for example, that the category of -comodules is equivalent to the category of -comodules. These equivalences give simple proofs and generalizations of the Miller-Ravenel and Morava change of rings theorems. We also deduce structural results about the category of -comodules. We prove that every -comodule has a primitive, we give a classification of invariant prime ideals in , and we give a version of the Landweber filtration theorem.     

Generalized almost periodic and ergodic solutions of linear differential equations on the half-line in Banach spaces

The Bohl-Bohr-Amerio-Kadets theorem states that the indefinite integral y=Pφ of an almost periodic (ap) is again ap if y is bounded and the Banach space X does not contain a subspace isomorphic to c₀. This is here generalized in several directions: Instead of it holds also for φ defined only on a half-line , instead of ap functions abstract classes with suitable properties are admissible, can be weakened to φ in some “mean” class , then ; here contains all f∈L¹_loc with in for all h>0 (usually strictly); furthermore, instead of boundedness of y mean boundedness, y in some , or in , ergodic functions, suffices. The Loomis-Doss result on the almost periodicity of a bounded Ψ for which all differences Ψ(t+h)−Ψ(t) are ap for h>0 is extended analogously, also to higher order differences. Studying “difference spaces” in this connection, we obtain decompositions of the form: Any bounded measurable function is the sum of a bounded ergodic function and the indefinite integral of a bounded ergodic function. The Bohr-Neugebauer result on the almost periodicity of bounded solutions y of linear differential equations P(D)y=φ of degree m with ap φ is extended similarly for ; then provided, for example, y is in some with U=L^∞ or is totally ergodic and, for the half-line, Reλ?0 for all eigenvalues P(λ)=0. Analogous results hold for systems of linear differential equations. Special case: φ bounded and Pφ ergodic implies Pφ bounded. If all Reλ>0, there exists a unique solution y growing not too fast; this y is in if , for quite general .