Dirac reduction for nonholonomic mechanical systems and semidirect products

This paper develops the theory of Dirac reduction by symmetry for nonholonomic systems on Lie groups with broken symmetry. The reduction is carried out for the Dirac structures, as well as for the associated Lagrange–Dirac and Hamilton–Dirac dynamical systems. This reduction procedure is accompanied by reduction of the associated variational structures on both Lagrangian and Hamiltonian sides. The reduced dynamical systems obtained are called the implicit Euler–Poincaré–Suslov equations with advected parameters and the implicit Lie–Poisson–Suslov equations with advected parameters. The theory is illustrated with the help of finite and infinite dimensional examples. It is shown that equations of motion for second order Rivlin–Ericksen fluids can be formulated as an infinite dimensional nonholonomic system in the framework of the present paper.     

On cubic Galois field extensions

We study Morton's characterization of cubic Galois extensions F/K by a generic polynomial depending on a single parameter s∈K. We show how such an s can be calculated with the coefficients of an arbitrary cubic polynomial over K the roots of which generate F. For K=Q we classify the parameters s and cubic Galois polynomials over Z, respectively, according to the discriminant of the extension field, and we present a simple criterion to decide if two fields given by two s-parameters or defining polynomials are equal or not.     

Extension of polynomials and John's theorem for symmetric tensor products

We show that for every infinite-dimensional normed space and every there are extendible -homogeneous polynomials which are not integral. As a consequence, we prove a symmetric version of a result of John.

     

Realizability of algebraic Galois extensions by strictly commutative ring spectra

We discuss some of the basic ideas of Galois theory for commutative -algebras originally formulated by John Rognes. We restrict our attention to the case of finite Galois groups and to global Galois extensions.

We describe parts of the general framework developed by Rognes. Central rôles are played by the notion of strong duality and a trace mapping constructed by Greenlees and May in the context of generalized Tate cohomology. We give some examples where algebraic data on coefficient rings ensures strong topological consequences. We consider the issue of passage from algebraic Galois extensions to topological ones by applying obstruction theories of Robinson and Goerss-Hopkins to produce topological models for algebraic Galois extensions and the necessary morphisms of commutative -algebras. Examples such as the complex -theory spectrum as a -algebra indicate that more exotic phenomena occur in the topological setting. We show how in certain cases topological abelian Galois extensions are classified by the same Harrison groups as algebraic ones, and this leads to computable Harrison groups for such spectra. We end by proving an analogue of Hilbert's theorem 90 for the units associated with a Galois extension.

     

Generic Banach spaces and generic simplexes

We give a systematic study of certain class of generic Banach spaces. We show that they distinguish between an array of different properties related to smoothness of equivalent norms such as for example the Mazur intersection property or the existence of convex sets supported by all of their points. We also examine the dual constructions of generic Choquet simplexes with extra requirements such as for example those of Poulsen and Bauer asking that the set of extremal points is dense or closed, respectively.     

Generic rings for Picard-Vessiot extensions and generic differential equations

Let G be an observable subgroup of GL_n. We produce an extension of differential commutative rings generic for Picard-Vessiot extensions with group G.     

On the essential dimension of a finite group

Let f(x) = aixi be a monic polynomial of degree n whosecoefficients are algebraically independent variables over a base field k of characteristic 0. We say that a polynomial g(x) isgenerating (for the symmetric group) if it can be obtained from f(x) by a nondegenerate Tschirnhaus transformation. We show that the minimal number dk(n) of algebraically independent coefficients of such a polynomial is at least [n/2]. This generalizes a classical theorem of Felix Klein on quintic polynomials and is related to an algebraic form of Hilberts 13th problem.Our approach to this question (and generalizations) is basedon the idea of the essential dimension of a finite group G:the smallest possible dimension of an algebraic G-variety over k to which one can compress a faithful linear representation of G. We show that dk(n) is just the essential dimension of the symmetricgroup Sn. We give results on the essential dimension ofother groups. In the last section we relate the notion of essential dimension to versal polynomials and discuss their relationship to the generic polynomials of Kuyk, Saltman and DeMeyer.     

