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 .

     

Finite generation of symmetric ideals

Let be a commutative Noetherian ring, and let be the polynomial ring in an infinite collection of indeterminates over . Let be the group of permutations of . The group acts on in a natural way, and this in turn gives the structure of a left module over the group ring . We prove that all ideals of invariant under the action of are finitely generated as -modules. The proof involves introducing a certain well-quasi-ordering on monomials and developing a theory of Gröbner bases and reduction in this setting. We also consider the concept of an invariant chain of ideals for finite-dimensional polynomial rings and relate it to the finite generation result mentioned above. Finally, a motivating question from chemistry is presented, with the above framework providing a suitable context in which to study it.

     

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.

     

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 .

     

Geometry and ergodic theory of non-hyperbolic exponential maps

We deal with all the maps from the exponential family such that the orbit of zero escapes to infinity sufficiently fast. In particular all the parameters are included. We introduce as our main technical devices the projection of the map to the infinite cylinder and an appropriate conformal measure . We prove that , essentially the set of points in returning infinitely often to a compact region of disjoint from the orbit of , has the Hausdorff dimension , that the -dimensional Hausdorff measure of is positive and finite, and that the -dimensional packing measure is locally infinite at each point of . We also prove the existence and uniqueness of a Borel probability -invariant ergodic measure equivalent to the conformal measure . As a byproduct of the main course of our considerations, we reprove the result obtained independently by Lyubich and Rees that the -limit set (under ) of Lebesgue almost every point in , coincides with the orbit of zero under the map . Finally we show that the the function , , is continuous.

     

Equivalence of domains arising from duality of orbits on flag manifolds III

In Gindikin and Matsuki 2003, we defined a - invariant subset of for each -orbit on every flag manifold and conjectured that the connected component of the identity would be equal to the Akhiezer-Gindikin domain if is of nonholomorphic type. This conjecture was proved for closed in Wolf and Zierau 2000 and 2003, Fels and Huckleberry 2005, and Matsuki 2006 and for open in Matsuki 2006. It was proved for the other orbits in Matsuki 2006, when is of non-Hermitian type. In this paper, we prove the conjecture for an arbitrary non-closed -orbit when is of Hermitian type. Thus the conjecture is completely solved affirmatively.

     

Curves of genus 2 with group of automorphisms isomorphic to or

The classification of curves of genus 2 over an algebraically closed field was studied by Clebsch and Bolza using invariants of binary sextic forms, and completed by Igusa with the computation of the corresponding three-dimensional moduli variety . The locus of curves with group of automorphisms isomorphic to one of the dihedral groups or is a one-dimensional subvariety.

In this paper we classify these curves over an arbitrary perfect field of characteristic in the case and in the case. We first parameterize the -isomorphism classes of curves defined over by the -rational points of a quasi-affine one-dimensional subvariety of ; then, for every curve representing a point in that variety we compute all of its -twists, which is equivalent to the computation of the cohomology set .

The classification is always performed by explicitly describing the objects involved: the curves are given by hyperelliptic models and their groups of automorphisms represented as subgroups of . In particular, we give two generic hyperelliptic equations, depending on several parameters of , that by specialization produce all curves in every -isomorphism class.

     

The Cech filtration and monodromy in log crystalline cohomology

For a strictly semistable log scheme over a perfect field of characteristic we investigate the canonical Cech spectral sequence abutting the Hyodo-Kato (log crystalline) cohomology of and beginning with the log convergent cohomology of its various component intersections . We compare the filtration on arising from with the monodromy operator on . We also express through residue maps and study relations with singular cohomology. If lifts to a proper strictly semistable (formal) scheme over a finite totally ramified extension of , with generic fibre , we obtain results on how the simplicial structure of (as analytic space) is reflected in .

     

Cancellation and stable rank for direct limits of recursive subhomogeneous algebras

We prove the following results for a unital simple direct limit of recursive subhomogeneous algebras with no dimension growth:

(1)

(2) The projections in satisfy cancellation: if then

(3) satisfies Blackadar's Second Fundamental Comparability Question: if are projections such that for all normalized traces on then

(4) is unperforated for the strict order: if and there is such that then

The last three of these results hold under certain weaker dimension growth conditions and without assuming simplicity. We use these results to obtain previously unknown information on the ordered K-theory of the crossed product obtained from a minimal homeomorphism of a finite-dimensional infinite compact metric space Specifically, is unperforated for the strict order, and satisfies the following K-theoretic version of Blackadar's Second Fundamental Comparability Question: if satisfies for all normalized traces on then there is a projection such that

     

Images of the Brownian sheet

An -parameter Brownian sheet in maps a non-random compact set in to the random compact set in . We prove two results on the image-set :

(1) It has positive -dimensional Lebesgue measure if and only if has positive -dimensional capacity. This generalizes greatly the earlier works of J. Hawkes  (1977), J.-P. Kahane  (1985), and Khoshnevisan (1999).

(2) If , then with probability one, we can find a finite number of points such that for any rotation matrix that leaves in , one of the 's is interior to . In particular, has interior-points a.s. This verifies a conjecture of T. S. Mountford  (1989).

