Depth and cohomological connectivity in modular invariant theory

Let be a finite group acting linearly on a finite-dimensional vector space over a field of characteristic . Assume that  divides the order of so that is a modular representation and let be a Sylow -subgroup for . Define the cohomological connectivity of the symmetric algebra to be the smallest positive integer such that . We show that is a lower bound for the depth of . We characterize those representations for which the lower bound is sharp and give several examples of representations satisfying the criterion. In particular, we show that if is -nilpotent and is cyclic, then, for any modular representation, the depth of is .

     

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 .

     

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 , .

     

Classification of regular maps of negative prime Euler characteristic

We give a classification of all regular maps on nonorientable surfaces with a negative odd prime Euler characteristic (equivalently, on nonorientable surfaces of genus where is an odd prime). A consequence of our classification is that there are no regular maps on nonorientable surfaces of genus where is a prime such that (mod ) and .

     

Weighted estimates in for Laplace's equation on Lipschitz domains

Let , , be a bounded Lipschitz domain. For Laplace's equation in , we study the Dirichlet and Neumann problems with boundary data in the weighted space , where , is a fixed point on , and denotes the surface measure on . We prove that there exists such that the Dirichlet problem is uniquely solvable if , and the Neumann problem is uniquely solvable if . If is a domain, one may take . The regularity for the Dirichlet problem with data in the weighted Sobolev space is also considered. Finally we establish the weighted estimates with general weights for the Dirichlet and regularity problems.

     

Spike-layered solutions for an elliptic system with Neumann boundary conditions

We prove the existence of nonconstant positive solutions for a system of the form , in , with Neumann boundary conditions on , where is a smooth bounded domain and , are power-type nonlinearities having superlinear and subcritical growth at infinity. For small values of , the corresponding solutions and admit a unique maximum point which is located at the boundary of .

     

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.

     

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.

     

Valence of complex-valued planar harmonic functions

The valence of a function at a point is the number of distinct, finite solutions to . Let be a complex-valued harmonic function in an open set . Let denote the critical set of and the global cluster set of . We show that partitions the complex plane into regions of constant valence. We give some conditions such that has empty interior. We also show that a component is an -fold covering of some component . If is simply connected, then is univalent on . We explore conditions for combining adjacent components to form a larger region of univalence. Those results which hold for functions on open sets in are first stated in that form and then applied to the case of planar harmonic functions. If is a light, harmonic function in the complex plane, we apply a structure theorem of Lyzzaik to gain information about the difference in valence between components of sharing a common boundary arc in .

     

Dimension of families of determinantal schemes

A scheme of codimension is called standard determinantal if its homogeneous saturated ideal can be generated by the maximal minors of a homogeneous matrix and is said to be good determinantal if it is standard determinantal and a generic complete intersection. Given integers and we denote by (resp. ) the locus of good (resp. standard) determinantal schemes of codimension defined by the maximal minors of a matrix where is a homogeneous polynomial of degree .

In this paper we address the following three fundamental problems: To determine (1) the dimension of (resp. ) in terms of and , (2) whether the closure of is an irreducible component of , and (3) when is generically smooth along . Concerning question (1) we give an upper bound for the dimension of (resp. ) which works for all integers and , and we conjecture that this bound is sharp. The conjecture is proved for , and for under some restriction on and . For questions (2) and (3) we have an affirmative answer for and , and for under certain numerical assumptions.

     

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

     

Characteristic subsurfaces and Dehn filling

Let be a simple knot manifold. Using the characteristic submanifold theory and the combinatorics of graphs in surfaces, we develop a method for bounding the distance between the boundary slope of an essential surface in which is not a fiber or a semi-fiber, and the boundary slope of a certain type of singular surface. Applications include bounds on the distances between exceptional Dehn surgery slopes. It is shown that if the fundamental group of has no non-abelian free subgroup, and if is a reducible manifold which is not homeomorphic to or , then . Under the same condition on , it is shown that if is Seifert fibered, then . Moreover, in the latter situation, character variety techniques are used to characterize the topological types of and in case the bound of is attained.

     

