Sudakov-type minoration for gaussian chaos processes

Consider a setA of symmetricn×n matricesa=(a _i,j) _i,j≤n . Consider an independent sequence (g _i) _i≤n of standard normal random variables, and letM=Esup_a∈A|Σ_i,j⪯na_i,jg_ig_j|. Denote byN ₂(A, α) (resp.N _t(A, α)) the smallest number of balls of radiusα for thel ₂ norm ofR ^{n 2} (resp. the operator norm) needed to coverA. Then for a universal constantK we haveα(logN ₂(A, α))^1/4≤KM. This inequality is best possible. We also show that forδ≥0, there exists a constantK(δ) such thatα(logN _t≤K(δ)M. Work partially supported by an N.S.F. grant.     

On the weight-spectrum of a compact space

The weight-spectrumSp(w, X) of a spaceX is the set of weights of all infinite closed subspaces ofX. We prove that ifκ>ω is regular andX is compactT ₂ withω(X)≥κ then some λ withκ≤λ≤2^<κ is inSp(ω, X). Under CH this implies that the weight spectrum of a compact space can not omitω ₁, and thus solves problem 22 of [M]. Also, it is consistent with 2^ω=c being anything it can be that every countable closed setT of cardinals less thanc withω ∈ T satisfiesSp(w, X)=T for some separable compact LOTSX. This shows the independence from ZFC of a conjecture made in [AT]. Research supported by OTKA grant no. 1908.     

Nonstandard arithmetic of iterated polynomials

LetK be an algebraic number field of finite degree andf(X,T) a polynomial overK. For eachφ(X)∈Z[X], we denote byE(φ) the set of all integersa with φ ^m (a) =φ ⁿ (a) for somem≠n. In this paper, we give a condition for a polynomialφ(X)∈Z[X] to satisfy the following; If forn∈N, there existr∈K anda∈Z−E(φ) such thatf r, φ ^m (a)=0, then there exists a rational functiong(X) overK andk∈N such thatf(g(T)), φ ^k (T))=0 .     

Algebraically constructible functions and signs of polynomials

LetW be a real algebraic set. We show that the following families of integer-valued functions onW coincide: (i) the functions of the formω →λ(X _ω ), where X _ω are the fibres of a regular morphismf :X →W of real algebraic sets, (ii) the functions of the formω →χ(X _ω ), where X _ω are the fibres of a proper regular morphismf :X →W of real algebraic sets, (iii) the finite sums of signs of polynomials onW. Such functions are called algebraically constructible onW. Using their characterization in terms of signs of polynomials we present new proofs of their basic functorial properties with respect to the link operator and specialization. Research partially supported by an Australian Research Council Small Grant. Second author also partially supported by KBN 610/P3/94.     

The limiting distribution of the trace of a random plane partition

We study the asymptotic behaviour of the trace (the sum of the diagonal parts) τ _n = τ _n (ω) of a plane partition ω of the positive integer n, assuming that ω is chosen uniformly at random from the set of all such partitions. We prove that (τ _n − c ₀ n ^2/3)/c ₁ n ^1/3 log^1/2 n converges weakly, as n → ∞, to the standard normal distribution, where c ₀ = ζ(2)/ [2ζ(3)]^2/3, c ₁ = √(1/3/) [2ζ(3)]^1/3 and ζ(s) = Σ _j=1^∞ j ^−s . Partial support given by the National Science Fund of the Bulgarian Ministry of Education and Science, grant No. VU-MI-105/2005.     

Low distortion euclidean embeddings of trees

We consider the problem of embedding a certain finite metric space to the Euclidean space, trying to keep the bi-Lipschitz constant as small as possible. We introduce the notationc ₂(X, d) for the least distortion with which the metric space (X, d) may be embedded in a Euclidean space. It is known that if (X, d) is a metric space withn points, thenc ₂(X, d)≤0(logn) and the bound is tight. LetT be a tree withn vertices, andd be the metric induced by it. We show thatc ₂(T, d)≤0(log logn), that is we provide an embeddingf of its vertices to the Euclidean space, such thatd(x, y)≤‖f(x)−f(y) ‖≤c log lognd(x, y) for some constantc. Supported in part by grants from the Israeli Academy of Sciences and the US-Israel Binational Science Foundation. Supported in part by NSF under grants CCR-9215293 and by DIMACS, which is supported by NSF grant STC-91-19999 and by the New Jersey Commission on Science and Technology.     

Sulla funzione di Hilbert di un sottoschema zero-dimensionale diP 3

