Effective non-vanishing of global sections of multiple adjoint bundles for polarized 3-folds

Let X be a smooth complex projective variety of dimension 3 and let L be an ample line bundle on X. In this paper, we provide a lower bound for h⁰(m(K_X+L)) under the assumption that κ(K_X+L)≥0. In particular, we get the following: (1) if 0≤κ(K_X+L)≤2, then h⁰(K_X+L)>0 holds. (2) If κ(K_X+L)=3, then h⁰(2(K_X+L))≥3 holds. Moreover we get a classification of (X,L) with κ(K_X+L)=3 and h⁰(2(K_X+L))=3 or 4.     

On the dimension of global sections of adjoint bundles for polarized 3-folds and 4-folds

Let (X,L) be a polarized manifold of dimension n defined over the field of complex numbers. In this paper, we treat the case where n=3 and 4. First we study the case of n=3 and we give an explicit lower bound for h⁰(K_X+L) if κ(X)≥0. Moreover, we show the following: if κ(K_X+L)≥0, then h⁰(K_X+L)>0 unless κ(X)=−∞ and h¹(O_X)=0. This gives us a partial answer of Effective Non-vanishing Conjecture for polarized 3-folds. Next for n=4 we investigate the dimension of H⁰(K_X+mL) for m≥2. If n=4 and κ(X)≥0, then a lower bound for h⁰(K_X+mL) is obtained. We also consider a conjecture of Beltrametti-Sommese for 4-folds and we can prove that this conjecture is true unless κ(X)=−∞ and h¹(O_X)=0. Furthermore we prove the following: if (X,L) is a polarized 4-fold with κ(X)≥0 and h¹(O_X)>0, then h⁰(K_X+L)>0.     

Formes antihermitiennes devenant hyperboliques sur un corps de déploiement

Let H=(a,b)_F be a division quaternion algebra over a field F of characteristic not 2. Denote by τ the canonical involution on H and by K a splitting field of H. If h is a skew-hermitian form over (H,τ) then, by extension of scalars to K and by Morita equivalence, we obtain a quadratic form h_K over K. This gives a map of Witt groups ρ:W⁻¹(H,τ)→W(K) induced by ρ(h)=h_K. When K is a generic splitting field of H we prove in this note that the map ρ is injective.     

Class numbers of algebraic number fields of Eisenstein type,II

Let K be an algebraic number field, of degree n, with a completely ramifying prime p, and let t be a common divisor of n and $\text{(p ? 1)}\text{2}$. Then it is proved that if K does not contain the unique subfield, of degree t, of the p-th cyclotomic number field, then we have (h_K, n) > 1, where h_K is the class number of K. As applications, we give several results on h_K of such algebraic number fields K.     

Brooks' graph-coloring theorem and the independence number

Let h denote the maximum degree of a connected graph H, and let _χ(H) denote its chromatic, number. Brooks' Theorem asserts that if h ≥ 3, then _χ(H) ≤ h, unless H is the complete graph K_h+1. We show that when H is not K_h+1, there is an h-coloring of H in which a maximum independent set is monochromatic. We characterize those graphs H having an h-coloring in which some color class consists of vertices of degree h in H. Again, without any loss of generality, this color class may be assumed to be maximum with respect to the condition that its vertices have degree h.     

A problem in extremal quasiconformal extensions

A constantK ₀ ^(m) (h) is introduced for every quasisymmetric mappingh of the unit circle and every integerm≥4 which contains the constantK ₀(h) (indicated by the change in module of the quadrilaterals with vertices on the circle) as a special case. A necessary and sufficient condition is established forK ₀ ^(m) (h) =K ₁(h). It is shown that there are infinitely many quasisymmetric mappings of the unit circle having the property thatK ₀ ^(m) (h)<K ₁(h), wherek ₁(h) is the maximal dilatation ofh.     

On the Brauer group of a two-dimensional local field

The two-dimensional local field K = F _q((u))((t)), char K = p, and its Brauer group Br(K) are considered. It is proved that, if L = K(x) is the field extension for which we have x ^p ? x = ut ^?p =: h, then the condition that (y, f | h]_K = 0 for any y ε K is equivalent to the condition f ε Im(Nm(L*)).     

Asymptotic behavior of number fields with prescribed ℓ-class numbers

