On étudie la notion de trace et les problèmes d'Abel-inverse à<br />l'aide du calcul résiduel dans les cadres projectifs et toriques.<br />Dans la première partie, on obtient une caractérisation algébrique des formes traces sur une hypersurface analytique à l'aide du calcul résiduel élémentaire d'une variable. En conséquence, une version plus forte du théorème d'Abel-inverse de Henkin et Passare est prouvée. On montre que ce théorème est conséquence de la rigidité d'un système différentiel particulier lié à une équation de type ”onde de choc” et on établit le lien avec le théorème de Wood sur l'algébricité d'une famille de germes d'hypersurfaces analytiques. Enfin, on obtient une nouvelle méthode pour calculer la dimension de l'espace des formes abéliennes de degré maximal sur une hypersurface projective.<br />Dans la seconde partie, on caractérise de manière combinatoire les familles de fibrés en droites permettant de définir une notion intrinsèque de concavité dans une variété torique complète lisse et on étudie les ensembles analytiques dégénérés correspondants. On étend ainsi la notion de trace au cas torique. Courants résidus, résidus toriques et résultants donnent une borne optimale sur le degrés des traces en les différents paramètres. Si la variété torique est projective, on obtient finalement une version torique des théorèmes de Wood et d'Abel-inverse, permettant une description plus précise du support du polynôme construit dans le cas hypersurface.

The present thesis consists of four research papers. Each article deals with quan- tifications of certain properties of Banach spaces. The first paper is devoted to the Grothendieck property. The main result is that the space ∞ enjoys its quan- titative version. The second paper investigates quantifications of the Banach- Saks and the weak Banach-Saks property. The relationship of compact, weakly compact, Banach-Saks, and weak Banach-Saks sets is quantified, as well as some characterizatons of weak Banach-Saks sets. In the third article we discuss possible quantifications of Pelczy'nski's property (V), their characterizations and relations to quantitative versions of other properties of Banach spaces. The last paper is a continuation of the third one. We prove that C∗ -algebras have a quantita- tive version of the property (V), which generalizes one of the results obtained in the previous paper. Moreover, we establish a relationship between quantita- tive versions of the property (V) and the Grothendieck property in dual Banach spaces. 1

The Grothendieck group is an interesting invariant of an exact category. It induces a decategorication from the category of essentially small exact categories (whose morphisms are exact functors) to the category of abelian groups. Similarly, the triangulated Grothendieck group induces a decategorication from the category of essentially small triangulated categories (whose morphisms are triangulated functors) to the category of abelian groups. In the case of an essentially small abelian category, its Grothendieck group and the triangulated Grothendieck group of its bounded derived category are isomorphic as groups via a natural map. Because of this, homological algebra and derived functors become useful in surprising ways. This thesis is an expository work that provides an overview of the theory of Grothendieck groups with respect to these decategorications.

Approximation theory is a fundamental tool in order to study the representation theory of a ring R. Roughly speaking, it consists in determining suitable additive or abelian subcategories of the whole module category Mod-R with nice enough functorial properties. For example, torsion theory is a well suited incarnation of approximation theory. Of course, such an idea has been generalised to the additive setting itself, so that both Mod-R and other interesting categories related with R may be linked functorially. By the seminal work of Beilinson, Bernstein and Deligne (1982), the derived category of the ring turns out to admit useful torsion theories, called t-structures: they are pairs of full subcategories of D(R) whose intersection, called the heart, is always an abelian category. The so-called standard t-structure of D(R) has as its heart the module category Mod-R itself. Since then a lot of results devoted to the module theoretic characterisation of the hearts have been achieved, providing evidence of the usefulness of the t-structures in the representation theory of R. In 2020, following a research line promoted by many other authors, Saorin and Stovicek proved that the heart of any compactly generated t-structure is always a locally finitely presented Grothendieck categories (actually, this is true for any t-structure in a triangulated category with coproducts). Essentially, this means that the hearts of D(R) come equipped with a finiteness condition miming that one valid in Mod-R. In the present thesis we tackle the problem of characterising when the hearts of certain compactly generated t-structures of a commutative ring are even locally coherent. In this commutative context, after the works of Neeman and Alonso, Jeremias and Saorin, compactly generated t-structures turned out to be very interesting over a noetherian ring, for they are in bijection with the Thomason filtrations of the prime spectrum. In other words, they are classified by geometric objects, moreover their constituent subcategories have a precise cohomological description. However, if the ascending chain condition lacks, such classification is somehow partial, though provided by Hrbek. The crucial point is that the constituents of the t-structures have a different description w.r.t. that available in the noetherian setting, yet if one copies the latter for an arbitrary ring still obtains a t-structure, but it is not clear whether it must be compactly generated. Consequently, pursuing the study of the local coherence of the hearts given by a Thomason filtration, we ended by considering two t-structures. Our technique in order to face the lack of the ascending chain condition relies on a further approximation of the hearts by means of suitable torsion theories. The main results of the thesis are the following: we prove that for the so-called weakly bounded below Thomason filtrations the two t-structures have the same heart (therefore it is always locally finitely presented), and we show that they coincide if and only they are both compactly generated. Moreover, we achieve a complete characterisation of the local coherence for the hearts of the Thomason filtrations of finite length.

