Equi-isoclinic planes of Euclidean spaces

In a Euclidean space, a p-set of equi-isoclinic planes is a set of p isoclinic planes of which each pair has the same non-zero angle.The Euclidean 4-space E⁴ contains a unique congruence class of quadruples of equi-isoclinic planes, whereas quintuples of equi-isoclinic planes do not exist in E⁴.In the following a method is given to derive sets of equi-isoclinic planes in Euclidean spaces. We find again the well-known sets of equi-isoclinic planes of E⁴. The quadruples of equi-isoclinic planes in E⁵ are derived. It turns out that E⁵ contains one congruence class of such quadruples which are not flat quadruples and one congruence class of quintuples of equi-isoclinic planes, whereas sextuples of equi-isoclinic planes do not exist in E⁵.It appears that the symmetry group of that quintuple is isomorphic to the symmetric group S₅.     

Incidence and Combinatorial Properties of Linear Complexes

In this paper a generalisation of the notion of polarity is exhibited which allows to completely describe, in an incidence-geometric way, the linear complexes of h-subspaces. A generalised polarity is defined to be a partial map which maps (h−1)-subspaces to hyperplanes, satisfying suitable linearity and reciprocity properties. Generalised polarities with the null property give rise to linear complexes and vice versa. Given that there exists for h > 1 a linear complex of h-subspaces which contains no star – this seems to be an open problem over an arbitrary ground field – the combinatorial structure of a partition of the line set of the projective space into non-geometric spreads of its hyperplanes can be obtained. This line partition has an additional linearity property which turns out to be characteristic. Received: December 3, 2007. Revised: December 13, 2007.     

Blocking Structures of Hermitian Varieties

Given a hermitian variety H(d,q²) and an integer k (d–1)/2, a blocking set with respect to k-subspaces is a set of points of H(d,q²) that meets all k-subspaces of H(d,q²). If H(d,q²) is naturally embedded in PG(d,q²), then linear examples for such a blocking set are the ones that lie in a subspace of codimension k of PG(d,q²). Up to isomorphism there are k+1 non-isomorphic minimal linear blocking sets, and these have different cardinalities. In this paper it is shown for 1 k< (d–1)/2 that all sufficiently small minimal blocking sets of H(d,q²) with respect to k-subspaces are linear. For 1 k< d/2–3, it is even proved that the k+1 minimal linear blocking sets are smaller than all minimal non-linear ones.AMS Classification: 1991 MSC: 51E20, 51E21     

Grassmannian Fixed Point Ratios

We provide estimates for the fixed point ratios in the permutation representations of a finite classical group over a field of order q on k-subspaces of its natural n-dimensional module. For sufficiently large n, each element must either have a negligible ratio or act linearly with a large eigenspace. We obtain an asymptotic estimate in the latter case, which in most cases is q ^–dk where d is the codimension of the large eigenspace. The results here are tailored for our forthcoming proof of a conjecture of Guralnick and Thompson on composition factors of monodromy groups.     

How many s-subspaces must miss a point set in PG(d, q)

The following result is well-known for finite projective spaces. The smallest cardinality of a set of points of PG(n, q) with the property that every s-subspace has a point in the set is (q ^n+1-s - 1)/(q - 1). We solve in finite projective spaces PG(n, q) the following problem. Given integers s and b with 0 ≤ s ≤ n - 1 and 1 ≤ b ≤ (q ^n+1-s - 1)/(q - 1), what is the smallest number of s-subspaces that must miss a set of b points. If d is the smallest integer such that b ≤ (q ^d+1 - 1)/(q - 1), then we shall see that the smallest number is obtained only when the b points generate a subspace of dimension d. We then also determine the smallest number of s-subspaces that must miss a set of b points of PG(n, q) which do not lie together in a subspace of dimension d. The results are obtained by geometrical and combinatorial arguments that rely on a strong algebraic result for projective planes by T. Szőnyi and Z. Weiner.     

On linear versions of some addition theorems

Let K ? L be a field extension. Given K-subspaces A, B of L, we study the subspace ?AB? spanned by the product set AB = {ab∣ a ∈ A, b ∈ B}. We obtain some lower bounds on dim _K ?AB? and dim _K ?B ⁿ ? in terms of dim _K A, dim _K B and n. This is achieved by establishing linear versions of constructions and results in additive number theory mainly due to Kemperman and Olson.     

