The odd primary -structure of low rank Lie groups and its application to exponents

A compact, connected, simple Lie group localized at an odd prime is shown to be homotopy equivalent to a product of homotopy associative, homotopy commutative spaces, provided the rank of is low. This holds for , for example, if . The homotopy equivalence is usually just as spaces, not multiplicative spaces. Nevertheless, the strong multiplicative features of the factors can be used to prove useful properties, which after looping can be transferred multiplicatively to . This is applied to prove useful information about the torsion in the homotopy groups of , including an upper bound on its exponent.

     

The -stable pieces of the wonderful compactification

Let be a connected, simple algebraic group over an algebraically closed field. There is a partition of the wonderful compactification of into finite many -stable pieces, which was introduced by Lusztig. In this paper, we will investigate the closure of any -stable piece in . We will show that the closure is a disjoint union of some -stable pieces, which was first conjectured by Lusztig. We will also prove the existence of cellular decomposition if the closure contains finitely many -orbits.

     

Surjectivity for Hamiltonian -spaces in -theory

Let be a compact connected Lie group, and a Hamiltonian -space with proper moment map . We give a surjectivity result which expresses the -theory of the symplectic quotient in terms of the equivariant -theory of the original manifold , under certain technical conditions on . This result is a natural -theoretic analogue of the Kirwan surjectivity theorem in symplectic geometry. The main technical tool is the -theoretic Atiyah-Bott lemma, which plays a fundamental role in the symplectic geometry of Hamiltonian -spaces. We discuss this lemma in detail and highlight the differences between the -theory and rational cohomology versions of this lemma.

We also introduce a -theoretic version of equivariant formality and prove that when the fundamental group of is torsion-free, every compact Hamiltonian -space is equivariantly formal. Under these conditions, the forgetful map is surjective, and thus every complex vector bundle admits a stable equivariant structure. Furthermore, by considering complex line bundles, we show that every integral cohomology class in admits an equivariant extension in .

     

Riemannian flag manifolds with homogeneous geodesics

A geodesic in a Riemannian homogeneous manifold is called a homogeneous geodesic if it is an orbit of a one-parameter subgroup of the Lie group . We investigate -invariant metrics with homogeneous geodesics (i.e., such that all geodesics are homogeneous) when is a flag manifold, that is, an adjoint orbit of a compact semisimple Lie group . We use an important invariant of a flag manifold , its -root system, to give a simple necessary condition that admits a non-standard -invariant metric with homogeneous geodesics. Hence, the problem reduces substantially to the study of a short list of prospective flag manifolds. A common feature of these spaces is that their isotropy representation has two irreducible components. We prove that among all flag manifolds of a simple Lie group , only the manifold of complex structures in , and the complex projective space admit a non-naturally reductive invariant metric with homogeneous geodesics. In all other cases the only -invariant metric with homogeneous geodesics is the metric which is homothetic to the standard metric (i.e., the metric associated to the negative of the Killing form of the Lie algebra of ). According to F. Podestà and G.Thorbergsson (2003), these manifolds are the only non-Hermitian symmetric flag manifolds with coisotropic action of the stabilizer.

     

Torsion on elliptic curves in isogeny classes

Let be an elliptic curve over a number field and its -isogeny class. We are interested in determining the orders and the types of torsion groups in . For a prime , we give the range of possible types of -primary parts of when runs over . One of our results immediately gives a simple proof of a theorem of Katz on the order of maximal -primary torsion in .

     

Hölder regularity of the normal distance with an application to a PDE model for growing sandpiles

Given a bounded domain in with smooth boundary, the cut locus is the closure of the set of nondifferentiability points of the distance from the boundary of . The normal distance to the cut locus, , is the map which measures the length of the line segment joining to the cut locus along the normal direction , whenever . Recent results show that this map, restricted to boundary points, is Lipschitz continuous, as long as the boundary of is of class . Our main result is the global Hölder regularity of in the case of a domain with analytic boundary. We will also show that the regularity obtained is optimal, as soon as the set of the so-called regular conjugate points is nonempty. In all the other cases, Lipschitz continuity can be extended to the whole domain . The above regularity result for is also applied to derive the Hölder continuity of the solution of a system of partial differential equations that arises in granular matter theory and optimal mass transfer.

     

Analyticity on translates of a Jordan curve

Let be a domain in which is symmetric with respect to the real axis and whose boundary is a real analytic simple closed curve. Translate vertically to get where is such that . We prove that if is a continuous function on such that for each , the function has a continuous extension to which is holomorphic on , then is holomorphic on .

     

A single minimal complement for the c.e. degrees

We show that there exists a minimal (Turing) degree such that for all non-zero c.e. degrees , . Since is minimal this means that complements all c.e. degrees other than and . Since every -c.e. degree bounds a non-zero c.e. degree, complements every -c.e. degree other than and .

     

On homeomorphic Bernoulli measures on the Cantor space

Let be the Bernoulli measure on the Cantor space given as the infinite product of two-point measures with weights and . It is a long-standing open problem to characterize those and such that and are topologically equivalent (i.e., there is a homeomorphism from the Cantor space to itself sending to ). The (possibly) weaker property of and being continuously reducible to each other is equivalent to a property of and called binomial equivalence. In this paper we define an algebraic property called ``refinability' and show that, if and are refinable and binomially equivalent, then and are topologically equivalent. Next we show that refinability is equivalent to a fairly simple algebraic property. Finally, we give a class of examples of binomially equivalent and refinable numbers; in particular, the positive numbers and such that and are refinable, so the corresponding measures are topologically equivalent.

     