Riassunto In questo lavoro diamo una caratterizzazione aritmetica della differenza prima ΔH(X,−) della funzione di Hilbert di un sottoschema chiuso 0-dimensionaleX diP ³. Il risultato principale viene applicato per dimostrare che seX è contenuto in una completa intersezione di tipo(a, b, c), a≦b≦c allora ΔH(X, n) è decrescente pern≧a+c−2.

---

Summary In this paper we give an aritmetical characterization of the first difference ΔH(X,−) of the Hilbert function of a closed 0-dimensional subschemeX ofP ³. The main result is then applied to prove that ifX is contained in a complete intersection of type(a, b, c), a≦b≦c then ΔH(X, n) is decreasing forn≧a+c−2.

---

---

Lavoro svolto con finanziamento MPI.     

A note on the Lehmer problem over short intervals

Let p be an odd prime, c be an integer with (c, p) = 1, and let N be a positive integer with N ≤ p − 1. Denote by r(N, c; p) the number of integers a satisfying 1 ≤ a ≤ N and 2 ∤ a + ā, where ā is an integer with 1 ≤ ā ≤ p − 1, aā ≡ c (mod p). It is well known that r(N, c; p) = 1/2N + O(p ^1/2log² p). The main purpose of this paper is to give an asymptotic formula for Σ _c=1 ^p−1(r(N, c; p) − 1/2N)².     

Spectral Representation of Gaussian Semimartingales

The aim of the present paper is to characterize the spectral representation of Gaussian semimartingales. That is, we provide necessary and sufficient conditions on the kernel K for X _t =∫ K _t (s) dN _s to be a semimartingale. Here, N denotes an independently scattered Gaussian random measure on a general space S. We study the semimartingale property of X in three different filtrations. First, the ℱ ^X -semimartingale property is considered, and afterwards the ℱ ^X,∞-semimartingale property is treated in the case where X is a moving average process and ℱ _t ^X,∞=σ(X _s :s∈(−∞,t]). Finally, we study a generalization of Gaussian Volterra processes. In particular, we provide necessary and sufficient conditions on K for the Gaussian Volterra process ∫ _−∞ ^t K _t (s) dW _s to be an ℱ ^W,∞-semimartingale (W denotes a Wiener process). Hereby we generalize a result of Knight (Foundations of the Prediction Process, 1992) to the nonstationary case.     

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.     

Linear series onk-gonal curves

Here we prove the following result. Theorem 1.1.Let X be an integral projective curve of arithmetic genus g and k≧ ≧4 an integer. Assume the existence of L ∈ Pic^k (X) with h ⁰ (X, L)=2 and L spanned. Fix a rank 1 torsion free sheaf M on X with h ⁰(X,M)=r+1≧2, h¹ (X, M)≧2 and M spanned by its global sections. Set d≔deg(M) and s≔max {n≧0:h ⁰ (X, M ⊗(L^*)^⊗n)>0}. Then one of the following cases occur:

Every separable metric space is Lipschitz equivalent to a subset ofc 0 +

It is shown that there is a constantK so that, for every separable metric spaceX, there is a mapT:X →c _o satisfyingd(x, y)≦‖Tx−Ty‖≦Kd(x, y) for everyx, y ∈ X. This is a part of the author's Ph.D. Thesis prepared at the Hebrew University of Jerusalem, under the supervision of Professor J. Lindenstrauss.     

On projectively normal embeddings of generalk-gonal curves

Fix integersg, k andt witht>0,k≥3 andtk<g/2−1. LetX be a generalk-gonal curve of genusg andR∈Pic ^k (X) the uniqueg _k ¹ onX. SetL:=K _X⊗(R ^*)^⊗t.L is very ample. Leth _L:X→P(H ⁰(X, L)^*) be the associated embedding. Here we prove thath _L(X) is projectively normal. Ifk≥4 andtk<g/2−2 the curveh _L(X) is scheme-theoretically cut out by quadrics. The author was partially supported by MURST and GNSAGA of CNR (Italy).     

Propertyf −1(S) =g −1(S) for entire and meromorphicP-adic functions

