Subgroups and Hulls of Specker Lattice-Ordered Groups

In this article, it will be shown that every -subgroup of a Specker -group has singular elements and that the class of -groups that are -subgroups of Specker -group form a torsion class. Methods of adjoining units and bases to Specker -groups are then studied with respect to the generalized Boolean algebra of singular elements, as is the strongly projectable hull of a Specker -group.     

The Eta Invariant and the Real Connective K-Theory of the Classifying Space for Quaternion Groups

We express the real connective K-theory groups o_4k–1(B Q ) ofthe quaternion group Q of order = 2 ^j 8 in terms of therepresentation theory of Q by showing o_4k–1(B Q ) = Sp(S ^4k+3/Q )where is any fixed point free representation of Q in U(2k + 2).     

On flags in a topological projective plane

In this paper we study some properties of the flag space () of a topological projective plane . The line set, sayL, of (), splits into two subfamiliesL ₀ andL ₁ which an non-trivial partitions of the point set of (). For any two distinct lines , ' belonging to one of the two subfamilies, there is exactly one line in the other subfamily meeting botl and '; turns out to be a continuous mapping of (-,'–. Further, the intersection o: two lines, having exactly one point in common, is a continuous and open mapping. Conversely, every irreducible semilinear space, satisfying the above properties, is isomor phic to the flag space of a topological projective plane.This paper has been prepared from some results of a research project supported by N.A.T.O.     

The Eta Invariant and the Connective K-Theory of the Classifying Space for Cyclic 2 Groups

We use the eta invariant to study the connective K-theory groups ko _m (B ) of the classifying space for the cyclic group where - 2 2.     

The Residue of p(N) Modulo Small Primes

For primes we obtain a simple formula for p(N) (mod ) as a weighted sum over -square affine partitions of N. When {3,5,7,11}, the weights are explicit divisor functions. The Ramanujan congruences modulo 5, 7, 11, 25, 49, and 121 follow immediately from these formulae.     

Application of fields formed by the Gauss periods to the investigation of cyclic diophantine equations

The question of the nonsolvability of the equation in rational integersx ₀,x ₁,...,x _t,z satisfying certain additional conditions is investigated. Two cases are considered: 1) is a regular prime number and 0 < t < – 1; 2) is an irregular prime number, =fe+1 (f is prime), > c₀ (f, t) and does not divide the Bernoulli numbers .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 67, pp. 201–222, 1977.     

L'indice de l'idéal de Stickelberger ℓ-adique

Sans résuméNotations un nombre premier 2. - v la valuation -adique telle quev ()=1 - _n le groupe des raciensn ^e de l'unité - f _k le conducteur d'un corps abélienk - f le conducteur d'un caractère de Dirichlet      

Stable solvability of Padé difference schemes for parabolic equations in Hölder spaces

We study Padé difference scheme for the approximate solution of the Cauchy problem for parabolic equations generated by the Padé fractions R_j,, of exponential approximation. We establish an estimate of the coerciveness of the difference schemes for j=–2, –1, or even j= in a smaller space than C₀ (E).Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 11, pp. 1466–1476, November, 1992.     

Fields with vanishing K2. Torsion in H1(X,K2) and Ch2(x)

This paper describes fields F of nonzero characteristic with the property that for all finite extensions E/F K₂E=0. We consider a somewhat wider class of fields which includes finite and separably closed fields. For smooth projective varieties X over such a field we show that the groups H¹(X, K₂){} and H²(X_et, (2)), NH³(X_et, (2)) and Ch²(X){} are isomorphic. These results are applied to describe the groups SK₁ of a smooth affine curve over such a field.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 116, pp. 108–118, 1982.     

The Szlenk index and local ℓ<Subscript>1</Subscript>-indices

We introduce two new local ₁-indices of the same type as the Bourgain ₁-index; the ⁺₁-index and the ⁺₁-weakly null index. We show that the ⁺₁-weakly null index of a Banach space X is the same as the Szlenk index of X, provided X does not contain ₁. The ⁺₁-weakly null index has the same form as the Bourgain ₁-index: if it is countable it must take values for some <₁. The different ₁-indices are closely related and so knowing the Szlenk index of a Banach space helps us calculate its ₁-index, via the ⁺₁-weakly null index. We show that I(C(^{))=^1++1}.     

Differential geometry of tensor product immersions II

In the first part of this series, we prove that the tensor product immersionf ₁ f _2k of2k isometric spherical immersions of a Riemannian manifoldM in Euclidean space is of-type with k and classify tensor product immersionsf ₁ f _2k which are ofk-type. In this article we investigate the tensor product immersionsf ₁ f _2k which are of (k+1)-type. Several classification theorems are obtained.     

Maximum of the product of the conformal radii of four nonoverlapping domains

Let a_k, k=1,...,4, be given distinct points of . Let D_k, k=1,...,4, be a system of simply connected domains in the closed plane such that a_kD_k, k=1,...,4, D_kD=for k,=1, ...,4, k. Let R(D_k,a_k) be the conformal radius of the domain D_k relative to the point a_k. In this paper we obtain an explicit expression for the maximum of the product in the family of all indicated system of domains in terms of elliptic functions. In the proof one makes directly use of the property of the extremal family of domains of the problem under consideration in terms of the associated quadratic differential.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 100, pp. 146–165, 1980.     

