reduced standard modules and cohomology first cohomology groups of finite groups with nontrivial irreducible coefficients have been useful in several geometric and arithmetic contexts including wiles s famous paper 1995 internal to group theory 1 cohomology plays a role in the general theory of maximal subgroups of finite groups as developed by aschbacher and scott 1985 one can pass to the case where the group acts faithfully and the underlying module is absolutely irreducible in this case r guralnick 1986 conjectured that there is a universal constant bounding all of the dimensions of these cohomology groups this paper provides the first general positive results on this conjecture proving that the generic 1 cohomology h 1 gen g l lim h 1 g q l see cline parshall scott and van der kallen 1977 of a finite group g q of lie type with absolutely irreducible coefficients l in the defining characteristic of g is bounded by a constant depending only on the root system in all cases we are able to improve this result to a bound on h 1 g q l itself still depending only on the root system the generic h 1 result and related results for ext 1 emerge here as a consequence of a general study of interest in its own right of the homological properties of certain rational modules red red indexed by dominant weights for a reductive group g the modules red and red arise naturally from irreducible representations of the quantum enveloping algebra u of the same type as g at a pth root of unity where p 0 is the characteristic of the defining field for g finally we apply our ext 1 bounds results of bendel nakano and pillen 2006 as well as results of sin 1993 1992 1994 on the ree and suzuki groups to obtain the non generic bounds on h 1 g q l

computation of lyapunov functions for nonautonomous systems on finite time intervals by linear programming abstract we present an algorithm for numerically computing lyapunov functions for nonautonomous systems on finite time intervals the algorithm relies on a linear optimization problem and delivers a continuous and piecewise affine function on a compact set the level sets of such a lyapunov function give concrete bounds on the time evolution of the system on the time interval and for time periodic systems they deliver an ultimate bound on solutions four examples of computed finite time lyapunov functions are given

cohomology of infinitesimal and discrete groups an infinitesimal algebraic group over a field k is a connected algebraic group scheme whose coordinate ring is a finite dimension al k algebra if one begins with a reductive algebraic group g defined over fp then one has a close relationship between the representation theory of g that of its infinitesimal subgroups g defined as the kernels of the frobenius endomorphisms rr g g and that of its finite chevalley subgroups g fq of fq rational points q pd a basic theorem of cline et al i 9 theorem 6 6 relates the cohomology of g in a rational representation to that of the finite groups g fq related work of cline et al 6 and of the authors 1 16 relates the cohomology of g to that of its infinitesimal subgroups a determination of the cohomology of the first infinitesimal subgroup g 1 of g with trivial coefficients has enabled the authors in 14 to make certain explicit cohomology calculations for the finite groups g fq with certain nontrivial coefficients in this paper we continue our study of infinitesimal subgroups of simple algebraic groups by proving various qualitative properties of their cohomology and by extending our computational knowledge in particular we provide a computation which applies in a range of degrees to chevalley groups over the prime field we also investigate the cohomology of infinitesimal subgroups of nilpotent groups enabling us for example to determine the cohomology of their lie algebras in certain cases we apply this lie algebra cohomology computation to determine the integral cohomology of various torsion free nilpotent groups modulo small prime torsion thereby extending a theorem of dwyer 12 in more detail the paper begins in sect 1 with a spectral sequence converging to the cohomology of the first infinitesimal subgroup g which was previously studied in 14 from this spectral sequence it easily follows that h g1 m is a noetherian h g1 k module for each finite dimensional rational gl module m we then apply the work of andersen and jantzen 1 on the gl cohomology of induced modules to obtain the analogous result for the second infinitesimal subgroup gz our analysis also permits a determination of the generic

linearization of hyperbolic finite time processes abstract we adapt the notion of processes to introduce an abstract framework for dynamics in finite time i e on compact time sets for linear finite time processes a notion of hyperbolicity namely exponential monotonicity dichotomy emd is introduced thereby generalizing and unifying several existing approaches we present a spectral theory for linear processes in a coherent way based only on a logarithmic difference quotient in this abstract setting we introduce a new topology prove robustness of emd and provide exact perturbation bounds we suggest a new intrinsic approach for the investigation of linearizations of finite time processes including finite time analogues of the local un stable manifold theorem and theorem of linearized asymptotic stability as an application we discuss our results for ordinary differential equations on a compact time interval

skew modules for reductive groups skew modules for symmetric groups have been investigated by james and peel 13 farahat and peel 9 and clausen s more recently skew modules for general linear groups have been investigated by akin buchsbaum weyman 3 l 2 and kouwenhoven 161 our aim in this paper is to set up in a rather general context a theory of skew modules for reductive algebraic groups for a partition 1 of it james peel 13 obtain a filtration of the specht module sj viewed as a module for the young subgroup corresponding to a decomposition n a b of n the successive quotients in the filtration have the form s h sj p kronecker product where p runs over the partitions of a such that p is a skew partition and s denotes the skew specht module the analogue of this result is proved for general linear groups by akin buchsbaum and weyman 3 theorem 11 4 1 l and kouwenhoven 16 proposition ii 2 2a the analogue for reductive groups is more or less our definition of skew modules this filtration property is in fact a characterisation of skew modules see 1 3 4 and our definition for general linear groups therefore agrees with that of akin buchsbaum and weyman 3 and kouwenhoven 161 it becomes apparent rather quickly from our point of view that the skew modules have a particular kind of filtration see 2 1 1 which in the case of the general linear group is a filtration by schur modules this is a result of kouwenhoven 16 proposition 11 2 2b a for general linear groups kouwenhoven is able to give an explicit description of such a filtration one may then obtain as in kouwenhoven 16 proposition ii 2 2b b the result of james and peel 131 on the existence of specht series for skew modules for the symmetric groups by specializing to a certain weight space i e applying the schur functor as in ll chap 63 we are also able to prove see 2 3 3 the existence of a certain kind of resolution considered by akin and buchsbaum see 1 sects 83 for skew modules for general linear groups our main point of reference is the representation theory of reductive 465 0021 8693 88 3 00

