On initial segment complexity and degrees of randomness

One approach to understanding the fine structure of initial segment complexity was introduced by Downey, Hirschfeldt and LaForte. They define to mean that . The equivalence classes under this relation are the -degrees. We prove that if is -random, then and have no upper bound in the -degrees (hence, no join). We also prove that -randomness is closed upward in the -degrees. Our main tool is another structure intended to measure the degree of randomness of real numbers: the -degrees. Unlike the -degrees, many basic properties of the -degrees are easy to prove. We show that implies , so some results can be transferred. The reverse implication is proved to fail. The same analysis is also done for , the analogue of for plain Kolmogorov complexity.

Two other interesting results are included. First, we prove that for any , a -random real computable from a --random real is automatically --random. Second, we give a plain Kolmogorov complexity characterization of -randomness. This characterization is related to our proof that implies .

     

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.

     

-theorems for fusion systems

For an odd prime, we generalise the Glauberman-Thompson -nilpotency theorem (Gorenstein, 1980) to arbitrary fusion systems. We define a notion of -free fusion systems and show that if is a -free fusion system on some finite -group , then is controlled by for any Glauberman functor , generalising Glauberman's -theorem (Glauberman, 1968) to arbitrary fusion systems.

     

A generalization of half-plane mappings to the ball in

Let be a normalized (, ) biholomorphic mapping of the unit ball onto a convex domain that is the union of lines parallel to some unit vector . We consider the situation in which there is one infinite singularity of on . In one case with a simple change-of-variables, we classify all convex mappings of that are half-plane mappings in the first coordinate. In the more complicated case, when is not in the span of the infinite singularity, we derive a form of the mappings in dimension .

     

Prime geodesic theorem for higher-dimensional hyperbolic manifold

For a -dimensional hyperbolic manifold , we consider an estimate of the error term of the prime geodesic theorem. Put the fundamental group of to be a discrete subgroup of with cofinite volume. When the contribution of the discrete spectrum of the Laplace-Beltrami operator is larger than that of the continuous spectrum in Weyl's law, we obtained a lower estimate as goes to .

     

Length, multiplicity, and multiplier ideals

Let be an -dimensional regular local ring, essentially of finite type over a field of characteristic zero. Given an -primary ideal of , the relationship between the singularities of the scheme defined by and those defined by the multiplier ideals , with varying in , are quantified in this paper by showing that the Samuel multiplicity of satisfies whenever . This formula generalizes an inequality on log canonical thresholds previously obtained by Ein, Mustata and the author of this paper. A refined inequality is also shown to hold for small dimensions, and similar results valid for a generalization of test ideals in positive characteristics are presented.

     

Curvilinear base points, local complete intersection and Koszul syzygies in biprojective spaces

Let be a bigraded ideal in the bigraded polynomial ring . Assume that has codimension 2. Then is a finite set of points. We prove that if is a local complete intersection, then any syzygy of the vanishing at , and in a certain degree range, is in the module of Koszul syzygies. This is an analog of a recent result of Cox and Schenck (2003).

     

Partial differential equations with matricial coefficients and generalized translation operators

Let be the Bessel operator with matricial coefficients defined on by

where is a diagonal matrix and let be an matrix-valued function. In this work, we prove that there exists an isomorphism on the space of even , -valued functions which transmutes and . This allows us to define generalized translation operators and to develop harmonic analysis associated with . By use of the Riemann method, we provide an integral representation and we deduce more precise information on these operators.

     

On higher syzygies of ruled surfaces

We study higher syzygies of a ruled surface over a curve of genus with the numerical invariant . Let    Pic be a line bundle in the numerical class of . We prove that for , satisfies property if and , and for , satisfies property if and . By using these facts, we obtain Mukai-type results. For ample line bundles , we show that satisfies property when and or when and . Therefore we prove Mukai's conjecture for ruled surface with . We also prove that when is an elliptic ruled surface with , satisfies property if and only if and .

     

Algebraic Goodwillie calculus and a cotriple model for the remainder

Goodwillie has defined a tower of approximations for a functor from spaces to spaces that is analogous to the Taylor series of a function. His order approximation at a space depends on the values of on coproducts of large suspensions of the space: .

