On almost one-to-one maps

A continuous map of topological spaces is said to be almost -to- if the set of the points such that is dense in ; it is said to be light if pointwise preimages are zero dimensional. We study almost 1-to-1 light maps of some compact and -compact spaces (e.g., -manifolds or dendrites) and prove that in some important cases they must be homeomorphisms or embeddings. In a forthcoming paper we use these results and show that if is a minimal self-mapping of a 2-manifold , then point preimages under are tree-like continua and either is a union of 2-tori, or is a union of Klein bottles permuted by .

     

Frobenius morphisms and representations of algebras

By introducing Frobenius morphisms on algebras and their modules over the algebraic closure of the finite field of elements, we establish a relation between the representation theory of over and that of the -fixed point algebra over . More precisely, we prove that the category    mod- of finite-dimensional -modules is equivalent to the subcategory of finite-dimensional -stable -modules, and, when is finite dimensional, we establish a bijection between the isoclasses of indecomposable -modules and the -orbits of the isoclasses of indecomposable -modules. Applying the theory to representations of quivers with automorphisms, we show that representations of a modulated quiver (or a species) over can be interpreted as -stable representations of the corresponding quiver over . We further prove that every finite-dimensional hereditary algebra over is Morita equivalent to some , where is the path algebra of a quiver over and is induced from a certain automorphism of . A close relation between the Auslander-Reiten theories for and is established. In particular, we prove that the Auslander-Reiten (modulated) quiver of is obtained by ``folding" the Auslander-Reiten quiver of . Finally, by taking Frobenius fixed points, we are able to count the number of indecomposable representations of a modulated quiver over with a given dimension vector and to generalize Kac's theorem for all modulated quivers and their associated Kac-Moody algebras defined by symmetrizable generalized Cartan matrices.

     

-estimates for the linearized Monge-Ampère equation

Let be a strictly convex domain and let be a convex function such that    det in . The linearized Monge-Ampère equation is

where det is the matrix of cofactors of . We prove that there exist and depending only on , and such that

for all solutions to the equation .

     

A generalization of Marshall's equivalence relation

For prime and for a field containing a root of unity of order , we generalize Marshall's equivalence relation on orderings to arbitrary subgroups of of index . The equivalence classes then correspond to free pro- factors of the maximal pro- Galois group of . We generalize to this setting results of Jacob on the maximal pro- Galois group of a Pythagorean field.

     

Bumpy metrics and closed parametrized minimal surfaces in Riemannian manifolds

The purpose of this article is to study conformal harmonic maps , where is a closed Riemann surface and is a compact Riemannian manifold of dimension at least four. Such maps define parametrized minimal surfaces, possibly with branch points. We show that when the ambient manifold is given a generic metric, all prime closed parametrized minimal surfaces are free of branch points, and are as Morse nondegenerate as allowed by the group of automorphisms of . They are Morse nondegenerate in the usual sense if has genus at least two, lie on two-dimensional nondegenerate critical submanifolds if has genus one, and on six-dimensional nondegenerate critical submanifolds if has genus zero.

     

Maximal theorems for the directional Hilbert transform on the plane

For a Schwartz function on the plane and a non-zero define the Hilbert transform of in the direction to be

p.v.

Let be a Schwartz function with frequency support in the annulus , and . We prove that the maximal operator maps into weak , and into for . The estimate is sharp. The method of proof is based upon techniques related to the pointwise convergence of Fourier series. Indeed, our main theorem implies this result on Fourier series.

     

-kernels of Lie groups

We study a filtration on the group of homotopy classes of self maps of a compact Lie group associated with homotopy groups. We determine these filtrations of and completely. We introduce two natural invariants and defined by the filtration, where is a prime number, and compute the invariants for simple Lie groups in the cases where Lie groups are -regular or quasi -regular. We apply our results to the groups of self homotopy equivalences.

     