a definition of spectrum for differential equations on finite time abstract hyperbolicity of an autonomous rest point is characterised by its linearization not having eigenvalues on the imaginary axis more generally hyperbolicity of any solution which exists for all times can be defined by means of lyapunov exponents or exponential dichotomies we go one step further and introduce a meaningful notion of hyperbolicity for linear systems which are defined for finite time only i e on a compact time interval hyperbolicity now describes the transient dynamics on that interval in this framework we provide a definition of finite time spectrum study its relations with classical concepts and prove an analogue of the sacker sell spectral theorem for a d dimensional system the spectrum is non empty and consists of at most d disjoint and often compact intervals an example illustrates that the corresponding spectral manifolds may not be unique which in turn leads to several challenging questions

finite time transport in aperiodic flows abstract we study the transport of particles in a general two dimensional incompressible flow in the presence of a transient eddy i e a bounded set of closed streamlines with a finite time of existence using quantities obtained from eulerian observations we provide explicit conditions for the existence of a hyperbolic structure in the flow which induces mixing between the eddy and its environment our results can be used directly to study finite time transport in numerically or experimentally generated vector fields with general time dependence

a variational theory of hyperbolic lagrangian coherent structures abstract we develop a mathematical theory that clarifies the relationship between observable lagrangian coherent structures lcss and invariants of the cauchy green strain tensor field motivated by physical observations of trajectory patterns we define hyperbolic lcss as material surfaces i e codimension one invariant manifolds in the extended phase space that extremize an appropriate finite time normal repulsion or attraction measure over all nearby material surfaces we also define weak lcss wlcss as stationary solutions of the above variational problem solving these variational problems we obtain computable sufficient and necessary criteria for wlcss and lcss that link them rigorously to the cauchy green strain tensor field we also prove a condition for the robustness of an lcs under perturbations such as numerical errors or data imperfection on several examples we show how these results resolve earlier inconsistencies in the theory of lcs finally we introduce the notion of a constrained lcs clcs that extremizes normal repulsion or attraction under constraints this construct allows for the extraction of a unique observed lcs from linear systems and for the identification of the most influential weak unstable manifold of an unstable node

normality of orthogonal and symplectic nilpotent orbit closures in positive characteristic abstract in this note we investigate the normality of closures of orthogonal and symplectic nilpotent orbits in positive characteristic we prove that the closure of such a nilpotent orbit is normal provided that neither type d nor type e minimal irreducible degeneration occurs in the closure and conversely if the closure is normal then any type e minimal irreducible degeneration does not occur in it here the minimal irreducible degenerations of a nilpotent orbit are introduced by w hesselink in 7 or see 11 from which we take table 1 for the complete list of all minimal irreducible degenerations our result is a weak version in positive characteristic of 11 theorem 16 2 ii one of the main results of 11 over complex numbers

lagrangian coherent structures and mixing in two dimensional turbulence abstract we introduce a lagrangian definition for the boundaries of coherent structures in two dimensional turbulence the boundaries are defined as material lines that are linearly stable or unstable for longer times than any of their neighbors such material lines are responsible for stretching and folding in the mixing of passive tracers we derive an analytic criterion that can be used to extract coherent structures with high precision from numerical or experimental data sets the criterion provides a rigorous link between the lagrangian concept of hyperbolicity the okubo weiss criterion and vortex boundaries we apply the results to simulations of two dimensional barotropic turbulence

distinguished material surfaces and coherent structures in three dimensional fluid flows we prove analytic criteria for the existence of finite time attracting and repelling material surfaces and lines in three dimensional unsteady flows the longest lived such structures define coherent structures in a lagrangian sense our existence criteria involve the invariants of the velocity gradient tensor along fluid trajectories an alternative approach to coherent structures is shown to lead to their characterization as local maximizers of the largest finite time lyapunov exponent field computed directly from particle paths both approaches provide effective tools for extracting distinguished lagrangian structures from three dimensional velocity data we illustrate the results on steady and unsteady abc type flows

on the cohomology of specht modules we investigate the cohomology of the specht module s for the symmetric group d we show if 0 i p 2 then hi d s is isomorphic to hs i b w0 where s d d 1 2 b is the borel subgroup of the algebraic group gld k and 1d is the weight of the determinant representation we obtain similar isomorphisms of ext di s m with b cohomology which in turn yield isomorphisms of cohomology for borel subgroups of gln k for varying n d in the case i 0 and the case i 1 for certain we apply our result and known symmetric group results of james and erdmann to obtain new information about b cohomology finally we show that specht module cohomology is closely related to cohomology for the frobenius kernel b1 for small primes

