Generators of the unoriented bordism ring which are fibered over products of projective spacesRP(2 r −1)

For each positive integerk≦∞ we construct a family {M _k ⁿ } of generators of the unoriented bordims ring. The manifoldsM _k ⁿ are total spaces of fiber bundles whose base spaces are high-dimensional products of projective spaces wherer _i≦k. The fibers are themselves iterated projective bundles with maximal fiber dimension two. In the special casek=3 we obtain generatorsM ₃ ⁿ which admit approximately 7/8·n pointwise linearly independent vector fields. This article was processed by the author using the LAT_EX style filecljour1 from Springer-Verlag     

( m,n)-Equidista nt Sets i n $\ mathbb{R}^{k},\ mathbb{S}^{k}$ , a nd ℙk

We call a metric space X (m,n)-equidistant if, when A⊆X has exactly m points, there are exactly n points in X each of which is equidistant from (the points of) A. We prove that, for k≥2, the Euclidean space ℝ ^k contains an (m,1)-equidistant set if and only if k≥m. Although the sphere is (3,2)-equidistant, and ℝ⁴ contain no (4,2)-equidistant sets. We discuss related results about projective spaces, and state a conjecture about analogous to the Double Midset Conjecture.     

An Extremal Problem on Degree Sequences of Graphs

 Let G=(I _n ,E) be the graph of the n-dimensional cube. Namely, I _n ={0,1} ⁿ and [x,y]∈E whenever ||x−y||₁=1. For A⊆I _n and x∈A define h _A (x) =#{y∈I _n A|[x,y]∈E}, i.e., the number of vertices adjacent to x outside of A. Talagrand, following Margulis, proves that for every set A⊆I _n of size 2 ⁿ⁻¹ we have for a universal constant K independent of n. We prove a related lower bound for graphs: Let G=(V,E) be a graph with . Then , where d(x) is the degree of x. Equality occurs for the clique on k vertices. Received: January 7, 2000 RID="*" ID="*" Supported in part by BSF and by the Israeli academy of sciences     

Duality for Harmonic Differential Forms Via Clifford Analysis

The space HF _k (Ω) of harmonic multi-vector fields in a domain as introduced in [1] is closely connected to the space of harmonic forms. The main aim of this paper is to characterize the dual space of HF _k (E) being a compact set. It is proved that HF _k (E)^* is isomorphic to a certain quotient space of so-called harmonic pairs outside E vanishing at infinity. Research of the third author was supported by the FWO Research Network WO. 003. 01N, research of the fourth author was supported by the FWO “Krediet aan Navorsers: 1.5.106.02”     

Completely nonmeasurable unions

Assume that no cardinal κ < 2 ^ω is quasi-measurable (κ is quasi-measurable if there exists a κ-additive ideal $ \mathbb{I} $ \mathbb{I} of X contains uncountably many pairwise disjoint subfamilies $ \mathbb{I} $ \mathbb{I} -Bernstein unions ∪ $ \mathbb{I} $ \mathbb{I} -Bernstein if A and X \ A meet each Borel $ \mathbb{I} $ \mathbb{I} -positive subset B ⊆ X). This result is a generalization of the Four Poles Theorem (see [1]) and results from [2] and [4].     

Integration and Lipschitz functions

The aim of the paper is to prove that every f ∈ L ¹([0,1]) is of the form f = , where j _n,k is the characteristic function of the interval [k- 1 / 2 ⁿ , k / 2 ⁿ ) and Σ _n=0^∞Σ _k=1²ⁿ |a _n,k | is arbitrarily close to ||f|| (Theorem 2). It is also shown that if μ is any probabilistic Borel measure on [0,1], then for any ɛ > 0 there exists a sequence (b _n,k ) _n≧0 ^k=1,...,2n of real numbers such that and for each Lipschitz function g: [0,1] → ℝ (Theorem 3).      

On unitary representability of topological groups

