Linear Series on 4 – Gonal Curves

Let C be the general 4 – gonal curve of genus g > 6. We investigate the complete linear series on C and the varieties W^r_d(C), and we study the birational models of C in ℙ^r (r ≥ 2) of minimal degree.     

On approximation of a class by another class and extremal subspaces inL 1

Получена оценка (в опр еделенном смысле неу лучшаемая) наилучшего приближе ния в метрикеL ₁=L₁(0,2π) 2π-перио дических функций кла сса W^rH^ω = {f:f∈C^r,ω(f ^(r),δ) ≦ ω(δ)}, r = 0, 1, ..., (ω(δ) — выпуклый вверх мо дуль непрерывности) ф ункциями класса W ₁ ^r+v N = {?: ?^r+v?1)(t) —локально абсолютн о непрерывна, ∥?(^r+v∥L₁≦N}, v≧2. Доказано, что каждое п одпространство нече тной размерности, реализу ющее поперечник (по Колмогорову) класс а W ₁ ^r+v в L₁, обладает аналог ичным свойством относител ьно класса W^rH^ω при любом выпуклом вверх ω(δ).     

On the varieties of special divisors

Based on a relation between the varieties W_d^r(C) of special divisors on a curve C and subloci of effective divisors on C imposing a suitable number of conditions on a certain linear series we develop a tool for the construction of irreducible components of W_d^r(C). Using this we discover new irreducible components of W_d^r(C), for a general k-gonal curve C of genus g, and in some cases we can identify the duals of these components in K_C − W_d^r(C) = W_d′^r′(C)(d′ = 2g − 2 − d, r′ = g − 1 − d + r).     

Curves without plane model of small degree

Let C be a smooth irreducible projective curve of genus g > 0 and s_C (2) the minimal degree of plane models of C. Clearly, s_C (2) ≤ g + 2. Our main result is: s_C (2) = g + 2 – t (for some integer t ≥ 0) implies that C is a double cover of a curve of genus at most t provided that g is not too small with respect to t. For small t we can be more precise. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On Optimal Orientations of Cartesian Products of Trees

. Let d(D) (resp., d(G)) denote the diameter and r(D) (resp., r(G)) the radius of a digraph D (resp., graph G). Let G×H denote the cartesian product of two graphs G and H. An orientation D of G is said to be (r, d)-invariant if r(D)=r(G) and d(D)=d(G). Let {T _i }, i=1,…,n, where n≥2, be a family of trees. In this paper, we show that the graph ∏ _{i =1} ⁿ T _i admits an (r, d)-invariant orientation provided that d(T ₁)≥d(T ₂)≥4 for n=2, and d(T ₁)≥5 and d(T ₂)≥4 for n≥3. Received: July 30, 1997 Final version received: April 20, 1998     

Analytic Extension of Non Quasi - Analytic Whitney Jets of Beurling Type

Let (M_r)_r∈_?0 be a logarithmically convex sequence of positive numbers which verifies M₀ = 1 as well as M_r ≥ 1 for every r ∈ ? and defines a non quasi - analytic class. Let moreover F be a closed proper subset of ?ⁿ. Then for every function f on ?ⁿ belonging to the non quasi - analytic (M_r)-class of Beurling type, there is an element g of the same class which is analytic on ?,ⁿ F and such that D^αf(x) = D^αg(x) for every α ∈ ?ⁿ₀ and x ∈ F.     

Symmetric colorings of the dihedral group

Let G be a finite group and let r∈?. An r-coloring of G is any mapping χ:G→{1,…,r}. Colorings χ and ψ are equivalent if there exists g∈G such that χ(xg^?1) = ψ(x) for every x∈G. A coloring χ is symmetric if there exists g∈G such that χ(gx^?1g) = χ(x) for every x∈G. Let S_r(G) denote the number of symmetric r-colorings of G and s_r(G) the number of equivalence classes of symmetric r-colorings of G. We count S_r(G) and s_r(G) in the case where G is the dihedral group D_n.     

Solvability of systems of partial differential equations for functions defined on nonconvex sets

We consider systems of partial differential equations with constant coefficients of the form ( R(D_x, D_y)f = 0, P(D_x)f = g), f,g ? C^￥(W),\big ( R(D_x, D_y)f = 0, P(D_x)f = {g}\big ), f,g \in {C}^{\infty}(\Omega),, where R (and P) are operators in (n + 1) variables (and in n variables, respectively), g satisfies the compatibility condition R(D_x, D_y)g = 0  and  W ì \Bbb Rⁿ⁺¹R(D_x, D_y){g} = 0 \ {\rm and} \ \Omega \subset {\Bbb R}^{n+1} is open. Let R be elliptic. We show that the solvability of such systems for certain nonconvex sets W\Omega implies that any localization at ￥\infty of the principle part P_m of P is hyperbolic. In contrast to this result such systems can always be solved on convex open sets W\Omega by the fundamental principle of Ehrenpreis-Palamodov.     