This paper contains two novel ideas: To prove (1), we introduce and analyze a family of bridged sheets. Item (2) is proved by developing a notion of ``sectorial local-non-determinism (LND).' Both ideas may be of independent interest.

We showcase sectorial LND further by exhibiting some arithmetic properties of standard Brownian motion; this completes the work initiated by Mountford (1988).

     

An analogue of the Descartes-Euler formula for infinite graphs and Higuchi's conjecture

Let be a connected 2-manifold without boundary obtained from a (possibly infinite) collection of polygons by identifying them along edges of equal length. Let be the set of vertices, and for every , let denote the (Gaussian) curvature of : minus the sum of incident polygon angles. Descartes showed that whenever may be realized as the surface of a convex polytope in . More generally, if is made of finitely many polygons, Euler's formula is equivalent to the equation where is the Euler characteristic of . Our main theorem shows that whenever converges and there is a positive lower bound on the distance between any pair of vertices in , there exists a compact closed 2-manifold and an integer so that is homeomorphic to minus points, and further .

In the special case when every polygon is regular of side length one and for every vertex , we apply our main theorem to deduce that is made of finitely many polygons and is homeomorphic to either the 2-sphere or to the projective plane. Further, we show that unless is a prism, antiprism, or the projective planar analogue of one of these that . This resolves a recent conjecture of Higuchi.

     

On embeddings of proper and equicontinuous actions in zero-dimensional compactifications

We provide a tool for studying properly discontinuous actions of non-compact groups on locally compact, connected and paracompact spaces, by embedding such an action in a suitable zero-dimensional compactification of the underlying space with pleasant properties. Precisely, given such an action we construct a zero-dimensional compactification of with the properties: (a) there exists an extension of the action on , (b) if is the set of the limit points of the orbits of the initial action in , then the restricted action remains properly discontinuous, is indivisible and equicontinuous with respect to the uniformity induced on by that of , and (c) is the maximal among the zero-dimensional compactifications of with these properties. Proper actions are usually embedded in the endpoint compactification of , in order to obtain topological invariants concerning the cardinality of the space of the ends of , provided that has an additional ``nice" property of rather local character (``property Z", i.e., every compact subset of is contained in a compact and connected one). If the considered space has this property, our new compactification coincides with the endpoint one. On the other hand, we give an example of a space not having the ``property Z" for which our compactification is different from the endpoint compactification. As an application, we show that the invariant concerning the cardinality of the ends of holds also for a class of actions strictly containing the properly discontinuous ones and for spaces not necessarily having ``property Z".

     

Singular solutions of parabolic -Laplacian with absorption

We consider, for and , the -Laplacian evolution equation with absorption

We are interested in those solutions, which we call singular solutions, that are non-negative, non-trivial, continuous in , and satisfy for all . We prove the following:

(i)

When , there does not exist any such singular solution.

(ii)

When , there exists, for every , a unique singular solution that satisfies as .

Also, as , where is a singular solution that satisfies as .

Furthermore, any singular solution is either or for some finite positive .

     

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 .

     

Derivations of an effective divisor on the complex projective line

In this paper we consider an effective divisor on the complex projective line and associate with it the module consisting of all the derivations such that for every , where is the ideal of . The module is graded and free of rank 2; the degrees of its homogeneous basis, called the exponents, form an important invariant of the divisor. We prove that under certain conditions on the exponents do not depend on . Our main result asserts that if these conditions do not hold for , then there exists a general position of points for which the exponents do not change. We give an explicit formula for them. We also exhibit some examples of degeneration of the exponents, in particular, those where the degeneration is defined by the vanishing of certain Schur functions. As an application and motivation, we show that our results imply Terao's conjecture (concerning the combinatorial nature of the freeness of hyperplane arrangements) for certain new classes of arrangements of lines in the complex projective plane.

     

Block representation type of reduced enveloping algebras

Let be an algebraically closed field of characteristic , a connected, reductive -group, , and the reduced enveloping algebra of associated with . Assume that is simply-connected, is good for and has a non-degenerate -invariant bilinear form. All blocks of having finite and tame representation type are determined.

     

Classifying representations by way of Grassmannians

Let be a finite-dimensional algebra over an algebraically closed field. Criteria are given which characterize existence of a fine or coarse moduli space classifying, up to isomorphism, the representations of with fixed dimension and fixed squarefree top . Next to providing a complete theoretical picture, some of these equivalent conditions are readily checkable from quiver and relations of . In the case of existence of a moduli space--unexpectedly frequent in light of the stringency of fine classification--this space is always projective and, in fact, arises as a closed subvariety of a classical Grassmannian. Even when the full moduli problem fails to be solvable, the variety is seen to have distinctive properties recommending it as a substitute for a moduli space. As an application, a characterization of the algebras having only finitely many representations with fixed simple top is obtained; in this case of `finite local representation type at a given simple ', the radical layering is shown to be a classifying invariant for the modules with top . This relies on the following general fact obtained as a byproduct: proper degenerations of a local module never have the same radical layering as .

     

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.