Let K be a cyclic Galois extension of the rational numbers Q of degree ?, where ? is a prime number. Let h_? denote the order of the Sylow ?-subgroup of the ideal class group of K. If h_? = ?^s(s ≥ 0), it is known that the number of (finite) primes that ramify in K/Q is at most s + 1 (or s + 2 if K is real quadratic). This paper shows that “most” of these fields K with h_? = ?^s have exactly s + 1 ramified primes (or s + 2 ramified primes if K is real quadratic). Furthermore the Sylow ?-subgroup of the ideal class group is elementary abelian when h_? = ?^s and there are s + 1 ramified primes (or s + 2 ramified primes if K is real quadratic).     

Continuous approximation of random function

Modifying the methods of Lee [J. Math. Anal. Appl.61 (1977), 1–6], we show that each μ-measurable mapping f on a normal space T into a separable linear metric space E is almost continuous, where μ is a Radon probability measure. It is shown that for every ε > 0 there exists a compact subset K_ε ? T with μ(K_ε) > 1 ? ε and an elementary function g(t) = ∑ⁿ_{i = 1}h_i(t) x_i such that μ(t?K_ε; f(t) ≠ g(t)) < ε, where x_i?E and h_i(t) are real bounded continuous functions with disjoint supports.     

La “conjecture des cylindres”

