Derivative-free characterizations of bounded composition operators between Lipschitz spaces

We prove that maps into if and only if belongs to . In the case β < 1, we give another two equivalent conditions. Supported by MNZŽS Serbia, Project No. ON144010.     

Norm-preserving extensions of functionals and denting points of convex sets

Let W and Z be Banach spaces, and let and be closed subspaces. Let be a subspace of , the Banach space of bounded linear operators from W* to Z**, containing . We describe, for and , all norm-preserving extensions of to the space in terms of convergence of convex combinations. We also characterize denting points of bounded convex subsets of Banach spaces in similar terms. Various applications are presented. Supported by Estonian Science Foundation Grant 5704.     

Normal generation and Clifford index on algebraic curves

For a smooth curve C it is known that a very ample line bundle on C is normally generated if Cliff() < Cliff(C) and there exist extremal line bundles (:non-normally generated very ample line bundle with Cliff() = Cliff(C)) with . However it has been unknown whether there exists an extremal line bundle with . In this paper, we prove that for any positive integers (g, c) with g = 2c + 5 and (mod 2) there exists a smooth curve of genus g and Clifford index c carrying an extremal line bundle with . In fact, a smooth quadric hypersurface section C of a general projective K3 surface always has an extremal line bundle with . More generally, if C has a line bundle computing the Clifford index c of C with , then C has such an extremal line bundle . For all authors, this work was supported by Korea Research Foundation Grant funded by Korea Government (MOEHRD, Basic Reasearch Promotion Fund)(KRF-2005-070-C00005).     

Projective curves of degree=codimension+2

In this article we study nondegenerate projective curves of degree d which are not arithmetically Cohen-Macaulay. Note that for a rational normal curve and a point . Our main result is about the relation between the geometric properties of X and the position of P with respect to . We show that the graded Betti numbers of X are uniquely determined by the rank of P with respect to . In particular, X satisfies property N _2,p if and only if . Therefore property N _2,p of X is controlled by and conversely can be read off from the minimal free resolution of X. This result provides a non-linearly normal example for which the converse to Theorem 1.1 in (Eisenbud et al., Compositio Math 141:1460–1478, 2005) holds. Also our result implies that for nondegenerate projective curves of degree d which are not arithmetically Cohen–Macaulay, there are exactly distinct Betti tables.     

Positivity of the spherically averaged atomic one-electron density

We investigate the positivity of the spherically averaged atomic one-electron density . For a which stems from a physical ground state we prove that for r ≥ 0. This article may be reproduced in its entirety for non-commercial purposes.     

Positive-definite functions on infinite-dimensional groups

This paper concerns positive-definite functions on infinite-dimensional groups G. Our main results are as follows: first, we claim that if G has a σ-finite measure μ on the Borel field whose right admissible shifts form a dense subgroup G ₀, a unique (up to equivalence) unitary representation (H, T) with a cyclic vector corresponds to through a method similar to that used for the G–N–S construction. Second, we show that the result remains true, even if we go to the inductive limits of such groups, and we derive two kinds of theorems, those taking either G or G ₀ as a central object. Finally, we proceed to an important example of infinite-dimensional groups, the group of diffeomorphisms on smooth manifolds M, and see that the correspondence between positive-definite functions and unitary representations holds for under a fairy mild condition. For a technical reason, we impose condition (c) in Sect. 2 on the measure space throughout this paper. It is also a weak condition, and it is satified, if G is separable, or if μ is Radon. This research was partially supported by a Grant-in-Aid for Scientific Research (No.18540184), Japan Socieity of the Promotion of Science.     

Kaplansky classes and derived categories

We put a monoidal model category structure on the category of chain complexes of quasi-coherent sheaves over a quasi-compact and semi-separated scheme X. The approach generalizes and simplifies the method used by the author in (Trans Am Math Soc 356(8) 3369–3390, 2004) and (Trans Am Math Soc 358(7), 2855–2874, 2006) to build monoidal model structures on the category of chain complexes of modules over a ring and chain complexes of sheaves over a ringed space. Indeed, much of the paper is dedicated to showing that in any Grothendieck category , any nice enough class of objects induces a model structure on the category Ch() of chain complexes. The main technical requirement on is the existence of a regular cardinal κ such that every object satisfies the following property: Each κ-generated subobject of F is contained in another κ-generated subobject S for which . Such a class is called a Kaplansky class. Kaplansky classes first appeared in Enochs and López-Ramos (Rend Sem Mat Univ Padova 107, 67–79, 2002) in the context of modules over a ring R. We study in detail the connection between Kaplansky classes and model categories. We also find simple conditions to put on which will guarantee that our model structure is monoidal. We will see that in several categories the class of flat objects form such Kaplansky classes, and hence induce monoidal model structures on the associated chain complex categories. We will also see that in any Grothendieck category , the class of all objects is a Kaplansky class which induces the usual (non-monoidal) injective model structure on Ch().     

Degrees of difficulty of generalized r.e. separating classes

