Not signed in (Sign In)

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 book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation 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-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology 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 set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft 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.
    • CommentAuthorUrs
    • CommentTimeJan 2nd 2012
    • (edited Jan 2nd 2012)

    I have started an entry analytic space with material on Berkovich’s non-rigid analytic geometry.

    I don’t really know this subject and have been adding material to the entry as I read about it and to the extent that I correctly understood it. Experts are most welcome to help out.

    As indicated here, I am motivated by the following: Berkovich’s local contractibility result suggests that the \infty-topos of \infty-sheaves over the site of pp-adic analytic spaces might be cohesive.

    The idea would be that his result implies (if it does) that the site (category with coverage) of contractible pp-adic afine spaces is a dense subsite of that of all pp-adic spaces. Since it should be an infinity-cohesive site that would imply the claim.

    But despite looking through Berkovich’s writings for a little bit today, I am still not sure if he just shows that the underlying topological space of a pp-adic anayltic space is locally contractible, or if one may indeed deduce that they are locally contractible with respect to étale homotopy, as would be needed for the above conclusion.

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 2nd 2012

    Is this part of an attempt to survey the range of cohesiveness?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJan 2nd 2012

    Yes, I am trying to find useful subsites of algebraic spaces that are cohesive.

    • CommentRowNumber4.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 3rd 2012

    Perhaps then we might see why there can be a p-adic and adelic physics?

    Hmm, that’s the frightening thing about maths. One step away from things you might know a little about, there are whole worlds you knew nothing about, where people have been working away for years. Now I see there’s a type of space in which the unit disk has four types of point and its possible to have a Potential theory and dynamics on the Berkovich projective line.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2012
    • (edited Jan 3rd 2012)

    we might see why there can be a p-adic and adelic physics?

    Yes, I was beginning to wonder about that yesterday. I had started to add some references to p-adic number – References – Applications. But I am not feeling well about this, since there is a tremendous amount of wild speculation in there and few concrete results, as far as I can see.

    Notice that at the above link that you give, before long the page lists references to the journal “Chaos, Solitons and Fractals”. Deep nonsense territory.

    This is not to say that there cannot be something of value here. If locally smooth pp-adic analytic spaces indeed form a site for a cohesive \infty-topos, then the cohesive formalism would systematically spit out sensible pp-adic analogs of good bits of physics. That would help me understand what’s really going on.

    But first we need to clarify that question. I have now emailed Berkovich and asked him if his result implies a certain technical fact from which it would follow (I still can’t see it based on his texts, though it might be implicit in there).

    • CommentRowNumber6.
    • CommentAuthorzskoda
    • CommentTimeJan 3rd 2012
    • (edited Jan 3rd 2012)

    The hope that working with p-adic numbers can remove divergences in QFT is an old hope which drives the p-adic physics for a long while; the main initiator is Vladimirov (the same Vladimir of the theory of generalized functions/distributions), and along with him Volovich and their students (included our Blagrade colleague B. Dragovich listed in the list). The reference list linked above is interesting, including listing recent works of Manin and of Marcolli. As Urs says there are also suspicious items there, to say it mildly, including a reference from C. Carlos, the guy who had serious problems with arXiv elsewhere for posting bad speculation as a science. On the other hand, one should also point out on mathematical side that the idea of rigid analytic geometry for nonarchimedean field does not have its origin in Berkovich, as some of the above comments and some comments in the entry might imply, but in the original works of Tate. Berkovich just gave one of the later/more modern formalisms, based on his discovery of Berkovich spectrum (which should be the entry for that version, while rigid analytic geometry and analytic space should eventually be about all formalisms, including Huber’s etc.). Of course, it would be nice that Frederic Paugam contributes here as he is one of the people around who are competent in the subject. For analytic spaces there are also books by Grauert, Remmert etc. One should also warn that the field of germs of holomorphic functions at zero is also nonarchimedean, what has applications in homological mirror symmetry (works of Kontsevich-Soibelman), what is another relation to physics.

    Urs is looking for some homotopical or infinite categorical aspects here. There is an unpublished work on the B 1\mathbf{B}^1-homotopy theory, the analogue of Voevodsky’s A 1\mathbf{A}^1-theory in rigid analytic context, by some student in France few years ago who is now professor somewhere. I am not quite sure who that was, remotely it might be Joseph Ayoub, but I am not quite remembering (I heard a talk some 6-7 years ago or so). In any case over there certainly some facts similar to ones you might look for must have been thought of, and would be nice to consult the source.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2012
    • (edited Jan 3rd 2012)

    There is an unpublished work on the 𝔹 1\mathbb{B}^1-homotopy theory, the analogue of Voevodsky’s 𝔸 1\mathbb{A}^1-theory in rigid analytic context, by some student in France few years ago who is now professor somewhere. I am not quite sure who that was, remotely it might be Joseph Ayoub, but I am not quite remembering (I heard a talk some 6-7 years ago or so).

    Ah, interesting. I tried googling around for “analytic geometry homotopy theory” a bit, and looked at Ayoub’s webpage, but so far I haven’t found the kind of discussion you are alluding to. But I’d be most interested in seeing it.

    • CommentRowNumber8.
    • CommentAuthorzskoda
    • CommentTimeJan 3rd 2012
    • (edited Jan 3rd 2012)

    Try to contact him, and if he is not the guy he must know who that is as he came from that Paris circle. I wrote some comments in nnCommunity before and could never find anything online.

    • CommentRowNumber9.
    • CommentAuthorzskoda
    • CommentTimeJan 3rd 2012
    • (edited Jan 3rd 2012)

    Correction: there is something related online: pdf

    • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 3rd 2012

    Maybe of no interest, but one place with ’analytic geometry’ and ’homotopy’ on the same page is a course outline which includes

    The moduli space of Lubin-Tate formal group laws is a rigid analytic space occurring in the work of Gross and Hopkins, which ties together this sort of geometry with stable homotopy theory.

    M.J. Hopkins and B.H. Gross, The rigid analytic period mapping, Lubin-Tate space, and stable homotopy theory, Bulletin of the AMS 30 (1994), 76–86

    Notes for the course are here.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2012

    there is something related online: pdf

    Ah, thanks!

    This does not seem to help me with my question about cohesiveness, but otherwise it is very good to see this. For the moment I have archived the link in a new stub entry B1-homotopy theory.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2012

    Maybe of no interest, but one place with ’analytic geometry’ and ’homotopy’ on the same page is a course outline which includes […]

    Thanks, David! That looks useful, I’ll have to look at it. For the moment I have archived the reference here.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2012

    Hi Zoran,

    coming back to this here:

    The hope that working with pp-adic numbers can remove divergences in QFT is an old hope which drives the pp-adic physics for a long while;

    Do you know about any concrete results that have been obtained? Anything that goes beyond hope and vague speculation? Are there some actual facts about “pp-adic mathematical physics” that one could point to?

    I’ll try to look around myself a bit more. But if you have anything to share, I’d be interested.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2012
    • (edited Jan 3rd 2012)

    How about this here:

    in the mathematical literature on pp-adic analytic geometry it says (I’ll try to dig out a precise reference again) that functions f: p pf : \mathbb{Q}_p \to \mathbb{Q}_p are uninteresting, and that the objects to consider are instead maps 𝔸 p𝔸 p\mathbb{A}_{\mathbb{Q}_p} \to \mathbb{A}_{\mathbb{Q}_p} (from the Berkovich affine line to itself).

    Now, I open a book like

    • Vasiliĭ Vladimirov, I. V. Volovich, E. I. Zelenov, pp-Adic analysis and mathematical physics

    and in the introduction it announces to study the replacement of real functions with maps p p\mathbb{Q}_p \to \mathbb{Q}_p.

    Generally, I see little or none mathematical analytic geometry mentioned in these texts on pp-adic mathematical physics. Is there maybe a communication gap?

    • CommentRowNumber15.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 4th 2012

    Can you work in reverse with cohesive (,1)(\infty, 1)-toposes, so that if all, or some subset, of the associated structures turn up, you know you must be in the presence of a cohesive (,1)(\infty, 1)-topos? Are there perhaps a small number of structures whose presence suggests the others?

    By the way, there’s an interesting account of the difficulty of Berkovich’s first steps.

    • CommentRowNumber16.
    • CommentAuthorzskoda
    • CommentTimeJan 4th 2012
    • (edited Jan 4th 2012)

    13,14

    They solve various simple physical systems in p-adic context, how far they got I do not know, but usually these are difficult and exact calculations, so the progress is relatively slow. I do not think that anybody there studies rigid analytic geometry – as usually in mainstream physics one does local computations in just one chart. I would not call that a communication gap. People are busy and can not learn to do effectively everything. You can not expect to have comparable results to ordinary physics where there are thousands of physicist with a direction populated by about 10 enthusiasts, most of whom do other mathematical physics as well.

    I added references

    • Hans Grauert, Reinhold Remmert, Theory of Stein spaces, Grundlehren der Math. Wissenschaften 236, Springer 1979, xxi+249 pp.; Coherent analytic sheaves, Grundlehren der Math. Wissenschaften 265, Springer 1984. xviii+249 pp.; Komplexe Räume, Math. Ann. 136, 1958, 245–318, DOI

    to analytic geometry and analytic space.

    • CommentRowNumber17.
    • CommentAuthorzskoda
    • CommentTimeJan 4th 2012
    • (edited Jan 4th 2012)

    Maybe one should point out the discovery of pp-adic Veneziano amplitude for pp-adic string theory in

    • I. V. Volovich, p-Адическое пространство-время и теория струн, ТМФ, 71:3 (1987)free Rus. pdf; transl. pp-adic space-time and string theory, Theor. Math. Phys. 71, 574–576 (1987), eng doi, nonfree Eng. pdf

    See also

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeJan 4th 2012

    Can you say what the result is here? I understand that one can refomrulate the expression for the amplitude in pp-adic arithmetic. What is the nontrivial result to be proven?

    (This is not a rethoric question. I genuinely need to learn this.)

    • CommentRowNumber19.
    • CommentAuthorzskoda
    • CommentTimeJan 4th 2012
    • (edited Jan 4th 2012)

    It is not a reformulation. It is a different mathematical expression which is an analogue of Veneziano amplitude in pp-adic context. I am personally not interested in the subject.

    Even doing the integration over p-adics effectively needs hard techniques closely related to motivic integration. This has been subject of much recent research in motivic integration community.

    The situation is somewhat similar to the situation with q-beta function of Ramanujan and q-binomial formula etc. which are not reducing to the usual beta function and the usual binomial formula.

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeJan 4th 2012

    I have split off an entry p-adic physics, just in order to collect all these references for the moment.

    • CommentRowNumber21.
    • CommentAuthorzskoda
    • CommentTimeJan 4th 2012

    Good.

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeJan 4th 2012
    • (edited Jan 4th 2012)

    re #16:

    as usually in mainstream physics one does local computations in just one chart. I would not call that a communication gap.

    I am not sure if this is just a matter of globalizing. It seems to me that the basic idea of geometry in mathematical analytic geometry is different from what the texts on “pp-adic physics” try to connect to:

    the latter replaces the real line with p\mathbb{Q}_p. But the former replaces it with the Berkovich affine line 𝔸 p\mathbb{A}_{\mathbb{Q}_p} (“𝔹 p 1\mathbb{B}_p^1”, I guess ). This should be a big difference.

    • CommentRowNumber23.
    • CommentAuthorzskoda
    • CommentTimeJan 4th 2012
    • (edited Jan 4th 2012)

    OK. Reason more that they should not be interested. I think nobody claimed in the Vladimirov community to do rigid analytic geometry ever. They do the usual pp-adic geometry in the sense of pp-adic analytic manifolds and their examples belong there. On the other hand, I think the mathematical physics-inspired work of Marcolli and Manin (also listed on the link above) does indeed point toward some phenomena in rigid geometry.

    • CommentRowNumber24.
    • CommentAuthorUrs
    • CommentTimeJan 4th 2012
    • (edited Jan 4th 2012)

    they should not be interested

    I understand that they are not interested, but I don’t understand why they should not be interested. This seems to be the “communication gap” that I mentioned. These people set out to explore the consequences of replacing in the geometry of physics the real numbers by the pp-adic numbers, while at the same time there is a huge body of mathematics that does precisely such a replacement, but differently.

    • CommentRowNumber25.
    • CommentAuthorzskoda
    • CommentTimeJan 4th 2012
    • (edited Jan 4th 2012)

    I do not think that the idea was to replace the numbers by pp-adic numbers just for math analogy, but for the fact that in usual pp-adic coordinates some expressions were finite which are infinite in the other case. I do not recall examples, I have heard few conference talks presenting formulas some of which appear in the calculations in QFT. So they continued this game, starting from the concrete evidence they had. This does not give any concrete evidence however that similar expressions would appear in calculations in the different setup you propose. If you have a striking finiteness result for amplitudes in Berkovich spaces, then the situation will change. This is not matter of communication but matter of lack of evidence as of today.

    • CommentRowNumber26.
    • CommentAuthorUrs
    • CommentTimeJan 4th 2012

    Okay, so I need to learn that better. In the introduction to that book

    • Vasiliĭ Vladimirov, I. V. Volovich, E. I. Zelenov, pp-Adic analysis and mathematical physics,

    for instance, the motivation that is given is: look, there are two kinds of completions of the rationals, and traditonally only one of them is used for the description of physical space. We want to explore what happens when we use the other one.

    This is supplemented with the usual speculation about quantum geometry at the Planck scale. Similarly in the other reviews that I have seen.

    • CommentRowNumber27.
    • CommentAuthorzskoda
    • CommentTimeJan 4th 2012

    Well, once somebody is in the game one tries to find the applications everywhere, and then one needs to soften and widen the motivation statement, so I am not surprised that books get into such lowest common denominator. But all of that is not very strong. What is stronger is the initial observation that some infinite expressions in QFT were finite in pp-adic context. The initial counterargument being what is the pp which nature would take and fix ?

    • CommentRowNumber28.
    • CommentAuthorzskoda
    • CommentTimeMay 24th 2012
    • (edited May 24th 2012)

    The analytic geometry based on the very fine and disconnected topology of non-archimedean field is having problems which needed rigidification. So I have originally viewed entry rigid analytic geometry to be about ALL modern approaches which rectify this problem with various levels of success and in various level of generality: Tate’s rigid analytic spaces, Berkovich analytic spaces, Huber’s adic spaces, Fujiwara-Kato approach via multiple formal models and Zariski Riemann space etc. This lead in past to some misunderstanding, as Urs and Frederic were taking every time I mentioned word “rigid” ot mean the Tate’s approach; though I often hear people saying rigid for the other approaches. On the other hand analytic space is about possibly even non-archimedean versions. So I decided that it is better that we are really split into different levels of generality carefully. So I renamed analytic space into Berkovich space with redirect Berkovich analytic space and creted a new analytic space to lead to both archimedean and non-acrhimedean case. Then I created an entry non-archimedean analytic geometry to have Tate, Berkovich, Huber, global and Fujiwara-Kato in one place while having more details on the pages specially dedicated to each of them. Rigid analytic geometry entry is now predominantly about Tate’s approach only, with agreement with Urs and Frederic.