On the best bound of the minimal twisted height of linear subspaces

Let V be a vector space over a global field k, g an element of the adele group and H_g the twisted height defined on the k-subspaces of V . We show that the square root of the generalized Hermite-Rankin constant for k gives the best upper bound of the function , where runs over all m-dimensional k-subspaces of V and runs over all n-dimensional k-subspaces of . Received: 17 June 2005     

Mixed Partitions of Projective Geometries

Starting from a linear collineation of PG(2n–1,q) suitably constructed from a Singer cycle of GL(n,q), we prove the existence of a partition of PG(2n–1,q) consisting of two (n–1)-subspaces and caps, all having size (qⁿ–1)/(q–1) or (qⁿ–1)/(q+1) according as n is odd or even respectively. Similar partitions of quadrics or hermitian varieties into two maximal totally isotropic subspaces and caps of equal size are also obtained. We finally consider the possibility of partitioning the Segre variety of PG(8,q) into caps of size q²+q+1 which are Veronese surfaces.     

On spaces which are linearly D

We introduce a generalization of D-spaces, which we call linearly D-spaces. The following results are obtained for a T₁-space X.

– X is linearly Lindelöf if, and only if, X is a linearly D-space of countable extent.

– X is linearly D provided that X is submetaLindelöf.

– X is linearly D provided that X is the union of finitely many linearly D-subspaces.

– X is compact provided that X is countably compact and X is the union of countably many linearly D-subspaces.

Wavelets on S3 and SO(3)—Their construction,relation to each other and Radon transform of wavelets on SO(3)

The paper at hand is concerned with creating a flexible wavelet theory on the three sphere S³ and the rotation group SO(3). The theory of zonal functions and reproducing kernels will be used to develop conditions for an admissible wavelet. After explaining some preliminaries on group actions and some basics on approximation theory, we will prove reconstruction formulas of linear and bilinear wavelet transformed L²‐functions on S³. Moreover, specific examples will be constructed and visualized. Second, we deal with the construction of wavelets on the rotation group SO(3). It will be shown that the Radon transform of a wavelet packet on SO(3) gives a wavelet packet on S² for every fixed detection direction. Copyright © 2010 John Wiley & Sons, Ltd.     

Designs in Grassmannian Spaces and Lattices

We introduce the notion of a t-design on the Grassmann manifold of the m-subspaces of the Euclidean space ⁿ . It generalizes the notion of antipodal spherical design which was introduced by P. Delsarte, J.-M. Goethals and J.-J. Seidel. We characterize the finite subgroups of the orthogonal group which have the property that all its orbits are t-designs. Generalizing a result due to B. Venkov, we prove that, if the minimal m-sections of a lattice L form a 4-design, then L is a local maximum for the Rankin function _n,m .     

Neumann and mixed problems on curvilinear polyhedra

We prove regularity results inL ^p Sobolev spaces. On one hand, we state some abstract results byL ^p functional techniques: exponentially decreasing estimates in dyadic partitions of cones and dihedra, operator valued symbols and Marcinkievicz's theorem. On the other hand, we derive more concrete statements with the help of estimates about the first non-zero eigenvalue of some Laplace-Beltrami operators on spherical domains.     

On the chromatic number of q-Kneser graphs

We show that the q-Kneser graph qK _2k:k (the graph on the k-subspaces of a 2k-space over GF(q), where two k-spaces are adjacent when they intersect trivially), has chromatic number q ^k ?+?q ^k?1 for k?=?3 and for k < q log q ? q. We obtain detailed results on maximal cocliques for k = 3.     

On M-separability of countable spaces and function spaces

We study M-separability as well as some other combinatorial versions of separability. In particular, we show that the set-theoretic hypothesis b=d implies that the class of selectively separable spaces is not closed under finite products, even for the spaces of continuous functions with the topology of pointwise convergence. We also show that there exists no maximal M-separable countable space in the model of Frankiewicz, Shelah, and Zbierski in which all closed P-subspaces of ω^* admit an uncountable family of nonempty open mutually disjoint subsets. This answers several questions of Bella, Bonanzinga, Matveev, and Tkachuk.     