Important examples of classes of functions are the classes of sets (elements of ^ω 2) which separate a given pair of disjoint r.e. sets: . A wider class consists of the classes of functions f ∈ ^ω k which in a generalized sense separate a k-tuple of r.e. sets (not necessarily pairwise disjoint) for each k ∈ ω: . We study the structure of the Medvedev degrees of such classes and show that the set of degrees realized depends strongly on both k and the extent to which the r.e. sets intersect. Let denote the Medvedev degrees of those such that no m + 1 sets among A ₀,...,A _k-1 have a nonempty intersection. It is shown that each is an upper semi-lattice but not a lattice. The degree of the set of k-ary diagonally nonrecursive functions is the greatest element of . If 2 ≤ l < k, then 0 _M is the only degree in which is below a member of . Each is densely ordered and has the splitting property and the same holds for the lattice it generates. The elements of are exactly the joins of elements of for . Supported by National Science Foundation grants DMS 0554841, 0532644 and 0652732.     

On the arc component of a locally compact Abelian group

For a topological group G, we denote by G _a the arc component of the neutral element and by the character group of G, i.e. the group of all continuous homomorphisms from G into T. We prove the following theorem: Let G be a connected locally compact abelian group and let be the embedding. Then is a topological isomorphism. In particular, the character group of the arc component of a compact abelian group is discrete. Some conclusions will be drawn.     

All superconformal surfaces in $${\mathbb R^4}$$ in terms of minimal surfaces

We give an explicit construction of any simply connected superconformal surface in Euclidean space in terms of a pair of conjugate minimal surfaces . That is superconformal means that its ellipse of curvature is a circle at any point. We characterize the pairs (g, h) of conjugate minimal surfaces that give rise to images of holomorphic curves by an inversion in and to images of superminimal surfaces in either a sphere or a hyperbolic space by an stereographic projection. We also determine the relation between the pairs (g, h) of conjugate minimal surfaces associated to a superconformal surface and its image by an inversion. In particular, this yields a new transformation for minimal surfaces in .     

A conic bundle degenerating on the Kummer surface

Let C be a genus 2 curve and the moduli space of semi-stable rank 2 vector bundles on C with trivial determinant. In Bolognesi (Adv Geom 7(1):113–144, 2007) we described the parameter space of non stable extension classes of the canonical sheaf ω of C by ω⁻¹. In this paper, we study the classifying rational map that sends an extension class to the corresponding rank two vector bundle. Moreover, we prove that, if we blow up along a certain cubic surface S and at the point p corresponding to the bundle , then the induced morphism defines a conic bundle that degenerates on the blow up (at p) of the Kummer surface naturally contained in . Furthermore we construct the -bundle that contains the conic bundle and we discuss the stability and deformations of one of its components.     

Margulis lemma for compact lie groups

We improve Margulis lemma for a compact connected Lie group G: there is a neighborhood U of the identity such that for any finite subgroup , generates an abelian group. We show that for each n, there exists an integer , such that if H is a closed subgroup of a compact connected Lie group G of dimension n, then the quotient group, H/H ₀, has an abelian subgroup of index , where H ₀ is the identity component of H. As an application, we show that the fundamental group of the homogeneous space G/H has an abelian subgroup of index . We show this same property for the fundamental groups of almost non-negatively curved n-manifolds whose universal coverings are not collapsed. X. Rong: supported partially by NSF Grant DMS 0504534 and by a reach found from Beijing Normal University. Y. Wang: supported partially by LMAM of Peking University and by NSFC 10671018.     

Weights of twisted exponential sums

Let k be a finite field of characteristic p, l a prime number different from p, a nontrivial additive character, and a character on . Then ψ defines an Artin-Schreier sheaf on the affine line , and χ defines a Kummer sheaf on the n-dimensional torus . Let be a Laurent polynomial. It defines a k-morphism . In this paper, we calculate the weights of under some non-degeneracy conditions on f. Our results can be used to estimate sums of the form

A speciality theorem for curves in P<Superscript>5</Superscript>

Let be an integral projective curve. One defines the speciality index e(C) of C as the maximal integer t such that , where ω _C denotes the dualizing sheaf of . Extending a classical result of Halphen concerning the speciality of a space curve, in the present paper we prove that if is an integral degree d curve not contained in any surface of degree  < s, in any threefold of degree  < t, and in any fourfold of degree  < u, and if , then Moreover equality holds if and only if C is a complete intersection of hypersurfaces of degrees u, , and . We give also some partial results in the general case , .      

Examples of rank 3 product action transitive decompositions

A transitive decomposition is a pair where Γ is a graph and is a partition of the arc set of Γ such that there is a subgroup of automorphisms of Γ which leaves invariant and transitively permutes the parts in . In an earlier paper we gave a characterisation of G-transitive decompositions where Γ is the graph product K _m × K _m and G is a rank 3 group of product action type. This characterisation showed that every such decomposition arose from a 2-transitive decomposition of K _m via one of two general constructions. Here we use results of Sibley to give an explicit classification of those which arise from 2-transitive edge-decompositions of K _m .