Quadratic forms beyond arithmetic
12 comments
·July 18, 2025yantrams
madcaptenor
There's a nice characterization of sums of two squares in terms of their prime factorization), namely that all primes of form 4k+3 appear with even multiplicity. From a quick look through OEIS it looks like there are similar characterizations for a^2 + n*b^2 but this is where I tap out on number theory.
null
ogogmad
It follows from matrices of the form [[a, (-n)b], [b, a]] being closed under multiplication, and taking determinants.
In more advanced language: For R a commutative ring (like say, the integers) the following function f is a ring homomorphism
f:R[√(-n)] -> M_2(R),
f(a + b√(-n)) = [[a, (-n)b], [b, a]]
QuesnayJr
It's striking how complicated quadratic forms are, given how simple they sound. You could probably explain the idea of a quadratic form over a ring to a good high school class, while explaining the proof of the Milnor conjecture would be tough even for graduate students in math.
coderatlarge
[flagged]
gjm11
What is the purpose of this comment?
It seems to be taken directly from the article, but it doesn't begin at the beginning or end at the end or shed any light on the part of the title most likely to be puzzling ("beyond arithmetic").
If the intention was to help out readers who don't know what a quadratic form is, I think a more helpful piece of advice would be: if you don't already know what a quadratic form is, then it is very unlikely that you will get anything much out of this article.
coderatlarge
i started my comment with a double-quote indicating that the content is directly from the article starting right at the beginning of the introduction section (to your point about starting at the beginning).
i went down to Euler’s sums of two squares identity which i think demonstrates clearly that even middle school algebra suffices to get a sense of depth from this work showing that a product can also be seen as a sum in a more sophisticated context (ie beyond arithmetic structure emerges).
i fail to understand your disapproval on my providing additional context from the page to indicate that this is likely a more interesting post to a wider set of readers than most might assume just from the title. i didn’t feel the need to editorialize further because i thought the quote says it all on its own.
pavel_lishin
> i fail to understand your disapproval on my providing additional context from the page
But this isn't additional context. It's just a few copy-pasted paragraphs.
Jtsummers
Comments that are just copy/paste from articles almost always gets downvoted and/or flagged. People can always read the article in question to get the same material. If you think something is interesting about the quoted bit, it's more helpful to add your commentary or even just a "Hey, look this section pretty much just requires middle school math." so people can understand why you're copy/pasting from the article.
Without that contextual clue, your comment appears to just be noise.
I came across the Brahmagupta's identity mentioned here recently and thought it was pretty cool. https://en.wikipedia.org/wiki/Brahmagupta%27s_identity
It says - Numbers of the form a^2 + n*b^2 are closed under multiplication.