Linear closures of finite geometries

The interrelations between finite geometries (finite incidence structures) and linear codes over finite fields are discussed under some special fundamental aspects. For any incidence structure \({\mathcal{I}}\) block codes, block-difference codes and co-block codes over finite fields of characteristic p are discussed resp. introduced; correspondingly p-modular co-blocks are defined for \({\mathcal{I}}\). Orthogonality modulo p is introduced as a concept relating different geometries having the same point set. Conversely three types of block-tactical geometries may be derived from vector classes of fixed Hamming weight in a given linear code. These geometries are tactical configurations if the given code admits a transitive permutation group. A combination of both approaches leads to the concept of p-closure of a finite geometry and to the notions of p-closed, weakly p-closed and p-dense incidence structures. These geometric concepts are applied to simple or directed graphs via their natural “adjacency geometry”. Here the above mentioned code theoretic treatment leads to the concept of p-modular co-adjacent vertex sets. As instructive examples the Petersen graph, its complemetary graph and the Higman-Sims graph are considered.     

Sylow's theorem for Moufang loops

For finite Moufang loops, we prove an analog of the first Sylow theorem giving a criterion for the existence of a p-Sylow subloop. We also find the maximal order of p-subloops in the Moufang loops that do not possess p-Sylow subloops.     

On some special codes over Fp + uFp + uFp

We define a new map between codes over F_p + uF_p + u²F_p and F_p which is different to that defined in [2]. It is proved that the image of the linear cyclic code over the commutative ring F_p + uF_p + u²F_p with length n under this map is a distance-invariant quasi-cyclic code of index p² with length p²n over F_p. Moreover, it is proved that, if (n, p) = 1, then every code with length p²n over F_p which is the image of a linear (1 − u²)-cyclic code with length n over F_p + uF_p + u²F_p under this map is permutation equivalent to a quasi-cyclic code of index p².     

Finite prime-field characteristic sets for planar configurations

Examples are constructed of planar matroids with finite prime-field characteristic sets (i.e. matroids representable over a finite set of prime fields but over fields of no other characteristic). In particular, for any n>3, a projectively unique integer matrix is constructed with 2lsqblog₂nrsqb+6 columns which often gives nonsingleton characteristic sets and, when n is prime, has characteristic set {n}. Many finite subsets of primes are shown to be characteristic sets, including {23,59} (the smallest pair found using these methods), all pairs of primes {p, p′:67?p<p′?293}, and the seventeen largest five-digit primes. Probabilistic arguments are presented to support the conjecture that prime-field characteristic sets exist of every finite cardinality. For p>3, AG(2,p) is shown to be a subset of PG(2, q) only for q=p^s. Another general construction technique suggests that when $\text{P}\text{={p}{}_1\text{,…,p}{}_{\mathrm{k}}\text{}}$ are the primitive prime divisors of 2ⁿ±1 (n sufficiently large), then there is a matroid with O (log n) points whose characteristic set is $\text{P}$. We remark that although only one finite nonsingleton characteristic set (due to R. Reid) was known prior to this paper, a new technique by J. Kahn has shown that every finite set of primes forms a (non-prime-field) characteristic set.     

Computation of <Emphasis Type="BoldItalic">p</Emphasis>-variation

A code for computing the p-variation of a piecewise monotone function is introduced. The code is publicly available in the R environment package under the name pvar. The algorithm is based on some properties of the p-variation of a piecewise monotone function proved in this paper. The mathematical results may have their own interest.     

Skew Hadamard designs and their codes

Skew Hadamard designs (4n – 1, 2n – 1, n – 1) are associated to order 4n skew Hadamard matrices in the natural way. We study the codes spanned by their incidence matrices A and by I + A and show that they are self-dual after extension (resp. extension and augmentation) over fields of characteristic dividing n. Quadratic Residues codes are obtained in the case of the Paley matrix. Results on the p-rank of skew Hadamard designs are rederived in that way. Codes from skew Hadamard designs are classified. An optimal self-dual code over GF(5) is rediscovered in length 20. Six new inequivalent [56, 28, 16] self-dual codes over GF(7) are obtained from skew Hadamard matrices of order 56, improving the only known quadratic double circulant code of length 56 over GF(7).     

