Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 13th 2020

    Only a stub at the moment, but I thought we needed to start a page on this. Looks like it’s going to become important.

    v1, current

    • CommentRowNumber2.
    • CommentAuthorTim_Porter
    • CommentTimeApr 13th 2020
    • (edited Apr 13th 2020)

    Is there a reason for ’abelian topological group’ when ’topological abelian group’ exists already? I have only been skimmimg the stuff on condensed mathematics so am not sure if this is like ’presheaf of sets’, a concept ’with attitude’ or not.

    • CommentRowNumber3.
    • CommentAuthorTobyBartels
    • CommentTimeApr 13th 2020

    Turning analytic geometry into algebraic geometry sounds like making things a lot harder!

    • CommentRowNumber4.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 13th 2020

    Re #2, oh yes, I got confused by the abbreviation AbTop.

    Re #3, well Lawvere promises something similar at bornological topos.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJun 7th 2021
    • CommentRowNumber6.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 7th 2021

    Yes, it’s very impressive. I think the really tricky stuff is doing topological homological algebra, where exactness for instance is only up to some bounded error, and everything is graded by [0,)[0,\infty) or something like that. This was the bit Scholze was worried about because there were so many fiddly estimates, and he apparently had no good conceptual grasp on what the proof was supposed to be doing and why it worked. Now that issue has been addressed.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJun 7th 2021

    I mean that it’s neat how the community joined forces to formalize this, and that it worked out, and that it seems to be the beginning of a new tradition of practical mathematics.

    On the other hand, it seems a little weird that to just lay foundations for real analysis in condensed mathematics one should need a hyper-technical lemma almost beyond human grasp. But apparently that’s what the real world looks like when seen through perfectoid eyes.

    • CommentRowNumber8.
    • CommentAuthorRichard Williamson
    • CommentTimeJun 7th 2021
    • (edited Jun 7th 2021)

    On the other hand, it seems a little weird that to just lay foundations for real analysis in condensed mathematics one should need a hyper-technical lemma almost beyond human grasp.

    I think this is a case of having tools which one knows how to wield (those of modern ’algebra’, i.e. topos theory, homological algebra, etc), and finding a way to be able to apply them/’forcing’ them to apply even in situations where it is not immediately obvious that one could. Probably easier and conceptually clearer ways to do it will be found in the future; it is really quite a natural idea to try to treat real analysis algebraically using sheaves on profinite sets, given that decimals are very naturally profinite.

    As I have mentioned somewhere before, I see this as in the spirit of mathematics over 𝔽 1\mathbb{F}_1: one is finding a way to achieve one of the major goals of mathematics over 𝔽 1\mathbb{F}_1, namely to truly be able to treat number theory over the archimedean place on the same footing as non-archimedean arithmetic geometry. I still also think Mochizuki’s work has interesting insights in a different way in this direction too. Currently I have no time at all unfortunately for the exposition of Mochizuki’s work that I intermittently come back to, or for that matter some material that I started on the pro-étale topos, or anything else nLab related except for the occasional piece of tidying up, but I’ll no doubt come back to it when I have a chance! But I think major conjectures will fall in the next few decades building on these directions, probably including the Riemann hypothesis, and probably including things like being able to understand Hodge theory and étale cohomology on the same footing (as well as mixed Hodge modules and perverse sheaves, and so on), including viewing Hodge theory Galois theoretically.

    Whilst I am waffling on and gazing into a crystal ball, let me also add that I predict that these developments may not only be positive, but may contribute (alongside other things of course) to mathematics becoming even more elitist than it is today, and more schismatic; and that I think Voevodsky was right to once suggest there is a danger that pure mathematics will cease to exist as a profession in some decades’ time outside of elite universities.

    • CommentRowNumber9.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 7th 2021

    foundations for real analysis in condensed mathematics

    I would think of it more as foundations for analytic geometry over \mathbb{R} (or \mathbb{C}). One claimed application that has already been sorted out is Serre duality, but instead of all the analytic input, it’s purely formal six-functor-style result, all the analysis hiding in the result that \mathbb{R} is an “analytic ring”

    @Richard I’m curious to know what you think of Tim Campion’s discussion here, regarding Frobenioids.

    I do think that the level of sophistication at the top end of mathematics is getting a bit beyond the reach of people who don’t have personal access to the experts. Consider algebraic topology, for instance, where there were many things that you basically needed a copy of lecture notes by Hopkins, or access to him (substitute others, if desired, eg May) to learn certain things, because publishing was a bit lax (cf Barwick’s complaints about homotopy theory culture). Though resources like the nLab, but more so the Stacks project and Kerodon are really helping to make a lot of material better known. But this is off-topic, I guess.

    • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeJun 8th 2021

    In discussions on condensed mathematics, I’d been hoping category theorists would have something to say on the set-up. I pointed out here that there’s an apparent similarity with Lawvere’s bornology. Both parties claim to be turning functional analysis into algebraic geometry.

    Scholze provided a comparison:

    If you wish, condensed sets are bornological sets equipped with some extra structure related to “limit points”, where limits are understood in terms of ultrafilters

    I was hoping we’d be able to see whether and how ultrafilters appear naturally here, but nothing came of some prompting.

    • CommentRowNumber11.
    • CommentAuthormartinescardo
    • CommentTimeJun 9th 2021

    What is the extra structure related to limit points that Scholze is alluding to?

    • CommentRowNumber12.
    • CommentAuthorDavid_Corfield
    • CommentTimeJun 9th 2021

    It was taken from here.

    • CommentRowNumber13.
    • CommentAuthorRichard Williamson
    • CommentTimeJun 10th 2021
    • (edited Jun 10th 2021)

    Re #9: thanks for the question! I’ll try to avoid de-railing the discussion too much, and just give a brief reply. I don’t wish to stir up any argument, but I will say that I am not all that sympathetic with the main aspects of Tim Campion’s comments. It is great to come up with alternative formulations of things (in terms of Grothendieck fibrations in this case), but I think it is stretching a point to insist that Mochizuki should have used such and such a formulation. There are many reasons to choose a particular formulation of something, not all of which can be easily explained even in ordinary circumstances. In this very specific case, I confess to not being all that fond of wrapping things up into Grothendieck fibrations, so I actually have some sympathy anyhow for avoiding them, but this is really beside the point; I would have made the same argument even if I myself would have chosen to use Grothendieck fibrations.

    I do certainly agree that much of the exposition in IUTT may in fact do more harm than good for the moment; but in the long run, if people eventually can understand Mochizuki’s work, this exposition may prove interesting and in hindsight insightful. What is needed for the moment is certainly a more direct and stripped down exposition, but if Mochizuki is not able to provide this, or to understand that his expositionary efforts are for the moment not really helping, that is not a reason to lynch him.

    A final point which I have made before, so is not directly a remark on Tim Campion’s comments (although there is something of what I am protesting against there too) is that I think people are not thinking for themselves enough. It is very convenient for people to use Scholze and Stix’s arguments as some kind of ’definitive’ put down of Mochizuki’s work. But one thing is clear to me: Mochizuki’s work without doubt uses anabelian geometry in a fundamental way, in what he refers to as ’algorithms’. This aspect is completely missing in Scholze and Stix’s arguments. If definitive objections are to be made against Mochizuki’s work, the role of anabelian geometry first needs to be understood and explained. In this respect, I think that Absolute Anabelian Geometry III deserves a close reading; there is some very interesting stuff in there, even some homotopies (and viewing of natural transformations as homotopies, which is of course not just a metaphor but is perfectly justifiable)!

    • CommentRowNumber14.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 11th 2021

    Thanks for your candid thoughts, Richard.

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)