We define an ``algebraic' version of the Goodwillie tower, , that depends only on the behavior of on coproducts of . When is a functor to connected spaces or grouplike -spaces, the functor is the base of a fibration

whose fiber is the simplicial space associated to a cotriple built from the cross effect of the functor . In a range in which commutes with realizations (for instance, when is the identity functor of spaces), the algebraic Goodwillie tower agrees with the ordinary (topological) Goodwillie tower, so this theory gives a way of studying the Goodwillie approximation to a functor in many interesting cases.

     

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.

     

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.

     

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.

     

Exponents for -stable ideals

Let be a simple algebraic group over the complex numbers containing a Borel subgroup . Given a -stable ideal in the nilradical of the Lie algebra of , we define natural numbers which we call ideal exponents. We then propose two conjectures where these exponents arise, proving these conjectures in types and some other types.

When , we recover the usual exponents of by Kostant (1959), and one of our conjectures reduces to a well-known factorization of the Poincaré polynomial of the Weyl group. The other conjecture reduces to a well-known result of Arnold-Brieskorn on the factorization of the characteristic polynomial of the corresponding Coxeter hyperplane arrangement.

     

Bounded Hochschild cohomology of Banach algebras with a matrix-like structure

Let be a unital Banach algebra. A projection in which is equivalent to the identitity may give rise to a matrix-like structure on any two-sided ideal in . In this set-up we prove a theorem to the effect that the bounded cohomology vanishes for all . The hypotheses of this theorem involve (i) strong H-unitality of , (ii) a growth condition on diagonal matrices in , and (iii) an extension of in by an amenable Banach algebra. As a corollary we show that if is an infinite dimensional Banach space with the bounded approximation property, is an infinite dimensional -space, and is the Banach algebra of approximable operators on , then for all .

     

Non-isotopic symplectic surfaces in product 4-manifolds

Let be a closed Riemann surface of genus . Generalizing Ivan Smith's construction, we give the first examples of an infinite family of homotopic but pairwise non-isotopic symplectic surfaces of even genera inside the product symplectic -manifolds , where and .

     

Open loci of graded modules

Let be an excellent homogeneous Noetherian graded ring and let be a finitely generated graded -module. We consider as a module over and show that the -loci of are open in . In particular, the Cohen-Macaulay locus    is Cohen-Macaulay is an open subset of . We also show that the -loci on the homogeneous parts of are eventually stable. As an application we obtain that for a finitely generated Cohen-Macaulay module over an excellent ring and for an ideal which is not contained in any minimal prime of , the -loci for the modules are eventually stable.

     

Groups with two extreme character degrees and their normal subgroups

We study the finite groups for which the set of irreducible complex character degrees consists of the two most extreme possible values, that is, and . We are easily reduced to finite -groups, for which we derive the following group theoretical characterization: they are the -groups such that is a square and whose only normal subgroups are those containing or contained in . By analogy, we also deal with -groups such that is not a square, and we prove that if and only if a similar property holds: for any , either or . The proof of these results requires a detailed analysis of the structure of the -groups with any of the conditions above on normal subgroups, which is interesting for its own sake. It is especially remarkable that these groups have small nilpotency class and that, if the nilpotency class is greater than , then the index of the centre is small, and in some cases we may even bound the order of .

     

On the eigenvalue problem for perturbed nonlinear maximal monotone operators in reflexive Banach spaces

Let be a real reflexive Banach space with dual and open and bounded and such that  Let be maximal monotone with and and with and A general and more unified eigenvalue theory is developed for the pair of operators  Further conditions are given for the existence of a pair such that

The ``implicit" eigenvalue problem, with in place of is also considered.  The existence of continuous branches of eigenvectors of infinite length is investigated, and a Fredholm alternative in the spirit of Necas is given for a pair of homogeneous operators No compactness assumptions have been made in most of the results.  The degree theories of Browder and Skrypnik are used, as well as the degree theories of the authors involving densely defined perturbations of maximal monotone operators.  Applications to nonlinear partial differential equations are included.