On Euler characteristic of equivariant sheaves

Let k be an algebraically closed field of characteristic p>0 and let ? be another prime number. Gabber and Looser proved that for any algebraic torus T over k and any perverse ?-adic sheaf on T the Euler characteristic is non-negative.We conjecture that the same result holds for any perverse sheaf on a reductive group G over k which is equivariant with respect to the adjoint action. We prove the conjecture when is obtained by Goresky-MacPherson extension from the set of regular semi-simple elements in G. From this we deduce that the conjecture holds for G of semi-simple rank 1.     

Density of vector bundles periodic under the action of Frobenius

Let X be a proper and smooth curve of genus g?2 over an algebraically closed field k of positive characteristic. If , it follows from Hrushovski's work on the geometry of difference schemes that the set of rank r vector bundles with trivial determinant over X that are periodic under the action of Frobenius is dense in the corresponding moduli space. Using the equivalence between Frobenius periodicity of a stable vector bundle and its triviality after pull-back by some finite étale cover of X (due to Lange and Stuhler) on the one hand, and specialization of the fundamental group on the other hand, we prove that the same result holds for any algebraically closed field of positive characteristic.     

Reduction of structure group of pullbacks of semistable principal bundles

Let C be an irreducible smooth projective curve defined over an algebraically closed field k. Let G be a semisimple linear algebraic group defined over the field k and P⊂G a proper parabolic subgroup. Fix a strictly anti-dominant character χ of P. Let EG be a semistable principal G-bundle over C. If the characteristic of k is positive, then EG is assumed to be strongly semistable. Take any real number ?>0. Then there is an irreducible smooth projective curve defined over k, a nonconstant morphism

     

Restriction theorems for homogeneous bundles

We prove that for an irreducible representation , the associated homogeneous -vector bundle Wτ is strongly semistable when restricted to any smooth quadric or to any smooth cubic in , where k is an algebraically closed field of characteristic ≠2,3 respectively. In particular Wτ is semistable when restricted to general hypersurfaces of degree?2 and is strongly semistable when restricted to the generic hypersurface of degree?2.     

On the Spaltenstein correspondence

In the article [Spa1], N. Spaltenstein has established a bijection between the irreducible components of _χ, the space of full flags fixed by a nilpotent element χ ? M(n, k), where k is an algebraically closed field, and the standard tableaux associated to the Young diagram of χ. In this present work we determine, when χ is of hook type, for each irreducible component X of _χ, the unique Schubert cell _X of the full flag manifold = (V) (where V is vector space of dimension n over k), such that X ∩ _X is a dense subspace in X. This result will allow us to optimize the computation of _χ and when k = is the complex field, to see that the graph resolution of the partition (2, 1, …, 1) of n is related to the Dynkin diagram of sl(n, ).     

On pairs of commuting derivations of the polynomial ring in one or two variables

It is well known that each pair of commuting linear operators on a finite dimensional vector space over an algebraically closed field has a common eigenvector. We prove an analogous statement for derivations of k[x] and k[x,y] over any field k of zero characteristic. In particular, if D₁ and D₂ are commuting derivations of k[x,y] and they are linearly independent over k, then either (i) they have a common polynomial eigenfunction; i.e., a nonconstant polynomial f∈k[x,y] such that D₁(f)=λf and D₂(f)=μf for some λ,μ∈k[x,y], or (ii) they are Jacobian derivations

     

Colouring games on outerplanar graphs and trees

Let f be a graph function which assigns to each graph H a non-negative integer f(H)≤|V(H)|. The f-game chromatic number of a graph G is defined through a two-person game. Let X be a set of colours. Two players, Alice and Bob, take turns colouring the vertices of G with colours from X. A partial colouring c of G is legal (with respect to graph function f) if for any subgraph H of G, the sum of the number of colours used in H and the number of uncoloured vertices of H is at least f(H). Both Alice and Bob must colour legally (i.e., the partial colouring produced needs to be legal). The game ends if either all the vertices are coloured or there are uncoloured vertices with no legal colour. In the former case, Alice wins the game. In the latter case, Bob wins the game. The f-game chromatic number of G, χ_g(f,G), is the least number of colours that the colour set X needs to contain so that Alice has a winning strategy. Let be the graph function defined as , for any n≥3 and otherwise. Then is called the acyclic game chromatic number of G. In this paper, we prove that any outerplanar graph G has acyclic game chromatic number at most 7. For any integer k, let ?_k be the graph function defined as ?_k(K₂)=2 and ?_k(P_k)=3 (P_k is the path on k vertices) and ?_k(H)=0 otherwise. This paper proves that if k≥8 then for any tree T, χ_g(?_k,T)≤9. On the other hand, if k≤6, then for any integer n, there is a tree T such that χ_g(?_k,T)≥n.     

