one time my sister was paying the tab at a bar and she briefly made flirty eye contact with someone on the other side of the room. she wanted to go chat them up after paying the bill.
except there was no other side of the room. the wall behind the bar was mirrored, and she just saw her own reflection like "who's she??👀 "
anyway i'm partway through making fun of her for the rest of my life, and that process requires telling this story publicly every so often. thx for reading! have a good day!
Thinking about going to the European Congress of Mathematics https://www.8ecm.si/ but also don't want to spend too much money :(
Kudos to the person that first discovered EC Division polynomials (https://en.wikipedia.org/wiki/Division_polynomials).
They tell us so much but the computations are tedious.
The p-power Frobenius has trivial kernel as well, so it is purely inseparable... And that's essentially the whole story: every isogeny α can be decomposed as
α = α'∘πⁿ,
where α' is a separable isogeny. We define the separability degree of α as the degree of α'.
Again, if we did this with function fields, the separability/inseparability degrees would match this facts 👍.
A busy weekend.
Attached is my post to the #FSF member forum on Friday.
Enough is enough.
It's long past time the board exercised their duty under Article VI Section 7 of the bylaws and vote him out. I understand that they have tried before but failed. But by now, his behavior is doing serious harm to the public interest the public charity is chartered to support.
Many other folks have also cancelled their memberships over the weekend.
The Frobenius endomorphism has trivial kernel, and fixes exactly the Fq-rational points.
This leads to the concepts of separable and (purely) inseparable isogenies.
An isogeny is said to be separable if the cardinal of its kernel is equal to its degree, and inseparable if it has a smaller kernel (it can't be bigger). And it is purely inseparable if it has trivial kernel.
Currently studying the basics of elliptic curve isogenies. I feel like summarizing some parts here, so there you go...
An isogeny is just a morphism between two elliptic curves, but because an EC is both a group and an algebraic curve, it has to respect both structures.
The most basic property combines both aspects, namely the fact that every isogeny can be written as
φ(x,y) = (p(x)/q(x), y s(x)/t(x)),
with p,q,s,t polynomials in x.
Is it just me, or this video contains *a lot* of group theory? https://www.youtube.com/watch?v=IcJd6Jv8yAI
One thing I really like about mathematics is that I can grab a book from 50 years ago and not be worried that it's too old to be relevant.
Even our API is stable. The last big changes in notation were about 200 years ago. Read some or originals, no problem.
Finishing my degrees in Maths & CS at UB
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.