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 .

     

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.

     

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 .

     

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.

     

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.

     

A bracket power characterization of analytic spread one ideals

The main theorem characterizes, in terms of bracket powers, analytic spread one ideals in local rings. Specifically, let be regular nonunits in a local (Noetherian) ring and assume that , the integral closure of , where . Then the main result shows that for all but finitely many units in that are non-congruent modulo and for all large integers and it holds that for and not divisible by , where is the -th bracket power of . And, conversely, if there exist positive integers , , and such that has a basis such that , then has analytic spread one.

     

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

     

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 .

     

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.

     

Associativity of crossed products by partial actions, enveloping actions and partial representations

Given a partial action of a group on an associative algebra , we consider the crossed product . Using the algebras of multipliers, we generalize a result of Exel (1997) on the associativity of obtained in the context of -algebras. In particular, we prove that is associative, provided that is semiprime. We also give a criterion for the existence of a global extension of a given partial action on an algebra, and use crossed products to study relations between partial actions of groups on algebras and partial representations. As an application we endow partial group algebras with a crossed product structure.

     

Homological algebra for the representation Green functor for abelian groups

In this paper we compute some derived functors of the internal homomorphism functor in the category of modules over the representation Green functor. This internal homomorphism functor is the left adjoint of the box product.

When the group is a cyclic -group, we construct a projective resolution of the module fixed point functor, and that allows a direct computation of the graded Green functor .

When the group is , we can still build a projective resolution, but we do not have explicit formulas for the differentials. The resolution is built from long exact sequences of projective modules over the representation functor for the subgroups of by using exact functors between these categories of modules. This induces a filtration which gives a spectral sequence which converges to the desired functors.

     

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.

     

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

     

On orbital partitions and exceptionality of primitive permutation groups

Let and be transitive permutation groups on a set such that is a normal subgroup of . The overgroup induces a natural action on the set of non-trivial orbitals of on . In the study of Galois groups of exceptional covers of curves, one is led to characterizing the triples where fixes no elements of ; such triples are called exceptional. In the study of homogeneous factorizations of complete graphs, one is led to characterizing quadruples where is a partition of such that is transitive on ; such a quadruple is called a TOD (transitive orbital decomposition). It follows easily that the triple in a TOD is exceptional; conversely if an exceptional triple is such that is cyclic of prime-power order, then there exists a partition of such that is a TOD. This paper characterizes TODs such that is primitive and is cyclic of prime-power order. An application is given to the classification of self-complementary vertex-transitive graphs.

     

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.

     

Lack of natural weighted estimates for some singular integral operators

We show that the classical Hörmander condition, or analogously the -Hörmander condition, for singular integral operators is not sufficient to derive Coifman's inequality

where , is the Hardy-Littlewood maximal operator, is any weight and is a constant depending upon and the constant of . This estimate is well known to hold when is a Calderón-Zygmund operator.

As a consequence we deduce that the following estimate does not hold:

where and where is an arbitrary weight. However, by a recent result due to A. Lerner, this inequality is satisfied whenever is a Calderón-Zygmund operator.

One of the main ingredients of the proof is a very general extrapolation theorem for weights.

     

A quadratic approximation to the Sendov radius near the unit circle

Define to be the set of complex polynomials of degree with all roots in the unit disk and at least one root at . For a polynomial , define to be the distance between and the closest root of the derivative . Finally, define . In this notation, a conjecture of Bl. Sendov claims that .

In this paper we investigate Sendov's conjecture near the unit circle, by computing constants and (depending only on ) such that for near . We also consider some consequences of this approximation, including a hint of where one might look for a counterexample to Sendov's conjecture.

     

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.

     

On composite formal power series

Let be a holomorphic map from to defined in a neighborhood of such that . If the Jacobian determinant of is not identically zero, P. M. Eakin et G. A. Harris proved the following result: any formal power series such that is analytic is itself analytic. If the Jacobian determinant of is identically zero, they proved that the previous conclusion is no more true.

The authors get similar results in the case of formal power series satifying growth conditions, of Gevrey type for instance. Moreover, the proofs here give, in the analytic case, a control of the radius of convergence of by the radius of convergence of .

RÉSUMÉ. Soit une application holomorphe de dans définie dans un voisinage de et vérifiant . Si le jacobien de n'est pas identiquement nul au voisinage de , P.M. Eakin et G.A. Harris ont établi le résultat suivant: toute série formelle telle que est analytique est elle-même analytique. Si le jacobien de est identiquement nul, ils montrent que la conclusion précédente est fausse.

Les auteurs obtiennent des résultats analogues pour les séries formelles à croissance contrôlée, du type Gevrey par exemple. De plus, les preuves données ici permettent, dans le cas analytique, un contrôle du rayon de convergence de par celui de .