Sei G eine p-adische analytische gruppe, welche die direkte Summe einer torsionfreien p-adische analytische gruppe H mit zerfallender halbeinfacher Liealgebra und einer n-dimensionalen abelschen p-adische analytische gruppe Z ist. In Kapitel 3 zeigen wir folgenden Satz: Sei M ein endlich erzeugter Torsionmodul über der Iwasawaalgebra von G, welcher keine nichtrivialen pseudo-null-Untermoduln besitzt. Dann ist q(M), das Bild von M in der Quotientenkategorie Q, genau dann volltreu, wenn M als Modul über der Iwasawaalgebra von Z torsionsfrei ist. Hierbei bezeichne Q den Serre-Quotienten der Kategorie der Moduln über der Iwasawaalgebra von G nach der Serre-Unterkategorie der pseudo-null-Moduln. In Kapitel 4 zeigen wir folgenden Satz: Es bezeichne T die Kategorie, deren Objekte die endlich erzeugten Modulen über der Iwasawaalgebra von G sind, welche auch als Moduln über der Iwasawaalgebra von H endlich erzeugt sind. Seien M, N zwei Objekte von T. Wir nehmen an, dass M, N keine nichttrivialen pseudo-null-Untermoduln besitzen und q(M) in Q volltreu ist. Dann gilt: Ist [M]=[N] in der Grothendieckgruppe von Q, so ist das Bild von N ebenfalls volltreu. In Kapitel 5 zeugen wir folgenden Satz: Sei G eine beliebige p-adische analytische Gruppe, welche keine Element der Ordung p besitzt. Dann sind die Grothendieckgruppen der Algebra stetiger Distributionen und der Algebra beschränkter Distributionen isomorph zu c Kopien des Rings der ganzen Zahlen, wobei c die Anzahl der p-regulären Konjugationsklassen des Quotienten von G nach einer offenen uniformen pro-p-Untergruppe H bezeichnet. / Let G be a compact p-adic analytic group with no element of order p such that it is the direct sum of a torsion free compact p-adic analytic group H whose Lie algebra is split semisimple and an abelian p-adic analytic group Z of dimension n. In chapter 3, we show that if M is a finitely generated torsion module over the Iwasawa algebra of G with no non-zero pseudo-null submodule, then the image q(M) of M via the quotient functor q is completely faithful if and only if M is torsion free over the Iwasawa algebra of Z. Here the quotient functor q is the unique functor from the category of modules over the Iwasawa algebra of G to the quotient category with respect to the Serre subcategory of pseudo-null modules. In chapter 4, we show the following: Let M, N be two finitely generated modules over the Iwasawa algebra of G such that they are objects of the category Q of those finitely generated modules over the Iwasaw algebra of G which are also finitely generated as modules over the Iwasawa algebra of H. Assume that q(M) is completely faithful and [M] =[N] in the Grothendieck group of Q. Then q(N) is also completely faithful. In chapter 6, we show that if G is any compact p-adic analytic group with no element of order p, then the Grothendieck groups of the algebras of continuous distributions and bounded distributions are isomorphic to c copies of the ring of integers where c denotes the number of p-regular conjugacy classes in the quotient group of G with an open normal uniform pro-p subgroup H of G.

