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.     

A Galois-theoretic approach to Kanev’s correspondence

Let G be a finite group, an absolutely irreducible -module and w a weight of . To any Galois covering with group G we associate two correspondences, the Schur and the Kanev correspondence. We work out their relation and compute their invariants. Using this, we give some new examples of Prym–Tyurin varieties. This work was supported by FONDECYT No. 11060468 and No. 1060742.     

Finite groups with minimal 1-PIM

Let be a field of characteristic and let G be a finite group. It is well-known that the dimension of the minimal projective cover (the so-called 1-PIM) of the trivial left -module is a multiple of the -part of the order of G. In this note we study finite groups G satisfying . In particular, we classify the non-abelian finite simple groups G and primes satisfying this identity (Theorem A). As a consequence we show that finite soluble groups are precisely those finite groups which satisfy this identity for all prime numbers (Corollary B). Another consequence is the fact that the validity of this identity for a finite group G and for a small prime number implies the existence of an -Hall subgroup for G (Theorem C). An important tool in our proofs is the super-multiplicativity of the dimension of the 1-PIM over short exact sequences (Proposition 2.2).     

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).     

Quasiperiodic Group Factorizations

If is any ring or semi-ring (e.g., ) and G is a finite abelian group, two elements a, b of the group (semi-)ring are said to form a factorization of G if ab = rΣ _g∈G g for some . A factorization is called quasiperiodic if there is some element g ∈ G of order m > 1 such that either a or b – say b – can be written as a sum b ₀ + ... + b _m−1 of m elements of such that ab _h = g ^h ab ₀ for h = 0, ... , m − 1. Hajós [5] conjectured that all factorizations are quasiperiodic when and r = 1 but Sands [15] found a counterexample for the group . Here we show however that all factorizations of abelian groups are quasiperiodic when and that all factorizations of cyclic groups or of groups of the type are quasiperiodic when . We also give some new examples of non-quasiperiodic factorizations with for the smaller groups and . Received: May 12, 2006. Revised: October 3, 2007.     

Positive elimination in valued fields

Let K be an algebraically closed field with a valuation ring or a real closed field with a convex valuation ring . We show that the projection of a basic (see “Introduction”) subset of to K ⁿ is again basic.     

Algebraic cycles on products of elliptic curves over <Emphasis Type="Italic">p</Emphasis>-adic fields

We show that for any odd prime p there is a smooth projective threefold W defined over a p-adic field such that the Chow group CH²(W)/ and the Griffiths group Griff²(W)/ are infinite for suitable primes . We further give examples of smooth projective fourfolds over these p-adic fields for which the -torsion subgroup CH³ is infinite.     

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.     

The symplectomorphism group of a blow up

We study the relation between the symplectomorphism group Symp M of a closed connected symplectic manifold M and the symplectomorphism and diffeomorphism groups Symp and Diff of its one point blow up . There are three main arguments. The first shows that for any oriented M the natural map from to is often injective. The second argument applies when M is simply connected and detects nontrivial elements in the homotopy group that persist into the space of self-homotopy equivalences of . Since it uses purely homological arguments, it applies to c-symplectic manifolds (M, a), that is, to manifolds of dimension 2n that support a class such that . The third argument uses the symplectic structure on M and detects nontrivial elements in the (higher) homology of BSymp, M using characteristic classes defined by parametric Gromov–Witten invariants. Some results about many point blow ups are also obtained. For example we show that if M is the four-torus with k-fold blow up (where k > 0) then is not generated by the groups as ranges over the set of all symplectic forms on . Partially supported by NSF grants DMS 0305939 and 0604769.     

On <Emphasis Type="Italic">t</Emphasis><Superscript>2</Superscript>-like solutions of certain second order differential equations

Via an integral transformation, we establish two embedding results between the Emden-Fowler type equation , t ≥ t ₀ > 0, with solutions x such that as , , and the equation , u > 0, with solutions y such that for given k > 0. The conclusions of our investigation are used to derive conditions for the existence of radial solutions to the elliptic equation , , that blow up as in the two dimensional case.      

Notes on estimating inverse-Gaussian and gamma subordinators under high-frequency sampling

