Classification of hermitian forms and semisimple groups over fields of virtual cohomological dimension one

Summary Letk be a perfect field with cdk(i)≤1. It has recently been proved by the author that homogeneous spaces under connected linear groups overk satisfy a Hasse principle with respect to the real closures ofk. Using this result we classify the semisimple algebraic groups overk and, in particular, characterize the anisotropic ones. Similarly we classify the various types of hermitian forms over skew fields overk and exhibit to what extent weak or strong local-global principles hold. In the case wherek is the function field of a smooth projective curveX over ℝ, we also cover the local-global questions vis-à-vis the completions ofk at the points ofX.     

Elimination of quantifiers for modules

Every first-order formula in the language ofR-modules (R an associative ring) is equivalent relative to the theory ofR-modules to a boolean combination of positive primitive formulas and ∀∃-sentence. Supported by Schweizerischer Nationalfonds.     

Number of Representations of p-One-Dimensional Forms by a Genus

We study branching of representations of a locally p-one-dimensional form by a genus of positive definite integral quadratic forms. We give a complete list of minimal representations by a genus for forms of square level. GaussMinkowski formulas are obtained for heights of representations over the ring of integers. As an application, we obtain formulas for heights of primitive representations by genera for specific forms constructed by the method of orthogonal complement. Bibliography: 6 titles.     

Gaps in the base set of primitive nonpowerful sign patterns

For a primitive nonpowerful square sign pattern A, the base of A, denoted by l(A), is the least positive integer l such that every entry of A ^l is #. In this article, we consider the base set of the primitive nonpowerful sign pattern matrices. Some useful results about the bases for the sign pattern matrices are presented there. Some special sign pattern matrices with given bases are characterized and more ‘gaps’ in the base set are shown.     

Primitive symmetric designs with up to 2500 points

By this article we conclude the construction of all primitive ( v, k,λ ) symmetric designs with v < 2500 , up to a few unsolved cases. Complementary to the designs with prime power number of points published previously, here we give 55 primitive symmetric designs with v ≠ p ^m , p prime and m positive integer, together with the analysis of their full automorphism groups. The research involves programming and wide‐range computations. We make use of the software package GAP and the library of primitive groups which it contains. © 2011 Wiley Periodicals, Inc. J Combin Designs 19:463‐474, 2011     

Applications of patching to quadratic forms and central simple algebras

This paper provides applications of patching to quadratic forms and central simple algebras over function fields of curves over Henselian valued fields. In particular, we use a patching approach to reprove and generalize a recent result of Parimala and Suresh (in Preprint , 2007) on the u-invariant of p-adic function fields, p≠2. The strategy relies on a local-global principle for homogeneous spaces for rational algebraic groups, combined with local computations.     

Primitive polynomials,singer cycles and word-oriented linear feedback shift registers

Using the structure of Singer cycles in general linear groups, we prove that a conjecture of Zeng et al. (Word-Oriented Feedback Shift Register: σ-LFSR, 2007) holds in the affirmative in a special case, and outline a plausible approach to prove it in the general case. This conjecture is about the number of primitive σ-LFSRs of a given order over a finite field, and it generalizes a known formula for the number of primitive LFSRs, which, in turn, is the number of primitive polynomials of a given degree over a finite field. Moreover, this conjecture is intimately related to an open question of Niederreiter (Finite Fields Appl 1:3–30, 1995) on the enumeration of splitting subspaces of a given dimension.     

A twisted Laurent series ring that is a noncrossed product

The striking results on noncrossed products were their existence (Amitsur [1]) and the determination of ℚ(t) and ℚ((t)) as their smallest possible centres (Brussel [3]). This paper gives the first fully explicit noncrossed product example over ℚ((t)). As a consequence, the use of deep number theoretic theorems (local-global principles such as the Hasse norm theorem and density theorems) in order to prove existence is eliminated. Instead, the example can be verified by direct calculations. The noncrossed product proof is short and elementary. Supported in part by the DAAD (Kennziffer D/02/00701).     

A local-global version of a stepsize control for Runge-Kutta methods

