Extension-orthogonal components of preprojective varieties

Let be a Dynkin quiver, and let be the corresponding preprojective algebra. Let be a set of pairwise different indecomposable irreducible components of varieties of -modules such that generically there are no extensions between and for all . We show that the number of elements in is at most the number of positive roots of . Furthermore, we give a module-theoretic interpretation of Leclerc's counterexample to a conjecture of Berenstein and Zelevinsky.

     

A Lyndon-Hochschild-Serre spectral sequence for certain homotopy fixed point spectra

Let and be closed subgroups of the extended Morava stabilizer group and suppose that is normal in . We construct a strongly convergent spectral sequence

where and are the continuous homotopy fixed point spectra of Devinatz and Hopkins. This spectral sequence turns out to be an Adams spectral sequence in the category of -local -modules.

     

Asymptotic behaviour of arithmetically Cohen-Macaulay blow-ups

This paper addresses problems on arithmetic Macaulayfications of projective schemes. We give a surprising complete answer to a question poised by Cutkosky and Herzog. Let be the blow-up of a projective scheme along the ideal sheaf of . It is known that there are embeddings for , where denotes the maximal generating degree of , and that there exists a Cohen-Macaulay ring of the form (which gives an arithmetic Macaulayfication of ) if and only if , for , and is equidimensional and Cohen-Macaulay. We show that under these conditions, there are well-determined invariants and such that is Cohen-Macaulay for all d(I)e + \varepsilon$"> and e_0$">, and that these bounds are the best possible. We also investigate the existence of a Cohen-Macaulay Rees algebra of the form . If has negative -invariant, we prove that such a Cohen-Macaulay Rees algebra exists if and only if , for 0$">, and is equidimensional and Cohen-Macaulay. Moreover, these conditions imply the Cohen-Macaulayness of for all d(I)e + \varepsilon$"> and e_0$">.

     

Vertex operators for twisted quantum affine algebras

We construct explicitly the -vertex operators (intertwining operators) for the level one modules of the classical quantum affine algebras of twisted types using interacting bosons, where for (), for , for (), and for (). A perfect crystal graph for is constructed as a by-product.

     

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.

     

Maximal holonomy of infra-nilmanifolds with -dimensional quaternionic Heisenberg geometry

Let be the quaternionic Heisenberg group of real dimension and let denote the maximal order of the holonomy groups of all infra-nilmanifolds with -geometry. We prove that . As an application, by applying Kim and Parker's result, we obtain that the minimum volume of a -dimensional quaternionic hyperbolic manifold with cusps is at least

     

On a refinement of the generalized Catalan numbers for Weyl groups

Let be an irreducible crystallographic root system with Weyl group , coroot lattice and Coxeter number , spanning a Euclidean space , and let be a positive integer. It is known that the set of regions into which the fundamental chamber of is dissected by the hyperplanes in of the form for and is equinumerous to the set of orbits of the action of on the quotient . A bijection between these two sets, as well as a bijection to the set of certain chains of order ideals in the root poset of , are described and are shown to preserve certain natural statistics on these sets. The number of elements of these sets and their corresponding refinements generalize the classical Catalan and Narayana numbers, which occur in the special case and .

     

On the representation of integers as linear combinations of consecutive values of a polynomial

Let be a cyclotomic field with ring of integers and let be a polynomial whose values on belong to . If the ideal of generated by the values of on is itself, then every algebraic integer of may be written in the following form:

for some integer , where the 's are roots of unity of . Moreover, there are two effective constants and such that the least integer (for a fixed ) is less than , where

     

Tangent algebraic subvarieties of vector fields

An algebraic commutative group is associated to any vector field on a complete algebraic variety . The group acts on and its orbits are the minimal subvarieties of which are tangent to . This group is computed in the case of a vector field on .

     

On the behavior of the algebraic transfer

Let be the algebraic transfer, which is defined by W. Singer as an algebraic version of the geometrical transfer . It has been shown that the algebraic transfer is highly nontrivial and, more precisely, that is an isomorphism for . However, Singer showed that is not an epimorphism. In this paper, we prove that does not detect the nonzero element for every . As a consequence, the localized given by inverting the squaring operation is not an epimorphism. This gives a negative answer to a prediction by Minami.

     

Sheared algebra maps and operation bialgebras for mod 2 homology and cohomology

The mod 2 Steenrod algebra and Dyer-Lashof algebra have both striking similarities and differences arising from their common origins in ``lower-indexed' algebraic operations. These algebraic operations and their relations generate a bigraded bialgebra , whose module actions are equivalent to, but quite different from, those of and . The exact relationships emerge as ``sheared algebra bijections', which also illuminate the role of the cohomology of . As a bialgebra, has a particularly attractive and potentially useful structure, providing a bridge between those of and , and suggesting possible applications to the Miller spectral sequence and the structure of Dickson algebras.

     