second cohomology groups for frobenius kernels and related structures abstract let g be a simple simply connected affine algebraic group over an algebraically closed field k of characteristic p for an odd prime p let b be a borel subgroup of g and u be its unipotent radical in this paper we determine the second cohomology groups of b and its frobenius kernels for all simple b modules we also consider the standard induced modules obtained by inducing a simple b module to g and compute all second cohomology groups of the frobenius kernels of g for these induced modules also included is a calculation of the second ordinary lie algebra cohomology group of lie u with coefficients in k

extensions of modules for algebraic groups let g be a connected semi simple and simply connected algebraic group over an algebraically closed field k of prime characteristic p in this paper we show how one can obtain the extensions of any two simple g modules if one knows the socles of all the g modules extg l l where g1 denotes the kernel of the frobenius endomorphism on g and l as well as l are simple g1 modules alternatively we prove how all such g extensions can be found once one knows the extensions of any two simple g modules belonging to a specified finite set of simple modules with small highest weight such information is available in certain low rank cases it should also be pointed out that it is possible from lusztig s conjecture on irreducible characters 11 to derive the dimensions of ext l1 l2 when l1 and l2 are simple with such small highest weights to obtain our results on exth we need to know that there exists no g1 extension of a simple module by itself this turns out to be somewhat

localization for quantum groups at a root of unity let c be the field of complex numbers and fix q g c let g be a semi simple lie algebra over c and let g be the corresponding simply connected algebraic group let uq be the quantized enveloping algebra of q let oq be the algebra of quantized functions on g let oq b be the quotient hopf algebra of oq corresponding to a borel subgroup b of g in the paper bk we defined categories of equivariant quantum o modules and pg modules on the quantum flag variety of g we proved that the beilinson bernstein localization theorem holds at a generic q namely the global section functor gives an equivalence between categories of modules and vq iaod es on the quantum flag variety thus one can translate questions about the represen tation theory of quantum groups to the study of the noncommutative geometry of the quantum flag variety in this paper we prove that a derived version of this theorem holds at the root of unity case using this equivalence we get that one can understand the representation theory of quantum groups at roots of unity through the now commutative geometry of the springer fibers we now recall the main results in bk the constructions given there are crucial for the present paper and a fairly detailed survey of the material there is given in the next section we defined an equivariant sheaf of quasi coherent modules over the quantum flag variety to be a left oq mod e equipped with a right q b comod ile structure satisfying certain compatibility conditions such objects form a category denoted ai q gq it contains certain line bundles oq for in the weight lattice we proved that oq x is ample for 0 holds for every q this implies that the category m bq gq is a proj category in the sense of serre

relationships between order and efficiency of a class of methods for multiple zeros of polynomials the behavior of a class of high order methods for solving polynomial equations is examined it is shown that the number of iterations for local convergence to a multiple zero to the limits of attainable accuracy is bounded independent of the multiplicity of the zero and decreases as the order of the method increases for the higher order methods the number of iterations decreases as the multiplicity increases computational efficiency as a function of degree order and multiplicity is investigated and an effective choice of order is recommended numerical examples are provided

areas of attraction for nonautonomous differential equations on finite time intervals in this article new concepts of exponential attractivity for nonautonomous differential equations on a finite time interval are introduced due to nonuniqueness of finite time objects areas of attraction are studied rather than solutions which are attractive a sufficient and necessary condition for the existence of such areas is presented which makes use of a time varying riemannian metric several examples illustrate the theoretical results and definitions

empirical versus asymptotic rate of convergence of a class of methods for solving a polynomial equation abstract given alternative methods with identical order of convergence for solving the polynomial equation z 0 the method with the smaller asymptotic error constant might be assumed to be superior in terms of the number of iterations required for convergence we present empirical evidence for a parameterized class of methods of second order showing that a parameter choice which does not correspond to the minimal asymptotic error constant may nevertheless be superior in practice

cohomology of infinitesimal algebraic groups in this paper we study the cohomology h br k of a higher frobenius kernel br r 1 of a borel subgroup b of a reductive algebraic group g over an algebraically closed field k of a positive characteristic p for the first frobenius kernel b 1 the cohomology has been completely determined by h h andersen and j c jantzen 3 in case p h the coxeter number of g in low degrees the cohomology is independent of r 1 and their results allow us to compute the first different case h zp i br k for s lt i 3 6 in higher degrees however we have to resort to a different method although h b 2 k has already been computed for sl z also in 3 it is a considerably harder problem for sl 3 we apply algebraic steenrod operations and the transgression theorem to the lyndon hochschildserre or cartan eilenberg spectral sequence arising from a central series of the unipotent radical u of b to find h k for sl 3 5 1 the method we employ here was originally developed by m tezuka and n yagita 21 in order to investigate h u fq k q a power ofp in fact the results of sections 4 and 5 were first conceived from the corresponding results of h u fq k aside from the interests in relation to the cohomology of finite groups the work was also motivated by a close connection of the bl cohomology to g lusztig s conjectural character formula for the irreducible modules of the reductive group g which is described in section 2 hoping that the representation theory may shed more light on some topological problems we intend to take up the steenrod algebra and the a algebras in a subsequent paper

