Trees and valuation rings

A subring of a division algebra is called a valuation ring of if or holds for all nonzero in . The set of all valuation rings of is a partially ordered set with respect to inclusion, having as its maximal element. As a graph is a rooted tree (called the valuation tree of ), and in contrast to the commutative case, may have finitely many but more than one vertices. This paper is mainly concerned with the question of whether each finite, rooted tree can be realized as a valuation tree of a division algebra , and one main result here is a positive answer to this question where can be chosen as a quaternion division algebra over a commutative field.

     

Holomorphic extensions from open families of circles

For a circle write . A continuous function on extends holomorphically from (into the disc bounded by ) if and only if the function defined on has a bounded holomorphic extension into . In the paper we consider open connected families of circles , write , and assume that a continuous function on extends holomorphically from each . We show that this happens if and only if the function defined on has a bounded holomorphic extension into the domain for each open family compactly contained in . This allows us to use known facts from several complex variables. In particular, we use the edge of the wedge theorem to prove a theorem on real analyticity of such functions.

     

Hyperpolygon spaces and their cores

Given an -tuple of positive real numbers , Konno (2000) defines the hyperpolygon space , a hyperkähler analogue of the Kähler variety parametrizing polygons in with edge lengths . The polygon space can be interpreted as the moduli space of stable representations of a certain quiver with fixed dimension vector; from this point of view, is the hyperkähler quiver variety defined by Nakajima. A quiver variety admits a natural -action, and the union of the precompact orbits is called the core. We study the components of the core of , interpreting each one as a moduli space of pairs of polygons in with certain properties. Konno gives a presentation of the cohomology ring of ; we extend this result by computing the -equivariant cohomology ring, as well as the ordinary and equivariant cohomology rings of the core components.

     

Infinite convolution products and refinable distributions on Lie groups

Sufficient conditions for the convergence in distribution of an infinite convolution product of measures on a connected Lie group with respect to left invariant Haar measure are derived. These conditions are used to construct distributions that satisfy where is a refinement operator constructed from a measure and a dilation automorphism . The existence of implies is nilpotent and simply connected and the exponential map is an analytic homeomorphism. Furthermore, there exists a unique minimal compact subset such that for any open set containing and for any distribution on with compact support, there exists an integer such that implies If is supported on an -invariant uniform subgroup then is related, by an intertwining operator, to a transition operator on Necessary and sufficient conditions for to converge to , and for the -translates of to be orthogonal or to form a Riesz basis, are characterized in terms of the spectrum of the restriction of to functions supported on

     

Ribbon tile invariants

Let be a finite set of tiles, and a set of regions tileable by . We introduce a tile counting group as a group of all linear relations for the number of times each tile can occur in a tiling of a region . We compute the tile counting group for a large set of ribbon tiles, also known as rim hooks, in a context of representation theory of the symmetric group.

The tile counting group is presented by its set of generators, which consists of certain new tile invariants. In a special case these invariants generalize the Conway-Lagarias invariant for tromino tilings and a height invariant which is related to computation of characters of the symmetric group.

The heart of the proof is the known bijection between rim hook tableaux and certain standard skew Young tableaux. We also discuss signed tilings by the ribbon tiles and apply our results to the tileability problem.

     

A probabilistic approach to positive harmonic functions in a slab with alternating Dirichlet and Neumann boundary conditions

Let , , be a dimensional slab. Denote points by , where and . Denoting the boundary of the slab by , let

