Uniqueness of volume-minimizing submanifolds calibrated by the first Pontryagin form

One way to understand the geometry of the real Grassmann manifold parameterizing oriented -dimensional subspaces of is to understand the volume-minimizing subvarieties in each homology class. Some of these subvarieties can be determined by using a calibration. In previous work, one of the authors calculated the set of -planes calibrated by the first Pontryagin form on for all , and identified a family of mutually congruent round -spheres which are consequently homologically volume-minimizing. In the present work, we associate to the family of calibrated planes a Pfaffian system on the symmetry group , an analysis of which yields a uniqueness result; namely, that any connected submanifold of calibrated by is contained in one of these -spheres. A similar result holds for -calibrated submanifolds of the quotient Grassmannian of non-oriented -planes.

     

Essential cohomology and extraspecial -groups

Let be an odd prime number and let be an extraspecial -group. The purpose of the paper is to show that has no non-zero essential mod- cohomology (and in fact that is Cohen-Macaulay) if and only if and .

     

Bloch constants in several variables

We give lower estimates for Bloch's constant for quasiregular holomorphic mappings. A holomorphic mapping of the unit ball into is -quasiregular if it maps infinitesimal spheres to infinitesimal ellipsoids whose major axes are less than or equal to times their minor axes. We show that if is a -quasiregular holomorphic mapping with the normalization then the image contains a schlicht ball of radius at least This result is best possible in terms of powers of Also, we extend to several variables an analogous result of Landau for bounded holomorphic functions in the unit disk.

     

surfaces of genus 8 and varieties of sums of powers of cubic fourfolds

The main result of this paper is that the variety of presentations of a general cubic form in variables as a sum of cubes is isomorphic to the Fano variety of lines of a cubic -fold , in general different from .

A general surface of genus determines uniquely a pair of cubic -folds: the apolar cubic and the dual Pfaffian cubic (or for simplicity and ). As Beauville and Donagi have shown, the Fano variety of lines on the cubic is isomorphic to the Hilbert scheme of length two subschemes of . The first main result of this paper is that parametrizes the variety of presentations of the cubic form , with , as a sum of cubes, which yields an isomorphism between and . Furthermore, we show that sets up a correspondence between and . The main result follows by a deformation argument.

     

On the representation of unity by binary cubic forms

If is a binary cubic form with integer coefficients such that has at least two distinct complex roots, then the equation possesses at most ten solutions in integers and , nine if has a nontrivial automorphism group. If, further, is reducible over , then this equation has at most solutions, unless is equivalent under -action to either or . The proofs of these results rely upon the method of Thue-Siegel as refined by Evertse, together with lower bounds for linear forms in logarithms of algebraic numbers and techniques from computational Diophantine approximation. Along the way, we completely solve all Thue equations for cubic and irreducible of positive discriminant . As corollaries, we obtain bounds for the number of solutions to more general cubic Thue equations of the form and to Mordell's equation , where and are nonzero integers.

     

The zero set of semi-invariants for extended Dynkin quivers

We show that the set of common zeros of all semi-invariants vanishing at 0 on the variety of all representations with dimension vector of an extended Dynkin quiver under the group is a complete intersection if is ``big enough'. In case does not contain an open -orbit, which is the case not considered so far, the number of irreducible components of grows with , except if is an oriented cycle.

     

On orbital partitions and exceptionality of primitive permutation groups

Let and be transitive permutation groups on a set such that is a normal subgroup of . The overgroup induces a natural action on the set of non-trivial orbitals of on . In the study of Galois groups of exceptional covers of curves, one is led to characterizing the triples where fixes no elements of ; such triples are called exceptional. In the study of homogeneous factorizations of complete graphs, one is led to characterizing quadruples where is a partition of such that is transitive on ; such a quadruple is called a TOD (transitive orbital decomposition). It follows easily that the triple in a TOD is exceptional; conversely if an exceptional triple is such that is cyclic of prime-power order, then there exists a partition of such that is a TOD. This paper characterizes TODs such that is primitive and is cyclic of prime-power order. An application is given to the classification of self-complementary vertex-transitive graphs.

     

