The structure on invariant measures of <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript> generic diffeomorphisms

Let Λ be an isolated non-trivial transitive set of a C 1 generic diffeomorphism f ∈ Diff (M ). We show that the space of invariant measures supported on Λ coincides with the space of accumulation measures of time averages on one orbit. Moreover, the set of points having this property is residual in Λ (which implies that the set of irregular+ points is also residual in Λ). As an application, we show that the non-uniform hyperbolicity of irregular+ points in Λ with totally 0 measure (resp., the non-uniform hyperbolicity of a generic subset in Λ) determines the uniform hyperbolicity of Λ.     

Digraphs with the path-merging property

In this paper we study those digraphs D for which every pair of internally disjoint (X, Y)-paths P₁, P₂ can be merged into one (X, Y)-path P* such that V(P₁) ∪ V(P₂), for every choice of vertices X, Y ? V(D). We call this property the path-merging property and we call a graph path-mergeable if it has the path-merging property. We show that each such digraph has a directed hamiltonian cycle whenever it can possibly have one, i.e., it is strong and the underlying graph has no cutvertex. We show that path-mergeable digraphs can be recognized in polynomial time and we give examples of large classes of such digraphs which are not contained in any previously studied class of digraphs. We also discuss which undirected graphs have path-mergeable digraph orientations. © 1995, John Wiley & Sons, Inc.     

Strongly solid group factors which are not interpolated free group factors

We give examples of non-amenable infinite conjugacy classes groups Γ with the Haagerup property, weakly amenable with constant Λ_cb(Γ) = 1, for which we show that the associated II₁ factors L(Γ) are strongly solid, i.e. the normalizer of any diffuse amenable subalgebra P ì L(G){P \subset L(\Gamma)} generates an amenable von Neumann algebra. Nevertheless, for these examples of groups Γ, L(Γ) is not isomorphic to any interpolated free group factor L(F _t ), for 1 < t ≤  ∞.     

Modules of vector fields,differential forms and degenerations of differential systems

We deal with (n−1)-generated modules of smooth (analytic, holomorphic) vector fieldsV=(X ₁,..., X_n−1) (codimension 1 differential systems) defined locally on ℝ ⁿ or ℂ ⁿ , and extend the standard duality(X ₁,..., X_n−1)↦(ω), ω=Ω(X₁,...,X_n−1,.,) (Ω−a volume form) betweenV′s and 1-generated modules of differential 1-forms (Pfaffian equations)—when the generatorsX _i are linearly independent—onto substantially wider classes of codimension 1 differential systems. We prove that two codimension 1 differential systemsV and are equivalent if and only if so are the corresponding Pfaffian equations (ω) and provided that ω has1-division property: ωΛμ=0, μ—any 1-form ⇒ μ=fω for certain function germf. The 1-division property of ω turns out to be equivalent to the following properties ofV: (a)fX∈V, f—not a 0-divisor function germ ⇒X∈V (thedivision property); (b) (V ^⊥)^⊥=V; (c)V ^⊥=(ω); (d) (ω)^⊥=V, where ⊥ denotes the passing from a module (of vector fields or differential 1-forms) to its annihilator. Supported by Polish KBN grant N^o 2 1090 91 01. Partially supported by the fund for the promotion of research at the Technion, 100–942.     

The Besov subspace consisting of most non-smooth functions

Under the assumptions that Δ(f, h)(t) = |f(t + h) − f(t)|, X is a symmetric space of functions in [0, 1], α ∈ (0, 1) and p ∈ [1, ∞) are any fixed number, by the triple (X, α, p) a Besov type space Λ _X,p ^α is constructed, where the norm is given by the equality

One-Parameter Families of Modules for Tame Algebras and Bocses

Let Λ be a finite-dimensional algebra over an algebraically closed field k. We denote by mod Λ the category of finitely generated left Λ-modules. Consider the family ℱ(u) of the indecomposables M∈mod Λ such that , where is the subspace of morphisms which factorize through semisimple modules. If P,Q are projectives in mod Λ, ℱ(u)(P,Q) is the family of those modules M∈ℱ(u) such that a minimal projective presentation is of the formf_M: P→Q. We prove that if Λ is of tame representation type then each ℱ(P,Q) has only a finite number of isomorphism classes or is parametrized by μ(u,P,Q) one-parameter families. We give an upper bound for this number in terms of u,P and Q. Then we give some sufficient conditions for tame of polynomial growth type. For the proof we consider similar results for bocses. Presented by Y. Drozd Mathematics Subject Classifications (2000) 16G60, 16G70, 16G20.     

Hilbert’s irreducibility theorem for prime degree and general polynomials

