All pull requests

Pull requests

• refactor(ContCohomology/LowDegree): define explicitCoeff0 and explicitRes0 as explicitMap0 instances

  #9828·CBirkbeck opened Sep 29, 2026Contributor·

  ·

• feat: the q-invariant of the Demushkin normal forms and of ℤ_p × ℤ_p

  awaiting-CIroadmap/ProfiniteProPGroups
  #9827·Robertboy18 opened Sep 29, 2026Contributor·

  ·
  1

• refactor(FiniteBilinearModule): move toHom_toIsometry into the Isometry namespace

  ready-to-mergeroadmap/IntegralLattices
  #9826·CBirkbeck opened Sep 29, 2026Contributor·Queued
  1

• feat: the normal-form presented groups are Demushkin groups, and D₀ is Demushkin of rank 3 with q = 2

  awaiting-authorroadmap/ProfiniteProPGroups
  #9823·Robertboy18 opened Sep 29, 2026Contributor·

  ·
  5

• feat: compare cohomology with maximal pro-p quotient

  awaiting-authorroadmap/LocalGaloisGroups
  #9822·roed-math opened Sep 29, 2026Contributor·

  ·
  5

• feat: the separated sum of two Morse functions on a product manifold is Morse

  awaiting-CIroadmap/HeegaardFloer
  #9821·Robertboy18 opened Sep 29, 2026Contributor·

  ·
  6

• feat: transport the prescription property

  awaiting-CIroadmap/ProfiniteProPGroups
  #9819·roed-math opened Sep 29, 2026Contributor·

  ·
  9

• feat: the Galois group of a finite extension of local fields is solvable

  ready-to-mergeroadmap/ClassFieldTheory
  #9818·roed-math opened Sep 29, 2026Contributor·Queued
  3

• feat: the roots of unity as a coefficient object and the transported Kummer class

  awaiting-CIroadmap/ClassFieldTheory
  #9816·roed-math opened Sep 29, 2026Contributor·

  ·
  6

• feat: identify the maximal unramified Galois group

  review-in-progressroadmap/LocalFieldsRamification
  #9810·roed-math opened Sep 28, 2026Contributor·

  ·
  14

• feat: Dummit's formula for the resolvent sextic of a quintic trinomial

  awaiting-authorroadmap/PolynomialGaloisGroups
  #9809·vlad902-bot opened Sep 28, 2026Contributor·

  ·
  10

• feat: the Clifford algebra of an even-dimensional regular form is central simple

  awaiting-authorroadmap/QuadraticFormInvariants
  #9804·Robertboy18 opened Sep 28, 2026Contributor·

  ·
  7

• chore: bump mathlib to b2bf051, fix breaking changes

  awaiting-authordependency-incompatibility-fixroadmap/Unknown
  #9799·tauceti-review-bot[bot] opened Sep 28, 2026Bot·

  ·
  1

  2

• feat: the cup square of the generator of H¹(ℤ/2, 𝔽₂) is the class of the extension ℤ/4

  ready-to-mergeroadmap/ProfiniteProPGroups
  #9796·Robertboy18 opened Sep 28, 2026Contributor·Queued
  11

• feat: column orthogonality fails on S₃, the abelianity test for the character expansion

  awaiting-authorroadmap/Chebotarev
  #9795·Robertboy18 opened Sep 28, 2026Contributor·

  ·
  24

• feat: the relator classes of the Demushkin normal forms in Labute's module

  awaiting-authorroadmap/ProfiniteProPGroups
  #9788·Robertboy18 opened Sep 28, 2026Contributor·

  ·
  13

• feat: the cup form of a Demushkin group and its symplectic and orthonormal bases

  ready-to-mergeroadmap/ProfiniteProPGroups
  #9776·Robertboy18 opened Sep 28, 2026Contributor·

  ·
  10

• feat: branch the orthogonal standard representation along the block inclusion

  awaiting-authorroadmap/RepresentationTheory
  #9771·chrisromanmiller opened Sep 28, 2026Contributor·

  ·
  14

• feat: add graded linear categories

  awaiting-CIroadmap/DGAInfinity
  #9767·mm3141-bot opened Sep 28, 2026Contributor·

  ·
  23

• feat: compute the X⁵ − X sextic resolvent

  ci-failedroadmap/PolynomialGaloisGroups
  #9763·ldct opened Sep 28, 2026Member·

  ·

• feat: define sheafiness for Huber pairs

  awaiting-authorroadmap/AdicSpaces
  #9762·sqrt-of-2 opened Sep 28, 2026Contributor·

  ·
  7

• feat: add the half-space Green and Poisson kernels

  awaiting-authorroadmap/PDE
  #9761·ldct opened Sep 28, 2026Member·

  ·
  6

• feat: signed coderivations over graded comodules

  awaiting-authorroadmap/DGAInfinity
  #9760·ldct opened Sep 28, 2026Member·

  ·
  3

• feat: preserve admissible base change under exact functors

  awaiting-authorroadmap/GrothendieckEulerForms
  #9759·sqrt-of-2 opened Sep 28, 2026Contributor·

  ·
  3

• feat: finite p-power roots of unity in local fields

  awaiting-authorroadmap/LocalGaloisGroups
  #9758·sqrt-of-2 opened Sep 28, 2026Contributor·

  ·
  5