Positively Convex Spaces

We give a construction of the left adjoint of the comparison functor in one step and we give a characterization of separated (finitely) positively convex spaces.     

Isotopies of Real Trigonal Curves on Hirzebruch Surfaces

The rigid isotopy classification of nonsingular real algebraic curves of bidegree on the Hirzebruch surface (the projective plane with a point blown up) is obtained. Consequences for the space of curves with a single node or a cusp on a hyperboloid and on are given. Bibliography: 15 titles.     

Some Combinatorial Properties of Schubert Polynomials

Schubert polynomials were introduced by Bernstein et al. and Demazure, and were extensively developed by Lascoux, Schützenberger, Macdonald, and others. We give an explicit combinatorial interpretation of the Schubert polynomial in terms of the reduced decompositions of the permutation w. Using this result, a variation of Schensted's correspondence due to Edelman and Greene allows one to associate in a natural way a certain set of tableaux with w, each tableau contributing a single term to . This correspondence leads to many problems and conjectures, whose interrelation is investigated. In Section 2 we consider permutations with no decreasing subsequence of length three (or 321-avoiding permutations). We show for such permutations that is a flag skew Schur function. In Section 3 we use this result to obtain some interesting properties of the rational function , where denotes a skew Schur function.Sara C. Billey: Supported by the National Physical Science Consortium. William Jockusch: Supported by an NSF Graduate Fellowship. Richard P. Stanley: Partially supported by NSF grants DMS-8901834 and DMS-9206374     

Geometry of Two- and Three-Dimensional Minkowski Spaces

A class of centrally-symmetric convex 12-topes (12-hedrons) in is described such that for an arbitrary prescribed norm on each polyhedron in the class can be inscribed in (circumscribed about) the -ball via an affine transformation, and this can be done with large degree of freedom. Bibliography: 5 titles.     

Imprimitive Q-polynomial Association Schemes

It is well known that imprimitive P-polynomial association schemes with are either bipartite or antipodal, i.e., intersection numbers satisfy either for all for all . In this paper, we show that imprimitive -polynomial association schemes with are either dual bipartite or dual antipodal, i.e., dual intersection numbers satisfy either .     

The First-Order Nonholonomic Connections with the Galilean Groups of Local Transformations. II

In the canonical smooth fiber bundles endowed with the metric tensor fields of relevant structure, we consider natural representations of the Galilean groups and construct -invariant generalizations of differentiable connections. In both regular and special cases of the representations of the relevant groups , we found all the affine nonholonomic -, -, and -connections of the first order (see [1]–[3]) possessing the local Lie groups of transformations and also described the respective -invariant planar connections.     

On the Lipschitz Constant for a Nonisometric Bi-Lipschitz Transformation of a Cantor Set

A bi-Lipschitz continuous mapping of a space X is a bijection such that , where . We write if f is a Lipschitz (bi-Lipschitz) mapping of X into itself and denote by the set of all bi-Lipschitz mappings of X that are not isometry. Thus, if and blip . For X we consider a standard Cantor set K on the real line (with standard metric). The main result of this paper is formulated as follows: where Bibliography: 2 titles.     

Brauer Diagrams, Updown Tableaux and Nilpotent Matrices

We interpret geometrically a variant of the Robinson-Schensted correspondence which links Brauer diagrams with updown tableaux, in the spirit of Steinberg's result [32] on the original Robinson-Schensted correspondence. Our result uses the variety of all where is a complete flag in is a nondegenerate alternating bilinear form on and N is a nilpotent element of the Lie algebra of the simultaneous stabilizer of both and instead of Steinberg's variety of where are two complete flags in and N is a nilpotent element of the Lie algebra of the simultaneous stabilizer of both .     

Spin Models and Strongly Hyper-Self-Dual Bose-Mesner Algebras

We introduce the notion of hyper-self-duality for Bose-Mesner algebras as a strengthening of formal self-duality. Let denote a Bose-Mesner algebra on a finite nonempty set X. Fix p X, and let and denote respectively the dual Bose-Mesner algebra and the Terwilliger algebra of with respect to p. By a hyper-duality of , we mean an automorphism of such that for all ; and is a duality of . is said to be hyper-self-dual whenever there exists a hyper-duality of . We say that is strongly hyper-self-dual whenever there exists a hyper-duality of which can be expressed as conjugation by an invertible element of . We show that Bose-Mesner algebras which support a spin model are strongly hyper-self-dual, and we characterize strong hyper-self-duality via the module structure of the associated Terwilliger algebra.     

Derangements and Tensor Powers of Adjoint Modules for \mathfrak{s}\mathfrak{l}_n

We obtain the decomposition of the tensor space as a module for , find an explicit formula for the multiplicities of its irreducible summands, and (when n 2k) describe the centralizer algebra = ( ) and its representations. The multiplicities of the irreducible summands are derangement numbers in several important instances, and the dimension of is given by the number of derangements of a set of 2k elements.     

