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 .

     

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

     

Glauberman-Watanabe corresponding -blocks of finite groups with normal defect groups are Morita equivalent

Let be a finite group and let be a solvable finite group that acts on such that the orders of and are relatively prime. Let be a -block of with normal defect group such that stabilizes and . Then there is a Morita equivalence between the block and its Watanabe correspondent block of given by a bimodule with vertex and trivial source that on the character level induces the Glauberman correspondence (and which is an isotypy by a theorem of Watanabe).

     

Gröbner bases of associative algebras and the Hochschild cohomology

We give an algorithmic way to construct a free bimodule resolution of an algebra admitting a Gröbner base. It enables us to compute the Hochschild (co)homology of the algebra. Let be a finitely generated algebra over a commutative ring with a (possibly infinite) Gröbner base on a free algebra , that is, is the quotient with the ideal of generated by . Given a Gröbner base for an -subbimodule of the free -bimodule generated by a set , we have a morphism of -bimodules from the free -bimodule generated by to sending the generator to the element . We construct a Gröbner base on for the -subbimodule Ker() of , and with this we have the free -bimodule generated by and an exact sequence . Applying this construction inductively to the -bimodule itself, we have a free -bimodule resolution of .

     

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 .

     

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 .

     

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 the -torsion of elliptic curves and elliptic surfaces in characteristic

We study the extension generated by the -coordinates of the -torsion points of an elliptic curve over a function field of characteristic . If is a non-isotrivial elliptic surface in characteristic with a -torsion section, then for 11$"> our results imply restrictions on the genus, the gonality, and the -rank of the base curve , whereas for such a surface can be constructed over any base curve . We also describe explicitly all occurring in the cases where the surface is rational or or the base curve is rational, elliptic or hyperelliptic.

     

On degrees of irreducible Brauer characters

Based on a large amount of examples, which we have checked so far, we conjecture that where is a prime and the sum runs through the set of irreducible Brauer characters in characteristic of the finite group . We prove the conjecture simultaneously for -solvable groups and groups of Lie type in the defining characteristic. In non-defining characteristics we give asymptotically an affirmative answer in many cases.

     

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.

     

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.

     

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.

     

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 .

     

One-dimensional dynamical systems and Benford's law

Near a stable fixed point at 0 or , many real-valued dynamical systems follow Benford's law: under iteration of a map the proportion of values in with mantissa (base ) less than tends to for all in as , for all integer bases 1$">. In particular, the orbits under most power, exponential, and rational functions (or any successive combination thereof), follow Benford's law for almost all sufficiently large initial values. For linearly-dominated systems, convergence to Benford's distribution occurs for every , but for essentially nonlinear systems, exceptional sets may exist. Extensions to nonautonomous dynamical systems are given, and the results are applied to show that many differential equations such as , where is with F'(0)$">, also follow Benford's law. Besides generalizing many well-known results for sequences such as or the Fibonacci numbers, these findings supplement recent observations in physical experiments and numerical simulations of dynamical systems.

     

Fixed point index in symmetric products

Let be an open subset of a locally compact metric ANR and let be a continuous map. In this paper we study the fixed point index of the map that induces in the -symmetric product of , . This index can detect the existence of periodic orbits of period of , and it can be used to obtain the Euler characteristic of the -symmetric product of a manifold , . We compute for all orientable compact surfaces without boundary.

     

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 .

     

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.

     

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.

     

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.

     

Poincaré's closed geodesic on a convex surface

We present a new proof for the existence of a simple closed geodesic on a convex surface . This result is due originally to Poincaré. The proof uses the -dimensional Riemannian manifold of piecewise geodesic closed curves on with a fixed number of corners, chosen sufficiently large. In we consider a submanifold formed by those elements of which are simple regular and divide into two parts of equal total curvature . The main burden of the proof is to show that the energy integral , restricted to , assumes its infimum. At the end we give some indications of how our methods yield a new proof also for the existence of three simple closed geodesics on .