Some Properties of Second Order Theta Functions o Prym Varieties

Let P ∪ P′ be the two component Prym variety associated to an étale double cover C̃ → C of a non-hyperelliptic curve of genus g ≥6 and let |2Ξ₀| and |2Ξ′₀| be the linear systems of second order theta divisors on P and P′ respectively. The component P′ contains canonically the Prym curve C̃. We show that the base locus of the subseries of divisors containing C̃ ⊂ P′ is exactlythe curve C̃. We also prove canonical isomorphisms between some subseries of |2Ξ₀| and |2Ξ′₀| and some subseries of second order theta divisors on the Jacobian of C.     

Edge‐partitions of planar graphs and their game coloring numbers

Let G be a planar graph and let g(G) and Δ(G) be its girth and maximum degree, respectively. We show that G has an edge‐partition into a forest and a subgraph H so that (i) Δ(H) ≤ 4 if g(G) ≥ 5; (ii) Δ(H) ≤ 2 if g(G) ≥ 7; (iii) Δ(H)≤ 1 if g(G) ≥ 11; (iv) Δ(H) ≤ 7 if G does not contain 4‐cycles (though it may contain 3‐cycles). These results are applied to find the following upper bounds for the game coloring number col_g(G) of a planar graph G: (i) col_g(G) ≤ 8 if g(G) ≥ 5; (ii) col_g(G)≤ 6 if g(G) ≥ 7; (iii) col_g(G) ≤ 5 if g(G) ≥ 11; (iv) col_g(G) ≤ 11 if G does not contain 4‐cycles (though it may contain 3‐cycles). © 2002 Wiley Periodicals, Inc. J Graph Theory 41: 307–317, 2002     

On two generalizations of the Alon–Tarsi polynomial method

In a seminal paper (Alon and Tarsi, 1992 [6]), Alon and Tarsi have introduced an algebraic technique for proving upper bounds on the choice number of graphs (and thus, in particular, upper bounds on their chromatic number). The upper bound on the choice number of G obtained via their method, was later coined the Alon–Tarsi number of G and was denoted by AT(G) (see e.g. Jensen and Toft (1995) [20]). They have provided a combinatorial interpretation of this parameter in terms of the eulerian subdigraphs of an appropriate orientation of G. Their characterization can be restated as follows. Let D be an orientation of G. Assign a weight ωD(H) to every subdigraph H of D: if H⊆D is eulerian, then ωD(H)=(−1)^e(H), otherwise ωD(H)=0. Alon and Tarsi proved that AT(G)?k if and only if there exists an orientation D of G in which the out-degree of every vertex is strictly less than k, and moreover _∑H⊆DωD(H)≠0. Shortly afterwards (Alon, 1993 [3]), for the special case of line graphs of d-regular d-edge-colorable graphs, Alon gave another interpretation of AT(G), this time in terms of the signed d-colorings of the line graph. In this paper we generalize both results. The first characterization is generalized by showing that there is an infinite family of weight functions (which includes the one considered by Alon and Tarsi), each of which can be used to characterize AT(G). The second characterization is generalized to all graphs (in fact the result is even more general—in particular it applies to hypergraphs). We then use the second generalization to prove that χ(G)=ch(G)=AT(G) holds for certain families of graphs G. Some of these results generalize certain known choosability results.     

Approximation of certain classes of differentiable periodic functions by interpolational splines in a uniform decomposition

In this paper we obtain upper and lower bounds of a uniform approximation by interpolational splines of order r in a uniform decomposition on the classes of functions W^rH_ω and W _L ^r+2 and on the whole space C^r.     

The density of the strong symmetric genus values of p-groups

Let G be a finite group. The strong symmetric genus σ⁰(G) is the minimum genus of any Riemann surface on which G acts faithfully and preserving orientation. Let p a prime, and let J_p be the set of integers g for which there is a p-group of strong symmetric genus g. We show that the set J_p has density zero in the set of positive integers.     

Generalized degree conditions for graphs with bounded independence number