In this paper we develop a new procedure to control stepsize for Runge-Kutta methods applied to both ordinary differential equations and semi-explicit index 1 differential-algebraic equations. In contrast to the standard approach, the error control mechanism presented here is based on monitoring and controlling both the local and global errors of Runge-Kutta formulas. As a result, Runge-Kutta methods with the local-global stepsize control solve differential or differential-algebraic equations with any prescribed accuracy (up to round-off errors). For implicit Runge-Kutta formulas we give the sufficient number of both full and modified Newton iterations allowing the iterative approximations to be correctly used in the procedure of the local-global stepsize control. In addition, we develop a stable local-global error control mechanism which is applicable for stiff problems. Numerical tests support the theoretical results of the paper.     

A class of square-free monomial ideals associated to two integer sequences

Given two finite sequences of positive integers α and β, we associate a square-free monomial ideal I_α,β in a ring of polynomials S, and we recursively compute the algebraic invariants of S∕I_α,β. Also, we give precise formulas in special cases.     

Ultraproducts of continuous posets

We consider local partial clones defined on an uncountable set E having the form Polp(\({\mathfrak{R}}\)), where \({\mathfrak{R}}\) is a set of relations on E. We investigate the notion of weak extendability of partial clones of the type Polp(\({\mathfrak{R}}\)) (in the case of E countable, this coincides with the notion of extendability previously introduced by the author in 1987) which allows us to expand to uncountable sets results on the characterization of Galois-closed sets of relations as well as model-theoretical properties of a relational structure \({\mathfrak{R}}\). We establish criteria for positive primitive elimination sets (sets of positive primitive formulas over \({\mathfrak{R}}\) through which any positive primitive definable relation over \({\mathfrak{R}}\) can be expressed without existential quantifiers) for finite \({\mathfrak{R}}\) as well as for \({\mathfrak{R}}\) having only finite number of positive primitive definable relations of any arity. Emphasizing the difference between countable and uncountable sets, we show that, unlike in the countable case, the characterization of Galois-closed sets InvPol(\({\mathfrak{R}}\)) (that is, all relations which are invariant under all operations from the clone Pol(\({\mathfrak{R}}\)) defined on an uncountable set) cannot be obtained via the application of finite positive primitive formulas together with infinite intersections and unions of updirected sets of relations from \({\mathfrak{R}}\).     

Local-global principles for representations of quadratic forms

We prove a local-global principle for the problem of representations of quadratic forms by quadratic forms over ℤ, in codimension ≥5. The proof uses the ergodic theory of p-adic groups, together with a fairly general observation on the structure of orbits of an arithmetic group acting on integral points of a variety.     

Zur Möbiusgeometrie der Kurventheorie

Using the derivational formulas for stripes we derive in section 1 the derivational formulas for spacecurves in three-dimensional conformal spaceM ₃. With a curve we associate locally a one-parameter family of so calledQ ⁴-surfaces having contact of order 5. AQ ⁴-surface is generated by two special parabolic pencils of spheres. We investigate alsoQ ⁴-surfaces having contact of orderk(k=7,8). Section 2 deals with isogonal-trajectories on the surface of the principal circles of the given spacecurve. We avoid invariant parameters as used in projective geometry for getting results of conformal geometry.     

Zur M?biusgeometrie der Kurventheorie

Using the derivational formulas for stripes we derive in section 1 the derivational formulas for spacecurves in three-dimensional conformal spaceM ₃. With a curve we associate locally a one-parameter family of so calledQ ⁴-surfaces having contact of order 5. AQ ⁴-surface is generated by two special parabolic pencils of spheres. We investigate alsoQ ⁴-surfaces having contact of orderk(k=7,8). Section 2 deals with isogonal-trajectories on the surface of the principal circles of the given spacecurve. We avoid invariant parameters as used in projective geometry for getting results of conformal geometry.     

Uniform Asymptotic Expansions for Meixner Polynomials