Families of cyclic polynomials obtained from geometric generalization of Gaussian period relations

A general method of constructing families of cyclic polynomials over with more than one parameter will be discussed, which may be called a geometric generalization of the Gaussian period relations. Using this, we obtain explicit multi-parametric families of cyclic polynomials over of degree . We also give a simple family of cyclic polynomials with one parameter in each case, by specializing our parameters.

     

Connection coefficients for Laguerre-Sobolev orthogonal polynomials

Laguerre-Sobolev polynomials are orthogonal with respect to an inner product of the form , where α>−1, λ?0, and , the linear space of polynomials with real coefficients. If dμ(x)=xαe−xdx, the corresponding sequence of monic orthogonal polynomials {Q_n^(α,λ)(x)} has been studied by Marcellán et al. (J. Comput. Appl. Math. 71 (1996) 245-265), while if dμ(x)=δ(x)dx the sequence of monic orthogonal polynomials {L_n^(α)(x;λ)} was introduced by Koekoek and Meijer (SIAM J. Math. Anal. 24 (1993) 768-782). For each of these two families of Laguerre-Sobolev polynomials, here we give the explicit expression of the connection coefficients in their expansion as a series of standard Laguerre polynomials. The inverse connection problem of expanding Laguerre polynomials in series of Laguerre-Sobolev polynomials, and the connection problem relating two families of Laguerre-Sobolev polynomials with different parameters, are also considered.     

On pseudolinearity and generic pairs

We continue the study of the connection between the “geometric” properties of SU ‐rank 1 structures and the properties of “generic” pairs of such structures, started in [8]. In particular, we show that the SU‐rank of the (complete) theory of generic pairs of models of an SU ‐rank 1 theory T can only take values 1 (if and only if T is trivial), 2 (if and only if T is linear) or ω, generalizing the corresponding results for a strongly minimal T in [3]. We also use pairs to derive the implication from pseudolinearity to linearity for ω ‐categorical SU ‐rank 1 structures, established in [7], from the conjecture that an ω ‐categorical supersimple theory has finite SU ‐rank, and find a condition on generic pairs, equivalent to pseudolinearity in the general case (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Self-dual normal integral bases for infinite unramified extensions

We prove a generalization to infinite Galois extensions of local fields, of a classical result by Noether on the existence of normal integral bases for finite tamely ramified Galois extensions. We also prove a self-dual normal integral basis theorem for infinite unramified Galois field extensions of local fields with finite residue fields of characteristic different from 2. This generalizes a result by Fainsilber for the finite case. To do this, we obtain an injectivity result concerning pointed cohomology sets, defined by inverse limits of norm-one groups of free finite-dimensional algebras with involution over complete discrete valuation rings.     

Spectral decomposition and matrix-valued orthogonal polynomials

The relation between the spectral decomposition of a self-adjoint operator which is realizable as a higher order recurrence operator and matrix-valued orthogonal polynomials is investigated. A general construction of such operators from scalar-valued orthogonal polynomials is presented. Two examples of matrix-valued orthogonal polynomials with explicit orthogonality relations and three-term recurrence relation are presented, which both can be considered as 2×2-matrix-valued analogues of subfamilies of Askey–Wilson polynomials.     

A Depth Formula for Generic Singularities and Their Weak Normality

Let X be a smooth projective variety of dimension r and π:X → ?^m a generic projection with r + 1 ≤ m ≤ 2r. It is shown that, at any point on X′ = π(X) of multiplicity μ, off a closed subset of the triple locus of codimension four, the depth of the local ring is equal to r ? (μ ? 1)(m ? r ? 1). This leads to some improvements on the affirmation of a conjecture of Andreotti–Bombieri–Holm on the weak normality of X′ and a conjecture of Piene on the weak normality of Sing(X′).     

Jacobi polynomials and design theory I

In this paper, we introduce the notion of Jacobi polynomials of a code with multiple reference vectors, and give the MacWilliams type identity for it. Moreover, we derive a formula to obtain the Jacobi polynomials using the Aronhold polarization operator. Finally, we describe some facts obtained from Type III and Type IV codes that interpret the relation between the Jacobi polynomials and designs.