Letf (X, t)εℚ[X, t] be an irreducible polynomial. Hilbert’s irreducibility theorem asserts that there are infinitely manyt ₀εℤ such thatf (X, t ₀) is still irreducible. We say thatf (X, t) isgeneral if the Galois group off (X, t) over ℚ(t) is the symmetric group in its natural action. We show that if the degree off with respect toX is a prime ≠ 5 or iff is general of degree ≠ 5, thenf (X, t ₀) is irreducible for all but finitely manyt ₀εℤ unless the curve given byf (X, t)=0 has infinitely many points (x ₀,t ₀) withx ₀εℚ,t ₀εℤ. The proof makes use of Siegel’s theorem about integral points on algebraic curves, and classical results about finite groups, going back to Burnside, Schur, Wielandt, and others. Supported by the DFG.     

Convergence of mock Fourier series

For certain Cantor measures μ on ℝⁿ, it was shown by Jorgensen and Pedersen that there exists an orthonormal basis of exponentialse ^2πiγ·x for λεΛ. a discrete subset of ℝⁿ called aspectrum for μ. For anyL ¹ functionf, we define coefficientsc _γ(f)=∝f(y)e ^−2πiγiy dμ(y) and form the Mock Fourier series ∑_λ∈Λ^cλ(f)e ^2πiλ·x . There is a natural sequence of finite subsets Λ_n increasing to Λ asn→∞, and we define the partial sums of the Mock Fourier series by We prove, under mild technical assumptions on μ and Λ, thats _n(f) converges uniformly tof for any continuous functionf and obtain the rate of convergence in terms of the modulus of continuity off. We also show, under somewhat stronger hypotheses, almost everywhere convergence forfεL ¹. Research supported in part by the National Science Foundation, Grant DMS-0140194.     

Dichotomies of the set of test measures of a Haar-null set

We prove that ifX is a Polish space andF a face ofP(X) with the Baire property, thenF is either a meager or a co-meager subset ofP(X). As a consequence we show that for every abelian Polish groupX and every analytic Haar-null set Λ⊆X, the set of test measuresT(Λ) of Λ is either meager or co-meager. We characterize the non-locally-compact groups as the ones for which there exists a closed Haar-null setF⊆X withT(F) meager, Moreover, we answer negatively a question of J. Mycielski by showing that for every non-locally-compact abelian Polish group and every σ-compact subgroupG ofX there exists aG-invariantF _σ subset ofX which is neither prevalent nor Haar-null. Research supported by a grant of EPEAEK program “Pythagoras”.     

On some generalized difference paranormed sequence spaces associated with multiplier sequence defined by modulus function

In this article we introduce the paranormed sequence spaces(f,Λ,△m,p),c0(f,Λ,△m,p) and ■∞(f,Λ,△m,p),associated with the multiplier sequence Λ =(λk),defined by a modulus function f.We study their different properties like solidness,symmetricity,completeness etc.and prove some inclusion results.     

A construction of weakly inverse semigroups

Let S° be an inverse semigroup with semilattice biordered set E° of idempotents and E a weakly inverse biordered set with a subsemilattice Ep = { e ∈ E ｜ arbieary f ∈ E, S（f , e） loheain in w（e）} isomorphic to E° by θ：Ep→E°. In this paper, it is proved that if arbieary f, g ∈E, f ←→ g→→ f°θD^s° g°θand there exists a mapping φ from Ep into the symmetric weakly inverse semigroup P J（E∪ S°） satisfying six appropriate conditions, then a weakly inverse semigroup ∑ can be constructed in P J（S°）, called the weakly inverse hull of a weakly inverse system （S°, E, θ, φ） with I（∑） ≌ S°, E（∑） ∽- E. Conversely, every weakly inverse semigroup can be constructed in this way. Furthermore, a sufficient and necessary condition for two weakly inverse hulls to be isomorphic is also given.     

Strongly almost disjoint functions

Two total functionsf, g fromω ₁ toω are called strongly almost disjoint if {α<ω ₁:f(α)=g(α)} is finite. We show that it is consistent with ZFC to have families of pairwise strongly almost disjoint functions of arbitrary prescribed size.     

Roots of mappings on nonorientable surfaces¶and equations in free groups

Let f:M ₁→M ₂ be a continuous map and c:M ₁→M ₂ a constant map between closed (not necessarily orientable) surfaces. By definition the pair (f,c) has the Wecken property if f can be deformed into a map f' such that the number of coincidence points of (f',c) is the same as the number of essential coincidence classes of (f,c) and, hence, every essential coincidence class consists of exactly one point. When both surfaces are orientable the problem to determine all maps which have the Wecken property was solved in [14]. Let A(f) denote the absolute degree as defined in [6] or [15] and . Here we show that a map f has the Wecken property iff either the Euler characteristic or . In free groups there are solved certain quadratic equations closely related to the root problem. Received: Received: 18 January 2001 / Revised version: 27 November 2001     