Uniqueness of the Unconditional Basis of ?1 (?p) and ?p (?1), 0 < p < 1

We prove that the quasi-Banach spaces ₁ (_p) and _p (₁), 0 < p < 1 have a unique unconditional basis up to permutation     

On Embeddings of the Flag Geometries of Projective Planes in Finite Projective Spaces

The flag geometry =( ) of a finite projective plane of order s is the generalized hexagon of order (s, 1) obtained from by putting equal to the set of all flags of , by putting equal to the set of all points and lines of and where I is the natural incidence relation (inverse containment), i.e., is the dual of the double of in the sense of Van Maldeghem Mal:98. Then we say that is fully and weakly embedded in the finite projective space PG(d, q) if is a subgeometry of the natural point-line geometry associated with PG(d, q), if s = q, if the set of points of generates PG(d, q), and if the set of points of not opposite any given point of does not generate PG(d, q). Preparing the classification of all such embeddings, we construct in this paper the classical examples, prove some generalities and show that the dimension d of the projective space belongs to {6,7,8}.     

Constructing Representations of the Nonstandardly Deformed Algebra sℓξ(2)

The generators of the algebra s(2), which result from the nonstandard (Jordanian) deformation of the algebra s(2), are realized in the form of finite-difference operators acting in a function space. This allows realizing arbitrary-dimensional representations of s(2) in the polynomial space that are in one-to-one correspondence with usual matrices of an appropriate dimension. We discuss using the suggested realization to construct and investigate the universal R-matrix invariant with respect to the action of the algebra s(2).     

The Archimedean ℓ-group tensor product

We introduce a construction (inZ F-set theory) for the Archimedean -group tensor product. We relate this tensor product to the existing ones in the theory of Archimedean vector lattices and -groups.     

Problem of the extremal decomposition of a closed plane

One considers the problem of the maximum of the product of powers of conformal radii of nonoverlapping domains in the following formulation. Let A=a₁, ..., a_n and B=(b₁, ..., b_m be systems of distinguished points in ¯C and let ={₁,..., _m} be a system of positive numbers. ByU(D,b ) we denote the reduced modulus of the simply connected domain D relative to the pointb D. Find the maximum of the sum in the familyD of all systems of nonoverlapping simply connected domains D_j, j=1, ..., m, satisfying the following condition: the domain D_j does not contain points b_i B, different from b_j, and some collection A_j, for each domain, of points from A, _j=1 ^m A _j =A. The solution of this problem is obtained by the simultaneous use of the method of variation and of the method of the moduli of families of curves and is given by Theorem 1 of the present paper. As consequences of Theorem 1 one obtains Theorems 2 and 3, strengthening the corresponding results of a previous paper of the author.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 144, pp. 149–154, 1985.     

A unifying theory of a posteriori finite element error control

Summary Residual-based a posteriori error estimates are derived within a unified setting for lowest-order conforming, nonconforming, and mixed finite element schemes. The various residuals are identified for all techniques and problems as the operator norm |||| of a linear functional of the formin the variable of a Sobolev space V. The main assumption is that the first-order finite element space is included in the kernel Ker of . As a consequence, any residual estimator that is a computable bound of |||| can be used within the proposed frame without further analysis for nonconforming or mixed FE schemes. Applications are given for the Laplace, Stokes, and Navier-Lamè equations.Supported by the DFG Research Center Matheon Mathematics for key technologies in Berlin.     

Unique <Emphasis Type="Italic">a</Emphasis>-closure for some ℓ-groups of rational valued functions

Usually, an abelian -group, even an archimedean -group, has a relatively large infinity of distinct a-closures. Here, we find a reasonably large class with unique and perfectly describable a-closure, the class of archimedean -groups with weak unit which are -convex. ( is the group of rationals.) Any C(X, ) is -convex and its unique a-closure is the Alexandroff algebra of functions on X defined from the clopen sets; this is sometimes C(X).     

On the divisibility of homogeneous hypergraphs

We denote byK _k ,k, 2, the set of allk-uniform hypergraphsK which have the property that every element subset of the base ofK is a subset of one of the hyperedges ofK. So, the only element inK ₂ ² are the complete graphs. If is a subset ofK _k then there is exactly one homogeneous hypergraphH whose age is the set of all finite hypergraphs which do not embed any element of . We callH -free homogeneous graphsH _n have been shown to be indivisible, that is, for any partition ofH _n into two classes, oue of the classes embeds an isomorphic copy ofH _n . [5]. Here we will investigate this question of indivisibility in the more general context of-free homogeneous hypergraphs. We will derive a general necessary condition for a homogeneous structure to be indivisible and prove that all-free hypergraphs for K _k with 3 are indivisible. The-free hypergraphs with K _k ² satisfy a weaker form of indivisibility which was first shown by Henson [2] to hold forH _n . The general necessary condition for homogeneous structures to be indivisible will then be used to show that not all-free homogeneous hypergraphs are indivisible.This research has been supported by NSERC grant 69–1325.