extensions for finite chevalley groups i let g be a connected semisimple algebraic group defined and split over the field fp with p elements and k be the algebraic closure of fp assume further that g is almost simple and simply connected and let g fq be the finite chevalley group consisting of fq rational points of g where q pr for a non negative integer r in this paper formulas are found relating extensions between simple kg fq modules and extensions over g considered as an algebraic group over k one of these formulas which only holds for primes p 3 h 1 where h is the coxeter number of g is then used to show the vanishing of self extensions between simple kg fq modules except for certain simple modules when r 1 and the underlying root system is of type a1 or cn

extensions for frobenius kernels 1 1 let g be a simple algebraic group over an algebraically closed field k of characteristic p 0 for r 1 let gr be the rth frobenius kernel of g it is well known that the representations for g1 are equivalent to the restricted representations for lie g historically the cohomology for frobenius kernels has been best understood for large primes friedlander and parshall fp first computed the cohomology ring h g1 k for p 3 h 1 where h is the coxeter number of the underlying root system they proved that the cohomology ring can be identified with the coordinate algebra of the nullcone andersen and jantzen aj later verified this fact for p h furthermore they generalized this calculation by looking at h g1 h0 where h0 indb for p h their results had some restrictions on the type of root system involved kumar lauritzen and thomsen klt removed the restrictions on the root systems through the use of frobenius splittings the cohomology ring h g1 k modulo nilpotents can be identified in general with the coordinate algebra of the restricted nullcone n1 x lie g x p 0 for good primes nakano parshall and vella npv proved that this variety is irreducible and can be identified with the closure of some richardson orbit recently carlson lin nakano and parshall clnp have given an explicit description of n1 these recent results provide some indication that one can systematically study extensions of frobenius kernels for small primes by using general formulas which exhibit generic behavior for large primes

support varieties for infinitesimal group schemes the representation theory of a connected smooth affine group scheme over a field k of characteristic p 0 is faithfully captured by that of its family of frobenius kernels such frobenius kernels are examples of infinitesimal group schemes affine group schemes g whose coordinate hopf algebra k g is a finite dimensional local k algebra this paper presents a study of the cohomology algebra h g k of an arbitrary infinitesimal group scheme over k we provide a geometric determination of the cohomological support variety cgl spec h g k analogous to that given by d quillen for the cohomology of finite groups q we further study finite dimensional rational g modules m for arbitrary infinitesimal group schemes g over k in a manner initiated by j alperin and l evens a e and j carlson ci for finite groups we consider the variety igim c igi of the ideal im ker hev g k ext m m and provide a geometric description of this variety which is analogous to that given by g avrunin and l scott for finite dimensional modules for finite groups a s this paper is a continuation of our recent work establishing the finite generation of h g k f s and investigating the infinitesimal 1 parameter subgroups of g s f b earlier work of e friedlander and b parshall fp1 fp2 fp3 fp4 and j jantzen ji concerning the cohomology of restricted lie algebras are forerunners of the results presented here finite dimensional restricted lie algebras are in 1 1 correspondence with infinitesimal group schemes of height 1 our main theorems theorems 5 2 and 6 7 below when restricted to infinitesimal group schemes of height 1 significantly strengthen previously known cohomological information for restricted lie algebras an interesting aspect of our work is the extent to which infinitesimal 1 parameter subgroups v g a r g for infinitesimal group schemes g of height r play the role of elementary abelian p subgroups and their generalizations shifted subgroups for finite groups indeed much of our effort is dedicated to proving that cohomology classes are detected modulo nilpotence by such 1 parameter subgroups this is first done in 2 for unipotent infinitesimal group schemes using an induction argument made possible by a structure theorem presented in 1 this structure theorem is the analogue in our context of a theorem of j p serre characterizing elementary abelian p groups s

frobenius splitting of cotangent bundles of flag varieties let g be a semisimple and simply connected algebraic group over an algebraically closed field of characteristic p 0 let u be the unipotent radical of a borel subgroup b g and u the lie algebra of u springer 16 has shown for good primes that there is a b equivariant isomorphism u u where b acts through conjugation on u and through the adjoint action on u for g sln one has the well known equivariant isomorphism a 7 a i between unipotent and nilpotent upper triangular matrices let p be a good prime for g then there is an isomorphism of homogeneous bundles x g b u g b u where the latter can be identified with the cotangent bundle t g b of g b motivated in part by 12 we establish a link between the g invariant form on the steinberg module st h0 g b p 1 cf 1 8 and frobenius splittings 15 of the cotangent bundle of g b the representation h0 g b 2 p 1 is a quotient of the space of functions h x ox on x here h0 g b m denotes the g module induced from the b module m and half the sum of the roots r opposite to the roots

necessary conditions for a limit cycle and its basin of attraction in this paper we consider a general differential equation of the form x f x with f epsilon c l r n r n and n greater than or equal to 2 borg hartman leonov and others have studied sufficient conditions for the existence uniqueness and exponential stability of a periodic orbit and for a set to belong to its basin of attraction they used a certain contraction property of the flow with respect to the euclidian or a riemannian metric in this paper we also prove sufficient conditions including upper bounds for the floquet exponents of the periodic orbit moreover we show the necessity of these conditions using floquet theory and a lyapunov function

on the cohomology of algebraic and related finite groups in the above theorem h gl m denotes the rational cohomology of the algebraic group gl with coefficients in m the rational gl module obtained from the adjoint module m m through twisting by the r th power of the frobenius endomorphism on gl the algebra structure on the cohomology is induced from the associative algebra structure on m on the other hand we provide the following systematic determination of certain rational cohomology groups h g v r where v r is the rational gmodule obtained from the rational g module v by applying the r th frobenius twist see 1 2 this is a somewhat sharpened version of theorem 4 of 36