On a conjecture regarding the extrema of Bessel functions and its generalization

It was conjectured by Á. Elbert in J. Comput. Appl. Math. 133 (2001) 65-83 that, given two consecutive real zeros of a Bessel function of order ν, j_ν,κ and j_ν,κ+1, the zero of the derivative between such two zeros j_ν,κ′ satisfies . We prove that this inequality holds for any Bessel function of any real order. In addition to these lower bounds, upper bounds are obtained. In this way we bracket the zeros of the derivative. It is discussed how similar relations can be obtained for other special functions which are solutions of a second order ODE; in particular, the case of the zeros of is considered.     

Etingof-Kazhdan quantization of Lie superbialgebras

For every semi-simple Lie algebra g one can construct the Drinfeld-Jimbo algebra . This algebra is a deformation Hopf algebra defined by generators and relations. To study the representation theory of , Drinfeld used the KZ-equations to construct a quasi-Hopf algebra Ag. He proved that particular categories of modules over the algebras and Ag are tensor equivalent. Analogous constructions of the algebras and Ag exist in the case when g is a Lie superalgebra of type A-G. However, Drinfeld's proof of the above equivalence of categories does not generalize to Lie superalgebras. In this paper, we will discuss an alternate proof for Lie superalgebras of type A-G. Our proof utilizes the Etingof-Kazhdan quantization of Lie (super)bialgebras. It should be mentioned that the above equivalence is very useful. For example, it has been used in knot theory to relate quantum group invariants and the Kontsevich integral.     

Verma modules over generalized Virasoro algebras Vir[G]

Let F be a field of characteristic 0, not necessarily algebraically closed, and G be an additive subgroup of F. For any total order on G which is compatible with the group addition, and for any , a Verma module over the generalized Virasoro algebra Vir[G] is defined. In the present paper, the irreducibility of Verma modules is completely determined.     

Algebraic independence of the values of Mahler functions associated with a certain continued fraction expansion

It is proved that the function , which can be expressed as a certain continued fraction, takes algebraically independent values at any distinct nonzero algebraic numbers inside the unit circle if the sequence {R_k}_k?0 is the generalized Fibonacci numbers.     

Rank varieties for a class of finite-dimensional local algebras

We develop a rank variety for finite-dimensional modules over a certain class of finite-dimensional local k-algebras, . Included in this class are the truncated polynomial algebras , with k an algebraically closed field and arbitrary. We prove that these varieties characterise projectivity of modules (Dade’s lemma) and examine the implications for the tree class of the stable Auslander-Reiten quiver. We also extend our rank varieties to infinitely generated modules and verify Dade’s lemma in this context.     

Covers of algebraic varieties V: Examples of covers of degree 8 and 9 as catalecticant loci

Let Y be an irreducible, noetherian, separated scheme over an algebraically closed field k. A cover is flat and finite morphism, its degree being d?[k(X):k(Y)]. In this paper we give some new methods for constructing covers of degree d=8,9.     

Images of locally finite derivations of polynomial algebras in two variables

In this paper we show that the image of any locally finite k-derivation of the polynomial algebra k[x,y] in two variables over a field k of characteristic zero is a Mathieu subspace. We also show that the two-dimensional Jacobian conjecture is equivalent to the statement that the image of every k-derivation D of k[x,y] such that and is a Mathieu subspace of k[x,y].     

Invariant hypersurfaces for derivations in positive characteristic