where is an ordered sequence of intervals on the right half line (that is, b_{n}$">). Assume that the lengths of the intervals are bounded and that the spaces between consecutive intervals are bounded and bounded away from zero. Let . Let and denote respectively the cone of bounded, positive harmonic functions in and the cone of positive harmonic functions in which satisfy the Dirichlet boundary condition on and the Neumann boundary condition on .

Letting , the main result of this paper, under a modest assumption on the sequence , may be summarized as follows when :

1. If , then and are both one-dimensional (as in the case of the Neumann boundary condition on the entire boundary). In particular, this occurs if with 2$">.

2. If and , then and is one-dimensional. In particular, this occurs if .

3. If , then and the set of minimal elements generating is isomorphic to (as in the case of the Dirichlet boundary condition on the entire boundary). In particular, this occurs if with .

When , as soon as there is at least one interval of Dirichlet boundary condition. The dichotomy for is as above.

     

The Farrell-Jones Isomorphism Conjecture for finite covolume hyperbolic actions and the algebraic -theory of Bianchi groups

We prove the Farrell-Jones Isomorphism Conjecture for groups acting properly discontinuously via isometries on (real) hyperbolic -space with finite volume orbit space. We then apply this result to show that, for any Bianchi group , , , and vanish for .

     

Definably simple groups in o-minimal structures

Let be a group definable in an o-minimal structure . A subset of is -definable if is definable in the structure (while definable means definable in the structure ). Assume has no -definable proper subgroup of finite index. In this paper we prove that if has no nontrivial abelian normal subgroup, then is the direct product of -definable subgroups such that each is definably isomorphic to a semialgebraic linear group over a definable real closed field. As a corollary we obtain an o-minimal analogue of Cherlin's conjecture.

     

Simple derivations of differentiably simple Noetherian commutative rings in prime characteristic

Let be a differentiably simple Noetherian commutative ring of characteristic (then is local with ). A short proof is given of the Theorem of Harper (1961) on classification of differentiably simple Noetherian commutative rings in prime characteristic. The main result of the paper is that there exists a nilpotent simple derivation of the ring such that if , then for some . The derivation is given explicitly, and it is unique up to the action of the group of ring automorphisms of . Let be the set of all such derivations. Then . The proof is based on existence and uniqueness of an iterative -descent (for each ), i.e., a sequence in such that , and for all . For each , and .

     

Extensions of Hopf Algebras and Lie Bialgebras

Let , be finite-dimensional Lie algebras over a field of characteristic zero. Regard and , the dual Lie coalgebra of , as Lie bialgebras with zero cobracket and zero bracket, respectively. Suppose that a matched pair of Lie bialgebras is given, which has structure maps . Then it induces a matched pair of Hopf algebras, where is the universal envelope of and is the Hopf dual of . We show that the group of cleft Hopf algebra extensions associated with is naturally isomorphic to the group of Lie bialgebra extensions associated with . An exact sequence involving either of these groups is obtained, which is a variation of the exact sequence due to G.I. Kac. If , there follows a bijection between the set of all cleft Hopf algebra extensions of by and the set of all Lie bialgebra extensions of by .

     

Inseparable extensions of algebras over the Steenrod algebra with applications to modular invariant theory of finite groups

We consider purely inseparable extensions of unstable Noetherian integral domains over the Steenrod algebra. It turns out that there exists a finite group and a vector space decomposition such that and , where denotes the integral closure. Moreover, is Cohen-Macaulay if and only if is Cohen-Macaulay. Furthermore, is polynomial if and only if is polynomial, and if and only if

where and .

     

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.

     

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.

     

Partial derivatives of a generic subspace of a vector space of forms: Quotients of level algebras of arbitrary type

Given a vector space of homogeneous polynomials of the same degree over an infinite field, consider a generic subspace of . The main result of this paper is a lower-bound (in general sharp) for the dimensions of the spaces spanned in each degree by the partial derivatives of the forms generating , in terms of the dimensions of the spaces spanned by the partial derivatives of the forms generating the original space .

Rephrasing our result in the language of commutative algebra (where this result finds its most important applications), we have: let be a type artinian level algebra with -vector , and let, for , be the -vector of the generic type level quotient of having the same socle degree . Then we supply a lower-bound (in general sharp) for the -vector . Explicitly, we will show that, for any ,

This result generalizes a recent theorem of Iarrobino (which treats the case ).

Finally, we begin to obtain, as a consequence, some structure theorems for level -vectors of type bigger than 2, which is, at this time, a very little explored topic.

     

On the endomorphism monoids of (uniquely) complemented lattices

Let be a lattice with and . An endomorphism of is a -endomorphism, if it satisfies and . The -endomorphisms of form a monoid. In 1970, the authors proved that every monoid can be represented as the -endomorphism monoid of a suitable lattice with and . In this paper, we prove the stronger result that the lattice with a given -endomorphism monoid can be constructed as a uniquely complemented lattice; moreover, if is finite, then can be chosen as a finite complemented lattice.

     

Some Picard theorems for minimal surfaces

This paper deals with the study of those closed subsets for which the following statement holds:

If is a properly immersed minimal surface in of finite topology that is eventually disjoint from then has finite total curvature.

The same question is also considered when the conclusion is finite type or parabolicity.

     

The homogeneous spectrum of a graded commutative ring

Suppose is a torsion-free cancellative commutative monoid for which the group of quotients is finitely generated. We prove that the spectrum of a -graded commutative ring is Noetherian if its homogeneous spectrum is Noetherian, thus answering a question of David Rush. Suppose is a commutative ring having Noetherian spectrum. We determine conditions in order that the monoid ring have Noetherian spectrum. If , we show that has Noetherian spectrum, while for each we establish existence of an example where the homogeneous spectrum of is not Noetherian.

     

Good measures on Cantor space

While there is, up to homeomorphism, only one Cantor space, i.e. one zero-dimensional, perfect, compact, nonempty metric space, there are many measures on Cantor space which are not topologically equivalent. The clopen values set for a full, nonatomic measure is the countable dense subset is clopen of the unit interval. It is a topological invariant for the measure. For the class of good measures it is a complete invariant. A full, nonatomic measure is good if whenever are clopen sets with , there exists a clopen subset of such that . These measures have interesting dynamical properties. They are exactly the measures which arise from uniquely ergodic minimal systems on Cantor space. For some of them there is a unique generic measure-preserving homeomorphism. That is, within the Polish group of such homeomorphisms there is a dense, conjugacy class.

     

Indecomposable modules of large rank over Cohen-Macaulay local rings

A commutative Noetherian local ring is called Dedekind-like provided is one-dimensional and reduced, the integral closure is generated by at most 2 elements as an -module, and is the Jacobson radical of . If is an indecomposable finitely generated module over a Dedekind-like ring , and if is a minimal prime ideal of , it follows from a classification theorem due to L. Klingler and L. Levy that must be free of rank 0, 1 or 2.

Now suppose is a one-dimensional Cohen-Macaulay local ring that is not Dedekind-like, and let be the minimal prime ideals of . The main theorem in the paper asserts that, for each non-zero -tuple of non-negative integers, there is an infinite family of pairwise non-isomorphic indecomposable finitely generated -modules satisfying for each .

     

On Burch's inequality and a reduction system of a filtration

Let be a multiplicative filtration of a local ring such that the Rees algebra is Noetherian. We recall Burch's inequality for and give an upper bound of the a-invariant of the associated graded ring using a reduction system of . Applying those results, we study the symbolic Rees algebra of certain ideals of dimension .