Operators on spaces preserving copies of Schreier spaces

It is proved that an operator , compact metrizable, a separable Banach space, for which the -Szlenk index of is greater than or equal to , , is an isomorphism on a subspace of isomorphic to , the Schreier space of order . As a corollary, one obtains that a complemented subspace of with Szlenk index equal to contains a subspace isomorphic to .

     

Cut numbers of -manifolds

We investigate the relations between the cut number, and the first Betti number, of -manifolds We prove that the cut number of a ``generic' -manifold is at most This is a rather unexpected result since specific examples of -manifolds with large and are hard to construct. We also prove that for any complex semisimple Lie algebra there exists a -manifold with and Such manifolds can be explicitly constructed.

     

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 .

     

Dynamical systems disjoint from any minimal system

Furstenberg showed that if two topological systems and are disjoint, then one of them, say , is minimal. When is nontrivial, we prove that must have dense recurrent points, and there are countably many maximal transitive subsystems of such that their union is dense and each of them is disjoint from . Showing that a weakly mixing system with dense periodic points is in , the collection of all systems disjoint from any minimal system, Furstenberg asked the question to characterize the systems in . We show that a weakly mixing system with dense regular minimal points is in , and each system in has dense minimal points and it is weakly mixing if it is transitive. Transitive systems in and having no periodic points are constructed. Moreover, we show that there is a distal system in .

Recently, Weiss showed that a system is weakly disjoint from all weakly mixing systems iff it is topologically ergodic. We construct an example which is weakly disjoint from all topologically ergodic systems and is not weakly mixing.

     

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 .

     

Descent representations and multivariate statistics

Combinatorial identities on Weyl groups of types and are derived from special bases of the corresponding coinvariant algebras. Using the Garsia-Stanton descent basis of the coinvariant algebra of type we give a new construction of the Solomon descent representations. An extension of the descent basis to type , using new multivariate statistics on the group, yields a refinement of the descent representations. These constructions are then applied to refine well-known decomposition rules of the coinvariant algebra and to generalize various identities.

     

Bimodules and -rationality of vertex operator algebras

This paper studies the twisted representations of vertex operator algebras. Let be a vertex operator algebra and an automorphism of of finite order For any , an - -bimodule is constructed. The collection of these bimodules determines any admissible -twisted -module completely. A Verma type admissible -twisted -module is constructed naturally from any -module. Furthermore, it is shown with the help of bimodule theory that a simple vertex operator algebra is -rational if and only if its twisted associative algebra is semisimple and each irreducible admissible -twisted -module is ordinary.

     

The cohomology of the Steenrod algebra and representations of the general linear groups

Let be the algebraic transfer that maps from the coinvariants of certain -representations to the cohomology of the Steenrod algebra. This transfer was defined by W. Singer as an algebraic version of the geometrical transfer . It has been shown that the algebraic transfer is highly nontrivial, more precisely, that is an isomorphism for and that is a homomorphism of algebras.

In this paper, we first recognize the phenomenon that if we start from any degree and apply repeatedly at most times, then we get into the region in which all the iterated squaring operations are isomorphisms on the coinvariants of the -representations. As a consequence, every finite -family in the coinvariants has at most nonzero elements. Two applications are exploited.

The first main theorem is that is not an isomorphism for . Furthermore, for every 5$">, there are infinitely many degrees in which is not an isomorphism. We also show that if detects a nonzero element in certain degrees of , then it is not a monomorphism and further, for each \ell$">, is not a monomorphism in infinitely many degrees.

The second main theorem is that the elements of any -family in the cohomology of the Steenrod algebra, except at most its first elements, are either all detected or all not detected by , for every . Applications of this study to the cases and show that does not detect the three families , and , and that does not detect the family .