Elliptic semiplanes and group divisible designs with orthogonal resolutions

In this paper we prove that there exists an elliptic semiplaneS(v, k, m) withk –m 2 if and only if there exists a group divisible design GDD _k ((k –m)(k – 1);k –m; 0, 1) withm pairwise orthogonal resolutions. As an example of this theorem, we construct an elliptic semiplaneW(45, 7, 3) and show thatW is isomorphic to the elliptic semiplaneS(45, 7, 3) given by R. D. Baker.     

Local structure of graphs with λ=μ=2,a 2=4

Several properties of graphs with ==2,a ₂=4 are studied. It is proved that such graphs are locally unions of triangles, hexagons or heptagons. As a consequence, a distance regular graph with intersection array (13,10,7;1,2,7) does not exist.     

Spencer cohomologies and symmetry groups

We propose the construction of a spectral sequence converging to Spencer cohomologies. By using symmetry groups of differential equations systems, we manage to unify computations by reduction to the invariant systems over a homogeneous space. The conditions of coincidence of Spencer cohomologies with the cohomologies of an invariant Spencer complex we obtain from the arithmetic of a -characteristic manifold with respect to fundamental weights of the homogeneous space.     

On some properties of cohomotopy-type functors

It is shown that if II ⁿ ,n\s>2, are Chogoshvili's cohomotopy functors [1, 2, 3], then

Growth functions for semi-regular tilings of the hyperbolic plane

This paper studies the growth function, with respect to the generating set of edge identifications, of a surface group with fundamental domainD in the hyperbolic plane ann-gon whose angles alternate between /p and /q. The possibilities ofn,p andq for which a torsion-free surface group can have such a fundamental polygon are classified, and the growth functions are computed. Conditions are given for which the denominator of the growth function is a product of cyclotomic polynomials and a Salem polynomial.This work was supported in part by NSF Research Grants.     

On nonnegative solvability of linear operator equations

LetE be a Banach lattice having order continuous norm. Suppose, moreover,T is a nonnegative reducible operator having a compact iterate and which mapsE into itself. The purpose of this work is to extend the previous results of the authors, concerning nonnegative solvability of (kernel) operator equations on generalL ^p-spaces. In particular, we provide necessary and sufficient conditions for the operator equation x=T x+y to possess a nonnegative solutionxE wherey is a given nonnegative and nontrivial element ofE and is any given positive parameter.     

Incomplete idempotent Schröder quasigroups and related packing designs

Summary In this paper it is proved that, for any positive integern 2, 3 (mod 4),n 7, there exists an incomplete idempotent Schröder quasigroup with one hole of size two IISQ(n, 2) except forn = 10. It is also proved that for any positive integern 0, 1 (mod 4), there exists an idempotent Schröder quasigroup ISQ(n) except forn = 5 and 9. These results completely determine the spectrum of ISQ(n) and provide an application to the packing of a class of edge-coloured block designs.Research supported by NSERC grant A-5320.Research supported by NSFC grant 19231060-2.     

Processes of flats induced by higher dimensional processes III

Stationary processes of k-flats in ^d can be thought of as point processes on the Grassmannian _k ^d of k-dimensional subspaces of ^d . If such a process is sampled by a (d–k+ j)-dimensional space F, it induces a process of j-flats in F. In this work we will investigate the possibility of determining the original k-process from knowledge of the intensity measures of the induced j-processes. We will see that this is impossible precisely when 1<k<d–1 and j=0,...,2[r/2]–1, where r is the rank of the manifold _k ^d . We will show how the problem is equivalent to the study of the kernel of various integral transforms, these will then be investigated using harmonic analysis on Grassmannian manifolds.The research of the first and third authors was supported in part by NSF grants DMS-9207019 and DMS-9304284. The research of the second author was supported in part by NFR contract number R-RA 4873-306 and the Swedish Academy of Sciences.     

Homotopy types for tamely approximable Sobolev maps between manifolds

We define a class ^p (M,N) of Sobolev maps from a manifoldM into a manifoldN, in such a way that each mapu ^p (M, N) has a well defined [p]-homotopy type, providedN satisfies a topological hypothesis. Using this, we prove the existence of minimizers in [p]-homotopy classes for some polyconvex variational problems.     

Zero cycles on conic fibrations and a conjecture of Bloch

Let X be a smooth projective surface over a number field k. Let (CH₀(X)) denote the Chow group of zero-cyles modulo rational equivalence on X. Let CH₀(X) be the subgroup of CH ₀(X) consisting of classes which vanish when going over to an arbitrary completion of k. Bloch put forward a conjecture asserting that this group is isomorphic to the Tate-Shafarevich group of a certain Galois module atttached to X. In this paper, we disprove this general conjecture. We produce a conic bundle X over an elliptic curve, for which the group (CH₀(X) is not zero, but the Galois-theoretic Tate-Shafarevich group vanishes.