An infinitary extension of the Graham-Rothschild Parameter Sets Theorem

The Graham-Rothschild Parameter Sets Theorem is one of the most powerful results of Ramsey Theory. (The Hales-Jewett Theorem is its most trivial instance.) Using the algebra of , the Stone-Cech compactification of a discrete semigroup, we derive an infinitary extension of the Graham-Rothschild Parameter Sets Theorem. Even the simplest finite instance of this extension is a significant extension of the original. The original theorem says that whenever in and the -parameter words are colored with finitely many colors, there exist a color and an -parameter word with the property that whenever a -parameter word of length is substituted in , the result is in the specified color. The ``simplest finite instance' referred to above is that, given finite colorings of the -parameter words for each , there is one -parameter word which works for each . Some additional Ramsey Theoretic consequences are derived.

We also observe that, unlike any other Ramsey Theoretic result of which we are aware, central sets are not necessarily good enough for even the and version of the Graham-Rothschild Parameter Sets Theorem.

     

Theta lifting of nilpotent orbits for symmetric pairs

We consider a reductive dual pair in the stable range with the smaller member and of Hermitian symmetric type. We study the theta lifting of nilpotent -orbits, where is a maximal compact subgroup of and we describe the precise -module structure of the regular function ring of the closure of the lifted nilpotent orbit of the symmetric pair . As an application, we prove sphericality and normality of the closure of certain nilpotent -orbits obtained in this way. We also give integral formulas for their degrees.

     

The braid index is not additive for the connected sum of 2-knots

Any -dimensional knot can be presented in a braid form, and its braid index, , is defined. For the connected sum of -knots and , it is easily seen that holds. Birman and Menasco proved that the braid index (minus one) is additive for the connected sum of -dimensional knots; the equality holds for -knots. We prove that the equality does not hold for -knots unless or is a trivial -knot. We also prove that the -knot obtained from a granny knot by Artin's spinning is of braid index , and there are infinitely many -knots of braid index .

     

Varieties with small discriminant variety

Let be a smooth complex projective variety, let be an ample and spanned line bundle on , defining a morphism and let be its discriminant locus, the variety parameterizing the singular elements of . We present two bounds on the dimension of and its main component relying on the geometry of . Classification results for triplets reaching the bounds as well as significant examples are provided.

     

Prime specialization in genus 0

For a prime polynomial , a classical conjecture predicts how often has prime values. For a finite field and a prime polynomial , the natural analogue of this conjecture (a prediction for how often takes prime values on ) is not generally true when is a polynomial in ( the characteristic of ). The explanation rests on a new global obstruction which can be measured by an appropriate average of the nonzero Möbius values as varies. We prove the surprising fact that this ``Möbius average,' which can be defined without reference to any conjectures, has a periodic behavior governed by the geometry of the plane curve .

The periodic Möbius average behavior implies in specific examples that a polynomial in does not take prime values as often as analogies with suggest, and it leads to a modified conjecture for how often prime values occur.

     

Avoidable algebraic subsets of Euclidean space

Fix an integer and consider real -dimensional . A partition of avoids the polynomial , where each is an -tuple of variables, if there is no set of the partition which contains distinct such that . The polynomial is avoidable if some countable partition avoids it. The avoidable polynomials are studied here. The polynomial is an especially interesting example of an avoidable one. We find (1) a countable partition which avoids every avoidable polynomial over , and (2) a characterization of the avoidable polynomials. An important feature is that both the ``master' partition in (1) and the characterization in (2) depend on the cardinality of .

     

The flat model structure on complexes of sheaves

Let be the category of chain complexes of -modules on a topological space (where is a sheaf of rings on ). We put a Quillen model structure on this category in which the cofibrant objects are built out of flat modules. More precisely, these are the dg-flat complexes. Dually, the fibrant objects will be called dg-cotorsion complexes. We show that this model structure is monoidal, solving the previous problem of not having any monoidal model structure on . As a corollary, we have a general framework for doing homological algebra in the category of -modules. I.e., we have a natural way to define the functors and in .

     