Hints of a new relativity principle from p-brane quantum mechanics

This report is an extension of a previous one hep-th/9812189. Several quantum mechanical wave equations for p-branes are proposed. The most relevant p-brane quantum mechanical wave equations determine the quantum dynamics involving the creation/destruction of p-dimensional loops of topology S^p, moving in a D-dimensional spacetime background, in the quantum state Φ. To implement full covariance we are forced to enlarge the ordinary relativity principle to a new relativity principle, suggested earlier by the author based on the construction of C-space, and also by Pezzaglia's poly-dimensional relativity, where all dimensions and signatures of spacetime should be included on the same footing.     

On pro-p analogues of limit groups via extensions of centralizers

We begin a study of a pro-p analogue of limit groups via extensions of centralizers and call ${\mathcal{L}}$ this new class of pro-p groups. We show that the pro-p groups of ${\mathcal{L}}$ have finite cohomological dimension, type FP _?? and non-positive Euler characteristic. Among the group theoretic properties it is proved that they are free-by-(torsion free nilpotent) and if non-abelian do not have a finitely generated non-trivial normal subgroup of infinite index. Furthermore it is shown that every 2 generated pro-p group in the class ${\mathcal{L}}$ is either free pro-p or abelian.     

The p-approximation property in terms of density of finite rank operators

We characterize the p-approximation property (p-AP) introduced by Sinha and Karn [D.P. Sinha, A.K. Karn, Compact operators whose adjoints factor through subspaces of ?p, Studia Math. 150 (2002) 17-33] in terms of density of finite rank operators in the spaces of p-compact and of adjoints of p-summable operators. As application, the p-AP of dual Banach spaces is characterized via density of finite rank operators in the space of quasi-p-nuclear operators. This relates the p-AP to Saphar's approximation property APp^′. As another application, the p-AP is characterized via a trace condition, allowing to define the trace functional on certain subspaces of the space of nuclear operators.     

Annular embeddings of permutations for arbitrary genus

In the symmetric group on a set of size 2n, let P2n denote the conjugacy class of involutions with no fixed points (equivalently, we refer to these as “pairings”, since each disjoint cycle has length 2). Harer and Zagier explicitly determined the distribution of the number of disjoint cycles in the product of a fixed cycle of length 2n and the elements of P2n. Their famous result has been reproved many times, primarily because it can be interpreted as the genus distribution for 2-cell embeddings in an orientable surface, of a graph with a single vertex attached to n loops. In this paper we give a new formula for the cycle distribution when a fixed permutation with two cycles (say the lengths are p,q, where p+q=2n) is multiplied by the elements of P2n. It can be interpreted as the genus distribution for 2-cell embeddings in an orientable surface, of a graph with two vertices, of degrees p and q. In terms of these graphs, the formula involves a parameter that allows us to specify, separately, the number of edges between the two vertices and the number of loops at each of the vertices. The proof is combinatorial, and uses a new algorithm that we introduce to create all rooted forests containing a given rooted forest.     

Ternary self-orthogonal codes of dual distance three and ternary quantum codes of distance three

Ternary self-orthogonal codes with dual distance three and ternary quantum codes of distance three constructed from ternary self-orthogonal codes are discussed in this paper. Firstly, for given code length n ≥ 8, a ternary [n, k]₃ self-orthogonal code with minimal dimension k and dual distance three is constructed. Secondly, for each n ≥ 8, two nested ternary self-orthogonal codes with dual distance two and three are constructed, and consequently ternary quantum code of length n and distance three is constructed via Steane construction. Almost all of these quantum codes constructed via Steane construction are optimal or near optimal, and some of these quantum codes are better than those known before.     

Diagrams for certain quotients of PSL ( 2 , ℤ [ i ] )

