This was shown at #ICM2026 , I see https://www.youtube.com/watch?v=yCAJdX6qrLk One to keep an eye out for if you get a chance
theHigherGeometer
@highergeometer.mathstodon.xyz.ap.brid.gy
rimcræftiga | bespoke constructions in categorified geometry since 2010 | dude [bridged from https://mathstodon.xyz/@highergeometer on the fediverse by https://fed.brid.gy/ ]
OK, of all the recent spate of AI-generated counterexamples, this is one I vaguely care about, since it's something in infinite-dimensional Lie group geometry that was an open problem. I don't know if people had a good feel which way it would go, but I myself wasn't convinced either way […]
Original post on mathstodon.xyz
mathstodon.xyz
A lot of photos from #icm2026 (7 pages on desktop Flickr) - I might update some of the captions as more videos become available from the organizers https://www.flickr.com/photos/coffmanadam/albums/72177720334962096 with: @mjd @emilyriehl @zbMATH @tao and some art by @henryseg #MathConference […]
Original post on mathstodon.xyz
mathstodon.xyz
https://arxiv.org/abs/2608.01650 oh, AI. So blatant.
Constructing Self-Regulating Field Theoriesfrom Primal Wave Fields without Background Manifolds:The Emergence of the Coordinate Continuum
This paper introduces a rigorous mathematical framework in which the continuous space-time coordinate continuum and self-regulating field dynamics are derived from non-local, periodic primitives termed primal wave fields. Traditional continuum mechanics models physical phenomena over a pre-existing background of real numbers ($R$), an approach that inherently introduces unphysical, localized mathematical divergences (singularities) when computing point-like field interactions. We resolve these foundational vulnerabilities by constructing a three-tiered algebraic architecture - the base set $W_0$, the commutative ring $W_A$, and the field of fractions $W_I$ - independent of any background coordinate container. Utilizing a minimal set of primitive tracking operators over a universal synchronous clock lattice, we demonstrate that the smooth space-time coordinate continuum emerges naturally as the topological completion of a dense, intersecting rational resonance network $Q$. Finally, we show that formulating physical field operations directly within this wave-number fraction space natively regularizes interaction integrals, eliminating point-wise geometric infinities and rendering field propagation intrinsically bounded without relying on external mathematical cutoffs. An application of this approach demonstrates that the ultraviolet catastrophe is not an intrinsic property of the thermal diffusion process run backwards in time, but rather of the point-based representation of the classical diffusion equation.
arxiv.org
"The IMU General Assembly resolves to create the IMU Ladyzhenskaya Medal Award" [1] 👀 I note that in [2] from Jan 2020 it was announced "The Ladyzhenskaya medal in mathematical physics will be awarded every 4 years to recognize revolutionary results in or with applications to mathematical […]
Original post on mathstodon.xyz
mathstodon.xyz
Via user TimH on MathOverflow, a Jan 2026 report on how an AI did with a whole slew of Erdős problems, classifying the results in a sensible way (eg new/newish proof, found solution, found mis-statement in problem, made partial progress, make obvious error, made subtle error etc) […]
Original post on mathstodon.xyz
mathstodon.xyz
13 months after submission to Comptes Rendus and no movement in the status of my article, despite a few emails (i.e. review process "not initiated"!) I thought it was a journal for quicker communication....
This is a challenge if ever I saw one: "REMARK. Proposition 18 and Theorem 22 of 6. cited above establish that postulate WA2 (II, 3.2, 3.3) of 8. holds in the Dubuc Topos. However, there is a mistake (discovered by M. Makkai) in Lemma 21 of 6. which invalidates the proof. I believe that the […]
Original post on mathstodon.xyz
mathstodon.xyz
"The situation isn’t quite like the situation in chess, where powerful chess programs got to the point they could beat humans, but human to human chess competition survived. Where we’re going could be analogous to chess playing where everyone is using, with or without acknowledging it, some sort […]
Original post on mathstodon.xyz
mathstodon.xyz
Sorry for X link, but this seems kinda important (posted in early May, before Jacob Tsimerman wins the Fields medal, then promptly announces he's leaving research and going to work for OpenAI) https://x.com/Jacob_Tsimerman/status/2051116022585770170 via @peterwoit
From the Lean Zulip chat server: "for any positive int n, write log n = log(n/2^k) + k * log 2 where n/2^k in [1, 2), so x = (n/2^k - 1)/(n/2^k + 1) <= 1/3. At that range degree-9 Taylor closes every subbound (same mathlib lemma, no extension needed for the subratios)." I'm sure this kind of […]
Original post on mathstodon.xyz
mathstodon.xyz
RE: https://mathstodon.xyz/@oantolin/116983544146083200 I agree with Omar, I can't believe it took this long! https://arxiv.org/abs/1401.3665 vs https://annals.math.princeton.edu/articles/22929
RE: https://mathstodon.xyz/@DavidWood/116983339289510925 Recieved by Annals of Mathematics in 2018 and accepted in 2026, just a few days ago! 1. I had no idea this very famous paper was not published. 2. I will never complain again about how long it takes me to get a paper rejected or […]
This is not to say the lecturer is absolved of responsibility to make the teaching good, and this is perhaps really only applicable at the higher levels of mathematics, but I think I agree. #mtbos
OK, where can I get a standing laptop frame like in John Pardon's Field medal profile video?! That looks really nice and beats stacking a pair of nappy boxes up on the chest freezer like I have been wont to do.
Also, Hannah Fry with the Leelavati Prize! https://www.youtube.com/watch?v=8RVyU8CLqlA #ICM2026
PSA: please use the hashtag #ICM2026 if you are posting about the International Congress of Mathematicians. Share widely so people know.
Someone has already formally verified the claimed counterexample to the Jacobian conjecture: https://leanprover.zulipchat.com/#narrow/channel/583339-AI-authored-projects/topic/Counterexample.20to.20the.20Jacobean.20conjecture/near/611589771 you can click on the link to 'view in Lean 4 […]
Original post on mathstodon.xyz
mathstodon.xyz
I'm thinking about Bourbaki's formal definition of structure, and it is mildly striking to me that their setup with echelons and whatnot directly uses (very nearly) the ingredients in the minimal definition of an elementary topos: power sets and finite products, so that the definition makes […]
Original post on mathstodon.xyz
mathstodon.xyz
Will have to digest this paper to see how it approaches Yang–Mills for bundle gerbes (since the first paper on this was, *ahem*, completely broken, and how I want to approach it is very different) https://arxiv.org/abs/2607.10904
Yang-Mills theory for multiplicative Ehresmann connections
We develop a twofold generalization of classical Yang-Mills theory, extending it from principal bundles to the setting of possibly non-transitive and non-integrable Lie algebroids. The classical theory is recovered when one considers the Atiyah algebroid of a principal bundle. In our framework, principal bundle connections are replaced by the more general notion of (infinitesimal) multiplicative Ehresmann connections. An action functional for such connections is constructed, now including a curvature 3-form contribution, alongside the usual curvature 2-form term, and the resulting variational problem is naturally constrained by a cohomological condition. We derive the associated Euler-Lagrange equations, and define a class of self-dual solutions (instantons) in both 4 and 5 dimensions. We also show that the solution space is invariant under gauge transformations, and compute its tangent space at a solution. As an important example, we show that our framework produces a Yang-Mills theory for connections on bundle gerbes.
arxiv.org
I appreciate that the LANA report on IUT needs to make contact with Mochizuki's work, but I really wish they had avoided using his phraseology except purely to explain what their rigorous phrasing corresponded to in his more vague discussions. Statements like "since [G_1 and G_2] are merely […]
Original post on mathstodon.xyz
mathstodon.xyz
#abcIUT https://www.youtube.com/live/KADN5NHmIfw?si=uhUyDJzFvGvRnqNM&t=593 (big wait time at the start before the livestream kicked off)
RE: https://mastoxiv.page/@arXiv_mathAT_bot/116934186323949532 How can I not boost this work? It does for general n and higher toposes what my thesis did for n=2 in the usual topological setting, before all this machinery was invented.
mastoxiv.page
RE: https://mathstodon.xyz/@antoinechambertloir/116913236904474472 Nearly an hour of video, broken into 6 episodes
mathstodon.xyz
https://www.nature.com/articles/s41586-026-10715-0 Roger Penrose as coauthor on this experimental GR paper! (see also https://arxiv.org/abs/2311.13268 a precursor; I couldn't find in a hurry a preprint version of the Nature paper)
LARES-2 satellite measures frame-dragging effect around the Earth - Nature
Using LARES-2, LAGEOS and GRACE satellites, researchers measured Earth’s frame-dragging with unprecedented precision, strongly confirming general relativity, constraining alternative gravity theories, and improving measurements of Earth’s tides.
nature.com
From @johncarlosbaez Endre Bokor and Latham Boyle, hot on the heels of John's paper with @pschwahn on Jordan algebras: https://arxiv.org/abs/2607.10833
Jordan Pair Quantum Theory and the Standard Model
Jordan pairs and hermitian Jordan triples were discovered by mathematicians studying Jordan algebras, which describe the possible algebras of observables in quantum mechanics. We point out a striking correspondence between the doubly exceptional hermitian Jordan triple (the so-called ``bi-Cayley'' triple) and the structure of the Standard Model of particle physics. We also point out how ordinary quantum mechanics may be reformulated, and generalized, using hermitian Jordan triples.
arxiv.org
RE: https://mathstodon.xyz/@noamzoam/116915899324191300 #CT2026
Today I had the opportunity to give a talk at CT 2026 (https://ct2026.com/) about our paper with Bryce Clarke and Gabriel Scherer on "The free bifibration on a functor" (https://arxiv.org/abs/2511.07314). Here are the slides […] [Original post on mathstodon.xyz]