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 .

     

Anosov automorphisms on compact nilmanifolds associated with graphs

We associate with each graph a -step simply connected nilpotent Lie group and a lattice in . We determine the group of Lie automorphisms of and apply the result to describe a necessary and sufficient condition, in terms of the graph, for the compact nilmanifold to admit an Anosov automorphism. Using the criterion we obtain new examples of compact nilmanifolds admitting Anosov automorphisms, and conclude that for every there exist a -dimensional -step simply connected nilpotent Lie group which is indecomposable (not a direct product of lower dimensional nilpotent Lie groups), and a lattice in such that admits an Anosov automorphism; we give also a lower bound on the number of mutually nonisomorphic Lie groups of a given dimension, satisfying the condition. Necessary and sufficient conditions are also described for a compact nilmanifold as above to admit ergodic automorphisms.

     

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 .

     

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.

     

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.

     

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.

     

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 .

     

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.

     

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 .

     

Commutative ideal theory without finiteness conditions: Primal ideals

Our goal is to establish an efficient decomposition of an ideal of a commutative ring as an intersection of primal ideals. We prove the existence of a canonical primal decomposition: , where the are isolated components of that are primal ideals having distinct and incomparable adjoint primes . For this purpose we define the set of associated primes of the ideal to be those defined and studied by Krull. We determine conditions for the canonical primal decomposition to be irredundant, or residually maximal, or the unique representation of as an irredundant intersection of isolated components of . Using our canonical primal decomposition, we obtain an affirmative answer to a question raised by Fuchs, and also prove for that an ideal is an intersection of -primal ideals if and only if the elements of are prime to . We prove that the following conditions are equivalent: (i) the ring is arithmetical, (ii) every primal ideal of is irreducible, (iii) each proper ideal of is an intersection of its irreducible isolated components. We classify the rings for which the canonical primal decomposition of each proper ideal is an irredundant decomposition of irreducible ideals as precisely the arithmetical rings with Noetherian maximal spectrum. In particular, the integral domains having these equivalent properties are the Prüfer domains possessing a certain property.

     

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.

     

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 .

     

Weakly compact approximation in Banach spaces

The Banach space has the weakly compact approximation property (W.A.P. for short) if there is a constant so that for any weakly compact set and 0$">there is a weakly compact operator satisfying and . We give several examples of Banach spaces both with and without this approximation property. Our main results demonstrate that the James-type spaces from a general class of quasi-reflexive spaces (which contains the classical James' space ) have the W.A.P, but that James' tree space fails to have the W.A.P. It is also shown that the dual has the W.A.P. It follows that the Banach algebras and , consisting of the weakly compact operators, have bounded left approximate identities. Among the other results we obtain a concrete Banach space so that fails to have the W.A.P., but has this approximation property without the uniform bound .

     

Elements of specified order in simple algebraic groups

In this paper we let be a simple algebraic group and be a natural number, and consider the codimension in of the variety of elements satisfying . We shall obtain a lower bound for this codimension which is independent of characteristic, and show that it is attained if is of adjoint type.

     

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.

     

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 .