Exponential sums over primes formed with coefficients of primitive cusp forms

Let Af（n） be the coefficient of the logarithmic derivative for the Hecke L-function. In this paper we study the cancellation of the function Ay（n） twisted with an additive character e（α√n）, α 〉0, i.e. Ef（x） = Σx〈n〈2x Af（n）e（α√n）.     

Strongly and weakly almost periodic linear maps on semigroup algebras

Let S be a foundation locally compact topological semigroup. Two new topologies τ _c and τ _w are introduced on M _a (S)^*. We introduce τ _c and τ _w almost periodic functionals in M _a (S)^*. We study these classes and compare them with each other and with the norm almost periodic and weakly almost periodic functionals. For f∈M _a (S)^*, it is proved that T _f ∈ℬ(M _a (S),M _a (S)^*) is strong almost periodic if and only if f is τ _c -almost periodic. Indeed, we have obtained a generalization of a well known result of Crombez for locally compact group to a more general setting of foundation topological semigroups. Finally if P(S) (the set of all probability measures in M _a (S)) has the semiright invariant isometry property, it is shown that the set of τ _w -almost periodic functionals has a topological left invariant mean.     

Incompleteness and minimality of complex exponential system

A necessary and sufficient condition is obtained for the incompleteness of a complex exponential system E(A,M)in C_α,where C_αis the weighted Banach space consisting of all complex continuous functions f on the real axis R with f(t)exp(-α(t))vanishing at infinity,in the uniform norm‖f‖_α=sup{|f(t)e~(-α(t))|:t∈R}with respect to the weightα(t).If the incompleteness holds, then the complex exponential system E(?)is minimal and each function in the closure of the linear span of complex exponential system E(?)can be extended to an entire function represented by a Taylor-Dirichlet series.     

Convex polytopes without triangular faces

LetP be a convexd-polytope without triangular 2-faces. Forj=0,…,d−1 denote byf _j(P) the number ofj-dimensional faces ofP. We prove the lower boundf _j(P)≥f _j(C _d) whereC _d is thed-cube, which has been conjectured by Y. Kupitz in 1980. We also show that for anyj equality is only attained for cubes. This result is a consequence of the far-reaching observation that such polytopes have pairs of disjoint facets. As a further application we show that there exists only one combinatorial type of such polytopes with exactly 2d+1 facets.     

Convexity and a certain propertyP m

The propertyP _m (directly analogous to Valentine’s propertyP ₃) is used to prove several curious results concerning subsets of a topological linear space, among them the following: (a) If a closed setS has propertyP _m and containsk points of local nonconvexity no distinct pair of which can see each other viaS, thenS is the union ofm − k − 1 or fewer starshaped sets. (b) Any closed connected set with propertyP _m is polygonally connected. (c) A closed connected setS with propertyP _m is anL _m−1 set (each pair of points may be joined by a polygonal arc ofm − 1 of fewer sides inS). (d) A finite-dimensional set with propertyP _m is anL _{2m − 3} set. A new proof of Tietze’s theorem on locally convex sets is given, and various examples refute certain plausible conjectures.     

Characterising the Accuracy of Multivariable Refinable Functions via the Symbol Function

Suppose that f(x) = (f ₁(x),...,f _r (x)) ^T , x∈R ^d is a vector-valued function satisfying the refinement equation f(x) = ∑_Λ c _κ f(2x−κ) with finite set Λ of Z ^d and some r×r matricex c _κ. The requirements for f to have accuracy p are given in terms of the symbol function m(ξ). Supported by NSFC     

On weak mixing in lattice models

Summary. For lattice models on ℤ ^d , weak mixing is the property that the influence of the boundary condition on a finite decays exponentially with distance from that region. For a wide class of models on ℤ², including all finite range models, we show that weak mixing is a consequence of Gibbs uniqueness, exponential decay of an appropriate form of connectivity, and a natural coupling property. In particular, on ℤ², the Fortuin-Kasteleyn random cluster model is weak mixing whenever uniqueness holds and the connectivity decays exponentially, and the q-state Potts model above the critical temperature is weak mixing whenever correlations decay exponentially, a hypothesis satisfied if q is sufficiently large. Ratio weak mixing is the property that uniformly over events A and B occurring on subsets Λ and Γ, respectively, of the lattice, |P(A∩B)/P(A)P(B)−1| decreases exponentially in the distance between Λ and Γ. We show that under mild hypotheses, for example finite range, weak mixing implies ratio weak mixing. Received: 27 August 1996 / In revised form: 15 August 1997