SearcharxivSearch

arXiv subjects

Pierre-Yves Gaillard

Publications and source records attributed to Pierre-Yves Gaillard.

15 recordsLinked to original sources

Introduction to the Alexandru Conjecture

Is a Verma module transformed into another Verma module by a selfequivalence? The answer is affirmative and the proof suggests a notion of standard object in the category of Harish-Chandra modules that coincides often, but not always, with the usual one.

math.RT

Statement of the Alexandru Conjecture

The Vogan Conjectures (sometimes called Kazhdan-Lusztig Conjectures) say that a certain algorithm works both on the category of BGG modules and on the category of Harish-Chandra modules. The Alexandru Conjecture tries to uncover the general property common to these two categories which makes Vogan's algorithm work.

math.RT

A simple question about a complicated object

Let n and k be positive integers with and k < n. Then of course SU(k,1) is contained into SU(n,1). Moreover, which is less clear - but proved by Khoroshkin -, the representation theory of SU(k,1) at the generalized infinitesimal character of the trivial module can be fully (and even Ext-fully) embedded into that of SU(n,1). Here is the obvious bet: This embedding is implemented by the cohomological induction functor. I conjecture that a similar phenomenon occurs whenever SU(k,1) is a Levi factor of a theta stable parabolic subalgebra of a reductive group.

math.RT

A naive question about quantum groups

The category O of BGG can be thought of as a category of sheaves over the flag variety F in the sense that the algebra E of self-extensions of the trivial object of O is isomorphic to the cohomology algebra of the flag variety. A deformation of O' - giving rise to a "new" algebra E' - can be thought of as a (possibly noncommutative) deformation F' of F. The mythic variety F', being a deformation of F, should have the same homotopy type as F, and E' should therefore be isomorphic to E.

math.QA

Hurwitz's Freeness Property

The groupoid attached to the action of PSL(2,Z) on the irrational reals by linear fractional transformations is free.

math.GM

The Gauss-Dirichlet Orbit Number

Dirichlet computed in some particular cases the number of equivalence classes of representations of a nonzero integer by a representative system for the integral binary quadratic forms of a given discriminant. We complete this computation.

math.GM

A Hodge Theorem for Noncompact Manifolds

If M is a riemannian manifold, then the inclusion of the complex of coclosed harmonic forms into the de Rham complex induces a linear isomorphism in cohomology. If M has at most countably many connected components, this linear isomorphism is a Frechet isomorphism.

math.DG

Integral Congruences

To each i, j belonging to some set of integers, attach the integer a(i,j). Are there integers x(i) such that x(j)-x(i) is congruent to a(i,j) mod (i,j)? A necessary condition is that a(i,j)+a(j,k) be congruent to a(i,k) mod (i,j,k). This condition is sufficient.

math.NT

Grothendieck categories and support conditions

We give examples of pairs (G1,G2) where G1 is a Grothendieck category and G2 a full Grothendieck subcategory of G1, the inclusion G2 --> G1 being denoted i, for which R^+i : D^+G2 --> D^+G1 (or even Ri : DG2 --> DG1) is a full embedding. This yields generalizations of some results of Bernstein and Lunts, and of Cline, Parshall and Scott.

math.CT

Matrix exponentials

We give a formula for matrix exponentials and partial fraction decompositions.

math.GM