The “cylinder conjecture” is to suppose that, if K is a gauge, the critical constants of C(K) = K ×] ? 1, +1 [? Rⁿ⁺¹ and of its basis K ? Rⁿ are equal. The connection with packing constants is studied. The concept of Za(ssenhaus)-packing is introduced. ⊕_i=1^hG + (i ? 1)a (G a lattice) is a linear h-lattice, $\text{ζ}{}_{\mathrm{h}}\text{′(K),}\text{ζ}\text{′}{}_{\mathrm{h}}\text{(K)}$, $\text{η}{}_{\mathrm{h}}\text{′(K),}\text{η}\text{′}{}_{\mathrm{h}}\text{(K)}$ the maximum density for translates of K by a linear h-lattice if the translates form a Za-packing for ζ, a packing for η, and if this packing is strict for ^. For K a bounded central star body, it is possible to find H with ζ₁(C(K)) ≤ 2 ζ_H′(K). H is precised for K a gauge and for K = Bⁿ. It is proved by Woods' methods that $\text{η}{}_1\text{(C(B}{}^4\text{)) =}\text{sup}{}_{\mathrm{i=1,\; 3,\; 4,\; 6,}}\text{7}\text{η}{}_{\mathrm{i}}\text{(B}{}^4\text{)}$; a result of Cleaver is used.     

On the Colin de Verdière numbers of Cartesian graph products

Let G be a connected graph with Colin de Verdière number μ(G). We study the behaviour of μ with respect to the Cartesian product of graphs. We conjecture that if G=G₁□G₂, with G₁,G₂ connected, then μ(G)?μ(G₁)+μ(G₂) and prove that μ(G)?μ(G₁)+h(G₂)-1, where h is the Hadwiger number (i.e. the order of the largest clique minor). In addition we provide an explicit construction of a Colin de Verdière matrix with corank μ(G₁)+μ(K_n) for the graph G=G₁□K_n.     

A characterization of the class of credibility matrices corresponding to a certain class of discrete distributions

Recently (see De Vylder & Goovaerts (1984), this issue) so called credibility matrices have been introduced and studied in the framework of general properties of matrices, such as non-negativity, total positivity etc. In the present note we characterize a class of credibility matrices generated by the normed sequence of functions (p_l, p_l,…, p_n) on K = [0, b] where $\text{p}{}_{\mathrm{i}}\text{(θ) =?(i)g(θ)h}{}^{\mathrm{i}}\text{(θ)}$, i=0, …, n, θ ? K, and where ?, g, h are nonnegative (eventually depending on n, n may be finite or infinite). For simplicity we suppose h to be monotonic and continuous.     

Petersen Graph Decompositions of Complete Multipartite Graphs

Let P be the Petersen graph, and K _u(h) the complete multipartite graph with u parts of size h. A decomposition of K _u(h) into edge-disjoint copies of the Petersen graph P is called a P-decomposition of K _u(h) or a P-group divisible design of type h ^u . In this paper, we show that there exists a P-decomposition of K _u(h) if and only if h²u(u-1) o 0 mod 30{h^2u(u-1)\equiv 0 \pmod {30}} , h(u-1) o 0 mod 3{h(u-1)\equiv 0\pmod 3} , and u ≥ 3 with a definite exception (h, u) = (1, 10).     

Superconvergence analysis and extrapolation of quasi-Wilson nonconforming finite element method for nonlinear Sobolev equations

Quasi-Wilson nonconforming finite element approximation for a class of nonlinear Sobolev equa-tions is discussed on rectangular meshes. We first prove that this element has two special characters by novel approaches. One is that (▽h ( u-Ihu )1, ▽hvh) h may be estimated as order O ( h2 ) when u ∈ H3 (Ω), where Ihu denotes the bilinear interpolation of u , vh is a polynomial belongs to quasi-Wilson finite element space and ▽h denotes the piecewise defined gradient operator, h is the mesh size tending to zero. The other is that the consistency error of this element is of order O ( h2 ) /O ( h3 ) in broken H 1-norm, which is one/two order higher than its interpolation error when u ∈ H3 (Ω) /H4 (Ω). Then we derive the optimal order error estimate and su- perclose property via mean-value method and the known high accuracy result of bilinear element. Furthermore, we deduce the global superconvergence through interpolation post processing technique. At last, an extrapola- tion result of order O ( h3 ), two order higher than traditional error estimate, is obtained by constructing a new suitable extrapolation scheme.     

Curvature and mechanics

Classical or Newtonian Mechanics is put in the setting of Riemannian Geometry as a simple mechanical system (M, K, V), where M is a manifold which represents a configuration space, K and V are the kinetic and potential energies respectively of the system. To study the geometry of a simple mechanical system, we study the curvatures of the mechanical manifold (M_h, g_h) relative to a total energy value h, where M_h is an admissible configuration space and g_h the Jacobi metric relative to the energy value h. We call these curvatures h-mechanical curvatures of the simple mechanical system.Results are obtained on the signs of h-mechanical curvature for a general simple mechanical system in a neighborhood of the boundary ?M_h = {xεM: V(x) = h} and in a neighborhood of a critical point of the potential function V. Also we construct $\text{m = (}\text{n}\text{2}\text{) (n =}\text{dim}\text{M)}$ functions defined globally on M_h, called curvature functions which characterize the sign of the h-mechanical curvature. Applications are made to the Kepler problem and the three-body problem.     

Approximation of elements in henselizations

For valued fields K of rank higher than 1, we describe how elements in the henselization K ^h of K can be approximated from within K; our result is a handy generalization of the well-known fact that in rank 1, all of these elements lie in the completion of K. We apply the result to show that if an element z algebraic over K can be approximated from within K in the same way as an element in K ^h , then K(z) is not linearly disjoint from K ^h over K.     

Structure of the zeros ofq-Bernoulli polynomials

In this paper we observe the structure of the roots ofq-Bernoulli polynomials,β _n (w, h|q), using numerical investigation. By numerical experiments, we demonstrate a remarkably regular structure of the real roots ofβ _n (w, h|q) forq=?1/5, ?1/2. Finally, we give a table for numbers of real and complex zeros ofβ _n (w, h|q).     

A logarithm type mean value theorem of the Riemann zeta function

For any integer K?2 and positive integer h, we investigate the mean value of |ζ(σ+it)|^2k×logh|ζ(σ+it)| for all real number 0<k<K and all σ>1−1/K. In case K=2, h=1, this has been studied by Wang in [F.T. Wang, A mean value theorem of the Riemann zeta function, Quart. J. Math. Oxford Ser. 18 (1947) 1-3]. In this note, we give a new brief proof of Wang's theorem, and, with this method, generalize it to the general case naturally.     

A uniqueness theorem for indefinite Sturm-Liouville operators

In this paper, we discuss the inverse problem for indefinite Sturm-Liouville operators on the finite interval [a, b]. For a fixed index n(n = 0, 1, 2, ··· ), given the weight function ω(x), we will show that the spectral sets {λ n (q, h a , h k )} +∞ k=1 and {λ-n (q, h b , h k )} +∞ k=1 for distinct h k are sufficient to determine the potential q(x) on the finite interval [a, b] and coefficients h a and h b of the boundary conditions.