Les algèbres cellulaires furent introduite par J.J. Graham et G.I. Lehrer en 1996. Elles forment une famille d’algèbres associatives de dimension finie définies en termes de « données cellulaires » satisfaisant certains axiomes. Ces données cellulaires, lorsqu’elles sont identifiées pour une certaine algèbre, permettent une construction explicite de tous ses modules simples, à isomorphisme près, et de leurs couvertures projectives. Dans ce mémoire, nous définissons ces algèbres cellulaires en introduisant progressivement chacun des éléments constitutifs d’une façon axiomatique. Deux autres familles d’algèbres associatives sont discutées, à savoir les algèbres quasihéréditaires et celles dont les modules forment une catégorie de plus haut poids. Ces familles furent introduites durant la même période de temps, au tournant des années quatre-vingtdix. La relation entre ces deux familles ainsi que celle entre elles et les algèbres cellulaires sont prouvées. / Cellular algebras were introduced by J.J. Graham and G.I. Lehrer in 1996. They are a class of finite-dimensional associative algebras defined in terms of a “cellular datum” satisfying some axioms. This cellular datum, when made explicit for a given associative algebra, allows for the explicit construction of all its simple modules, up to isomorphism, and of their projective covers. In this work, we define these cellular algebras by introducing each building block of the cellular datum in a fairly axiomatic fashion. Two other families of associative algebras are discussed, namely the quasi-hereditary algebras and those whose modules form a highest weight category. These families were introduced at about the same period. The relationships between these two, and between them and the cellular ones, are made explicit.

Le travail effectué dans cette thèse consiste à construire et adapter dans d'autres cadres des objets issus de la géométrie algébrique. Nous nous intéressons d'abord à la théorie des classes de Chern pour les faisceaux cohérents. Sur les variétés projectives, elle est complètement achevée dans les anneaux de Chow grâce à l'existence de résolutions globales localement libres et se ramène formellement à la théorie pour les fibrés. Un résultat de Voisin montre que ces résolutions n'existent pas toujours sur des variétés complexes compactes générales. Nous construisons ici par récurrence sur la dimension de la variété de base des classes de Chern en cohomologie de Deligne rationnelle pour les faisceaux analytiques cohérents en imposant la formule de Grothendieck-Riemann-Roch pour les immersions et en utilisant des méthodes de dévissage. Ces classes sont les seules à vérifier la formule de fonctorialité par pull-back, la formule de Whitney et la formule de Grothendieck-Riemann-Roch pour les immersions; elles coïncident donc avec les classes topologiques et les classes d'Atiyah. Elles vérifient aussi le théorème de Grothendieck-Riemann-Roch pour les morphismes projectifs. Notre second travail est l'étude des schémas de Hilbert ponctuels d'une variété symplectique ou presque complexe de dimension 4. Ils ont été construits par Voisin et généralisent les schémas de Hilbert connus pour les surfaces projectives. En utilisant les structures complexes relatives intégrables introduites dans la construction de Voisin, nous pouvons étendre au cas presque complexe ou symplectique la théorie classique. Nous calculons les nombres de Betti, nous construisons les opérateurs de Nakajima, nous étudions l'anneau de cohomologie et la classe de cobordisme de ces schémas de Hilbert, et nous prouvons dans ce contexte un cas particulier de la conjecture de la résolution crêpante de Ruan.

La théorie des catégories (TC) vaut tant par ses applications mathématiques que par les débats philosophiques qu'elle suscite. Elle sert à exprimer en topologie algébrique, à déduire en algèbre homologique et, en tant qu'alternative à la théorie des ensembles, à construire des objets en géométrie algébrique dans la conception de Grothendieck. Des sources non publiées montrent que Grothendieck quitta le groupe Bourbaki à l'issue d'un débat sur la TC relevant en partie de l'épistémologie, notamment quant à la réalisation ensembliste des constructions catégorielles. Nous soutenons que la TC est fondamentale, car elle traite d'opérations typiques de la mathématique de structures : d'après notre position pragmatique, la justification de la connaissance mathématique ne se fait pas par la réduction à des objets de base mais plutôt, à chaque niveau, par rapport au sens commun technique (les théories de niveau ultérieur ont pour objets les théories des objets originaux).