Actions of the Picard group PSL(2, ?[i]) on PL(F _p ), where p ≡ 1(mod 4), are investigated through diagrams. Each diagram is composed of fragments of three types. A technique is developed to count the number of fragments which frequently occur in the diagrams for the action of the Picard group on PL(F _p ). The conditions of existence of fixed points of the transformations are evolved. It is further proved that the action of the Picard group on P L(F _p ) is transitive. A code in Mathematica is developed to perform the calculation.     

On nilpotent Moufang loops with central associators

In this paper, we investigate Moufang p-loops of nilpotency class at least three for $p>3$. The smallest examples have order $p^5$ and satisfy the following properties: (1) They are of maximal nilpotency class, (2) their associators lie in the center, and (3) they can be constructed using a general form of the semidirect product of a cyclic group and a group of maximal class. We present some results concerning loops with these properties. As an application, we classify proper Moufang loops of order $p^5$, $p>3$, and collect information on their multiplication groups.     

L p -continuity for Calderón-Zygmund operator

Given a Calderón-Zygmund (C-Z for short) operatorT, which satisfies Hörmander condition, we prove that: ifT maps all the characteristic atoms toWL ¹, thenT is continuous fromL ^p toL ^p (1 <p < ∞). So the study of strong continuity on arbitrary function inL ^p has been changed into the study of weak continuity on characteristic functions.     

A remark on Gelfand–Graev characters for finite simple groups

The famous Gelfand–Graev character of a group of Lie type G is a multiplicity free character of shape ν ^G , where ν is a suitable degree 1 character of a Sylow p-subgroup and p is the defining characteristic of G. We show that, for an arbitrary non-abelian simple group G, if ν is a linear character of a Sylow p-subgroup of G such that ν ^G is multiplicity free, then G is isomorphic to either a group of Lie type in defining characteristic p, or to a group PSL(2, q), where either p = q + 1, or p = 2 and q + 1 or q ? 1 is a 2-power.     

On fixed point sets of distinguished collections for groups of parabolic characteristic

We determine the nature of the fixed point sets of groups of order p, acting on complexes of distinguished p-subgroups (those p-subgroups containing p-central elements in their centers). The case when G has parabolic characteristic p is analyzed in detail.     

The Tate conjecture for K3 surfaces over finite fields

Artin’s conjecture states that supersingular K3 surfaces over finite fields have Picard number 22. In this paper, we prove Artin’s conjecture over fields of characteristic p≥5. This implies Tate’s conjecture for K3 surfaces over finite fields of characteristic p≥5. Our results also yield the Tate conjecture for divisors on certain holomorphic symplectic varieties over finite fields, with some restrictions on the characteristic. As a consequence, we prove the Tate conjecture for cycles of codimension 2 on cubic fourfolds over finite fields of characteristic p≥5.     

Quillen-Barr-Beck (co-) homology for restricted Lie algebras

In this paper we use Quillen-Barr-Beck's theory of (co-) homology of algebras in order to define (co-) homology for the category RLie of restricted Lie algebras over a field k of characteristic p≠0. In contrast with the cases of groups, associative algebras and Lie algebras we do not obtain Hochschild (co-) homology shifted by 1.Precisely, we determine for L∈RLie the category of Beck L-modules and the group of Beck derivations of g∈RLie/L to a Beck L-module M. Moreover, we prove a classification theorem which gives a one-to-one correspondence between the one cohomology and the set of equivalent classes of p-extensions. Finally, a universal coefficient theorem is proved, relating the homology to the Hochschild homology via a short exact sequence. This shows that the new homology determines the Hochschild homology.     

Standard triangularization of semigroups of non-negative operators

We show that, under mild conditions, a semigroup of non-negative operators on L^p(X,μ) (for 1?p<∞) of the form scalar plus compact is triangularizable via standard subspaces if and only if each operator in the semigroup is individually triangularizable via standard subspaces. Also, in the case of operators of the form identity plus trace class we show that triangularizability via standard subspaces is equivalent to the submultiplicativity of a certain function on the semigroup.