kth.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Massey Products in the Étale Cohomology of Number Fields
KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).ORCID iD: 0000-0001-9655-5606
KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).ORCID iD: 0000-0002-0588-9369
(English)Manuscript (preprint) (Other academic)
Abstract [en]

We give formulas for 3-fold Massey products in the étale cohomology of the ring of integers of a number field and use these to find the first known examples of imaginary quadratic fields with class group of p-rank two possessing an infinite p-class field tower, where p is an odd prime. We also disprove McLeman's (3,3)-conjecture.

Keywords [en]
Massey products, étale cohomology, Galois cohomology, number field
National Category
Mathematics
Research subject
Mathematics
Identifiers
URN: urn:nbn:se:kth:diva-317318OAI: oai:DiVA.org:kth-317318DiVA, id: diva2:1694367
Note

QC 20220909

Available from: 2022-09-09 Created: 2022-09-09 Last updated: 2022-09-09Bibliographically approved
In thesis
1. Stacky Modifications and Operations in the Étale Cohomology of Number Fields
Open this publication in new window or tab >>Stacky Modifications and Operations in the Étale Cohomology of Number Fields
2022 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

This thesis consists of 4 papers. In Paper A we define stacky building data for stacky covers in the spirit of Pardini and give an equivalence of (2,1)- categories between the category of stacky covers and the category of stacky building data. We show that every stacky cover is a flat root stack in the sense of Olsson and Borne–Vistoli and give an intrinsic description of it as a root stack using stacky building data. When the base scheme S is defined over a field, we give a criterion for when a stacky building datum comes from a ramified cover for a finite abelian group scheme over k, generalizing a result of Biswas–Borne.

In Paper B we compute the étale cohomology ring H*(X,Z/nZ) for X the spectrum of the ring of integers of a number field K. As an application, we give a non-vanishing formula for an invariant defined by Minhyong Kim. We also give examples of two distinct number fields whose rings of integers have isomorphic cohomology groups but distinct cohomology ring structures.

In Paper C we generalize the results of Paper B to include the case when X is replaced by an open subset U ⊆ X, where we have removed a finite number of closed points from X. We show that when U is the complement of two odd primes p and q which are congruent to 1 (mod 4), the Legendre symbol of p over q may be interpreted as a cup product in H*(U,Z/2Z).

In Paper D we find formulas for Massey products in étale cohomology of the ring of integers of a number field. Then we use these formulas to, with the help of a computer, find the first ever known examples of imaginary quadratic fields with p-class group of rank 2 for odd p and infinite class field tower. We also compute examples disproving McLeman’s (3, 3)-conjecture.

Abstract [sv]

Denna avhandling består av 4 artiklar. I Artikel A definierar vi stackig byggnadsdata för stackiga övertäckningar i Pardinis anda och visar en ekvivalens av (2,1)-kategorier mellan kategorin av stackiga övertäckningar och kategorin av stackig byggnadsdata. Vi visar att varje stackig övertäckning är en platt rotstack i Olsson och Borne–Vistolis mening och vi ger en intrinsisk beskrivning av den som en rotstack med hjälp av stackig byggnadsdata. När basen S är definierad över en kropp ger vi ett kriterium för när ett stackigt byggnadsdatum kommer från en ramifierad övertäckning för ett ändligt abelskt gruppschema över k. Detta generaliserar ett resultat av Biswas–Borne.

I Artikel B beräknar vi den étala kohomologiringen H*(X, Z/nZ) då X är spektrumet av ringen av heltal av en talkropp K. Som en tillämpning, ger vi ett kriterium i form av en formel för när en invariant definierad av Minhyong Kim är noll eller ej. Vi ger också exempel på två olika talkroppar vars ringar av heltal har isomorfa kohomologigrupper men olika kohomologiringstrukturer.

I Artikel C generaliserar vi resultaten i Artikel B till att innefatta fallet då X ersätts av en öppen delmängd U ⊆ X, där vi tagit bort ett ändligt antal slutna punkter ifrån X. Vi visar att då U är komplementet till två udda primtal p och q, som är kongruenta till 1 (mod 4), så kan Legendre symbolen av p över q betraktas som en kopprodukt i H*(U,Z/2Z).

I Artikel D beräknar vi formler för Masseyprodukter i étale kohomologi av ringen av heltal till en talkropp. Vi använder sedan dessa formler för att, med hjälp av en dator, hitta de första kända exemplen på kvadratiskt imaginära talkroppar vars klassgrupp har p-rang 2, för udda p, och oändligt p-klasskroppstorn. Vi beräknar också exempel som motbevisar McLemans (3, 3)-förmodan.

Place, publisher, year, edition, pages
Stockholm: KTH Royal Institute of Technology, 2022. p. 193
Series
TRITA-SCI-FOU ; 2022:41
Keywords
stacks, ramified covers, étale cohomology, cup product, Massey product, Galois cohomology, building data, 2-cocycles
National Category
Mathematics
Research subject
Mathematics
Identifiers
urn:nbn:se:kth:diva-317374 (URN)978-91-8040-326-9 (ISBN)
Public defence
2022-10-07, Sal F3, Lindstedsvägen 26, Stockholm, 14:00 (English)
Opponent
Supervisors
Note

QC. 22-09-12

Available from: 2022-09-12 Created: 2022-09-09 Last updated: 2022-09-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

https://arxiv.org/abs/2207.06353

Authority records

Ahlqvist, EricCarlson, Magnus

Search in DiVA

By author/editor
Ahlqvist, EricCarlson, Magnus
By organisation
Mathematics (Div.)
Mathematics

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 164 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf