On the Optimal Value Function of a Linearly Perturbed Quadratic Program

The optimal value function of the quadratic program , where is a given symmetric matrix, a given matrix, and are the linear perturbations, is considered. It is proved that is directionally differentiable at any point in its effective domain . Formulae for computing the directional derivative of at in a direction are obtained. We also present an example showing that, in general, is not piecewise linear-quadratic on W. The preceding (unpublished) example of Klatte is also discussed.     

The Torsion Theory Generated by <Emphasis Type="Italic">M</Emphasis>-Small Modules

Let M be a right R-module, the class of all M-small modules, and P a projective cover of M in [M]. We consider the torsion theories = ( ), = ( ), and = ( ) in [M], where is the torsion theory generated by is the torsion theory cogenerated by , and is the dual Lambek torsion theory. We study some conditions for to be cohereditary, stable, or split, and prove that Rej(M, ) = M = (= = ) = Gen_M(P) .2000 Mathematics Subject Classification: 16S90     

A classification of martingale Hardy spaces associated with rearrangement-invariant function spaces

Let X be a rearrangement-invariant Banach function space over a complete probability space , and denote by the Hardy space consisting of all martingales such that . We prove that implies for any filtration if and only if Doobs inequality holds in X, where denotes the martingale defined by , n = 0, 1, 2, ..., and a.s.Received: 1 August 2000     

Structure of Degenerate Block Algebras

Given a non-trivial torsion-free abelian group (A,+,Q), a field F of characteristic 0, and a non-degenerate bi-additive skew-symmetric map : A A F, we define a Lie algebra = (A, ) over F with basis {e_x | x A/{0}} and Lie product [e_x,e_y] = (x,y)e_x+y. We show that is endowed uniquely with a non-degenerate symmetric invariant bilinear form and the derivation algebra Der of is a complete Lie algebra. We describe the double extension D( , T) of by T, where T is spanned by the locally finite derivations of , and determine the second cohomology group H²(D( , T),F) using anti-derivations related to the form on D( , T). Finally, we compute the second Leibniz cohomology groups HL²( , F) and HL²(D( , T), F).2000 Mathematics Subject Classification: 17B05, 17B30This work was supported by the NNSF of China (19971044), the Doctoral Programme Foundation of Institution of Higher Education (97005511), and the Foundation of Jiangsu Educational Committee.     

The Automorphism Group of Plane Algebraic Curves with Singer Automorphisms

The main result in Cossidente and Siciliano (J. Number Theory, Vol. 99 (2003) pp. 373–382) states that if a Singer subgroup of PGL(3,q) is an automorphism group of a projective, geometric irreducible, non-singular plane algebraic curve then either or . In the former case is projectively equivalent to the curve with equation X^q+1Y+Y^q+1+X=0 studied by Pellikaan. Furthermore, the curve has a very nice property from Finite Geometry point of view: apart from the three distinguished points fixed by the Singer subgroup, the set of its -rational points can be partitioned into finite projective planes . In this paper, the full automorphism group of such curves is determined. It turns out that is the normalizer of a Singer group in .     

Group Pairs with Property (T), from Arithmetic Lattices

Let Γ be an arithmetic lattice in an absolutely simple Lie group G with trivial centre. We prove that there exists an integer N ≥ 2, a subgroup Λ of finite index in Γ, and an action of Λ on such that the pair ( ) has property (T). If G has property (T), then so does . If G is the adjoint group of Sp(n, 1), then is a property (T) group satisfying the Baum–Connes conjecture. If Γ is an arithmetic lattice in SO(n, 1), then the associated von Neumann algebra is a II₁-factor in Popa’s class . Elaborating on this result of Popa, we construct a countable family of pairwise nonstably isomorphic group II₁-factors in the class , all with trivial fundamental groups and with all L²-Betti numbers being zero.Mathematics Subject Classiffications (2000). 22E40, 22E47, 46L80, 37A20     

The Laplacian on $$ C(\overline \Omega) $$ with generalized Wentzell boundary conditions

In this note we prove that the Laplacian with generalized Wentzell boundary conditions on an open bounded regular domain in defined by generates an analytic semigroup of angle on for every > 0 and (for the definition of cf. (1.3)).Received: 13 July 2002     

A Change-of-Variable Formula with Local Time on Curves

Let be a continuous semimartingale and let be a continuous function of bounded variation. Setting and suppose that a continuous function is given such that F is C^1,2 on and F is on . Then the following change-of-variable formula holds: where is the local time of X at the curve b given by and refers to the integration with respect to . A version of the same formula derived for an Itô diffusion X under weaker conditions on F has found applications in free-boundary problems of optimal stopping.     

A unified approach to the topological centre problem for certain Banach algebras arising in abstract harmonic analysis

Let be a locally compact group. Consider the Banach algebra , equipped with the first Arens multiplication, as well as the algebra LUC , the dual of the space of bounded left uniformly continuous functions on , whose product extends the convolution in the measure algebra M . We present (for the most interesting case of a non-compact group) completely different - in particular, direct - proofs and even obtain sharpened versions of the results, first proved by Lau-Losert in [9] and Lau in [8], that the topological centres of the latter algebras precisely are and M , respectively. The special interest of our new approach lies in the fact that it shows a fairly general pattern of solving the topological centre problem for various kinds of Banach algebras; in particular, it avoids the use of any measure theoretical techniques. At the same time, deriving both results in perfect parallelity, our method reveals the nature of their close relation.Received: 1 January 2002     

Minimum-Volume Enclosing Ellipsoids and Core Sets

We study the problem of computing a (1+ε)-approximation to the minimum-volume enclosing ellipsoid of a given point set . Based on a simple, initial volume approximation method, we propose a modification of the Khachiyan first-order algorithm. Our analysis leads to a slightly improved complexity bound of operations for . As a byproduct, our algorithm returns a core set with the property that the minimum-volume enclosing ellipsoid of provides a good approximation to that of . Furthermore, the size of depends on only the dimension d and ε, but not on the number of points n. In particular, our results imply that for .We thank the Associate Editor and an anonymous referee for handling our paper efficiently and for helpful comments and suggestions.This author was supported in part by NSF through Grant CCR-0098172.This author was supported in part by NSF through CAREER Grant DMI-0237415.     

Sampling Theory Associated with a Symmetric Operator with Compact Resolvent and De Branges Spaces

Let be a symmetric operator with compact resolvent defined in a Hilbert space For any fixed we consider an entire function K_a which involves the resolvent of Associated with K_a we obtain, by duality in a Hilbert space of entire functions which becomes a De Branges space of entire functions. This property provides a characterization of regardless of the anti-linear mapping which has as its range space. There exists also a sampling formula allowing to recover any function in from its samples at the sequence of eigenvalues of This work has been supported by the grant BFM2003–01034 from the D.G.I. of the Spanish Ministerio de Ciencia y Tecnología.     

On the number of rational points of a plane algebraic curve

The number of F_q -rational points of a plane non-singular algebraic curve defined over a finite field F_q is computed, provided that the generic point of is not an inflexion and that is Frobenius non-classical with respect to conics. Received: 18 March 2003     

Set of involutions arising from an egglike inversive plane

To every egglike inversive plane there is associated a family of involutions of the point set of such that circles of are the fixed point sets of the involutions in . Korchmaros and Olanda characterized a family of involutions on a set of size n² + 1to be for an egglike inversive plane of order n by four conditions. In this paper, we give an alternative proof where the Galois space PG(3,n) in which is embedded is built up directly by using concepts and results on finite linear spaces.     

Type A Hecke algebras and related algebras

Let be the Hecke algebra of the symmetric group over a field K of characteristic and a primitive -th root of one in K. We show that an -module is projective if and only if its restrictions to any -parabolic subalgebra of is projective. Moreover, we give a new construction of blocks of -parabolic subalgebras, in terms of skew group algebras over local commutative algebras. Received: 30 June 2003     

A class number formula for the p-cyclotomic field

Let p be an odd prime number and . Let be the classical Stickelberger ideal of the group ring . Iwasawa [6] proved that the index equals the relative class number of . In [2], [4] we defined for each subgroup H of G a Stickelberger ideal of , and studied some of its properties. In this note, we prove that when mod 4 and [G : H] = 2, the index equals the quotient . Received: 13 January 2006     

A cohomological property of <Emphasis Type="Italic">p</Emphasis>-groups

Let p be a prime, a finite p-group, any finite group with order divisible by p, and any action of on . We show that the cardinality of the set of all derivations with respect to this action is a multiple of p. This generalises theorems of Frobenius and Hall. Received: 16 June 2003     

Homotopy Methods for Solving Variational Inequalities in Unbounded Sets

In this paper, for solving the finite-dimensional variational inequality problem