sheaf cohomology on gb and tensor products of weyl modulus let k be an algebraically closed field it is assumed that char k p 0 unless otherwise indicated g is a simply connected semisimple algebraic group over k t is a fixed maximal torus and b a bore1 subgroup of g containing t let qi g t be the root system of g d the set of all simple roots and and the sets of all positive and negative roots relative to d respectively we assume that the set a is chosen such that b corresponds to 0 let x be the weight lattice of sp which may be considered as the character group of t or b therefore if 1 e x by abuse of notation we also denote by l the one dimensional tor b module determined by a let x be the set of all dominant weights and w the fundamental weight corresponding to a simple root a e a we denote by 6 the half sum of all positive roots and we know that 6 is the sum of all fundamental weights let w be the weyl group of 0 the reflection with respect to a root a is denoted by s the longest element of w by w there are two ways of w acting on x i the ordinary action if 1 e x m e w the image of i under w is denoted by 2 ii dot action w a 5 2 6 s in particular let a w a the dual root system of is denoted by and the dual root of a e by a i e u 2a a u where is the inner product invariant under the ordinary action of w of the euclidean space spanned by for 1 e x a e let a a 1 a all modules of an algebraic group we consider in this paper are assumed to be rational in particular for an infinite dimensional module the term rational module means this module is a direct limit of finite dimensional rational modules let h be a closed subgroup of g containing t such as g b or t m an h module we define for l e x

invariant forms on irreducible modules of simple algebraic groups let g be a simple linear algebraic group over an algebraically closed field k of characteristic p 0p 0 and let v be an irreducible rational g module with highest weight when v is self dual a basic question to ask is whether v has a non degenerate g invariant alternating bilinear form or a non degenerate g invariant quadratic form if p 2p 2 the answer is well known and easily described in terms of in the case where p 2p 2 we know that if v is self dual it always has a non degenerate g invariant alternating bilinear form however determining when v has a non degenerate g invariant quadratic form is a classical problem that still remains open we solve the problem in the case where g is of classical type and is a fundamental highest weight i i and in the case where g is of type alal and r s r s for 1 r s l1 r s l we also give a solution in some specific cases when g is of exceptional type as an application of our results we refine seitz s 1987 description of maximal subgroups of simple algebraic groups of classical type one consequence of this is the following result if x y sl v x y sl v are simple algebraic groups and v xv x is irreducible then one of the following holds 1 v yv y is not self dual 2 both or neither of the modules v yv y and v xv x have a non degenerate invariant quadratic form 3 p 2p 2 x so v x so v and y sp v y sp v

a note on decomposition numbers for reductive algebraic groups in a recent paper 7 james proves two theorems on the decomposition numbers for the general linear groups and working within the context of green s monograph 5 derives properties of the decomposition numbers for the symmetric groups this note grew out of an attempt to formulate for arbitrary reductive groups these theorems of james we prove a natural result on decomposition numbers for reductive groups from which james s theorems are deduced the result the theorem of section 2 is the analogue of jantzen s satz 1 18 of 8 on decomposition numbers for representations of complex semisimple lie algebras also proved independently by deodhar very little direct use of 5 is made though some of the ideas are cribbed from that source as one may see by comparing the properties of the functor fa in section 2 with green s treatment see section 6 2 of s of ese theory s a ring e an idempotent

a termination criterion for iterative methods used to find the zeros of polynomials a new criterion for terminating iterations when searching for polynomial zeros is described this method does not depend on the number of digits in the mantissa moreover it can be used to determine the accuracy of the resulting zeros examples are included

weil restriction and support varieties this paper extends the comparison results for cohomological support varieties for chevalley groups of the form g fp established by j carlson z lin and d nakano to chevalley groups of the form g fpd other topics considered are complexity and non maximal support varieties for modules techniques developed by j pevtsova and the author together with the use of weil restriction functors are employed

a unified approach to finite time hyperbolicity which extends finite time lyapunov exponents a hyperbolicity notion for linear differential equations x a t x t t t is defined which unifies different existing notions like finite time lyapunov exponents haller 2001 13 shadden et al 2005 24 uniform or m hyperbolicity haller 2001 13 berger et al 2009 6 and t t t dichotomy rasmussen 2010 21 its relation to the dichotomy spectrum sacker and sell 1978 23 siegmund 2002 26 d hyperbolicity berger et al 2009 6 and real parts of the eigenvalues in case a is constant is described we prove a spectral theorem and provide an approximation result for the spectral intervals

on schur algebras and related algebras ii this paper is a continuation of 7 the purpose of 7 was to set up in the context of reductive algebraic groups a theory of generalized schur algebras a special case of our construction gives the schur algebras s n r studied extensively in lo we concentrate here on the schur algebras themselves and show that our construction yields new results in their representation theory by means of the schur functor see 10 chap 6 we obtain new results in the representation theory of the symmetric groups the main results are as follows the schur algebras s n r defined over a principal ideal domain r have finite global dimension see also 1 i over a field or complete valuation ring r every finitely generated projective s n r module has a weyl module filtration we prove the irreducibility of the socle of certain weyl modules see also 15 we describe a connection between weights of projective indecomposable modules for the schur algebras in terms of the involution on irreducible representations of symmetric groups given by tensoring with the sign representation we show that over a complete valuation ring or a field every young module for a symmetric group has a specht series in particular the projective indecomposables have specht series finally we show that for r n and a complete valuation ring or field r the blocks of the schur algebra s n r are given by the rule embodied in nakayama s conjecture the notations and conventions are as in the first part of this work 7