Orientations of Spines of Homology Balls

Oriented special spines of 3-manifolds are studied. (Orientation is an additional structure on the spine, and each 3-manifold possesses a special spine with such a structure.) The transformations (moves) and of special spines, which do not change the manifold, are well known. It is proved that and preserve orientability of a spine, while and do not. For spines of homology balls, a class of moves is described allowing one to pass from a given orientation of a spine to any other orientation of the spine. Bibliography: 6 titles.     

Arithmetical Functions of the Form f([g(n)])

Two results on composed functions are proven. First we give conditions on and so that the mean behaves like , if , including the examples

Some Classical Polynomials Seen from Another Side

The sequence of orthogonal polynomials is said to be classical if is also orthogonal. The aim of this paper is to find the sequences which have the property that is also orthogonal. We prove that sequences, with this property have to be, classical and belong either to the set of Laguerre or Jacobi polynomials, where in the Laguerre case c has to be zero and in the Jacobi case c = ±1.     

On the Growth of Entire Functions of Exponential Type near a Straight Line

Let be a sequence of complex numbers such that as . For close to the imaginary axis, upper bounds of the indicator of a nonzero entire function of exponential type with minimal growth vanishing on is obtained. These bounds give sufficient conditions for the system of exponents to be incomplete in an unbounded domain in .     

Equational Theories for Classes of Finite Semigroups

It is proved that there exists an infinite sequence of finitely based semigroup varieties such that, for all i, an equational theory for and for the class of all finite semigroups in is undecidable while an equational theory for and for the class of all finite semigroups in is decidable. An infinite sequence of finitely based semigroup varieties is constructed so that, for all i, an equational theory for and for the class of all finite semigroups in is decidable whicle an equational theory for and for the class of all finite semigroups in is not.     

On the Spectrum of Cartesian Powers of Classical Automorphisms

We prove the following statement: the set of all essential spectral multiplicities of (n times) is on for Chacon transformations T, or, equivalently, the operator T(ⁿ) has a simple spectrum on the subspace C _Sim of all functions that are invariant with respect to permutations of the coordinates. As an immediate consequence of this fact, we have the disjointness of all convolution powers of the spectral measure for Chacon transformations. If n=2, then T× T has a homogeneous spectrum of multiplicity 2 on , i.e., this is a solution of Rokhlin's problem for Chacon transformations. Similar statements are considered for other classical automorphisms.     

Minihypers and Linear Codes Meeting the Griesmer Bound: Improvements to Results of Hamada, Helleseth and Maekawa

This article improves results of Hamada, Helleseth and Maekawa on minihypers in projective spaces and linear codes meeting the Griesmer bound.In [10,12],it was shown that any -minihyper, with , where , is the disjoint union of points, lines,..., -dimensional subspaces. For q large, we improve on this result by increasing the upper bound on non-square, to non-square, square, , and (4) for square, p prime, p<3, to . In the case q non-square, the conclusion is the same as written above; the minihyper is the disjoint union of subspaces. When q is square however, the minihyper is either the disjoint union of subspaces, or the disjoint union of subspaces and one subgeometry . For the coding-theoretical problem, our results classify the corresponding codes meeting the Griesmer bound.     

A Geometric Characterization of Fischer's Baby Monster

The sporadic simple group F ₂ known as Fischer's Baby Monster acts flag-transitively on a rank 5 P-geometry . P-geometries are geometries with string diagrams, all of whose nonempty edges except one are projective planes of order 2 and one terminal edge is the geometry of the Petersen graph. Let be a flag-transitive P-geometry of rank 5. Suppose that each proper residue of is isomorphic to the corresponding residue in . We show that in this case is isomorphic to . This result realizes a step in classification of the flag-transitive P-geometries and also plays an important role in the characterization of the Fischer–Griess Monster in terms of its 2-local parabolic geometry.     

Canonical Heights on Elliptic Curves in Characteristic p

Let be the rational function field with finite constant field and characteristic , and let K/k be a finite separable extension. For a fixed place v of k and an elliptic curve E/K which has ordinary reduction at all places of K extending v, we consider a canonical height pairing which is symmetric, bilinear and Galois equivariant. The pairing for the infinite place of k is a natural extension of the classical Néron–Tate height. For v finite, the pairing plays the role of global analytic p-adic heights. We further determine some hypotheses for the nondegeneracy of these pairings.     

Some Generalizations of the Notion of Length

Two numerical characteristics of a nonrectifiable arc generalizing the notion of length are introduced. Geometrically, this notion can naturally be generalized as the least upper bound of the sums , where are the lengths of segments of a polygonal line inscribed in the curve and is a given function. On the other hand, the length of is the norm of the functional in the space ; its norms in other spaces can be considered as analytical generalizations of length. In this paper, we establish conditions under which the generalized geometric rectifiability of a curve implies its generalized analytic rectifiability.