We study joint efficient estimation of two parameters dominating either the inverse-Gaussian or gamma subordinator, based on discrete observations sampled at satisfying as . Under the condition that as we have two kinds of optimal rates, and . Moreover, as in estimation of diffusion coefficient of a Wiener process the -consistent component of the estimator is effectively workable even when T _n does not tend to infinity. Simulation experiments are given under several h _n ’s behaviors.     

Higher integrability of the gradient for vectorial minimizers of decomposable variational integrals

We consider local minimizers of variational integrals , where F is of anisotropic (p, q)-growth with exponents . If F is in a certain sense decomposable, we show that the dimensionless restriction together with the local boundedness of u implies local integrability of for all exponents . More precisely, the initial exponents for the integrability of the partial derivatives can be increased by two, at least locally. If n = 2, then we use these facts to prove -regularity of u for any exponents .     

Tits topology and fundamental groups of compact Riemannian manifolds

Let M be a compact Riemannian manifold without conjugate points. We generalize the Tits topology on the ideal boundary of the universal covering space of M. Then we show that if π₁(M) is amenable and is compact with respect to the Tits topology, then M is flat. This work was supported by Grant No.R01-2006-000-10047-0(2006) from the Basic Research Program of the Korea Science & Engineering Foundation.     

A priori bounds and a Liouville theorem on a half-space for higher-order elliptic Dirichlet problems

We consider the 2m-th order elliptic boundary value problem Lu = f (x, u) on a bounded smooth domain with Dirichlet boundary conditions on ∂Ω. The operator L is a uniformly elliptic operator of order 2m given by . For the nonlinearity we assume that , where are positive functions and q > 1 if N ≤ 2m, if N > 2m. We prove a priori bounds, i.e, we show that for every solution u, where C > 0 is a constant. The solutions are allowed to be sign-changing. The proof is done by a blow-up argument which relies on the following new Liouville-type theorem on a half-space: if u is a classical, bounded, non-negative solution of ( − Δ) ^m u  =  u ^q in with Dirichlet boundary conditions on and q > 1 if N ≤ 2m, if N > 2m then .      

On $${\mathcal{F}}$$ -supplemented subgroups of finite groups

Let G be a finite group and a formation of finite groups. We say that a subgroup H of G is -supplemented in G if there exists a subgroup T of G such that G = TH and is contained in the -hypercenter of G/H _G . In this paper, we use -supplemented subgroups to study the structure of finite groups. A series of previously known results are unified and generalized. Research of the author is supported by a NNSF grant of China (Grant #10771180).     

Semilinear subelliptic problems with critical growth on Carnot groups

We prove existence and multiplicity of solutions for the semilinear subelliptic problem with critical growth in Ω, u = 0 on ∂Ω, where is a sublaplacian on a Carnot group , 2* = 2Q/(Q − 2) is the critical Sobolev exponent for and Ω is a bounded domain of .     

Analytic properties in the spectrum of certain Banach algebras

We show a sufficient condition for a domain in to be a H ^∞-domain of holomorphy. Furthermore if a domain has the Gleason property at a point and the projection of the n − 1th order generalized Shilov boundary does not coincide with Ω then is schlicht. We also give two examples of pseudoconvex domains in which the spectrum is non-schlicht and satisfy several other interesting properties.      

On the Intertwining of \partial{\mathcal{D}}-Isometries

Let be a strictly pseudoconvex bounded domain in with C ² boundary . If a subnormal m-tuple T of Hilbert space operators has the spectral measure of its minimal normal extension N supported on , then T is referred to as a -isometry. Using some non-trivial approximation theorems in the theory of several complex variables, we establish a commutant lifting theorem for those -isometries whose (joint) Taylor spectra are contained in a special superdomain Ω of . Further, we provide a function-theoretic characterization of those subnormal tuples whose Taylor spectra are contained in Ω and that are quasisimilar to a certain (fixed) -isometry T (of which the multiplication tuple on the Hardy space of the unit ball in is a rather special example). Submitted: September 9, 2007. Revised: October 10, 2007. Accepted: October 24, 2007.     

Irrationalité de certaines sommes de séries

Résumé Let with |q| > 1, and a be a rational number such that a ² is not equal to for . In this note, we prove that the sum is irrational.