Boundary Hölder and estimates for local solutions of the tangential Cauchy-Riemann equation

We study the local solvability of the tangential Cauchy-Riemann equation on an open neighborhood of a point when is a generic -concave manifold of real codimension in , where . Our method is to first derive a homotopy formula for in when is the intersection of with a strongly pseudoconvex domain. The homotopy formula gives a local solution operator for any -closed form on without shrinking. We obtain Hölder and estimates up to the boundary for the solution operator. RÉSUMÉ. Nous étudions la résolubilité locale de l'opérateur de Cauchy- Riemann tangentiel sur un voisinage d'un point d'une sous-variété générique -concave de codimension quelconque de . Nous construisons une formule d'homotopie pour le sur , lorsque est l'intersection de et d'un domaine strictement pseudoconvexe. Nous obtenons ainsi un opérateur de résolution pour toute forme -fermée sur . Nous en déduisons des estimations et des estimations hölderiennes jusqu'au bord pour la solution de l'équation de Cauchy-Riemann tangentielle sur .

     

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.

     

On structurally stable diffeomorphisms with codimension one expanding attractors

We show that if a closed -manifold admits a structurally stable diffeomorphism with an orientable expanding attractor of codimension one, then is homotopy equivalent to the -torus and is homeomorphic to for . Moreover, there are no nontrivial basic sets of different from . This allows us to classify, up to conjugacy, structurally stable diffeomorphisms having codimension one orientable expanding attractors and contracting repellers on , .

     

Threefolds with vanishing Hodge cohomology

We consider algebraic manifolds of dimension 3 over with for all and 0$">. Let be a smooth completion of with , an effective divisor on with normal crossings. If the -dimension of is not zero, then is a fibre space over a smooth affine curve (i.e., we have a surjective morphism from to such that the general fibre is smooth and irreducible) such that every fibre satisfies the same vanishing condition. If an irreducible smooth fibre is not affine, then the Kodaira dimension of is and the -dimension of is 1. We also discuss sufficient conditions from the behavior of fibres or higher direct images to guarantee the global vanishing of Hodge cohomology and the affineness of .

     

Toric residue and combinatorial degree

Consider an -dimensional projective toric variety defined by a convex lattice polytope . David Cox introduced the toric residue map given by a collection of divisors on . In the case when the are -invariant divisors whose sum is , the toric residue map is the multiplication by an integer number. We show that this number is the degree of a certain map from the boundary of the polytope to the boundary of a simplex. This degree can be computed combinatorially. We also study radical monomial ideals of the homogeneous coordinate ring of . We give a necessary and sufficient condition for a homogeneous polynomial of semiample degree to belong to in terms of geometry of toric varieties and combinatorics of fans. Both results have applications to the problem of constructing an element of residue one for semiample degrees.

     

Cremer fixed points and small cycles

Let , , and let denote the sequence of convergents to the regular continued fraction of . Let be a function holomorphic at the origin, with a power series of the form . We assume that for infinitely many we simultaneously have (i) , (ii) the coefficients stay outside two small disks, and (iii) the series is lacunary, with for . We then prove that has infinitely many periodic orbits in every neighborhood of the origin.

     

Plane Cremona maps, exceptional curves and roots

We address three different questions concerning exceptional and root divisors (of arithmetic genus zero and of self-intersection and , respectively) on a smooth complex projective surface which admits a birational morphism to . The first one is to find criteria for the properness of these divisors, that is, to characterize when the class of is in the -orbit of the class of the total transform of some point blown up by if is exceptional, or in the -orbit of a simple root if is root, where is the Weyl group acting on ; we give an arithmetical criterion, which adapts an analogous criterion suggested by Hudson for homaloidal divisors, and a geometrical one. Secondly, we prove that the irreducibility of the exceptional or root divisor is a necessary and sufficient condition in order that could be transformed into a line by some plane Cremona map, and in most cases for its contractibility. Finally, we provide irreducibility criteria for proper homaloidal, exceptional and effective root divisors.

     

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 .

     

Convergence of double Fourier series and -classes

The double Fourier series of functions of the generalized bounded variation class are shown to be Pringsheim convergent everywhere. In a certain sense, this result cannot be improved. In general, functions of class defined here, have quadrant limits at every point and, for there exist at most countable sets and such that, for and is continuous at . It is shown that the previously studied class contains essentially discontinuous functions unless the sequence satisfies a strong condition.