Serre duality for non-commutative -bundles

Let be a smooth scheme of finite type over a field , let be a locally free -bimodule of rank , and let be the non-commutative symmetric algebra generated by . We construct an internal functor, , on the category of graded right -modules. When has rank 2, we prove that is Gorenstein by computing the right derived functors of . When is a smooth projective variety, we prove a version of Serre Duality for using the right derived functors of .

     

A join theorem for the computably enumerable degrees

It is shown that for any computably enumerable (c.e.) degree , if , then there is a c.e. degree such that (so is lowand is high). It follows from this and previous work of P. Cholak, M. Groszek and T. Slaman that the low and low c.e. degrees are not elementarily equivalent as partial orderings.

     

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

     

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.

     

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.

     

On adic genus and lambda-rings

Sufficient conditions on a space are given which guarantee that the -theory ring is an invariant of the adic genus. An immediate consequence of this result about adic genus is that for any positive integer , the power series ring admits uncountably many pairwise non-isomorphic -ring structures.

     

Bochner-Riesz means with respect to a rough distance function

The generalized Bochner-Riesz operator may be defined as

where is an appropriate distance function and is the inverse Fourier transform. The behavior of on is described for , a rough distance function. We conjecture that this operator is bounded on when and , and unbounded when . This conjecture is verified for large ranges of .

     

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.

     

Lusternik-Schnirelmann category of

First we give an upper bound of , the L-S category of a principal -bundle for a connected compact group with a characteristic map . Assume that there is a cone-decomposition of in the sense of Ganea that is compatible with multiplication. Then we have for , if is compressible into with trivial higher Hopf invariant . Second, we introduce a new computable lower bound, for . The two new estimates imply , where is a category weight due to Rudyak and Strom.

     

Stable and finite Morse index solutions on or on bounded domains with small diffusion

In this paper, we study bounded solutions of on (where and sometimes ) and show that, for most 's, the weakly stable and finite Morse index solutions are quite simple. We then use this to obtain a very good understanding of the stable and bounded Morse index solutions of on with Dirichlet or Neumann boundary conditions for small .

     

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.

     

Mansfield's imprimitivity theorem for full crossed products

For any maximal coaction and any closed normal subgroup of , there exists an imprimitivity bimodule between the full crossed product and , together with compatible coaction of . The assignment implements a natural equivalence between the crossed-product functors `` ' and `` ', in the category whose objects are maximal coactions of and whose morphisms are isomorphism classes of right-Hilbert bimodule coactions of .

     

Regulating flows, topology of foliations and rigidity

A flow transverse to a foliation is regulating if, in the universal cover, an arbitrary orbit of the flow intersects every leaf of the lifted foliation. This implies that the foliation is -covered, that is, its leaf space in the universal cover is homeomorphic to the reals. We analyse the converse of this implication to study the topology of the leaf space of certain foliations. We prove that if a pseudo-Anosov flow is transverse to an -covered foliation and the flow is not an -covered Anosov flow, then the flow is regulating for the foliation. Using this we show that several interesting classes of foliations are not -covered. Finally we show a rigidity result: if an -covered Anosov flow is transverse to a foliation but is not regulating, then the foliation blows down to one topologically conjugate to the stable or unstable foliations of the transverse flow.

     

The flat model structure on

Given a cotorsion pair in an abelian category with enough objects and enough objects, we define two cotorsion pairs in the category of unbounded chain complexes. We see that these two cotorsion pairs are related in a nice way when is hereditary. We then show that both of these induced cotorsion pairs are complete when is the ``flat' cotorsion pair of -modules. This proves the flat cover conjecture for (possibly unbounded) chain complexes and also gives us a new ``flat' model category structure on . In the last section we use the theory of model categories to show that we can define using a flat resolution of and a cotorsion coresolution of .

     

Harmonic maps and 2-cycles, realizing the Thurston norm

Let be an oriented 3-manifold. We investigate when one of the fibers or a combination of fiber components, , of a harmonic map with Morse-type singularities delivers the Thurston norm of its homology class .

In particular, for a map with connected fibers and any well-positioned oriented surface in the homology class of a fiber, we show that the Thurston number satisfies an inequality

Here the variation is can be expressed in terms of the -invariants of the fiber components, and the twist measures the complexity of the intersection of with a particular set of ``bad" fiber components. This complexity is tightly linked with the optimal ``-height" of , being lifted to the -induced cyclic cover .

Based on these invariants, for any Morse map , we introduce the notion of its twist . We prove that, for a harmonic , if and only if .

     

Monomial bases for -Schur algebras

Using the Beilinson-Lusztig-MacPherson construction of the quantized enveloping algebra of and its associated monomial basis, we investigate -Schur algebras as ``little quantum groups". We give a presentation for and obtain a new basis for the integral -Schur algebra , which consists of certain monomials in the original generators. Finally, when , we interpret the Hecke algebra part of the monomial basis for in terms of Kazhdan-Lusztig basis elements.

     

Lattice-ordered Abelian groups and Schauder bases of unimodular fans

Baker-Beynon duality theory yields a concrete representation of any finitely generated projective Abelian lattice-ordered group in terms of piecewise linear homogeneous functions with integer coefficients, defined over the support of a fan . A unimodular fan over determines a Schauder basis of : its elements are the minimal positive free generators of the pointwise ordered group of -linear support functions. Conversely, a Schauder basis of determines a unimodular fan over : its maximal cones are the domains of linearity of the elements of . The main purpose of this paper is to give various representation-free characterisations of Schauder bases. The latter, jointly with the De Concini-Procesi starring technique, will be used to give novel characterisations of finitely generated projective Abelian lattice ordered groups. For instance, is finitely generated projective iff it can be presented by a purely lattice-theoretical word.

     

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 .

     

The cyclic and simplicial cohomology of

Let be the unital semigroup algebra of . We show that the cyclic cohomology groups vanish when is odd and are one dimensional when is even (). Using Connes' exact sequence, these results are used to show that the simplicial cohomology groups vanish for . The results obtained are extended to unital algebras for some other semigroups of .