on orthogonal invariants in characteristic 2 abstract working over an algebraically closed base field k of characteristic 2 the ring of invariants r g is studied where g is the orthogonal group o n or the special orthogonal group so n acting naturally on the coordinate ring r of the m fold direct sum k n k n of the standard vector representation it is proved for o 2 o 3 so 3 so 4 and o 4 that there exists an m linear invariant with m arbitrarily large which is not expressible as a polynomial of invariants of lower degree this is in sharp contrast with the uniform description of the ring of invariants valid in all other characteristics and supports the conjecture that the same phenomena occur for all n for general even n new o n invariants are constructed which are not expressible as polynomials of the quadratic invariants in contrast with these results it is shown that rational invariants have a uniform description valid in all characteristics similarly if m n then r o n is generated by the obvious invariants for all n the algebra r g is a finitely generated module over the subalgebra generated by the quadratic invariants and for odd n the square of any so n invariant is a polynomial of the quadratic invariants finally we mention that for even n an n linear so n invariant is given which distinguishes between so n and o n just like the determinant in all characteristics different from 2

bases for coordinate rings of conjugacy classes of nilpotent matrices abstract a general conjecture is given for an explicit basis of the coordinate ring of the closure of the conjugacy class of a nilpotent matrix this conjecture is proven when the partition given by the transpose jordan type of the nilpotent matrix is a hook or has two parts

the frobenius morphism in invariant theory abstract let r be the homogeneous coordinate ring of the grassmannian g gr 2 n defined over an algebraically closed field of characteristic p 0 in this paper we give a completely characteristic free description of the decomposition of r considered as a graded r p module into indecomposables frobenius summands as a corollary we obtain a similar decomposition for the frobenius pushforward of the structure sheaf of g and we obtain in particular that this pushforward is almost never a tilting bundle on the other hand we show that r provides a noncommutative resolution for r p when p n 2 generalizing a result known to be true for toric varieties in both the invariant theory and the geometric setting we observe that if the characteristic is not too small the frobenius summands do not depend on the characteristic in a suitable sense in the geometric setting this is an explicit version of a general result by bezrukavnikov and mirkovic on frobenius decompositions for partial flag varieties we are hopeful that it is an instance of a more general p uniformity principle

a comparison of methods for terminating polynomial iterations abstract three methods of terminating polynomial root finding iterations are compared one based on explicit calculation of rounding errors one based on differences in the iterates and one based on different methods of calculating the polynomial in extensive experiments with randomly generated polynomials it was found that the simplest method based on differences in the iterates usually gives the lowest actual error in the root

cohomology of classical algebraic groups from the functorial viewpoint abstract we prove that extension groups in strict polynomial functor categories compute the rational cohomology of classical algebraic groups this result was previously known only for general linear groups we give several applications to the study of classical algebraic groups such as a cohomological stabilization property the injectivity of external cup products and the existence of hopf algebra structures on the stable cohomology of a classical algebraic group with coefficients in a hopf algebra our result also opens the way to new explicit cohomology computations we give an example inspired by recent computations of djament and vespa

exact bounds for exponential dichotomy roughness iii semistrong dichotomy abstract in this part we extend the results of part i by eliminating the restriction of orthogonality of the unperturbed subspaces or even of a constant angle between them we shall call this case semistrong dichotomy

rings of invariants of 2 2 matrices in positive characteristic abstract we prove that the rings of invariants of 2 2 matrices over an infinite field are cohen macaulay this result generalizes the similar theorem of mehta and ramadas in odd characteristics our approach is more elementary and it uses only some standard facts from the theory of modules with good filtrations and the theory of determinantal rings

transient spectral theory stable and unstable cones and gershgorinʼs theorem for finite time differential equations abstract dynamical behaviour on a compact finite time interval is called monotone hyperbolic or m hyperbolic if there exists an invariant splitting consisting of solutions with monotonically decreasing and increasing norms respectively this finite time hyperbolicity notion depends on the norm for arbitrary norms we prove a spectral theorem based on m hyperbolicity and extend gershgorin s circle theorem to this type of finite time spectrum similarly to stable and unstable manifolds we characterize m hyperbolicity by means of existence of stable and unstable cones these cones can be explicitly computed for d hyperbolic systems with norms induced by symmetric positive definite matrices and also for row diagonally dominant systems with the sup norm thus providing sufficient and computable conditions for m hyperbolicity

strata hasse invariants hecke algebras and galois representations we construct group theoretical generalizations of the hasse invariant on strata closures of the stacks mathop g hbox mathtt zip nolimits mu restricting to zip data of hodge type we obtain a group theoretical hasse invariant on every ekedahl oort stratum closure of a general hodge type shimura variety a key tool is the construction of a stack of zip flags mathop g hbox mathtt zipflag nolimits mu fibered in flag varieties over mathop g hbox mathtt zip nolimits mu it provides a simultaneous generalization of the classical case homogeneous complex manifolds studied by griffiths schmid and the flag space for siegel varieties studied by ekedahl van der geer four applications are obtained 1 pseudo representations are attached to the coherent cohomology of hodge type shimura varieties modulo a prime power 2 galois representations are associated to many automorphic representations with non degenerate limit of discrete series archimedean component 3 it is shown that all ekedahl oort strata in the minimal compactification of a hodge type shimura variety are affine thereby proving a conjecture of oort 4 part of serre s letter to tate on mod p modular forms is generalized to general hodge type shimura varieties

