京都大学 / 0048 / 新制・課程博士 / 博士(理学) / 甲第21544号 / 理博第4451号 / 新制||理||1639(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)准教授 星 裕一郎, 教授 向井 茂, 教授 望月 新一 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DGAM

京都大学 / 0048 / 新制・課程博士 / 博士(理学) / 甲第22232号 / 理博第4546号 / 新制||理||1653(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 望月 新一, 教授 玉川 安騎男, 准教授 星 裕一郎 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DGAM

京都大学 / 0048 / 新制・課程博士 / 博士(理学) / 甲第20158号 / 理博第4243号 / 新制||理||1610(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 望月 新一, 教授 岡本 久, 教授 玉川 安騎男 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM

京都大学 / 新制・課程博士 / 博士(理学) / 甲第24395号 / 理博第4894号 / 新制||理||1699(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 玉川 安騎男, 教授 並河 良典, 教授 望月 新一 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DGAM

On s'intéresse aux groupes de cohomologie à support de faisceaux sur des variétés algébriques. On étudie surtout, pour des fibrés en droites sur des variétés où opère un groupe réductif $G$, la cohomologie à support dans certaines sous-variétés invariantes par l'action d'un sous-groupe de Borel de $G$. On obtient ainsi des représentations de l'algèbre de Lie de $G$ que l'on analyse : on en donne des filtrations dont le gradué associé fait apparaître des ``modules de Verma généralisés''. Grâce au complexe de Grothendieck-Cousin, cette étude permet de retrouver le théorème de Borel-Weil-Bott sur les variétés de drapeaux et aussi de déterminer tous les groupes de cohomologie des fibrés en droites sur les compactifications $G \times G-$équivariantes de $G$ (en particulier sur les compactifications magnifiques). Cela généralise la description bien connue des groupes de cohomologie des fibrés en droites sur les variétés toriques complètes.

En commentant certains résultats des sciences physiques ou mathématiques, plus particulièrement de la seconde moitié du XXe siècle, on cherche à comprendre l'importance philosophique du concept de diagramme, qui est au cœur de la théorie mathématique des catégories, des topoi et des esquisses. Partant du constat que les diagrammes et catégories contraignent à des options ontologiques, on propose pour étudier leur disposition conjointe de suivre quatre concepts fondamentaux qui forment le quadrilatère épistémique (la virtualité, la fonctorialité, l'universalité et la dualité). Le virtuel est nécessaire parce qu'une table n'existe pas de la même manière que le bleu du ciel qui n'a pas de réalité matérielle. La fonctorialité et le lemme de Yoneda imposent de reconsidérer le statut de l'objet. Le théorème de Diaconescu illustre l'idée que la logique immanente d'un lieu est déterminée par le topologique, que la logique n'a pas l'importance qu'on lui accorde parfois. L'universalité et la dualité déplace la notion de vérité qui n'est plus une simple valuation, mais une vérité-foudre, une vérité-événement qui fonctionne par adéquation et résonance de pans entiers de connaissance et non plus par inférence logique. Le diagramme devient le lieu de cette vérité qui passe par le geste. Dès lors, il devient possible de croiser ontologie et topologie en une onto-(po)-logie (ou une ontologie toposique) qui ne soit pas en contraction avec les philosophies de l'immanence. L'univocité de l'Être ne s'oppose pas à l'approche catégorielle. Plus encore : la prégnance des formes duales incite à penser l'hypothèse que l'Un est le dual de l'Être.

Cette thèse se situe dans le domaine de la combinatoire algébrique et porte sur l'étude et les applications de trois ordres sur les permutations : les deux ordres faibles (gauche et droit) et l'ordre fort ou de Bruhat. Dans un premier temps, nous étudions l'action du groupe symétrique sur les polynômes multivariés. En particulier, les opérateurs de emph{différences divisées} permettent de définir des bases de l'anneau des polynômes qui généralisent les fonctions de Schur aussi bien du point de vue de leur construction que de leur interprétation géométrique. Nous étudions plus particulièrement la base des polynômes de Grothendieck introduite par Lascoux et Schützenberger. Lascoux a montré qu'un certain produit de polynômes peut s'interpréter comme un produit d'opérateurs de différences divisées. En développant ce produit, nous ré-obtenons un résultat de Lenart et Postnikov et prouvons de plus que le produit s'interprète comme une somme sur un intervalle de l'ordre de Bruhat. Nous présentons aussi l'implantation que nous avons réalisée sur Sage des polynômes multivariés. Cette implantation permet de travailler formellement dans différentes bases et d'effecteur des changements de bases. Elle utilise l'action des différences divisées sur les vecteurs d'exposants des polynômes multivariés. Les bases implantées contiennent en particulier les polynômes de Schubert, les polynômes de Grothendieck et les polynômes clés (ou caractères de Demazure).Dans un second temps, nous étudions le emph{treillis de Tamari} sur les arbres binaires. Celui-ci s'obtient comme un quotient de l'ordre faible sur les permutations : à chaque arbre est associé un intervalle de l'ordre faible formé par ses extensions linéaires. Nous montrons qu'un objet plus général, les intervalles-posets, permet de représenter l'ensemble des intervalles du treillis de Tamari. Grâce à ces objets, nous obtenons une formule récursive donnant pour chaque arbre binaire le nombre d'arbres plus petits ou égaux dans le treillis de Tamari. Nous donnons aussi une nouvelle preuve que la fonction génératrice des intervalles de Tamari vérifie une certaine équation fonctionnelle décrite par Chapoton. Enfin, nous généralisons ces résultats aux treillis de $m$-Tamari. Cette famille de treillis introduite par Bergeron et Préville-Ratelle était décrite uniquement sur les chemins. Nous en donnons une interprétation sur une famille d'arbres binaires en bijection avec les arbres $m+1$-aires. Nous utilisons cette description pour généraliser les résultats obtenus dans le cas du treillis de Tamari classique. Ainsi, nous obtenons une formule comptant le nombre d'éléments plus petits ou égaux qu'un élément donné ainsi qu'une nouvelle preuve de l'équation fonctionnelle des intervalles de $m$-Tamari. Pour finir, nous décrivons des structures algébriques $m$ qui généralisent les algèbres de Hopf $FQSym$ et $PBT$ sur les permutations et les arbres binaires

京都大学 / 0048 / 新制・課程博士 / 博士(理学) / 甲第18769号 / 理博第4027号 / 新制||理||1580(附属図書館) / 31720 / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 玉川 安騎男, 教授 小野 薫, 教授 望月 新一 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DGAM

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.

Cette thèse traite de la théorie de Grothendieck-Teichmüller et des espaces de modules de courbes à points marqués non-ordonnés, plus particulièrement des différents types d'inertie présents dans leurs groupes fondamentaux géométriques. On étend l'action connue du groupe de Galois absolu sur l'inertie divisorielle à l'infini en une action ayant les mêmes propriétés sur l'inertie champêtre en genre zéro, et sur toute la torsion profinie d'ordre premier en genre zéro et un. En fait, nous montrons que ce dernier résultat est valable non seulement pour le groupe de Galois absolu mais pour un nouveau groupe de Grothendieck-Teichmüller GS issu de conditions de torsion en genre zéro, dont on montre qu'il agit sur les full mapping class groups de genre quelconque. On établit ce résultat en adaptant un principe cohomologique de J. P. Serre pour réduire, dans certains cas, la torsion d'un groupe profini à celle d'un groupe discret. On utilise cette théorie pour établir que, dans les cas des genre zéro et un, la torsion profinie d'ordre premier est conjugée à la torsion discrète. Ceci permet d'expliciter l'action du groupe GS sur la torsion profine d'ordre premier.