Torsion freeness of symmetric powers of ideals

Let be an ideal in a Noetherian commutative ring with unit, let be an integer, and let be the canonical surjective -module homomorphism from the th symmetric power of to the th power of . When or when is a perfect Gorenstein ideal of grade , we provide a necessary and sufficient condition for to be an isomorphism in terms of upper bounds for the minimal number of generators of the localisations of . When is a maximal ideal of we show that is an isomorphism if and only if is a regular local ring. In all three cases for our results yield that if is an isomorphism, then is also an isomorphism for each .

     

Disklikeness of planar self-affine tiles

We consider the disklikeness of the planar self-affine tile generated by an integral expanding matrix and a consecutive collinear digit set . Let be the characteristic polynomial of . We show that the tile is disklike if and only if . Moreover, is a hexagonal tile for all the cases except when , in which case is a square tile. The proof depends on certain special devices to count the numbers of nodal points and neighbors of and a criterion of Bandt and Wang (2001) on disklikeness.

     

On torsion-free groups with finite regular file bases

The following question was asked by V. V. Bludov in The Kourovka Notebook in 1995: If a torsion-free group has a finite system of generators , ..., such that every element of has a unique presentation in the form where , is it true that is virtually polycyclic? The answer is ``not always.' A counterexample is constructed in this paper as a group presented by generators and defining relations.

     

Asymptotic distribution of the largest off-diagonal entry of correlation matrices

Suppose that we have observations from a -dimensional population. We are interested in testing that the variates of the population are independent under the situation where goes to infinity as . A test statistic is chosen to be , where is the sample correlation coefficient between the -th coordinate and the -th coordinate of the population. Under an independent hypothesis, we prove that the asymptotic distribution of is an extreme distribution of type , by using the Chen-Stein Poisson approximation method and the moderate deviations for sample correlation coefficients. As a statistically more relevant result, a limit distribution for , where is Spearman's rank correlation coefficient between the -th coordinate and the -th coordinate of the population, is derived.

     

Tangentially positive isometric actions and conjugate points

Let be a complete Riemannian manifold with no conjugate points and a principal -bundle, where is a Lie group acting by isometries and the smooth quotient with the Riemannian submersion metric.

We obtain a characterization of conjugate point-free quotients in terms of symplectic reduction and a canonical pseudo-Riemannian metric on the tangent bundle , from which we then derive necessary conditions, involving and , for the quotient metric to be conjugate point-free, particularly for a reducible Riemannian manifold.

Let , with the Lie Algebra of , be the moment map of the tangential -action on and let be the canonical pseudo-Riemannian metric on defined by the symplectic form and the map , . First we prove a theorem, stating that if is not positive definite on the action vector fields for the tangential action along then acquires conjugate points. (We proved the converse result in 2005.) Then, we characterize self-parallel vector fields on in terms of the positivity of the -length of their tangential lifts along certain canonical subsets of . We use this to derive some necessary conditions, on and , for actions to be tangentially positive on relevant subsets of , which we then apply to isometric actions on complete conjugate point-free reducible Riemannian manifolds when one of the irreducible factors satisfies certain curvature conditions.

     

Compatible valuations and generalized Milnor -theory

Given a field and a subgroup of there is a minimal group for which there exists an -compatible valuation whose units are contained in . Assuming that has finite index in and contains for prime, we describe in computable -theoretic terms.

     

Lattice-ordered Abelian groups and Schauder bases of unimodular fans

Baker-Beynon duality theory yields a concrete representation of any finitely generated projective Abelian lattice-ordered group in terms of piecewise linear homogeneous functions with integer coefficients, defined over the support of a fan . A unimodular fan over determines a Schauder basis of : its elements are the minimal positive free generators of the pointwise ordered group of -linear support functions. Conversely, a Schauder basis of determines a unimodular fan over : its maximal cones are the domains of linearity of the elements of . The main purpose of this paper is to give various representation-free characterisations of Schauder bases. The latter, jointly with the De Concini-Procesi starring technique, will be used to give novel characterisations of finitely generated projective Abelian lattice ordered groups. For instance, is finitely generated projective iff it can be presented by a purely lattice-theoretical word.

     

Quadratic maps and Bockstein closed group extensions

Let be a central extension of the form where and are elementary abelian -groups. Associated to there is a quadratic map , given by the -power map, which uniquely determines the extension. This quadratic map also determines the extension class of the extension in and an ideal in which is generated by the components of . We say that is Bockstein closed if is an ideal closed under the Bockstein operator.

We find a direct condition on the quadratic map that characterizes when the extension is Bockstein closed. Using this characterization, we show for example that quadratic maps induced from the fundamental quadratic map given by yield Bockstein closed extensions.

On the other hand, it is well known that an extension is Bockstein closed if and only if it lifts to an extension for some -lattice . In this situation, one may write for a ``binding matrix' with entries in . We find a direct way to calculate the module structure of in terms of . Using this, we study extensions where the lattice is diagonalizable/triangulable and find interesting equivalent conditions to these properties.

     

Large orbits in coprime actions of solvable groups

Let be a solvable group of automorphisms of a finite group . If and are coprime, then there exists an orbit of on of size at least . It is also proved that in a -solvable group, the largest normal -subgroup is the intersection of at most three Hall -subgroups.