normal forms for nonautonomous differential equations abstract we extend henry poincares normal form theory for autonomous differential equations x f x to nonautonomous differential equations x f t x poincares nonresonance condition j n i 1 l i i 0 for eigenvalues is generalized to the new nonresonance condition j n i 1 l i i for spectral intervals

borg s criterion for almost periodic differential equations borg s criterion is used to prove the existence of an exponentially asymptotically stable periodic orbit of an autonomous differential equation and to determine its domain of attraction in this article this method is generalized to almost periodic differential equations both sufficient and necessary conditions are obtained for the existence of an exponentially stable almost periodic solution the condition uses a riemannian metric and an example for the explicit construction of such a metric is presented

extensions for finite chevalley groups iii rational and generic cohomology abstract let g be a connected reductive algebraic group and b be a borel subgroup defined over an algebraically closed field of characteristic p 0 in this paper the authors study the existence of generic g cohomology and its stability with rational g cohomology groups via the use of methods from the authors earlier work new results on the vanishing of g and b cohomology groups are presented furthermore vanishing ranges for the associated finite group cohomology of g f q are established which generalize earlier work of hiller in addition to stability ranges for generic cohomology which improve on seminal work of cline parshall scott and van der kallen

complexes and vanishing of cohomology for group schemes abstract completely reducible homology complexes were originally introduced in the context of finite groups and used to study the question of vanishing of cohomology in this paper we study these complexes and the vanishing of cohomology for arbitrary finite dimensional cocommutative hopf algebras applications are later provided for infinitesimal group schemes of reductive and solvable algebraic groups

on conjugating representations and adjoint representations of semisimple groups where ea is a direct sum of irreducible g modules of highest weight 2 here we consider the conjugating representation in arbitrary characteristic and prove the appropriate version of richardson s theorem under small and almost certainly unnecessary characteristic root system restrictions one can no longer decompose a g into homogeneous components but instead we prove the existence of an ascending

invariants of quivers under the action of classical groups abstract we consider a generalization of representations of quivers that can be derived from the ordinary representations of quivers by considering a product of arbitrary classical linear groups instead of a product of the general linear groups and by considering the dual action of groups on vertex vector spaces together with the usual action a generating system for the corresponding algebra of invariants is found in particular semi invariants of supermixed representations of quivers are established as a consequence a generating system for the algebra of so n invariants of several matrices is constructed over a field of characteristic different from 2 the proof uses the reduction to semi invariants of mixed representations and the decomposition formula that generalizes amitsur s formula for the determinant

on the concept of stationary lyapunov basis we propose the concept of stationary lyapunov basis the basis of tangent vectors e i x defined at every point x of the attractor of the dynamical system and show that one can reformulate some algorithms for calculation of lyapunov exponents i so that eachi can be treated as the average of a function si x this enables one to use measure averaging in theoretical arguments thus proposing the rigorous basis for a number of ideas for calculation of lyapunov exponents from time series we also study how the lyapunov vectors in benettin s algorithm converge to the stationary basis and show that this convergence rate determines continuity of the field of stationary lyapunov vectors 1998 elsevier science b v

infinitesimal 1 parameter subgroups and cohomology this is the first of two papers in which we determine the spectrum of the cohomology algebra of infinitesimal group schemes over a field k of characteristic p 0 whereas sfb is concerned with detection of cohomology classes the present paper introduces the graded algebra k vr g of functions on the scheme of infinitesimal 1 parameter subgroups of height r on an affine group scheme g and demonstrates that this algebra is essentially a retract of h g k provided that g is an infinitesimal group scheme of height kr this work is a continuation of f s in which the existence of certain universal extension classes was established thereby enabling the proof of finite generation of h g k for any finite group scheme g over k the role of the scheme of infinitesimal 1 parameter subgroups of g was foreshadowed in f p where h g 1 k was shown to be isomorphic to the coordinate algebra of the scheme of p nilpotent elements of g lie g for g a smooth reductive group g 1 the first frobenius kernel of g and p char k sufficiently large indeed p nilpotent elements of g correspond precisely to infinitesimal 1 parameter subgroups of g 1 much of our effort in this present paper involves the analysis of the restriction of the universal extension classes to infinitesimal 1 parameter subgroups in 1 we construct the affine scheme vr g of homomorphisms from ga r to g which we call the scheme of infinitesimal 1 parameter subgroups of height r in g in the special case r 1 this is the scheme of p nilpotent elements of the p restricted lie algebra lie g for various classical groups g vr g is the scheme of r tuples of p nilpotent pairwise commuting elements of lie g more generally an embedding g c gln determines a closed embedding of vr g into the scheme of r tuples of p nilpotent pairwise commuting elements of gl1 lie gln the relationship between k vr g the coordinate algebra of vr g and h g k is introduced in theorem 1 14 a natural homomorphism of graded k algebras