Bochner-Riesz means with respect to a rough distance function

The generalized Bochner-Riesz operator may be defined as

where is an appropriate distance function and is the inverse Fourier transform. The behavior of on is described for , a rough distance function. We conjecture that this operator is bounded on when and , and unbounded when . This conjecture is verified for large ranges of .

     

Serre's generalization of Nagao's theorem: An elementary approach

Let be a smooth projective curve over a field . For each closed point of let be the coordinate ring of the affine curve obtained by removing from . Serre has proved that is isomorphic to the fundamental group, , of a graph of groups , where is a tree with at most one non-terminal vertex. Moreover the subgroups of attached to the terminal vertices of are in one-one correspondence with the elements of , the ideal class group of . This extends an earlier result of Nagao for the simplest case .

Serre's proof is based on applying the theory of groups acting on trees to the quotient graph , where is the associated Bruhat-Tits building. To determine he makes extensive use of the theory of vector bundles (of rank 2) over . In this paper we determine using a more elementary approach which involves substantially less algebraic geometry.

The subgroups attached to the edges of are determined (in part) by a set of positive integers , say. In this paper we prove that is bounded, even when Cl is infinite. This leads, for example, to new free product decomposition results for certain principal congruence subgroups of , involving unipotent and elementary matrices.

     

Properties of Anick's spaces

We prove three useful properties of Anick's space  . First, at odd primes a map from into a homotopy commutative, homotopy associative -space can be extended to a unique -map from into . Second, at primes larger than , is itself homotopy commutative and homotopy associative. And third, the first two properties combine to show that the order of the identity map on  is .

     

Canonical varieties with no canonical axiomatisation

We give a simple example of a variety of modal algebras that is canonical but cannot be axiomatised by canonical equations or first-order sentences. We then show that the variety of representable relation algebras, although canonical, has no canonical axiomatisation. Indeed, we show that every axiomatisation of these varieties involves infinitely many non-canonical sentences.

Using probabilistic methods of Erdos, we construct an infinite sequence of finite graphs with arbitrarily large chromatic number, such that each is a bounded morphic image of and has no odd cycles of length at most . The inverse limit of the sequence is a graph with no odd cycles, and hence is 2-colourable. It follows that a modal algebra (respectively, a relation algebra) obtained from the satisfies arbitrarily many axioms from a certain axiomatisation of , while its canonical extension satisfies only a bounded number of them. First-order compactness will now establish that has no canonical axiomatisation. A variant of this argument shows that all axiomatisations of these classes have infinitely many non-canonical sentences.

     

Metrics and embeddings of generalizations of Thompson's group

The distance from the origin in the word metric for generalizations of Thompson's group is quasi-isometric to the number of carets in the reduced rooted tree diagrams representing the elements of . This interpretation of the metric is used to prove that every admits a quasi-isometric embedding into every , and also to study the behavior of the shift maps under these embeddings.

     

Algebraic gamma monomials and double coverings of cyclotomic fields

We investigate the properties of algebraic gamma monomials--that is, algebraic numbers which are expressible as monomials in special values of the classical gamma function. Recently Anderson has constructed a double complex , to compute , where is the universal ordinary distribution. We use the double complex to deduce explicit formulae for algebraic gamma monomials. We provide simple proofs of some previously known results of Deligne on algebraic gamma monomials. Deligne used the theory of Hodge cycles for his results. By contrast, our proofs are constructive and relatively elementary. Given a Galois extension , we define a double covering of to be an extension of degree , such that is Galois. We demonstrate that each class gives rise to a double covering of , by . When lifts a canonical basis element indexed by two odd primes, we show that this double covering can be non-abelian. However, if represents any of the canonical basis classes indexed by an odd squarefree positive integer divisible by at least four primes, then the Galois group of is abelian and hence . The may very well be a new supply of abelian units. The relevance of these units to the unit index formula for cyclotomic fields calls for further investigations.

     

