Deviation of best discrete and uniform polynomial approximants

ПустьC _2π — пространств о 2π-периодических вещественных непрер ывных функций, W{_rLip α={f∈C _2π ^r : ω(f ^(r), δ)≦δ^α}, Y?[?π,π] — некоторое дискр етное множество точе к на периоде, плотность ко торого задается соот ношением ?(Y)= max min ¦x-у¦. Дляf∈C_2π x∈[?π,π] y∈Y обозначим через p_k(f) p_k(f)_y т ригонометрические полиномы степени не в ышеk наилучшего чебышевского прибли жения функцииf на все м периоде и на дискретном множес тве Y соответственно. Тогда величина $$\Omega _{k,r + \alpha } (d) = \mathop {\sup }\limits_{f \in W_r Lip\alpha } \mathop {\sup }\limits_{\mathop {Y \subset [ - \pi ,\pi ]}\limits_{\rho (Y) \leqq d} } \left\| {p_k (f) - p_k (f)_Y } \right\| (d > 0)$$ xарактеризует отклон ение наилучших равно мерных и дискретных чебышевс ких приближений равномерно на классе функций W_rLip а. В работе да ются точные оценки для ?_k,r+α(d) пр и всехk, r и 0-?1.     

Real line bundles on k-gonal real curves

For a generalk-gonal complex curve of genusg its variety of special line bundlesL with deg(L) =d andh ⁰(L) >r is known to contain an irreducible component of the expected dimension ρ_g (d, r) provided that the Brill-Noether number ρ_g (d, r) is non-negative andr ≤ k - 2. It is the purpose of this note to transfer this result of Brill-Noether type to the case ofk-gonal real curves, for real line bundles.     

Very Strange Projective Curves

Let Y ? Pⁿ, n ≥ 3, be an integral non-degenerate very strange projective curve, i.e. assume that the general hyperplane section of Y is not in linearly general position; hence we are in characteristic p. Let π: X → Y be the normalization. Set d? deg(Y), g? Pa(X) and L? π* (Oy(1)). Here we prove that d > 2g?2 and in particular h¹(X,L) = 0 and h⁰(X,L) = d+1?g ≥ (d?1)/2 > n+1.     

Vector bundles on Hirzebruch surfaces whose twists by a non-ample line bundle have natural cohomology

Here we study vector bundles E on the Hirzebruch surface F _e such that their twists by a spanned, but not ample, line bundle M = _Fe (h + ef) have natural cohomology, i.e. h ⁰(F _e , E(tM)) > 0 implies h ¹(F _e , E(tM)) = 0.      

Semi-self-similar extremal processes

Let g be the distribution function (d.f.) of an extremal process Y. If g is invariant with respect to a continuous one-parameter group of time-space changes {η_α = (τ_α, L_α): α > 0}, i.e. g ∘ η_α = g ∀ α > 0, then g is self-similar. If g is invariant w.r.t. the cyclic group {η^∘(n), n ∈Z} of a time-space change ν, then g is semi-self-similar. The semi-self-similar extremal processes are limiting for sequences of extremal processes Y_n(t)=L _n ⁻¹ ∘ Y ∘ τ_n (t) if going along a geometrically increasing subsequence k_n ∼ ϕⁿ, ϕ > 1, n → ∞. The main properties of multivariate semi-self-similar extremal processes and some examples are discussed in the paper. The results presented are an analog of the theory of semi-self-similar processes with additive increments developed by Maejima and Sato in 1997. Supported by the Bulgarian Ministry of Education and Science (grant No. MM-705/97). Proceedings of the Seminar on Stability Problems for Stochastic Models, Vologda, Russia, 1998, Part I.     

Root Sublattices and Torus-Restriction of Prehomogeneous Vector Spaces Associated with Dynkin Quivers

For a Dynkin quiver Γ with r vertices, a subset S of the vertices of Γ, and an r-tuple d = (d⁽¹⁾, d⁽²⁾,…, d^(r)) of positive integers, we define a “torus-restricted” representation (G_S, R _d (Γ)) in natural way. Here we put G_S = G₁ × G₂ × … ×G_r, where each G_i is either SL(d⁽ⁱ⁾) or GL(d⁽ⁱ⁾) according to S containing i or not. In this paper, for a prescribed torus-restriction S, we give a necessary and sufficient condition on d that R _d (Γ) has only finitely many G_S-orbits. This can be paraphrased as a condition whether or not d is contained in a certain lattice spanned by positive roots of Γ. We also discuss the prehomogeneity of (G_S, R _d (Γ)).     

Invariant Sp(1)-instantons on S 2 × S 2

In this paper all (anti)self-dual invariant connections on homogeneous quaternionic line bundles over S ² × S ² are calculated and described in terms of the isotropy homomorphism of the bundle using Wang's theorem. These are the canonical connections on bundles with an (anti)symmetric twist and an S ¹-parametrized family of flat structures on bundles with a simple twist.     

Об отделимости множе ств гиперплоскостью вL p

LetA and be two arbitrary sets in the real spaceL _p, 1p<. Sufficient conditions are obtained for their strict separability by a hyperplane, in terms of the distance between the setsd(A,B) _p=inf{x-y_p,xA,yB} and their diametersd(A) _p, d(B)_p, whered(A) _p=sup{x-y_p; x,yA}. In particular, it is proved that if in an infinite-demensional spaceL _p we haved ^r(A,B)_p>2^–r+1(d^r(A)_p+d^r(B)_p), r=min{p, p(p–1)^–1}, then there is a hyperplane which separatesA andB. On the other hand, the conditiond ^r(A,B)_p=2^–r+1(d^r(A)_p+d^r(B)_p) does not guarantee strict separability. Earlier these results where obtained by V. L. Dol'nikov for the case of Euclidean spaces.     

Superfici di Enriques e reti di quadriche

Summary Let : XY be an étale double covering, where Y is a K3 surface and X a smooth Enriques' surface; by interchanging the sheets of Y carries an involution i of order two. The main result of this note is the equivalence of the following conditions: 1) Y is the base locus of a net of (special) quadrics of P⁵ and the involution i extends to a projective one inP ⁵; 2) X contains a net of irreducible non hyperelliptic curves of arithmetic genusp _a=3; 3) X contains two divisors D₁, D₂ such that p_a(D_i)=h⁰(D_i)=1, i=1, 2, (D₁, D₂)=2 and ¦D₁+D₂¦has no fixed, components.

---

---

Lavoro eseguito nell'ambito del G.N.S.A.G.A. del C.N.R.     

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:

On the adjunction process over a surface in char.p

Let K_s be the canonical bundle on a non singular projective surface S (over an algebraically closed field F, char F=p) and L be a very ample line bundle on S. Suppose (S,L) is not one of the following pairs: (P²,O(e)), e=1,2, a quadric, a scroll, a Del Pezzo surface, a conic bundle. Then

1. (K_s?L)² is spanned at each point by global sections. Let \(\phi :S \to P^N _F \) be the map given by the sections Γ(K_s?L)², and let φ=s o r its Stein factorization.
2. r:S→S′=r(S) is the contraction of a finite number of lines, E_i for i=1,...r, such that E_i·E_i=K_S·E_i=?L·E_i=?1.
3. If h°(L)≥6 and L·L≥9, then s is an embedding.

     

Normal bundles of rational curves inP 3

LetP ^r=P _k ^r be the projective space over an algebraically closed ground field k. Let X be a rational space cur ve of degree n with only ordinary singularities. Since X is rational, the normal bundleN of X inP ³ splits inN = _{1 2} where ₁, and ₂ are line bundles, and we have deg ₁ + deg ₂ = 4n – 2. We consider the non-negative integer defined by 2 = |deg ₁ – deg ₂|. The aim of this paper is to determine all possible values of and to describe the variety parametrizing all twisted rational curves inP ³ with only ordinary singularities for a fixed degree n and fixed .The paper was supported by C.N.R., while both authors were members of GNSAGA     

The natural functions on the cotangent bundle of higher order vector tangent bundles over fibered manifolds

For natural numbers r,s,q,m,n with s≥r≤q we determine all natural functions g: T ^*(J ^(r,s,q)(Y, R ^1,1)₀)^*→R for any fibered manifold Y with m-dimensional base and n-dimensional fibers. For natural numbers r,s,m,n with s≥r we determine all natural functions g: T ^*(J ^(r,s) (Y, R)₀)^*→R for any Y as above.     

Groups of spacetime transformations and symmetries of four-dimensional spacetime. I

The relativistic 4-interval (X-X ₍₀₎ ²=s ₂ ⁽⁰⁾ is interpreted as a 4-hyperboloid of radiuss ₍₀₎ and center at the pointX ⁽⁰⁾ that is formed by particles radiated isotropically from its center with velocities 0<1 whose positions in 4d spacetime are fixed at a proper times _(0)/c that is the same for all of them. Therefore, the 4-hyperboloid can be regarded as a mathematical model of an isotropically radiating source, and all transformations of the spacetime variables that leave its equation invariant have a physical meaning and determine the symmetry properties of 4d spacetime. These transformations form the group of motions of a rotating 4-hyperboloid. For constant radiuss ₍₀₎=const, its configuration space is the 8-dimensional bundleR(1,3)=R(1,3) (1,3), and the minimal group of motions isK=P O(1,3). It is shown that the well-known groupsP andO(1,3) are defined, respectively, only on the baseR(1,3) and only on the fiber (1,3) of the spaceR(1,3) and that the symmetry properties of 4d spacetime introduced by them are incomplete. The groupK extends the isotropy property of 4d spacetime to moving frames of reference. The group of spacetime transformations is extended to the case ofN bundles. It is shown that the new interpretation of the 4-interval makes it necessary to assume that the radiuss ₍₀₎ is variable. The groups of motion of a 4-hyperboloid of variable radius are constructed in the second part of the paper. They introduce new symmetry properties of 4d spacetime.D. V. Efremov Institute of Electrophysical Apparatus. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 100, No. 3, pp. 458–475, September, 1994.     

Topology of Definable Hausdorff Limits

Let A ^n+r be a set definable in an o-minimal expansion S of the real field, let A ^r be its projection, and assume that the non-empty fibers A_a ⁿ are compact for all a A and uniformly bounded, i.e. all fibers are contained in a ball of fixed radius B(0,R). If L is the Hausdorff limit of a sequence of fibers A_ai, we give an upper-bound for the Betti numbers b_k(L) in terms of definable sets explicitly constructed from a fiber A_a. In particular, this allows us to establish effective complexity bounds in the semialgebraic case and in the Pfaffian case. In the Pfaffian setting, Gabrielov introduced the relative closure to construct the o-minimal structure S_Pfaff generated by Pfaffian functions in a way that is adapted to complexity problems. Our results can be used to estimate the Betti numbers of a relative closure (X,Y)₀ in the special case where Y=.     

Piecewise Monotone Pointwise Approximation

Let r, k, s be three integers such that , or We prove the following: Proposition. Let Y:={y _i } _i=1 ^s be a fixed collection of distinct points y _i ∈ (-1,1) and Π (x):= (x-y ₁ ). ... .(x-y _s ). Let I:=[-1,1]. If f ∈ C ^(r) (I) and f'(x)Π(x) ≥ 0, x ∈ I, then for each integer n ≥ k+r-1 there is an algebraic polynomial P _n =P _n (x) of degree ≤ n such that P _n '(x) Π (x) ≥ 0 and $$ \vert f(x)-P_n(x) \vert \le B\left(\frac{1}{n^2}+\frac{1}{n}\sqrt{1-x^2}\right)^r \omega_k \left(f^{(r)};\frac{1}{n^2}+\frac{1}{n}\sqrt{1-x^2}\right) \legno{(1)}$$ for all x∈ I, where ω _k (f ^(r) ;t) is the modulus of smoothness of the k -th order of the function f ^(r) and B is a constant depending only on r , k , and Y. If s=1, the constant B does not depend on Y except in the case (r=1, k=3). In addition it is shown that (1) does not hold for r=1, k>3. March 20, 1995. Dates revised: March 11, 1996; December 20, 1996; and August 7, 1997.     

On the postulation of a general projection of a curve inP N,N⩾4

Summary Fix a curve X of genus g and L Pic ^d (X). Let _L(X) be the image of X through the complete linear system H⁰(X, L). Here we prove that a general projection of _L(X) intoP ^N has maximal rank if either (a) N4, 0gN–1, dg+N, or (b) dd (g, N) for suitable d(g, N).     

Flache T1-Stabilität in der Strati-fizierung verseller Entfaltungen

Let 0 be the local ring of a simple singularity defined over the complex numbers and the dimension of its versal deformation space. Than it is well known that any nearby singularity in this space is also simple and has smaller unfolding dimension in the hierarchy of simple singularities. In particular this implies that the =max-stratum consists just of one point namely the given singularity. We want to generalize this concept as we are interested in families of varieties with formal unchanged singularities. For this we introduce in quite generality the notion of flat T¹-stabi1ity which may be checked for any k- algebra 0 where k is for simplicity an algebraically closed field of à priori arbitrary characteristics. We call 0 formal flat T¹ stable or for short flat T¹-stable if the following is true: if R is any deformation of 0 over an Artin local finite k-algebra A and if T¹(R/A,R) is A-flat than R is isomorphic to the trivial deformation . T¹(R/A,R) is the first cotangent module of R over A with values in R. Obviously the simple singularities A_k, D_k, E₆, E₇, E₈ fulfill this criterion over C but we look also at fibres of arbitrary stable map germs, generic singularities of algebraic varieties where we have to modify this notion in order to deal with wild ramification and to quasihomo-genous hypersurface singularities where it functorializes because in this case T¹ commutes with arbitrary base change. The notion of flat T¹-stable singularities is closely related to questions of existence of equisingular families and is used in[12] and [5], [6] to stratify certain Hilbert schemes.     

Compact sets in the spaceL p (O,T; B)

Summary A characterization of compact sets in L^p (0, T; B) is given, where 1P and B is a Banach space. For the existence of solutions in nonlinear boundary value problems by the compactness method, the point is to obtain compactness in a space L^p (0,T; B) from estimates with values in some spaces X, Y or B where XBY with compact imbedding XB. Using the present characterization for this kind of situations, sufficient conditions for compactness are given with optimal parameters. As an example, it is proved that if {f_n} is bounded in L^q(0,T; B) and in L _loc ¹ (0, T; X) and if {f_n/t} is bounded in L _loc ¹ (0, T; Y) then {f_n} is relatively compact in L^p(0,T; B), p相似文献