We consider a generalized degree condition based on the cardinality of the neighborhood union of arbitrary sets of r vertices. We show that a Dirac-type bound on this degree in conjunction with a bound on the independence number of a graph is sufficient to imply certain hamiltonian properties in graphs. For K_1,m-free grphs we obtain generalizations of known results. In particular we show: Theorem. Let r ≥ 1 and m ≥ 3 be integers. Then for each nonnegative function f(r, m) there exists a constant C = C(r, m, f(r, m)) such that if G is a graph of order n (n ≥ r, n > m) with δ_r(G) ≥ (n/3) + C and β (G) ≥ f(r, m), then (a) G is traceable if δ(G) ≥ r and G is connected; (b) G is hamiltonian if δ(G) ≥ r + 1 and G is 2-connected; (c) G is hamiltonian-connected if δ(G) ≥ r + 2 and G is 3-connected. © 1995 John Wiley & Sons, Inc.     

Remarks on Normal Generation of Special Line Bundles on Algebraic Curves

Let L be a very ample line bundle with h ¹(L) ≥2 on a curve of genus g. We prove that L is normally generated if deg(L) ≥2g ? 1 ? 4h ¹(L) for large enough genus g.     

Unramified cohomology of degree 3 and Noether’s problem

Let G be a finite group and W be a faithful representation of G over C. The group G acts on the field of rational functions C(W). The question whether the field of invariant functions C(W) ^G is purely transcendental over C goes back to Emmy Noether. Using the unramified cohomology group of degree 2 of this field as an invariant, Saltman gave the first examples for which C(W) ^G is not rational over C. Around 1986, Bogomolov gave a formula which expresses this cohomology group in terms of the cohomology of the group G. In this paper, we prove a formula for the prime to 2 part of the unramified cohomology group of degree 3 of C(W) ^G . Specializing to the case where G is a central extension of an F _p -vector space by another, we get a method to construct nontrivial elements in this unramified cohomology group. In this way we get an example of a group G for which the field C(W) ^G is not rational although its unramified cohomology group of degree 2 is trivial. Dedicated to Jean-Louis Colliot-Thélène.     

Normally generated line bundles on general curves, II

Let C be a general curve of genus g≥3. Here we prove that there is a normally generated L∈Pic^d(C) such that h⁰(C,L)=r+1≥4 (i.e. a very ample line bundle which embeds C in P^r as a projectively normal curve) if and only if (r+1)h¹≤g≤r(r−1)/2+2h¹, where h¹?g+r−d=h¹(C,L).     

Cyclic elements of the shift operator in weighted anisotropic spaces of holomorphic functions in the polydisk

Let ϕ(r) = (ϕ₁(r₁), …, ϕ_n(r_n)) be a vector-valued function on R ₊ ⁿ . A necessary and sufficient condition is obtained under which any function f ∈, H^∞ (D ⁿ ), f(z) ≠ 0, z ∈, D ⁿ , is cyclic in the corresponding weighted space L^p(ϕ), where D ⁿ is the unit polydisk in C ⁿ. Bibliography: 13 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 327, 2005, pp. 226–234.     

Identifications in modular group algebras

Let G be a group, S a subgroup of G, and F a field of characteristic p. We denote the augmentation ideal of the group algebra FG by ω(G). The Zassenhaus-Jennings-Lazard series of G is defined by D_n(G)=G∩(1+ωⁿ(G)). We give a constructive proof of a theorem of Quillen stating that the graded algebra associated with FG is isomorphic as an algebra to the enveloping algebra of the restricted Lie algebra associated with the D_n(G). We then extend a theorem of Jennings that provides a basis for the quotient ωⁿ(G)/ωⁿ⁺¹(G) in terms of a basis of the restricted Lie algebra associated with the D_n(G). We shall use these theorems to prove the main results of this paper. For G a finite p-group and n a positive integer, we prove that G∩(1+ω(G)ωⁿ(S))=D_n+1(S) and G∩(1+ω²(G)ωⁿ(S))=D_n+2(S)D_n+1(S∩D₂(G)). The analogous results for integral group rings of free groups have been previously obtained by Gruenberg, Hurley, and Sehgal.     

Traces and idempotents in group algebras

Let G be a group and E an idempotent matrix with entries in the complex group algebra C G. In this paper, we study arithmetic properties of the coefficients r _E (g), gG, of the Hattori-Stallings rank r _E of E. Bass proved in [2] that the r _E (g)s are algebraic numbers. Following Zaleskii, we proceed by reduction to positive characteristic and give an alternative proof of that assertion, while obtaining at the same time an upper bound for the degree of the minimum polynomial of r _E (g) over Q.