Simultaneous rational approximation to the successive powers of a real number

Let n be an integer ≥ 1 and let θ be a real number which is not an algebraic number of degree ≤ [n/2]. We show that there exist ? > 0 and arbitrary large real numbers X such that the system of linear inequalities |x₀| ≤ X and |x₀θ^j − x_j| ≤ ?X^−1/[n/2] for 1 < j < n, has only the zero solution in rational integers x₀,…, x_n. This result refines a similar statement due to H. Davenport and W. M. Schmidt, where the upper integer part [n/2] is replaced everywhere by the integer part [n/2]. As a corollary, we improve slightly the exponent of approximation to 0 by algebraic integers of degree n + 1 over Q obtained by these authors.     

Über Folgen,die BezÜglich Eines Mittels Rekurrent Sind

Let X be a convex subset of a finite-dimensional real vector space. A function M: X ^k → X is called a strict mean value, if M(x₁,…, x_k) lies in the convex hull of x₁,…, x_k), but does not coincide with one of its vertices. A sequence (x_n)_{n∈ ?} in X is called M-recursive if x_n+k = M(x_n, x_n+1,…, x_n+k?1) for all n. We prove that for a continuous strict mean value M every M-recursive sequence is convergent. We give a necessary and sufficient condition for a convergent sequence in X to be M-recursive for some continuous strict mean value M, and we characterize its limit by a functional equation. 39 B 72, 39 B 52, 40 A 05.     

On the fundamental group-scheme

We show that the fundamental group-scheme of a separably rationally connected variety defined over an algebraically closed field is trivial. Let X be a geometrically irreducible smooth projective variety defined over a finite field k admitting a k-rational point. Let {En,σn}_n?0 be a flat principal G-bundle over X, where G is a reductive linear algebraic group defined over k. We show that there is a positive integer a such that the principal G-bundle is isomorphic to E₀, where FX is the absolute Frobenius morphism of X. From this it follows that E₀ is given by a representation of the fundamental group-scheme of X in G.     

Postulation of disjoint unions of lines and a few planes

Let X⊂Pⁿ, n≥5, be a general union of x planes and y lines. Here we prove that X has the expected postulation if x is small with respect to y.     

More on the generalized macaulay theorem — II

Let k₁ ? k₂? ? ? k_n be given positive integers and let S denote the set of vectors x = (x₁, x₂, … ,x_n) with integer components satisfying 0 ? x₁ ? k_ni = 1, 2, …, n. Let X be a subset of S (l)X denotes the subset of X consisting of vectors with component sum l; F(m, X) denotes the lexicographically first m vectors of X; ?X denotes the set of vectors in S obtainable by subtracting 1 from a component of a vector in X; |X| is the number of vectors in X. In this paper it is shown that |?F(e, (l)S)| is an increasing function of l for fixed e and is a subadditive function of e for fixed l.     

Polynomial images of R

Let R be a real closed field and n?2. We prove that: (1) for every finite subset F of Rⁿ, the semialgebraic set Rⁿ?F is a polynomial image of Rⁿ; and (2) for any independent linear forms l₁,…,l_r of Rⁿ, the semialgebraic set {l₁>0,…,l_r>0}⊂Rⁿ is a polynomial image of Rⁿ.     

Hilbert curves of polarized varieties

Let X be a normal Gorenstein complex projective variety. We introduce the Hilbert variety V_X associated to the Hilbert polynomial χ(x₁L₁+?+x_ρL_ρ), where L₁,…,L_ρ is a basis of , ρ being the Picard number of X, and x₁,…,x_ρ are complex variables. After studying general properties of V_X we specialize to the Hilbert curve of a polarized variety (X,L), namely the plane curve of degree dim(X) associated to χ(xK_X+yL). Special emphasis is given to the case of polarized threefolds.     

Gleason parts separated by smooth curves

Suppose Γ is a simple closed C² curve in the complex plane and let W₁, W₂ be the components of the complement of Γ. Let X be a compact plane set. Necessary and sufficient conditions are given that any two points x₁?X ∩ W₁, and x₂?X ∩ W₂ belong to different Gleason parts for the algebra R(X). We also give an answer to the question: How thin can a nontrivial part for R(X) be ?     

The Torelli theorem for the moduli spaces of connections on a Riemann surface