Finite Energy Solutions of Maxwell''s Equations and Constructive Hodge Decompositions on Nonsmooth Riemannian Manifolds

We consider two basic potential theoretic problems in Riemannian manifolds: Hodge decompositions and Maxwell's equations. Here we are concerned with smoothness and integrability assumptions. In the context of L^p forms in Lipschitz domains, we show that both are well posed provided that 2−<p<2+, for some >0, depending on the domain. Our approach is constructive (in the sense that we produce integral representation formulas for the solutions) and emphasizes the intimate connections between the two problems at hand. Applications to other related PDEs, such as boundary problems for the Hodge Dirac operator, are also presented.     

Lattice-embedding scales ofL p spaces into orlicz spaces

We study the setP _X of scalarsp such thatL ^p is lattice-isomorphically embedded into a given rearrangement invariant (r.i.) function spaceX[0, 1]. Given 0<α≤β<∞, we construct a family of Orlicz function spacesX=L ^F [0, 1], with Boyd indicesα andβ, whose associated setsP _X are the closed intervals [γ, β], for everyγ withα≤γ≤β. In particular forα>2, this proves the existence of separable 2-convex r.i. function spaces on [0,1] containing isomorphically scales ofL ^p -spaces for different values ofp. We also show that, in general, the associated setP _X is not closed. Similar questions in the setting of Banach spaces with uncountable symmetric basis are also considered. Thus, we construct a family of Orlicz spaces ℓ ^F (I), with symmetric basis and indices fixed in advance, containing ℓ ^p (Γ-subspaces for differentp’s and uncountable Λ⊂I. In contrast with the behavior in the countable case (Lindenstrauss and Tzafriri [L-T₁]), we show that the set of scalarsp for which ℓ ^p (Γ) is isomorphic to a subspace of a given Orlicz space ℓ ^F (I) is not in general closed. Supported in part by DGICYT grant PB 94-0243.     

Pseudo-Paley graphs and skew Hadamard difference sets from presemifields

Let (K, + ,*) be an odd order presemifield with commutative multiplication. We show that the set of nonzero squares of (K, *) is a skew Hadamard difference set or a Paley type partial difference set in (K, +) according as q is congruent to 3 modulo 4 or q is congruent to 1 modulo 4. Applying this result to the Coulter–Matthews presemifield and the Ding–Yuan variation of it, we recover a recent construction of skew Hadamard difference sets by Ding and Yuan [7]. On the other hand, applying this result to the known presemifields with commutative multiplication and having order q congruent to 1 modulo 4, we construct several families of pseudo-Paley graphs. We compute the p-ranks of these pseudo-Paley graphs when q = 3⁴, 3⁶, 3⁸, 3¹⁰, 5⁴, and 7⁴. The p-rank results indicate that these graphs seem to be new. Along the way, we also disprove a conjecture of René Peeters [17, p. 47] which says that the Paley graphs of nonprime order are uniquely determined by their parameters and the minimality of their relevant p-ranks. Dedicated to Dan Hughes on the occasion of his 80th birthday.     

Existence and Regularity of the Pressure for the Stochastic Navier–Stokes Equations

We prove, on one hand, that for a convenient body force with values in the distribution space (H ^-1(D)) ^d , where D is the geometric domain of the fluid, there exist a velocity u and a pressure p solution of the stochastic Navier–Stokes equation in dimension 2, 3 or 4. On the other hand, we prove that, for a body force with values in the dual space V of the divergence free subspace V of (H ¹ ₀(D)) ^d , in general it is not possible to solve the stochastic Navier–Stokes equations. More precisely, although such body forces have been considered, there is no topological space in which Navier–Stokes equations could be meaningful for them.     

On orthocomplemented subspaces in p-adic Banach spaces

For linear subspaces of finite-dimensional normed spaces over K, where K is a non-Archimedean complete valued field which is not spherically complete, we study orthocomplementation as related to strictness and the Hahn-Banach property. We prove that there exist finite-dimensional normed spaces which possess non-orthocomplemented, strict HB-subspaces.