We prove that the additive group (E*, τ _k (E)) of an -Banach space E, with the topology τ _k (E) of uniform convergence on compact subsets of E, is topologically isomorphic to a subgroup of the unitary group of some Hilbert space (is unitarily representable). This is the same as proving that the topological group (E*, τ _k (E)) is uniformly homeomorphic to a subset of for some κ. As an immediate consequence, preduals of commutative von Neumann algebras or duals of commutative C*-algebras are unitarily representable in the topology of uniform convergence on compact subsets. The unitary representability of free locally convex spaces (and thus of free Abelian topological groups) on compact spaces, follows as well. The above facts cannot be extended to noncommutative von Neumann algebras or general Schwartz spaces. Research partially supported by Spanish Ministry of Science, grant MTM2008-04599/MTM. The foundations of this paper were laid during the author’s stay at the University of Ottawa supported by a Generalitat Valenciana grant CTESPP/2004/086.     

Kac–Moody $${\widetilde{E}_k}$$-bundles over elliptic curves and del Pezzo surfaces with singularities of type A

Given an elliptic curve Σ, flat E _k -bundles over Σ are in one-to-one correspondence with smooth del Pezzo surfaces of degree 9 − k containing Σ as an anti-canonical curve. This correspondence was generalized to Lie groups of any type. In this article, we show that there is a similar correspondence between del Pezzo surfaces of degree 0 with an A _d -singularity containing Σ as an anti-canonical curve and Kac–Moody [(E)\tilde]_k{\widetilde{E}_{k}}-bundles over Σ with k = 8 − d. In the degenerate case where surfaces are rational elliptic surfaces, the corresponding [(E)\tilde]_k{\widetilde{E}_k}-bundles over Σ can be reduced to E _k -bundles.     

Some inequalities about mixed volumes

We prove inequalities about the quermassintegralsV _k (K) of a convex bodyK in ℝ ⁿ (here,V _k (K) is the mixed volumeV((K, k), (B _n ,n − k)) whereB _n is the Euclidean unit ball). (i) The inequality

Precise Rates in the Law of Iterated Logarithm for the Moment of I.I.D. Random Variables

Let{X,Xn;n≥1} be a sequence of i,i.d, random variables, E X = 0, E X^2 = σ^2 〈 ∞.Set Sn=X1＋X2＋…＋Xn,Mn=max k≤n│Sk│,n≥1.Let an=O（1/loglogn）.In this paper,we prove that,for b〉-1,lim ε→0 →^2（b＋1）∑n=1^∞ （loglogn）^b/nlogn n^1/2 E{Mn-σ（ε＋an）√2nloglogn}＋σ2^-b/（b＋1）（2b＋3）E│N│^2b＋3∑k=0^∞ （-1）k/（2k＋1）^2b＋3 holds if and only if EX=0 and EX^2=σ^2〈∞.     

Addendum To Schrijver's Work On Minimum Permanents

Let denote the set of n×n binary matrices which have each row and column sum equal to k. For 2≤k≤n→∞ we show that is asymptotically equal to (k−1)^k−1k^2−k. This confirms Conjecture 23 in Minc's catalogue of open problems. * Written while the author was employed by the Department of Computer Science at the Australian National University.     

Packing-type Measures of the Sample Paths of Fractional Brownian Motion

Abstract   Let Λ = {λ _k } be an infinite increasing sequence of positive integers with λ _k →∞. Let X = {X(t), t ∈? R ^N } be a multi-parameter fractional Brownian motion of index α(0 < α < 1) in R ^d . Subject to certain hypotheses, we prove that if N < αd, then there exist positive finite constants K ₁ and K ₂ such that, with unit probability,

On the Homological Dimension of Lattices

Let L be a finite lattice and let . It is shown that if the order complex satisfies then |L| ≥ 2 ^k . Equality |L| = 2 ^k holds iff L is isomorphic to the Boolean lattice {0,1} ^k . Research supported by the Israel Science Foundation.     

Inclusion-exclusion inequalities