Let (X,x₀) be any one-pointed compact connected Riemann surface of genus g, with g≥3. Fix two mutually coprime integers r>1 and d. Let M_X denote the moduli space parametrizing all logarithmic -connections, singular over x₀, on vector bundles over X of degree d. We prove that the isomorphism class of the variety M_X determines the Riemann surface X uniquely up to an isomorphism, although the biholomorphism class of M_X is known to be independent of the complex structure of X. The isomorphism class of the variety M_X is independent of the point x₀∈X. A similar result is proved for the moduli space parametrizing logarithmic -connections, singular over x₀, on vector bundles over X of degree d. The assumption r>1 is necessary for the moduli space of logarithmic -connections to determine the isomorphism class of X uniquely.     

Asymptotic properties of some non-autonomous systems in Banach spaces

Let X be a reflexive Banach space. We introduce the notion of weakly almost nonexpansive sequences (xn)_n?0 in X, and study their asymptotic behavior by showing that the nonempty weak ω-limit set of the sequence (xn/n)_n?1 always lies on a convex subset of a sphere centered at the origin of radius d=limn→∞‖xn/n‖. Subsequently we apply our results to study the asymptotic properties of unbounded trajectories for the quasi-autonomous dissipative system , where A is an accretive (possibly multivalued) operator in X×X, and f−f_∞∈Lp((0,+∞);X) for some f_∞∈X and 1?p<∞. These results extend recent results of J.S. Jung and J.S. Park [J.S. Jung, J.S. Park, Asymptotic behavior of nonexpansive sequences and mean points, Proc. Amer. Math. Soc. 124 (1996) 475-480], and J.S. Jung, J.S. Park, and E.H. Park [J.S. Jung, J.S. Park, E.H. Park, Asymptotic behaviour of generalized almost nonexpansive sequences and applications, Proc. Nonlinear Funct. Anal. 1 (1996) 65-79], as well as our results cited below containing previous results by several authors.     

On the dependence between the extreme order statistics in the proportional hazards model

Let X₁,…,X_n be a random sample from an absolutely continuous distribution with non-negative support, and let Y₁,…,Y_n be mutually independent lifetimes with proportional hazard rates. Let also X₍₁₎<?<X_(n) and Y₍₁₎<?<Y_(n) be their associated order statistics. It is shown that the pair (X₍₁₎,X_(n)) is then more dependent than the pair (Y₍₁₎,Y_(n)), in the sense of the right-tail increasing ordering of Avérous and Dortet-Bernadet [LTD and RTI dependence orderings, Canad. J. Statist. 28 (2000) 151-157]. Elementary consequences of this fact are highlighted.     

Linear pencils on real algebraic curves

Our knowledge of linear series on real algebraic curves is still very incomplete. In this paper we restrict to pencils (complete linear series of dimension one). Let X denote a real curve of genus g with real points and let k(R) be the smallest degree of a pencil on X (the real gonality of X). Then we can find on X a base point free pencil of degree g+1 (resp. g if X is not hyperelliptic, i.e. if k(R)>2) with an assigned geometric behaviour w.r.t. the real components of X, and if we prove that which is the same bound as for the gonality of a complex curve of even genus g. Furthermore, if the complexification of X is a k-gonal curve (k≥2) one knows that k≤k(R)≤2k−2, and we show that for any two integers k≥2 and 0≤n≤k−2 there is a real curve with real points and k-gonal complexification such that its real gonality is k+n.     

Automorphisms of real rational surfaces and weighted blow-up singularities

Let X be a singular real rational surface obtained from a smooth real rational surface by performing weighted blow-ups. Denote by Aut(X) the group of algebraic automorphisms of X into itself. Let n be a natural integer and let e = [e ₁, . . . , e _? ] be a partition of n. Denote by X ^e the set of ?-tuples (P ₁, . . . , P _? ) of disjoint nonsingular curvilinear subschemes of X of orders (e ₁, . . . , e _? ). We show that the group Aut(X) acts transitively on X ^e . This statement generalizes earlier work where the case of the trivial partition e = [1, . . . , 1] was treated under the supplementary condition that X is nonsingular. As an application we classify singular real rational surfaces obtained from nonsingular surfaces by performing weighted blow-ups.     

Weak real integral characterizations for exponential stability of semigroups in reflexive spaces