Soit R un anneau de valuation discrète de corps de fractions K. Soit X_K un K- schéma propre géométriquement normal. On montre que X_K possède des modèles X sur R, propres, plats, normaux et tels que tout faisceau inversible sur X_K se prolonge en un faisceau inversible sur X. On peut alors reconstruire le modèle de Néron de la variété de Picard de X_K, à partir du foncteur de Picard de X/R.Lorsque R est hensélien à corps résiduel algébriquement clos, on en tire des informations sur le prolongement de l’équivalence algébrique de X_K à X. En particulier, on peut décrire le symbole de Néron entre 0-cycles de degré zéro et diviseurs algébriquement équivalents à zéro sur X_K, en termes de multiplicités d’intersection sur le modèle X. Ceci nous permet de reformuler la conjecture de dualité de Grothendieck pour les modèles de Néron des variétés abéliennes, en termes d’équivalence algébrique relative. / Let R be a discrete valuation ring with fraction field K. Let X_K be proper geometrically normal scheme over K. One shows that X_K admits models X over R which are proper, flat, normal an such that any invertible sheaf on X_K can be extended to an invertible sheaf on X. Then, one can recover the Néron model of the Picard variety of X_K from the Picard functor of X/R.When R is henselian with algebraically closed residue field, one obtains some consequences about the extension of algebraic equivalence from X_K to X. In particular, one can describe the Néron symbol between 0-cycles of degree zero and divisors which are algebraically equivalent to zero on X_K, in terms of intersection multiplicities on the model X. This allows us to reformulate Grothendieck’s duality conjecture for Néron models of abelian varieties, in terms of relative algebraic equivalence.

Le but de cette thèse est d'étudier la somme et le zéro dans deux principaux cadres : les isomorphismes de types et la normalisation de lambda-termes. Les isomorphismes de type avaient déjà été étudiés dans le cadre du lambda-calcul simplement typé avec paires surjectives mais sans somme. Pour aborder le cas avec somme et zéro, j'ai commencé par restreindre l'étude au cas des isomorphismes linéaires, dans le cadre de la logique linéaire, ce qui a conduit à une caractérisation remarquablement simple de ces isomorphismes, obtenue grâce à une méthode syntaxique sur les réseaux de preuve. Le cadre plus général de la logique intuitionniste correspond au problème ouvert de la caractérisation des isomorphismes dans les catégories bi-cartésiennes fermées. J'ai pu apporter une contribution à cette étude en montrant qu'il n'y a pas d'axiomatisation finie de ces isomorphismes. Pour cela, j'ai tiré partie de travaux en théorie des nombres portant sur un problème énoncé par Alfred Tarski et connu sous le nom du « problème des égalités du lycée ». Pendant tout ce travail sur les isomorphismes de types, s'est posé le problème de trouver une forme canonique pour représenter les lambda-termes, que ce soit dans le but de nier l'existence d'un isomorphisme par une étude de cas sur la forme du terme, ou pour vérifier leur existence dans le cas des fonctions très complexes que j'étais amené à manipuler. Cette réflexion a abouti à poser une définition « extensionnelle » de forme normale pour le lambda-calcul avec somme et zéro, obtenue par des méthodes catégoriques grâce aux relations logiques de Grothendieck, apportant ainsi une nouvelle avancée dans l'étude de la question réputée difficile de la normalisation de ce lambda-calcul. Enfin je montrerai comment il est possible d'obtenir une version « intentionnelle » de ce résultat en utilisant la normalisation par évaluation. J'ai pu ainsi donner une adaptation de la technique d' évaluation partielle dirigée par les types pour qu'elle produise un résultat dans cette forme normale, ce qui en réduit considérablement la taille et diminue aussi beaucoup le temps de normalisation dans le cas des isomorphismes de types considérés auparavant.