Ifμ is a positive measure, andA ₂, ...,A _n are measurable sets, the sequencesS ₀, ...,S _n andP _[0], ...,P _[n] are related by the inclusion-exclusion equalities. Inequalities among theS _i are based on the obviousP _[k]≧0. Letting =the average average measure of the intersection ofk of the setsA _i , it is shown that (−1) ^k Δ ^k M _i ≧0 fori+k≦n. The casek=1 yields Fréchet’s inequalities, andk=2 yields Gumbel’s and K. L. Chung’s inequalities. Generalizations are given involvingk-th order divided differences. Using convexity arguments, it is shown that forS ₀=1, whenS ₁≧N−1, and for 1≦k<N≦n andv=0, 1, .... Asymptotic results asn → ∞ are obtained. In particular it is shown that for fixedN, for all sequencesM ₀, ...,M _n of sufficiently large length if and only if for 0<t<1.     

Asymptotic Behaviour of Iterates of Volterra Operators on L p (0, 1)

Given k ∈ L¹ (0,1) satisfying certain smoothness and growth conditions at 0, we consider the Volterra convolution operator V_k defined on L^p (0,1) by

Generalized Smash Products

In this paper．we study the ring #(D．B)and obtain two very interesting results. First we prove in Theorem 3 that the category of rational left BU-modules is equivalent to both the category of #-rational left modules and the category of all(B．D)-Hopf modules BM^D．Cai and Chen have proved this result in the case B=D=A．Secondly they have proved that if A has a nonzero left integral then A#A^*rat is a dense subring of Endk(A)．We prove that #(A,A) is a dense subring of Endk(Q),where Q is a certain subspace of #(A．A)under the condition that the antipode is bijective(see Theorem18).This condition is weaker than the condition that A has a nonzero integral.It is well known the antipode is bijective in case A has a nonzero integral．Furthermore if A has nonzero left integral,Q can be chosen to be A(see Corollary 19)and #(A,A)is both left and right primitive.Thus A#A^*rat #(A,A)-Endk(A)．Moreover we prove that the left singular ideal of the ring #(A,A)is zero．A corollary of this is a criterion for A with nonzero left integral to be finite-dimensional,namely the ring #(A,A)has a finite uniform dimension．     

Affine \mathbb{T} -varieties of complexity one and locally nilpotent derivations

Let X = Spec A be a normal affine variety over an algebraically closed field k of characteristic 0 endowed with an effective action of a torus \mathbbT \mathbb{T} of dimension n. Let also ∂ be a homogeneous locally nilpotent derivation on the normal affine \mathbbZⁿ {\mathbb{Z}^n} -graded domain A, so that ∂ generates a k ₊-action on X that is normalized by the \mathbbT \mathbb{T} -action.     

Discretization of Compact Riemannian Manifolds Applied to the Spectrum of Laplacian

For κ ⩾ 0 and r₀ > 0 let ℳ(n, κ, r₀) be the set of all connected, compact n-dimensional Riemannian manifolds (Mⁿ, g) with Ricci (M, g) ⩾ −(n−1) κ g and Inj (M) ⩾ r₀. We study the relation between the kth eigenvalue λ_k(M) of the Laplacian associated to (Mⁿ,g), Δ = −div(grad), and the kth eigenvalue λ_k(X) of a combinatorial Laplacian associated to a discretization X of M. We show that there exist constants c, C > 0 (depending only on n, κ and r₀) such that for all M ∈ ℳ(n, κ, r₀) and X a discretization of for all k < |X|. Then, we obtain the same kind of result for two compact manifolds M and N ∈ ℳ(n, κ, r₀) such that the Gromov–Hausdorff distance between M and N is smaller than some η > 0. We show that there exist constants c, C > 0 depending on η, n, κ and r₀ such that for all . Mathematics Subject Classification (2000): 58J50, 53C20 Supported by Swiss National Science Foundation, grant No. 20-101 469     

Patterns of exponential decay for solutions to second order elliptic equations in a sector ofR 2

We consider solutions ψ to equations of the form in a sector Ω ofR ². The basic assumptions are that the limitsa _ij(x)→δ_ij,b _i(x)→0,c _i→E at infinity are achieved at certain rates and thatg decays faster than ψ. We then discuss the possible patterns of exponential decay for ψ in Ω. NSERC University Research Fellow. Research partially supported by USNEF grant MCS-83-01159.