ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

the a_s are only invariants mod 2! (or equivalently, the image of the determinant in K*/K*^2 is invariant). For instance, take x^2+y^2 over Q and do x->x+y y->x-y. In general classifying quadratic forms involves contributions from all degrees of Galois cohomology (where K*/K*^2 is only a H^1) :)

May 4, 2025, 10:15 PM

Record data

{
  "uri": "at://did:plc:rraadtrn2ajoojaeryw6lzot/app.bsky.feed.post/3loeuwoswvs2c",
  "cid": "bafyreie63ens3or624fzhio4bb25mzkwk7g65qddj5f6rddcru27g774ny",
  "value": {
    "text": "the a_s are only invariants mod 2! (or equivalently, the image of the determinant in K*/K*^2 is invariant). For instance, take x^2+y^2 over Q and do\nx->x+y\ny->x-y.\nIn general classifying quadratic forms involves contributions from all degrees of Galois cohomology (where K*/K*^2 is only a H^1) :)",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreiblni3i6zaisxic6wsrbvwloj3ac7cjqrrn24ohnzvoj36ydntc3e",
        "uri": "at://did:plc:7jy6uix2a4zqcurzoxpxok4m/app.bsky.feed.post/3lodtdlwm7s2e"
      },
      "parent": {
        "cid": "bafyreiend6fhfb3f5vcuq26ypxoteynbwidk7adelpv3faiyau3i767ie4",
        "uri": "at://did:plc:7jy6uix2a4zqcurzoxpxok4m/app.bsky.feed.post/3lodtdlwq4s2e"
      }
    },
    "createdAt": "2025-05-04T22:15:40.891Z"
  }
}