LetW be an algebraically closed filed of characteristic zero, letK be an algebraically closed field of characteristic zero, complete for an ultrametric absolute value, and letA(K) (resp. ℳ(K)) be the set of entire (resp. meromorphic) functions inK. For everyn≥7, we show that the setS _n(b) of zeros of the polynomialx ⁿ−b (b≠0) is such that, iff, g ∈W[x] or iff, g ∈A(K), satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), thenf ⁿ=g ⁿ. For everyn≥14, we show thatS _n(b) is such that iff, g ∈W({tx}) or iff, g ∈ ℳ(K) satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), then eitherf ⁿ=g ⁿ, orfg is a constant. Analogous properties are true for complex entire and meromorphic functions withn≥8 andn≥15, respectively. For everyn≥9, we show that the setY _n(c) of zeros of the polynomial , (withc≠0 and 1) is an ursim ofn points forW[x], and forA(K). For everyn≥16, we show thatY _n(c) is an ursim ofn points forW(x), and for ℳ(K). We follow a method based on thep-adic Nevanlinna Theory and use certain improvement of a lemma obtained by Frank and Reinders.     

Estimates of the Bergman kernel for some pseudoconvex domains

Denote by K_ω(z, ζ) the Bergman kernel of a pseudoconvex domain Ω. For some classes of domains Ω, a relationship is found between the rate of increase of K_ω(z, z) as z tends to ∂Ω, and a purely geometric property of Ω. Bibliography: 5 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 222, 1995, pp. 222–245.     

Ann-dimensional search problem with restricted questions

The problem is the following: How many questions are necessary in the worst case to determine whether a pointX in then-dimensional Euclidean spaceR ⁿ belongs to then-dimensional unit cubeQ ⁿ, where we are allowed to ask which halfspaces of (n−1)-dimensional hyperplanes contain the pointX? It is known that ⌌3n/2⌍ questions are sufficient. We prove here thatcn questions are necessary, wherec≈1.2938 is the solution of the equationx log₂ x−(x−1) log₂ (x−1)=1.     

Semigroups of transformations restricted by an equivalence

Suppose σ is an equivalence on a set X and let E(X, σ) denote the semigroup (under composition) of all α: X → X such that σ ⊆ α ∘ α ⁻¹. Here we characterise Green’s relations and ideals in E(X, σ). This is analogous to recent work by Sullivan on K(V, W), the semigroup (under composition) of all linear transformations β of a vector space V such that W ⊆ ker β, where W is a fixed subspace of V.     

Instances of the Conjecture of Chang

We consider various forms of the Conjecture of Chang. Part A constitutes an introduction. Donder and Koepke have shown that if ρ is a cardinal such that ρ ≧ ω₁, and (ρ⁺⁺,ρ⁺↠(ρ⁺, ρ), then 0⁺ exists. We obtain the same conclusion in Part B starting from some other forms of the transfer hypothesis. As typical corollaries, we get: Theorem A.Assume that there exists cardinals λ, κ, such that λ ≧ K ⁺ ≧ω₂ and (λ⁺, λ)↠(K ⁺,K. Then 0⁺ exists. Theorem B.Assume that there exists a singularcardinal κ such that(K ⁺,K↠(ω₁, ω₀. Then 0⁺ exists. Theorem C.Assume that (λ ⁺⁺, λ). Then 0⁺ exists (also ifK=ω ₀. Remark. Here, as in the paper of Donder and Koepke, “O⁺ exists” is a matter of saying that the hypothesis is strictly stronger than “L(μ) exists”. Of course, the same proof could give a few more sharps overL(μ), but the interest is in expecting more cardinals, coming from a larger core model. Theorem D.Assume that (λ ⁺⁺, λ)↠(K ⁺, K) and thatK≧ω ₁. Then 0⁺ exists. Remark 2. Theorem B is, as is well-known, false if the hypothesis “κ is singular” is removed, even if we assume thatK≧ω ₂, or that κ is inaccessible. We shall recall this in due place. Comments. Theorem B and Remark 2 suggest we seek the consistency of the hypothesis of the form:K ⁺, K↠(ω_n +1, ω_n), for κ singular andn≧0. 0266 0152 V 3 The consistency of several statements of this sort—a prototype of which is (N _ω+1,N _ω)↠(ω₁, ω₀) —have been established, starting with an hypothesis slightly stronger than: “there exists a huge cardinal”, but much weaker than: “there exists a 2-huge cardinal”. These results will be published in a joint paper by M. Magidor, S. Shelah, and the author of the present paper.     

The Chow ring of a singular surface

We construct the Chow ringCH*(X) =CH ⁰ (X)⊕CH ¹ (X)⊕CH ² (X) of a reduced, quasi-projective surfaceX, together with Chern class mapsc _i :K ₀ (X) → CH ⁱ (X), with the usual properties. As a consequence, we show that the cycle mapCH ² (X)→ F ₀ K ₀ (X) is an isomorphism. Our treatment is greatly influenced by an unpublished 1983 preprint of Levine’s, but is much simpler, since we deal only with surfaces.