Broue's Conjecture for the Hall-Janko Group and its Double Cover

Broué's abelian defect conjecture suggests a deep linkbetween the module categories of a block of a group algebraand its Brauer correspondent, viz. that they should be derivedequivalent. We are able to verify Broué's conjecturefor the Hall–Janko group, even its double cover 2.J₂,as well as for U₃(4) and Sp₄(4). In fact we verify Rickard'srefinement to Broué's conjecture and show that the derivedequivalence can be chosen to be a splendid equivalence for theseexamples. 2000 Mathematical Subject Classification: 20C20, 20C34.     

Relative K0, Annihilators, Fitting Ideals and Stickelberger Phenomena

When G is abelian and l is a prime we show how elements of therelative K-group K₀(Z_l[G], Q_l give rise to annihilator/Fittingideal relations of certain associated Z[G]-modules. Examplesof this phenomenon are ubiquitous. Particularly, we give examplesin which G is the Galois group of an extension of global fieldsand the resulting annihilator/Fitting ideal relation is closelyconnected to Stickelberger's Theorem and to the conjecturesof Coates and Sinnott, and Brumer. Higher Stickelberger idealsare defined in terms of special values of L-functions; whenthese vanish we show how to define fractional ideals, generalisingthe Stickelberger ideals, with similar annihilator properties.The fractional ideal is constructed from the Borel regulatorand the leading term in the Taylor series for the L-function.En route, our methods yield new proofs, in the case of abeliannumber fields, of formulae predicted by Lichtenbaum for theorders of K-groups and étale cohomology groups of ringsof algebraic integers. 2000 Mathematics Subject Classification11G55, 11R34, 11R42, 19F27.     

Théorie de Lubin-Tate non-abélienne et représentations elliptiques

Non abelian Lubin–Tate theory studies the cohomology of some moduli spaces for p-divisible groups, the broadest definition of which is due to Rapoport–Zink, aiming both at providing explicit realizations of local Langlands functoriality and at studying bad reduction of Shimura varieties. In this paper we consider the most famous examples ; the so-called Drinfeld and Lubin–Tate towers. In the Lubin–Tate case, Harris and Taylor proved that the supercuspidal part of the cohomology realizes both the local Langlands and Jacquet–Langlands correspondences, as conjectured by Carayol. Recently, Boyer computed the remaining part of the cohomology and exhibited two defects : first, the representations of GL _d which appear are of a very particular and restrictive form ; second, the Langlands correspondence is not realized anymore. In this paper, we study the cohomology complex in a suitable equivariant derived category, and show how it encodes Langlands correspondence for elliptic representations. Then we transfer this result to the Drinfeld tower via an enhancement of a theorem of Faltings due to Fargues. We deduce that Deligne’s weight-monodromy conjecture is true for varieties uniformized by Drinfeld’s coverings of his symmetric spaces. This completes the computation of local L-factors of some unitary Shimura varieties.     

The Global Mckay-Ruan Correspondence Via Motivic Integration

The purpose of this paper is to show how the methods of motivicintegration of Kontsevich, Denef–Loeser (Invent. Math.135 (1999) 201–232 and Compositio Math. 131 (2002) 267–290)and Looijenga (Astérisque 276 (2002) 267–297) canbe adapted to prove the McKay–Ruan correspondence, a generalizationof the McKay–Reid correspondence to orbifolds that arenot necessarily global quotients. 2000 Mathematics Subject Classification14A20, 14E15, 14F43.     

On the non-existence of exceptional automorphisms on Shimura curves

We study the group of automorphisms of Shimura curves X₀(D,N) attached to an Eichler order of square-free level N in anindefinite rational quaternion algebra of discriminant D>1.We prove that, when the genus g of the curve is greater thanor equal to 2, Aut (X₀(D, N)) is a 2-elementary abelian groupwhich contains the group of Atkin–Lehner involutions W₀(D,N) as a subgroup of index 1 or 2. It is conjectured that Aut(X₀(D, N))=W₀(D, N) except for finitely many values of (D, N)and we provide criteria that allow us to show that this is indeedoften the case. Our methods are based on the theory of complexmultiplication of Shimura curves and the Cerednik–Drinfeldtheory on their rigid analytic uniformization at primes p| D.     

Hybrid polynomial approximation to higher derivatives of rational curves

In this paper, we extend the results published in JCAM volume 214 pp. 163-174 in 2008. Based on the bound estimates of higher derivatives of both Bernstein basis functions and rational Bézier curves, we prove that for any given rational Bézier curve, if the convergence condition of the corresponding hybrid polynomial approximation is satisfied, then not only the l-th (l=1,2,3) derivatives of its hybrid polynomial approximation curve uniformly converge to the corresponding derivatives of the rational Bézier curve, but also this conclusion is tenable in the case of any order derivative. This result can expand the area of applications of hybrid polynomial approximation to rational curves in geometric design and geometric computation.     

Connected Lie Groups that Act Freely on a Product of Linear Spheres

In this note we prove that a compact connected Lie group G admitsa free action on some product of linear spheres if and onlyif it is isomorphic to (T^k x SU(2)^l)/Z for some k and l andfor some central elementary abelian 2-subgroup Z with Z SU(2)M^l= 1.     

The spine of a Fourier-Stieltjes algebra

We define the spine A *(G) of the Fourier–Stieltjes algebraB (G) of a locally compact group G. This algebra encodes informationabout much of the fine structure of B (G), particularly informationabout certain homomorphisms and idempotents. We show that A *(G) is graded over a certain semi-lattice, thatof non-quotient locally precompact topologies on G. We computethe spine's spectrum G*, which admits a semi-group structure.We discuss homomorphisms from A *(G) to B (H) where H is anotherlocally compact group; and we show that A *(H) contains theimage of every completely bounded homomorphism from the Fourieralgebra A (H) of any amenable group G. We also show that A *(G)contains all of the idempotents in B (G). Finally, we computeexamples for vector groups, abelian lattices, minimally almostperiodic groups and the (ax + b)-group; and we explore the complexityof A *(G) for the discrete rational numbers and free groups.     

Splendid Derived Equivalences for Blocks of Finite Groups

A central issue in finite group modular representation theoryis the relationship between the p-local structure and the p-modularrepresentation theory of a given finite group. In [5], Brouéposes some startling conjectures. For example, he conjecturesthat if e is a p-block of a finite group G with abelian defectgroup D and if f is the Brauer correspondent block of e of thenormalizer, N_G(D), of D then e and f have equivalent derivedcategories over a complete discrete valuation ring with residuefield of characteristic p. Some evidence for this conjecturehas been obtained using an important Morita analog for derivedcategories of Rickard [11]. This result states that the existenceof a tilting complex is a necessary and sufficient conditionfor the equivalence of two derived categories. In [5], Brouéalso defines an equivalence on the character level between p-blockse and f of finite groups G and H that he calls a ‘perfectisometry’ and he demonstrates that it is a consequenceof a derived category equivalence between e and f. In [5], Brouéalso poses a corresponding perfect isometry conjecture betweena p-block e of a finite group G with an abelian defect groupD and its Brauer correspondent p-block f of N_G(D) and presentsseveral examples of this phenomena. Subsequent research hasprovided much more evidence for this character-level conjecture. In many known examples of a perfect isometry between p-blockse, f of finite groups G, H there are also perfect isometriesbetween p-blocks of p-local subgroups corresponding to e andf and these isometries are compatible in a precise sense. In[5], Broué calls such a family of compatible perfectisometries an ‘isotypy’. In [11], Rickard addresses the analogous question of defininga p-locally compatible family of derived equivalences. In thisimportant paper, he defines a ‘splendid tilting complex’for p-blocks e and f of finite groups G and H with a commonp-subgroup P. Then he demonstrates that if X is such a splendidtilting complex, if P is a Sylow p-subgroup of G and H and ifG and H have the same ‘p-local structure’, thenp-local splendid tilting complexes are obtained from X via theBrauer functor and ‘lifting’. Consequently, in thissituation, we obtain an isotypy when e and f are the principalblocks of G and H. Linckelmann [9] and Puig [10] have also obtained important resultsin this area. In this paper, we refine the methods and program of [11] toobtain variants of some of the results of [11] that have widerapplicability. Indeed, suppose that the blocks e and f of Gand H have a common defect group D. Suppose also that X is asplendid tilting complex for e and f and that the p-local structureof (say) H with respect to D is contained in that of G, thenthe Brauer functor, lifting and ‘cutting’ by blockindempotents applied to X yield local block tilting complexesand consequently an isotypy on the character level. Since thep-local structure containment hypothesis is satisfied, for example,when H is a subgroup of G (as is the case in Broué'sconjectures) our results extend the applicability of these ideasand methods.     

Global Jacquet–Langlands correspondence,multiplicity one and classification of automorphic representations

In this paper we generalize the local Jacquet-Langlands correspondence to all unitary irreducible representations. We prove the global Jacquet-Langlands correspondence in characteristic zero. As consequences we obtain the multiplicity one and strong multiplicity one Theorems for inner forms of GL(n) as well as a classification of the residual spectrum and automorphic representations in analogy with results proved by Mœglin–Waldspurger and Jacquet–Shalika for GL(n).     

ASYMPTOTICALLY LINEAR ELLIPTIC PROBLEM ON RN

In this paper, we consider the following semilinear ellipticproblem: where f(x, t) tends to p(x) and q(x) L(^N), respectively, ast 0 and t +. We prove that there exist two numbers l and Lwith L < l such that problem (P) has at least one positivesolution for (– l, –L) and has no positive solutionfor all [–l,–L]. The existence and non-existenceof positive solutions for problem (P) at = –l and =–L are also discussed.     

Q-Curves and Abelian Varieties of GL2-Type

The relation between Q-curves and certain abelian varietiesof GL₂-type was established by Ribet (‘Abelian varietiesover Q and modular forms’, Proceedings of the KAIST MathematicsWorkshop (1992) 53–79) and generalized to building blocks,the higher-dimensional analogues of Q-curves, by Pyle in herPhD Thesis (University of California at Berkeley, 1995). Inthis paper we investigate some aspects of Q-curves with no complexmultiplication and the corresponding abelian varieties of GL₂-type,for which we mainly use the ideas and techniques introducedby Ribet (op. cit. and ‘Fields of definition of abelianvarieties with real multiplication’, Contemp.\ Math. 174(1994) 107–118). After the Introduction, in Sections 2and 3 we obtain a characterization of the fields where a Q-curveand all the isogenies between its Galois conjugates can be definedup to isogeny, and we apply it to certain fields of type (2,...,2).In Section 4 we determine the endomorphism algebras of all theabelian varieties of GL₂-type having as a quotient a given Q-curvein easily computable terms. Section 5 is devoted to a particularcase of Weil's restriction of scalars functor applied to a Q-curve,in which the resulting abelian variety factors over Q up toisogeny as a product of abelian varieties of GL₂-type. Finally,Section 6 contains examples: we parametrize the Q-curves comingfrom rational points of the modular curves X*N having genuszero, and we apply the results of Sections 2–5 to someof the curves obtained. We also give results concerning theexistence of quadratic Q-curves. 1991 Mathematics Subject Classification:primary 11G05; secondary 11G10, 11G18, 11F11, 14K02.     

Densities for Ornstein-Uhlenbeck processes with jumps

We consider an Ornstein–Uhlenbeck process with valuesin ⁿ driven by a Lévy process (Z_t) taking values in ^dwith d possibly smaller than n. The Lévy noise can havea degenerate or even vanishing Gaussian component. Under a controllabilityrank condition and a mild assumption on the Lévy measureof (Z_t), we prove that the law of the Ornstein–Uhlenbeckprocess at any time t > 0 has a density on ⁿ. Moreover, whenthe Lévy process is of -stable type, (0, 2), we showthat such density is a C-function.     

Quadratisation de Certaines Structures de Poisson

On sait associer à certaines structures de Poisson surRⁿ, de 1-jet nul en 0, des actions de R² sur Rⁿ, donnéespar le ‘rotationnel’ de leur partie quadratiqueet un autre champ de vecteurs. Lorsque ces actions sont ‘nonrésonantes’ et ‘hyperboliques’, onmontre que ces structures sont ‘quadratisables’,en ce sens qu'il existe des coordonnées dans lesquelles,elles sont quadratiques. Dans le cas de la dimension 3, nosrésultats mènent à la ‘non-dégénérescence’générique des structures de Poisson quadratiquesà rotationnels inversibles. We can associate with some Poisson structures defined on Rⁿwith a zero 1-jet at zero, actions from R² on Rⁿ, given by the‘curl’ of their quadratic part and another vectorfield. Assuming that those actions are ‘hyperbolics’and without ‘resonances’, we give a normal formfor those structures. On R³, we prove that every quadratic Poissonstructure with invertible curl, is generically ‘non degenerate’.     

Existence results for rational normal curves

In this paper we study existence of rational normal curves inⁿ passing through p points and intersecting l codimension-twolinear spaces in n – 1 points each. If p + l = n + 3 andthe points and the linear spaces are general, then one expectsthe curve to exist, but this is not always the case. For p >0, our main result precisely describes in which cases the curveexists and in which it does not exist. Moreover, when thereis existence we also show that the curve is unique.     

Geometrical Spines of Lens Manifolds

We introduce the concept of ‘geometrical spine’for 3-manifolds with natural metrics, in particular, for lensmanifolds. We show that any spine of L_p,q that is close enoughto its geometrical spine contains at least E(p,q) – 3vertices, which is exactly the conjectured value for the complexityc(L_p,q). As a byproduct, we find the minimal rotation distance(in the Sleator–Tarjan–Thurston sense) between atriangulation of a regular p-gon and its image under rotation.     

Matroids and quotients of spheres

For any linear quotient of a sphere, where is an elementary abelian p–group, there is a corresponding representable matroid which only depends on the isometry class of X. When p is 2 or 3 this correspondence induces a bijection between isometry classes of linear quotients of spheres by elementary abelian p–groups, and matroids representable over Not only do the matroids give a great deal of information about the geometry and topology of the quotient spaces, but the topology of the quotient spaces point to new insights into some familiar matroid invariants. These include a generalization of the Crapo–Rota critical problem inequality and an unexpected relationship between and whether or not the matroid is affine. Received: 7 February 2001; in final form: 30 October 2001/ Published online: 29 April 2002     

Some remarks on almost l-groups

The divisibility group of every Bézout domain is an abelian l-group. Conversely, Jaffard, Kaplansky, and Ohm proved that each abelian l-group can be obtained in this way, which generalizes Krull’s theorem for abelian linearly ordered groups. Dumitrescu, Lequain, Mott, and Zafrullah [3] proved that an integral domain is almost GCD if and only if its divisibility group is an almost l-group. Then they asked whether the Krull-Jaffard-Kaplansky-Ohm theorem on l-groups can be extended to the framework of almost l-groups, and asked under what conditions an almost l-group is lattice-ordered [3, Questions 1 and 2]. This note answers the two questions. Received: 29 April 2008     

Duality involving the mock theta function f(q)

We show that the coefficients of Ramanujan's mock theta functionf(q) are the first non-trivial coefficients of a canonical sequenceof modular forms. This fact follows from a duality which equatescoefficients of the holomorphic projections of certain weight1/2 Maass forms with coefficients of certain weight 3/2 modularforms. This work depends on the theory of Poincaré series,and a modification of an argument of Goldfeld and Sarnak onKloosterman–Selberg zeta functions.