Schauder estimates for equationswith fractional derivatives

The equation where and are fractional derivatives of order and is studied. It is shown that if , , and are Hölder-continuous and , then there is a solution such that and are Hölder-continuous as well. This is proved by first considering an abstract fractional evolution equation and then applying the results obtained to (). Finally the solution of () with is studied.     

Tracially AF -algebras

Inspired by a paper of S. Popa and the classification theory of nuclear -algebras, we introduce a class of -algebras which we call tracially approximately finite dimensional (TAF). A TAF -algebra is not an AF-algebra in general, but a ``large' part of it can be approximated by finite dimensional subalgebras. We show that if a unital simple -algebra is TAF then it is quasidiagonal, and has real rank zero, stable rank one and weakly unperforated -group. All nuclear simple -algebras of real rank zero, stable rank one, with weakly unperforated -group classified so far by their -theoretical data are TAF. We provide examples of nonnuclear simple TAF -algebras. A sufficient condition for unital nuclear separable quasidiagonal -algebras to be TAF is also given. The main results include a characterization of simple rational AF-algebras. We show that a separable nuclear simple TAF -algebra satisfying the Universal Coefficient Theorem and having and is isomorphic to a simple AF-algebra with the same -theory.

     

On the invariant faces associated with a cone-preserving map

For an nonnegative matrix , an isomorphism is obtained between the lattice of initial subsets (of ) for and the lattice of -invariant faces of the nonnegative orthant . Motivated by this isomorphism, we generalize some of the known combinatorial spectral results on a nonnegative matrix that are given in terms of its classes to results for a cone-preserving map on a polyhedral cone, formulated in terms of its invariant faces. In particular, we obtain the following extension of the famous Rothblum index theorem for a nonnegative matrix: If leaves invariant a polyhedral cone , then for each distinguished eigenvalue of for , there is a chain of distinct -invariant join-irreducible faces of , each containing in its relative interior a generalized eigenvector of corresponding to (referred to as semi-distinguished -invariant faces associated with ), where is the maximal order of distinguished generalized eigenvectors of corresponding to , but there is no such chain with more than members. We introduce the important new concepts of semi-distinguished -invariant faces, and of spectral pairs of faces associated with a cone-preserving map, and obtain several properties of a cone-preserving map that mostly involve these two concepts, when the underlying cone is polyhedral, perfect, or strictly convex and/or smooth, or is the cone of all real polynomials of degree not exceeding that are nonnegative on a closed interval. Plentiful illustrative examples are provided. Some open problems are posed at the end.

     

Quantum -space

The prime and primitive spectra of , the multiparameter quantized coordinate ring of affine -space over an algebraically closed field , are shown to be topological quotients of the corresponding classical spectra, and , provided the multiplicative group generated by the entries of avoids .

     

Extension theory of separable metrizable spaces with applications to dimension theory

The paper deals with generalizing several theorems of the covering dimension theory to the extension theory of separable metrizable spaces. Here are some of the main results:

Generalized Eilenberg-Borsuk Theorem. Let be a countable CW complex. If is a separable metrizable space and is an absolute extensor of for some CW complex , then for any map , closed in , there is an extension of over an open set such that .

Theorem. Let be countable CW complexes. If is a separable metrizable space and is an absolute extensor of , then there is a subset of such that and .

Theorem. Suppose are countable, non-trivial, abelian groups and 0$">. For any separable metrizable space of finite dimension 0$">, there is a closed subset of with for .

Theorem. Suppose is a separable metrizable space of finite dimension and is a compactum of finite dimension. Then, for any , , there is a closed subset of such that and .

Theorem. Suppose is a metrizable space of finite dimension and is a compactum of finite dimension. If and are connected CW complexes, then

     

Linear maps determining the norm topology

Let be a Banach function algebra on a compact space , and let be such that for any scalar the element is not a divisor of zero. We show that any complete norm topology on that makes the multiplication by continuous is automatically equivalent to the original norm topology of . Related results for general Banach spaces are also discussed.