Let (t _n ) be a sequence of nonnegative real numbers tending to ∞, such that 1≤t _n+1?t _n ≤α for all natural numbers n and some positive α. We prove that a strongly continuous semigroup {T(t)} _t≥0, acting on a Hilbert space H, is uniformly exponentially stable if $$\sum_{n=0}^\infty\varphi\bigl(\bigl|\bigl\langle T(t_n)x, y\bigr\rangle\bigr|\bigr)<\infty, $$ for all unit vectors x, y in H. We obtain the same conclusion under the assumption that the inequality $$\sum_{n=0}^\infty\varphi\bigl(\bigl|\bigl\langle T(t_n)x, x^\ast\bigr\rangle\bigr|\bigr)<\infty, $$ is fulfilled for all unit vectors x∈X and x ^?∈X ^?, X being a reflexive Banach space. These results are stated for functions φ belonging to a special class of functions, such as defined in the second section of this paper. We conclude our paper with a Rolewicz’s type result in the continuous case on Hilbert spaces.     

Estimating the parameters of a truncated normal distribution

Let ø(x) be a truncated normal pdf over the interval [a,b], that is, assume ø(x)=exp[-(x–μ)²/2σ²]/∝^b_aexp[-(x–μ)²/2σ²]dx for - ∞<a?x?b?< + ∞ and zero elsewhere. Suppose that X₁,X₂,…,X_n is a random sample of size n from this truncated distribution. Using known properties of exponential families of distributions and the system of Legendre polynomials over the interval [-1,1], we examine the maximum likelihood estimation of the parameters μ and σ².     

Nielsen classes of orientation reversing homeomorphisms and complementary domains of plane separating invariant continua

Let h be an orientation reversing planar homeomorphism and X be an invariant plane separating continuum. We show that there is a natural linear order on the invariant components of R²?X that resemble the one found in connected unions of circles invariant under the reflection r(x,y)=(−x,y). The main result relates to the Nielsen fixed point theory and work of Krystyna Kuperberg on fixed points of planar homeomorphisms in invariant continua.     

Only the first term of some series counts

Let X,X₁,X₂,… be i.i.d. random variables, and set S_n=X₁+?+X_n. We prove that for three important distributions of X, namely normal, exponential and geometric, series of the type ∑_n≥1a_nP(|S_n|≥xb_n) or ∑_n≥1a_nP(S_n≥xb_n) behave like their first term as x→∞.     

Reconstruction from vertex-switching

Let X be a graph with vertices x₁ ,…, x_n. Let X_i be the graph obtained by removing all edges {x_i, x_j} of X and inserting all nonedges {x_i, x_k}. If n ? 0 (mod 4), then X can be uniquely reconstructed from the unlabeled graphs X₁.…, X_n. If n = 4 the result is false, while for n = 4m≥8 the result remains open. The proof uses linear algebra and does not explicitly describe the reconstructed graph X.     

Deformations of the generalised Picard bundle

Let X be a nonsingular algebraic curve of genus g?3, and let M_ξ denote the moduli space of stable vector bundles of rank n?2 and degree d with fixed determinant ξ over X such that n and d are coprime. We assume that if g=3 then n?4 and if g=4 then n?3, and suppose further that n₀, d₀ are integers such that n₀?1 and nd₀+n₀d>nn₀(2g-2). Let E be a semistable vector bundle over X of rank n₀ and degree d₀. The generalised Picard bundle W_ξ(E) is by definition the vector bundle over M_ξ defined by the direct image where U_ξ is a universal vector bundle over X×M_ξ. We obtain an inversion formula allowing us to recover E from W_ξ(E) and show that the space of infinitesimal deformations of W_ξ(E) is isomorphic to H¹(X,End(E)). This construction gives a locally complete family of vector bundles over M_ξ parametrised by the moduli space M(n₀,d₀) of stable bundles of rank n₀ and degree d₀ over X. If (n₀,d₀)=1 and W_ξ(E) is stable for all E∈M(n₀,d₀), the construction determines an isomorphism from M(n₀,d₀) to a connected component M⁰ of a moduli space of stable sheaves over M_ξ. This applies in particular when n₀=1, in which case M⁰ is isomorphic to the Jacobian J of X as a polarised variety. The paper as a whole is a generalisation of results of Kempf and Mukai on Picard bundles over J, and is also related to a paper of Tyurin on the geometry of moduli of vector bundles.