an adaptive method for computing invariant manifolds in non autonomous three dimensional dynamical systems abstract we present a computational method for determining the geometry of a class of three dimensional invariant manifolds in non autonomous aperiodically time dependent dynamical systems the presented approach can be also applied to analyse the geometry of 3d invariant manifolds in three dimensional time dependent fluid flows the invariance property of such manifolds requires that at any fixed time they are given by surfaces in r 3 we focus on a class of manifolds whose instantaneous geometry is given by orientable surfaces embedded in r 3 the presented technique can be employed in particular to compute codimension one invariant stable and unstable manifolds of hyperbolic trajectories in 3d non autonomous dynamical systems which are crucial in the lagrangian transport analysis the same approach can also be used to determine evolution of an orientable material surface in a fluid flow these developments represent the first step towards a non trivial 3d extension of the so called lobe dynamics a geometric invariant manifold based framework which has been very successful in the analysis of lagrangian transport in unsteady two dimensional fluid flows in the developed algorithm the instantaneous geometry of an invariant manifold is represented by an adaptively evolving triangular mesh with piecewise c 2 interpolating functions the method employs an automatic mesh refinement which is coupled with adaptive vertex redistribution a variant of the advancing front technique is used for remeshing whenever necessary such an approach allows for computationally efficient determination of highly convoluted evolving geometry of codimension one invariant manifolds in unsteady three dimensional flows we show that the developed method is capable of providing detailed information on the evolving lagrangian flow structure in three dimensions over long periods of time which is crucial for a meaningful 3d transport analysis

differentiable families of subspaces abstract we show how the differentiable families of subspaces can be studied from a geometrical point of view by means of their representation as a differentiable mapping from the manifold of parameters m into the grassmann manifold gr k n of all k dimensional subspaces of k n and the consideration of principal bundles over gr k n and m in order to achieve this first we present a survey of the topology the differentiable structure and the bundle structure of gr k n in particular we show that the topology induced by the gap metric is equivalent to the usual quotient topology second we use these structures to prove two local characterizations of the differentiability of a family of subspaces and we state that these characterizations can be globalized if m is contractible finally we apply these properties to study the existence of global jordan basis of class c r

definition and properties of lagrangian coherent structures from finite time lyapunov exponents in two dimensional aperiodic flows this paper develops the theory and computation of lagrangian coherent structures lcs which are defined as ridges of finite time lyapunov exponent ftle fields these ridges can be seen as finite time mixing templates such a framework is common in dynamical systems theory for autonomous and time periodic systems in which examples of lcs are stable and unstable manifolds of fixed points and periodic orbits the concepts defined in this paper remain applicable to flows with arbitrary time dependence and in particular to flows that are only defined computed or measured over a finite interval of time previous work has demonstrated the usefulness of ftle fields and the associated lcss for revealing the lagrangian behavior of systems with general time dependence however ridges of the ftle field need not be exactly advected with the flow the main result of this paper is an estimate for the flux across an lcs which shows that the flux is small and in most cases negligible for well defined lcss or those that rotate at a speed comparable to the local eulerian velocity field and are computed from ftle fields with a sufficiently long integration time under these hypotheses the structures represent nearly invariant manifolds even in systems with arbitrary time dependence the results are illustrated on three examples the first is a simplified dynamical model of a double gyre flow the second is surface current data collected by high frequency radar stations along the coast of florida and the third is unsteady separation over an airfoil in all cases the existence of lcss governs the transport and it is verified numerically that the flux of particles through these distinguished lines is indeed negligible

modular representation theory of lie algebras on etudie les representations non necessairement restreintes de l algebre universelle enveloppante u 7b g pour une algebre de lie restreinte 7b g

support varieties for modules over chevalley groups and classical lie algebras let g be a connected reductive algebraic group over an algebraically closed field of characteristic p 0 g 1 be the first frobenius kernel and g f p be the corresponding finite chevalley group let m be a rational g module in this paper we relate the support variety of m over the first frobenius kernel with the support variety of m over the group algebra kg f p this provides an answer to a question of parshall applications of our new techniques are presented which allow us to extend results of alperin mason and janiszczak jantzen and to calculate the dimensions of support varieties for finite chevalley groups

a note on the adjoint action of a semisimple group on the coordinate algebra of an infinitesimal subgroup abstract let g be a connected semisimple simply connected algebraic group over an algebraically closed field k of positive characteristic the action of g on itself by conjugation induces on the coordinate algebra k g and hence on the coordinate algebra k g r of the infinitesimal subgroup g r the structure of a rational g module in the recent paper 3 by bendel nakano pillen and sobaje the authors ask whether the tensor product of k g r with the rth steinberg module st r has a good filtration here we show that this is the case provided that the characteristic of k is good for g we do so by relating k g r to a certain quotient of the coordinate algebra k g of the lie algebra g of g and using a koszul resolution we note that the argument may also be applied to certain polynomial modules occurring in the context of doty s conjecture 17 4 2 11

generating invariant rings of quivers in arbitrary characteristic abstract it is well known that the ring of polynomial invariants of a reductive group is finitely generated however it is difficult to give strong upper bounds on the degrees of the generators especially over fields of positive characteristic in this paper we make use of the theory of good filtrations along with recent results on the null cone to provide polynomial bounds for matrix semi invariants in arbitrary characteristic and consequently for matrix invariants our results generalize to invariants and semi invariants of quivers