Minimal polynomials and radii of elements in finite-dimensional power-associative algebras

In the first section of this paper we revisit the definition and some of the properties of the minimal polynomial of an element of a finite-dimensional power-associative algebra over an arbitrary field . Our main observation is that , the minimal polynomial of , may depend not only on , but also on the underlying algebra. More precisely, if is a subalgebra of , and if is the minimal polynomial of in , then may differ from , in which case we have .

In the second section we restrict attention to the case where is either the real or the complex numbers, and define , the radius of an element in , to be the largest root in absolute value of the minimal polynomial of . We show that possesses some of the familiar properties of the classical spectral radius. In particular, we prove that is a continuous function on .

In the third and last section, we deal with stability of subnorms acting on subsets of finite-dimensional power-associative algebras. Following a brief survey, we enhance our understanding of the subject with the help of our findings of the previous section. Our main new result states that if , a subset of an algebra , satisfies certain assumptions, and is a continuous subnorm on , then is stable on if and only if majorizes the radius defined above.

     

Stationary isothermic surfaces and uniformly dense domains

We establish a relationship between stationary isothermic surfaces and uniformly dense domains. A stationary isothermic surface is a level surface of temperature which does not evolve with time. A domain in the -dimensional Euclidean space is said to be uniformly dense in a surface of codimension if, for every small the volume of the intersection of with a ball of radius and center does not depend on for

We prove that the boundary of every uniformly dense domain which is bounded (or whose complement is bounded) must be a sphere. We then examine a uniformly dense domain with unbounded boundary , and we show that the principal curvatures of satisfy certain identities.

The case in which the surface coincides with is particularly interesting. In fact, we show that, if the boundary of a uniformly dense domain is connected, then (i) if , it must be either a circle or a straight line and (ii) if it must be either a sphere, a spherical cylinder or a minimal surface. We conclude with a discussion on uniformly dense domains whose boundary is a minimal surface.

     

On the shape of the moduli of spherical minimal immersions

The DoCarmo-Wallach moduli space parametrizing spherical minimal immersions of a Riemannian manifold is a compact convex body in a linear space of tracefree symmetric endomorphisms of an eigenspace of . In this paper we define and study a sequence of metric invariants , , associated to a compact convex body with base point in the interior of . The invariant measures how lopsided is in dimension with respect to . The results are then appplied to the DoCarmo-Wallach moduli space. We also give an efficient algorithm to calculate for convex polytopes.

     

Hardy inequalities with optimal constants and remainder terms

We show that the classical Hardy inequalities with optimal constants in the Sobolev spaces and in higher-order Sobolev spaces on a bounded domain can be refined by adding remainder terms which involve norms. In the higher-order case further norms with lower-order singular weights arise. The case being more involved requires a different technique and is developed only in the space .

     

Resolutions for metrizable compacta in extension theory

We prove a -resolution theorem for simply connected CW- complexes in extension theory in the class of metrizable compacta . This means that if is a connected CW-complex, is an abelian group, , , for , and (in the sense of extension theory, that is, is an absolute extensor for ), then there exists a metrizable compactum and a surjective map such that:

(a) is -acyclic,

(b) , and

(c) .

This implies the -resolution theorem for arbitrary abelian groups for cohomological dimension when . Thus, in case is an Eilenberg-MacLane complex of type , then (c) becomes .

If in addition , then (a) can be replaced by the stronger statement,

(aa) is -acyclic.

To say that a map is -acyclic means that for each , every map of the fiber to is nullhomotopic.

     

Toroidal orbifolds, gerbes and group cohomology

In this paper we compute the integral cohomology of certain semi-direct products of the form , arising from a linear action on the -torus, where is a finite group. The main application is the complete calculation of torsion gerbes for six-dimensional examples arising in string theory.