Meixner polynomials m _n (x;β,c) form a postive-definite orthogonal system on the positive real line x > 0 with respect to a distribution step function whose jumps are Unlike classical orthogonal polynomials, they do not satisfy a second-order linear differential equation. In this paper, we derive two infinite asymptotic expansions for m _n (nα;β,c) as . One holds uniformly for , and the other holds uniformly for , where a and b are two small positive quantities. Both expansions involve the parabolic cylinder function and its derivative. Our results include all five asymptotic formulas recently given by W. M. Y. Goh as special cases. April 16, 1996. Date revised: October 30, 1996.     

Quadratic transform of complete ideals in regular local rings

In an upcoming article we study harmonic analysis on the quantum E(2) group within an algebraic framework: we explicitly construct Fourier transforms between quantum E(2) and its Pontryagin dual, involving q-Bessel functions as kernel, prove Plancherel &; inversion formulas etc. In the present paper we propose an algebraic setting in which to perform harmonic analysis on non-compact, non-discrete quantum groups and in particular on quantum E(2). We are mainly concerned with the construction of positive and faithful invariant functionals on an algebraic level, KMS properties, etc.     

Generating primitive positive clones

Suppose is a set of operations on a finite set A. Define PPC() to be the smallest primitive positive clone on A containing . For any finite algebra A, let PPC#(A) be the smallest number n for which PPC(CloA) = PPC(Clo _n A). S. Burris and R. Willard [2] conjectured that PPC#(A) ≤|A| when CloA is a primitive positive clone and |A| > 2. In this paper, we look at how large PPC#(A) can be when special conditions are placed on the finite algebra A. We show that PPC#(A) ≤|A| holds when the variety generated by A is congruence distributive, Abelian, or decidable. We also show that PPC#(A) ≤|A| + 2 if A generates a congruence permutable variety and every subalgebra of A is the product of a congruence neutral algebra and an Abelian algebra. Furthermore, we give an example in which PPC#(A) ≥|A| - 1)² so that these results are not vacuous. Received August 30, 1999; accepted in final form April 4, 2000.     

Torseurs sous une variété abélienne sur R((t))

Let V be an henselian discrete valuation ring with real closed residue field and let k be its quotient ring; we denote by k ⁺ and k ⁻ the two real closures of k. Consider a k-abelian variety A. We compute the Galois-cohomology group H ¹(k,A) in terms of the reduction of the dual variety of A and of the semi-algebraic topology of A(k ⁺) and A(k ⁻). The tools we need are Ogg's results concerning valuation rings with algebraically closed residue field, Hochschild–Serre spectral sequence and Scheiderer's local-global principles. At the end we study more precisely the case of an elliptic curve. Received: 23 October 2000     

On some sheaves of special groups

Using sheaves of special groups, we show that a general local-global principle holds for every reduced special group whose associated space of orderings only has a finite number of accumulation points. We also compute the behaviour of the Boolean hull functor applied to sheaves of special groups. The research leading to this note was carried out with the partial support of the European RTN Networks HPRN-CT-2002-00287 “Algebraic K-Theory, Linear Algebraic Groups and Related Structures”, and HPRN-CT-2001-00271 “Real Algebraic and Analytic Geometry”     

Prime ideals in the C*-algebra of a nilpotent group

We say that a locally compact groupG hasT ₁ primitive ideal space if the groupC ^*-algebra,C ^*(G), has the property that every primitive ideal (i.e. kernel of an irreducible representation) is closed in the hull-kernel topology on the space of primitive ideals ofC ^*(G), denoted by PrimG. This means of course that every primitive ideal inC ^*(G) is maximal. Long agoDixmier proved that every connected nilpotent Lie group hasT ₁ primitive ideal space. More recentlyPoguntke showed that discrete nilpotent groups haveT ₁ primitive ideal space and a few month agoCarey andMoran proved the same property for second countable locally compact groups having a compactly generated open normal subgroup. In this note we combine the methods used in [3] with some ideas in [9] and show that for nilpotent locally compact groupsG, having a compactly generated open normal subgroup, closed prime ideals inC ^*(G) are always maximal which implies of course that PrimG isT ₁.