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.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 10th 2015

    I see super-Cartan geometry is taking shape. Will Clifford algebras make an appearance in the The super-Klein geometry: super-Minkowski spacetime section?

    Is there a higher super-Cartan way of thinking about what is at 3-category of fermionic conformal nets, about the String 2-group and superstrings, as here about the spin group and fermions.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMar 10th 2015
    • (edited Mar 10th 2015)

    Yes, I am working on it, was going to announce it when I have at least the first main subsection essentially done.

    Notice that Clifford algebras are the quantization of Grassmann algebras, in direct super-analogy of how Heisenberg algebras are the quantization of commutative algebras. Hence Clifford algebras appear in super-Cartan geometry once we (pre-)quantize: the “classical” fermion fields are anti-commuting, after quantization they satisfy Clifford relations.

    In this vein those fermionic nets are expected to somehow be a “localized” (“extended”, “multi-tiered”) quantization of fermionic strings. But I am not aware that anyone has made real progress is making this intuition precise.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMar 10th 2015
    • (edited Mar 10th 2015)

    Right, so I should say to everyone:

    I am working on an entry super-Cartan geometry. Aspects of this have been scattered throughout the nLab, but now I’d like to bring it all together in one place.

    First, there is a section

    which surveys existing literature and comments on the fact that a topic that deserves to be called “super-Cartan geometry” is implicit in a large body of work, even if only a tiny number of references (maybe 1121\frac{1}{2}) make this terminology explicit. Physicists have their way of speaking about the “superspace approach” to supergravity instead. Generally, as we discussed elswhere, all of supergravity in the “superspace approach” follows Cartan’s original articles, and terms like “Cartan frames” etc. are common in the physics literature, but for some reason few physicists ever say the words “Cartan geometry” or “Cartan connection”. However, we should distinguish a concept from its name and the concept is clearly there.

    Next then I am in the process of writing a section

    which is supposed to be a gentle expository introduction of the technical details in the spirit of the series of entries on geometry of physics. Indeed my plan is to eventually copy the material to a chapter entry geometry of physics – supergeometry.

    Here I have been adding scattered pieces as placeholders and am working now on turning these into flow-text. So far the first subsection

    has, while not at all polished yet, at least most of the intended content in it.

    Now I need a coffee first…

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeMar 10th 2015

    Here is an entertaining (or sad, depending on mood) bit of trivia regarding that issue of “(non-)existent literature”:

    I see that there are actually these two old articles that are fully explicit about the Cartan geometry:

    • N. S. Baaklini, Spin 3/2 Field and Cartan’s Geometry, Letters in Mathematical Physics August 1977, Volume 2, Issue 1, pp 43-47

    • N. S. Baaklini Cartan’s Geometrical Structure of Supergravity, Lett. Math. Phys. 2 (1977) 115.

    But they are essentially uncited. Each has a single non-self citation and neither of these actually refers to the article. Notably the first one is referenced in the list of citations in the seminal old survey

    but that citation is not even pointed to from the actual text there. It seems that Nieuwenhuizen just listed related literature without comment.

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 10th 2015

    But he got to work with Abdus Salam, here.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMar 10th 2015

    Curiously, that, too, is: essentially uncited.

    • CommentRowNumber7.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 10th 2015

    Why does he now publish on viXra?

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeMar 10th 2015
    • (edited Mar 10th 2015)

    Well, in either case there is not much to point to in these articles from 1977. The meat of the super-Cartan geometry in supergravity is in (D’Auria-Fre-Castellani 91). But if we are looking for the history of authors who used the explicit words “Cartan geometry” in the context of supergravity, then it looks like these articles form 1977 are the first, by some margin. The next one that I am aware of is Egeileh-Chami 2013.

    But, as I said, all this is just about terminology. Whether one speaks about “Cartan geometry” or “Einstein-Cartan theory” doesn’t make a difference regarding the actual mathematics. Which is the same in either case.

    • CommentRowNumber9.
    • CommentAuthorNikolajK
    • CommentTimeMar 11th 2015

    Here we have smooth0Type-variations being defined as sheave topoi in CartSp and CartSp+InfPoint, etc.

    What is the a priori heuristic regarding how big the domain category can be?

    What bad things happen if we take a big topos H and consider Sh(H)?

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeMar 11th 2015
    • (edited Mar 11th 2015)

    Generally one may consider large sites and over them their very large (infinity,1)-sheaf (infinity,1)-topos. This all behaves as in the small case, but now in one universe level higher.

    Specifically for a topos H\mathbf{H} itself regarded as a site, if it is regarded so with its canonical topology then (as discussed there) Sh can(H)HSh_{can}(\mathbf{H}) \simeq \mathbf{H} (true generally for 1-toposes and for \infty-toposes at least under some further niceness conditions).

    • CommentRowNumber11.
    • CommentAuthorNikolajK
    • CommentTimeMar 11th 2015
    • (edited Mar 11th 2015)

    Ah okay thanks I’ll read that. My question was older but just now triggered again. Could you get physics/differential geometry/cohesion by looking at the sheave topos from CartSp to very unrelated topoi? I was wondering, in particular, about cases where the codomain of the sheaves are not at all coming from geometry, but rather from housekeeping aout syntax. E.g. CartSp–>some topos associated with some silly type theory.

    Unrelated, there is something strange here:

    http://i.imgur.com/2bJ4adc.png

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeMar 11th 2015

    Regarding your question: could you try to say that again, I am not sure if I understand what you have in mind. Sorry.

    Regarding the something strange: woops! Looks like somebody hit a wrong key combination at the wrong point and a copy-and-paste operation accidentally took place. Thanks for alerting me, I hadn’t even noticed. We’ll need to change that…

    • CommentRowNumber13.
    • CommentAuthorNikolajK
    • CommentTimeMar 11th 2015

    Say I am a computer scientist with a favorite type theory (but not HoTT) that happens to be associated with a topos T like CCCs are associated with the lambda calculus. Say he knows about R^n’s and smooth maps there - he knows the things relevant to formalize abstract coordinate transformations. If someone suggests to him to look at the category of contravariant functors from CartSp to T, could he accidentally find himself in a setting with enough structure in the this topos so that he can do interesting physics without adding more?

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeMar 11th 2015

    Thanks for expanding. So I gather this is more or less about whether a topos of the form Sh(CartSp,T)Sh(CartSp,T) over a base topos TT is rich enough to do some synthetic physics in.

    If one proceeds with a “modalities only” approach the way I have been going on about, then for interesting physics to appear it is crucial that one considers a higher topos, because one needs at least objects like BU(1)\mathbf{B}U(1) to do something along the lines of Classical field theory via Cohesive homotopy types (schreiber).

    However, depending on taste or application, one may be happy with something less synthetic. For instance if you considered Sh(CartSpInfPoint,T)Sh(CartSp\rtimes InfPoint, T), i.e. the Cahiers topos (over TT if you like) and remember that there is an object 𝔻\mathbb{D} in there such that T()[𝔻,]T(-)\coloneqq [\mathbb{D},-] produces tangent bundles, then it is possible to speak about differential equations. Hence in as far as you are interested in physics qua differential equations (“equations of motion”), then there you go. This is why Lawvere called such toposes that model synthetic differential geometry “Toposes of laws of motion”.

    This is related to an issue I am discussing with Mike in another thread (even though Mike and I seem to tend to get stuck on the simplest issues of terminology): in principle, of course, in view of the fact that every topos provides a “universe for mathematics”, it also provides a universe for all of mathematical physics. Hence if you have enough patience to phrase physics textbook definitions internally, then of course every topos allows to “do” theoretical physics.

    So the question is really whether a given topos allows to do this more elegantly, “more synthetically” than by explicitly writing it all out the tedious way.

    With respect to this an SDG topos like the Cahiers topos admits a more succinct formulation of everything related to differential equations, as it already “knows synthetically” what differentiating it, we don’t have to internalize textbook definitions of converging sequences of difference quotients in order to get that.

    With the modalic axiomatics of cohesion one may get what I feel is a still “more synthetic” formulation. But for that to go through it is crucial that one has not just a cohesive 1-topos, but a cohesive higher topos. Whence the title of a book that I have in preparation.

    • CommentRowNumber15.
    • CommentAuthorNikolajK
    • CommentTimeMar 11th 2015
    • (edited Mar 11th 2015)

    Okay yes, I understand that in principle you got a logic with a topos and could implement math from scratch there - of course the topos viewed as geometric framework (rather than a logical one) can allow for a more direct “natural” implementation.

    Regarding the physics formulations - I have read the discussion and entries about the Nichts to Werden formalization via unit and co-unit that comes with the adjoints, which are a core part of the definition of cohesion, but atm. an axiom saying “there is an ajoint to this functor” )or definitions of functors as adjoints) are not intuitive enough. I know that having an adjoint pair brings about a lot of structure, but so much that I get lost what the implications really are.

    I think at the moment I’m orienting myself along the lines of “if there is an adjoint functor pair, then their is a monad and hence a pair of nice natrual transformations” (and then e.g. in your case the Nothing X->X->Werden X constructions.) Monads are simpler to visualize because I know some examples from programming where they are actually relevant and I don’t get away with viewing them as mere reformulations of already existing mathematics.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeMar 11th 2015
    • (edited Mar 11th 2015)

    You should think of most of the adjunctions here as a means to produce classifying objects (moduli stacks).

    Take ()(\int \dashv \flat). The interpretation of \int is that it sends each space XX to its fundamental \infty-groupoid of paths X=Π (X)\int X = \Pi_\infty(X). This means that morphisms XBA\int X \to \mathbf{B}A are flat AA-valued connections: they send paths in XX to elements of AA, send disks in XX to homotopies between elements of AA, and so forth.

    So then you might as if there is an object BA flatconn\mathbf{B}A_{flat conn} which represents/modulates such flat connections, in that maps XBA flatconnX \to \mathbf{B}A_{flat conn} are equivalent to maps XA\int X \to A. And yes, by adjunction there is, we have

    BA flatconn=BA. \mathbf{B}A_{flat conn} = \flat \mathbf{B}A \,.

    (That’s where the notation “\flat” pronounced “flat” and the name flat modality comes from).

    Similar story, in turn, for ()(\flat \dashv \sharp). For XX a space then X\flat X is its collection of points. Hence a map XA\flat X\to A is just a map from each point of XX to AA. Again you may ask if such maps have a representing/modulating object, and yes, they do, by adjunction it is A\sharp A.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeMar 11th 2015
    • (edited Mar 11th 2015)

    Have been editing further at super-Cartan geometry. The Introduction-section (maybe this needs another title, not sure) now has three subsections:

    Of these the first two I have now in a form with, at least, continuously flowing text. The third one is still just keywords, formulas and related material thrown in, still needing to be turned into text. I will work on that tomorrow.

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeMar 12th 2015
    • (edited Mar 12th 2015)

    Have been working further at super-Cartan geometry, now on that remaining subsection 3 Super-Cartan geometry for Supergravity. It’s essentially there, but will further polish more tomorrow morning.

    This is now in different style. Sections 1) and 2) I had prepared for the audience consisting of category theorists and supergravity theorists which attended Jiří Rosický’s group seminar today. Now section 3) is for an audience consisting of classical Cartan geometers and supergravity theorists, attending the “Central European Seminar” (or so I gather it’s called) tomorrow. So section 3 has no topos theory in there, but is all graded algebra.

    Eventually there is to be a further section that puts this together and discusses how that graded algebra is indeed a model for the previous topos theory. That’s to be done in one of the following weeks.

    • CommentRowNumber19.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 13th 2015

    Why the hat in ℑ𝔰𝔬(^ 10,1|32)\mathfrak{Iso}(\widehat{\mathbb{R}}^{10,1\vert \mathbf{32}})?

    And after def 24, where it says

    The quotient of that by the spin group is super-Minkowski spacetime

    the symbols refer neither to spin nor to group.

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeMar 16th 2015
    • (edited Mar 16th 2015)

    Thanks for spotting this.

    Regarding the first, I have added a brief remark that the hat in the last row of that table refers to extended super Minkowski spacetime, the topic of higher Cartan geometry. This is meant as an outlook not to be discussed right there in the entry.

    Regarding the second, thanks, I have harmonized notation. We have super-Minkowski spacetime on the one hand regarded as a super-translation group and on the other hand regarded just as a super Lie algebra. The former is the quotient of th Poincaré group by the spin group, the latter is the quotient of the Poincaré Lie algebra by the Lorentz Lie algebra.

    • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTimeMar 17th 2015

    Worked a little on the section that I hadn’t yet got to last week: Definite superforms.

    Added the proposition and proof that the joint stabilizer of the supersymmetry bracket and the 3-cocycle for the super 1-brane is Spin(d1,1)Spin(d-1,1).

    Thanks to John Huerta for amplifying this to me!

    This is a really neat statement. It says that if we regard those cocycles on the underlying super Lie algebra of super-Minkowski spacetime as directly analogous to, say, the associative 3-form, then we recover Lorentzian geometry (in analogy with G 2G_2-structure) without specifying it by hand.

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeApr 23rd 2018

    added missing cross-link to super Klein geometry

    diff, v45, current

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeOct 20th 2020

    added pointer to today’s

    • Konstantin Eder, Super Cartan geometry and the super Ashtekar connection (arXiv:2010.09630)

    diff, v46, current

    • CommentRowNumber24.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 20th 2020

    Presumably this still suffers from the sort of problems you mentioned faced by other loop quantum gravity approaches.

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeOct 20th 2020

    Despite the advertisement, this article doesn’t get into the funny quantization step (just some hints on how they imagine to proceed on p. 41.) It deals just with the (super-) Ashtekar variables and the corresponding “canonical” (meaning: non-covariant) description of the classical phase space, all of which is legal and done, with different terminology, also outside the LQG community (e.g. Cattaneo-Schiavina 17a).

    • CommentRowNumber26.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 20th 2020

    I see, thanks.

    • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTimeJan 5th 2021

    added pointer to this article, from today:

    diff, v47, current

    • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeFeb 20th 2024

    added pointer to today’s

    diff, v49, current

    • CommentRowNumber29.
    • CommentAuthorUrs
    • CommentTimeFeb 20th 2024

    for clarification, I have added more references on which the content of this entry was based.

    diff, v50, current

    • CommentRowNumber30.
    • CommentAuthorUrs
    • CommentTimeMar 2nd 2024

    added pointer to:

    • James Ratcliffe, §3 in: Supergeometry, Supergravity and Kaluza-Klein Theory, MSc thesis, Imperial College (2022) [pdf&rbrack

    diff, v51, current

    • CommentRowNumber31.
    • CommentAuthorUrs
    • CommentTimeMar 2nd 2024

    added publication data for

    diff, v51, current

    • CommentRowNumber32.
    • CommentAuthorUrs
    • CommentTimeMar 2nd 2024

    added pointer to:

    diff, v52, current

    • CommentRowNumber33.
    • CommentAuthorUrs
    • CommentTimeMar 2nd 2024

    added pointer also to:

    diff, v52, current