Let A be an integral k-algebra of finite type over an algebraically closed field k of characteristic p>0. Given a collection D of k-derivations on A, that we interpret as algebraic vector fields on , we study the group spanned by the hypersurfaces V(f) of X invariant under D modulo the rational first integrals of D. We prove that this group is always a finite dimensional F_p-vector space, and we give an estimate for its dimension. This is to be related to the results of Jouanolou and others on the number of hypersurfaces invariant under a foliation of codimension 1. As a application, given a k-algebra B between A^p and A, we show that the kernel of the pull-back morphism is a finite F_p-vector space. In particular, if A is a UFD, then the Picard group of B is finite.     

Monoid generalizations of the Richard Thompson groups

The groups G_k,1 of Richard Thompson and Graham Higman can be generalized in a natural way to monoids, that we call M_k,1, and to inverse monoids, called ; this is done by simply generalizing bijections to partial functions or partial injective functions. The monoids M_k,1 have connections with circuit complexity (studied in other papers). Here we prove that M_k,1 and are congruence-simple for all k. Their Green relations J and D are characterized: M_k,1 and are J-0-simple, and they have k−1 non-zero D-classes. They are submonoids of the multiplicative part of the Cuntz algebra O_k. They are finitely generated, and their word problem over any finite generating set is in P. Their word problem is coNP-complete over certain infinite generating sets.     

Localization and duality in topology and modular representation theory

We develop a duality theory for localizations in the context of ring spectra in algebraic topology. We apply this to prove a theorem in the modular representation theory of finite groups.Let G be a finite group and k be an algebraically closed field of characteristic p. If p is a homogeneous nonmaximal prime ideal in H^∗(G,k), then there is an idempotent module κ_p which picks out the layer of the stable module category corresponding to p, and which was used by Benson, Carlson and Rickard [D.J. Benson, J.F. Carlson, J. Rickard, Thick subcategories of the stable module category, Fund. Math. 153 (1997) 59-80] in their development of varieties for infinitely generated kG-modules. Our main theorem states that the Tate cohomology is a shift of the injective hull of H^∗(G,k)/p as a graded H^∗(G,k)-module. Since κ_p can be constructed using a version of the stable Koszul complex, this can be viewed as a statement of localized Gorenstein duality in modular representation theory. Various consequences of this theorem are given, including the statement that the stable endomorphism ring of the module κ_p is the p-completion of cohomology , and the statement that κ_p is a pure injective kG-module.In the course of proving the theorem, we further develop the framework introduced by Dwyer, Greenlees and Iyengar [W.G. Dwyer, J.P.C. Greenlees, S. Iyengar, Duality in algebra and topology, Adv. Math. 200 (2006) 357-402] for translating between the unbounded derived categories and . We also construct a functor to the full stable module category, which extends the usual functor and which preserves Tate cohomology. The main theorem is formulated and proved in , and then translated to and finally to .The main theorem in can be viewed as stating that a version of Gorenstein duality holds after localizing at a prime ideal in H^∗(BG;k). This version of the theorem holds more generally for a compact Lie group satisfying a mild orientation condition. This duality lies behind the local cohomology spectral sequence of Greenlees and Lyubeznik for localizations of H^∗(BG;k).In a companion paper [D.J. Benson, Idempotent kG-modules with injective cohomology, J. Pure Appl. Algebra 212 (7) (2008) 1744-1746], a more recent and shorter proof of the main theorem is given. The more recent proof seems less natural, and does not say anything about localization of the Gorenstein condition for compact Lie groups.     

Classification of quasifinite modules over the Lie algebras of Weyl type

For a nondegenerate additive subgroup Γ of the n-dimensional vector space over an algebraically closed field of characteristic zero, there is an associative algebra and a Lie algebra of Weyl type spanned by all differential operators uD₁^m₁?D_n^m_n for (the group algebra), and m₁,…,m_n?0, where D₁,…,D_n are degree operators. In this paper, it is proved that an irreducible quasifinite -module is either a highest or lowest weight module or else a module of the intermediate series; furthermore, a classification of uniformly bounded -modules is completely given. It is also proved that an irreducible quasifinite -module is a module of the intermediate series and a complete classification of quasifinite -modules is also given, if Γ is not isomorphic to .