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-categories 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology combinatorics complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality education elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck 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 infinity integration integration-theory k-theory lie lie-theory limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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-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.
    • CommentAuthorUrs
    • CommentTimeMay 20th 2011

    I am creating a reference-entry T-Duality and Differential K-Theory. In the course of this I have now first of all created stubs for

  1. Edited and cleaned a bit the first part of T-Duality and Differential K-Theory

  2. Expanded above Definition 1

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeMay 28th 2011

    Thanks, good. I’ll come back to all this later, need to do something on string topology first.

    One discussion piece currently missing in the entry is this: I have indicated how the existence of the degree-3 twist on the fiber product of the two torus bundles follows general abstractly. It remains to describe how this is the pullback of either degree-3 twist on each of the torus bundles separately.

    Then with that there should be a nice general abstract way to see that the pull-tensor-push operation on twisted differential K-theory is the one given in the article. But I need to think about this a bit more.

  3. I’ve now completely rewritten the part before Definition 1, and created a stub for Beilinson-Deligne cup-product.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMay 28th 2011

    Thanks, that’s better.

  4. I was thinking we could completely treat the untwisted case, first. namely, in the untwisted case, at the chain complex level we want to compute the homotopy fiber of

    0 Λ[2] D Λ^[2] D [4] D \array{ & &0\\ & & \downarrow\\ \Lambda[2]^\infty_D\otimes\hat{\Lambda}[2]^\infty_D&\to& \mathbb{Z}[4]^\infty_D }

    and to do this we just have to make a fibrant repalcement of 0[4] D 0\to \mathbb{Z}[4]^\infty_D, which is easily done: take the shifted mapping cone of the identity of [4] D \mathbb{Z}[4]^\infty_D. then we are reduced to taking the ordinary pullback of chain complexes

    Cone([4] D id[4] D )[1] Λ[2] D Λ^[2] D [4] D \array{ & &Cone(\mathbb{Z}[4]^\infty_D \stackrel{id}{\to} \mathbb{Z}[4]^\infty_D)[-1]\\ & & \downarrow\\ \Lambda[2]^\infty_D\otimes\hat{\Lambda}[2]^\infty_D&\to& \mathbb{Z}[4]^\infty_D }

    The general untwisted case is more interesting but also more difficult: since now the upper right corner of the diagram is arbitrary, what we have to do is to take a fibrant replacement of the bottom horizontal morphism .

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeMay 28th 2011
    • (edited May 28th 2011)

    Yes, I agree. Somewhat orthogonal to this: it is also natural, if not even compelling, now to consider genuinely “twisted T-duality”, where the underlying topological class of the twisting cocycle is not required to be trivial. We know that this is the generality needed for twisted string- and fivebrane structures, and we see that T-duality pairs are really just a variant of that. But I haven’t thought about what the action on twisted differential K-theory would be in that generality. I would like to figure that out. It would also shed light on the ordinary case where the underlying topological class of the topological twist is trivial.

    • CommentRowNumber9.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 29th 2011
    • (edited May 29th 2011)

    Hi Urs,

    there’s a point which is confusing me: if we consider topological T-duality, then the homotopy fiber DPairDPair of the morphism B 2Λ×B 2Λ^B 4\mathbf{B}^2 \Lambda\times \mathbf{B}^2\hat{\Lambda}\to \mathbf{B}^4\mathbb{Z} gives rise to the long fiber sequence

    B 3DpairB 2Λ×B 2Λ^B 4\Lambda[2]^\infty_D\otimes\hat{\Lambda}[2]^\infty_D& \dots \mathbf{B}^3\mathbb{Z} \to Dpair\to \mathbf{B}^2\Lambda\times \mathbf{B}^2\hat{\Lambda}\to \mathbf{B}^4\mathbb{Z}

    this happens because B 3\mathbf{B}^3 \mathbb{Z} is the loop space of B 4\mathbf{B}^4 \mathbb{Z}. yet, when we pass to the differential refinements, I’m not sure that the homotopy fiber DPair connDPair {}_{conn} of the morphism B( n/Λ) conn×B(( n) */Λ^)) connB 3U(1) conn\mathbf{B}(\mathbb{R}^n/\Lambda) {}_{conn}\times \mathbf{B}((\mathbb{R}^n)^*/\hat{\Lambda}))_{conn}\to \mathbf{B}^3\mathbf{U}(1)_{conn} gives rise to the long fiber sequence

    B 2U(1) connDpair connB( n/Λ) conn×B(( n) */Λ^)) connB 3U(1) conn. \dots \mathbf{B}^2\mathbf{U}(1)_{conn} \to Dpair {}_{conn}\to \mathbf{B}(\mathbb{R}^n/\Lambda)_{conn}\times \mathbf{B}((\mathbb{R}^n)^*/\hat{\Lambda}))_{conn}\to \mathbf{B}^3\mathbf{U}(1)_{conn}.

    this precisely because B 2U(1) conn\mathbf{B}^2\mathbf{U}(1) {}_{conn} should not be the loop space of B 3U(1) conn\mathbf{B}^3\mathbf{U}(1) {}_{conn}

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeMay 29th 2011

    Right, the loop space of B nU(1) conn\mathbf{B}^n U(1)_{conn} is instead B n1U(1) flat\mathbf{B}^{n-1}U(1)_{flat}.

    • CommentRowNumber11.
    • CommentAuthordomenico_fiorenza
    • CommentTimeMay 29th 2011
    • (edited May 29th 2011)

    One discussion piece currently missing in the entry is this: I have indicated how the existence of the degree-3 twist on the fiber product of the two torus bundles follows general abstractly. It remains to describe how this is the pullback of either degree-3 twist on each of the torus bundles separately.

    the Kahle-Valentino argument is a version of the old pinciple “the cup product of a cocycle with a coboundary is a coboundary”. this should be said better, but roughtly things goes as follows: let c:*H(Y,BG conn)c:*\to \mathbf{H}(Y,\mathbf{B}G_{conn}) be the characteristic map of a principal GG-bundle EE with connection θ\theta on YY, and let 0:*H(Y,BG conn)0:*\to \mathbf{H}(Y,\mathbf{B}G_{conn}) be the characteristic map of the trivial GG-bundle with teh trivial GG-connection. Then a trivialization of (E,θ)(E,\theta) is a path between 00 and cc in H(Y,BG conn)\mathbf{H}(Y,\mathbf{B}G_{conn}).

    Now consieder a T-duality pair (P,θ)(P,\theta) and (P^,θ^)(\hat{P},\hat{\theta}) over XX and denote by π:PX\pi:P\to X and π^:P^X\hat{\pi}:\hat{P}\to X the projections. since (P,θ)(P,\theta) and (P^,θ^)(\hat{P},\hat{\theta}) are a duality pair, one of our data is a trivialization of

    (P,θ)(P^,θ^):*H(X,B 3U(1) conn), (P,\theta)\cup(\hat{P},\hat{\theta}): *\to \mathbf{H}(X,\mathbf{B}^3\mathbf{U}(1)_{conn}),

    i.e., a path in H(X,B 3U(1) conn)\mathbf{H}(X,\mathbf{B}^3\mathbf{U}(1)_{conn}) between the charcateristic map of (P,θ)(P^,θ^)(P,\theta)\cup(\hat{P},\hat{\theta}) and the characteristic map of the trivial circle 3-bundle over XX. pulling this back along π *\pi^* we get a trivialization of (π *P,π *θ)(π *P^,π *θ^)(\pi^*P,\pi^*\theta)\cup(\pi^*\hat{P},\pi^*\hat{\theta}), i.e., a path in H(P,B 3U(1) conn)\mathbf{H}(P,\mathbf{B}^3\mathbf{U}(1)_{conn}) between the charcateristic map of (π *P,π *θ)(π *P^,π *θ^)(\pi^*P,\pi^*\theta)\cup(\pi^*\hat{P},\pi^*\hat{\theta}) and the characteristic map of the trivial circle 3-bundle over PP.

    On the other hand, we have another natural trivialization of (π *P,π *θ)(π *P^,π *θ^)(\pi^*P,\pi^*\theta)\cup(\pi^*\hat{P},\pi^*\hat{\theta}). namely, we have a natural trivialization of (π *P,π *θ)(\pi^*P,\pi^*\theta) as a torus bundle over PP (this is the “with connection” version of the classical fact that the pullback of a principal bundle to the total space of the bundle is naturally trivialized). therefore we have a path in H(P,(B n/Λ) conn)\mathbf{H}(P,(\mathbf{B}\mathbb{R}^n/\Lambda)_{conn}) between the characteristic map of (π *P,π *θ)(\pi^*P,\pi^*\theta) and the charcateristic map of the trivial bundle. the cup product of this path with the costant path over the characteristic map of (π *P^,π *θ^)(\pi^*\hat{P},\pi^*\hat{\theta}) gives a path in H(P,B 3U(1) conn)\mathbf{H}(P,\mathbf{B}^3\mathbf{U}(1)_{conn}) between the characteristic map of the circle 3-bundle with connection over PP whose characteristic map is (π *P,π *θ)(π *P^,π *θ^)(\pi^*P,\pi^*\theta)\cup(\pi^*\hat{P},\pi^*\hat{\theta}) and the trivial circle 3-bundle with connection.

    Concatenation of these two paths then gives an element of the loop group of H(P,B 3U(1) conn)\mathbf{H}(P,\mathbf{B}^3\mathbf{U}(1)_{conn}) based at the trivial circle 3-bundle, and so an element of H(P,B 2U(1) flat))\mathbf{H}(P,\mathbf{B}^2\mathbf{U}(1)_{flat})).

    As I said above this is very rought and should be refined.

  5. Right, the loop space of B nU(1) conn\mathbf{B}^n U(1)_{conn} is instead B n1U(1) flat\mathbf{B}^{n-1}U(1)_{flat}.

    Cool! I just edited accordingly post 11 above.

  6. since I wasn’t able to convince myself that the construction I sketch in post 11 is compleletly canonical, I went trough the proof of Kahle-Valentino’s lemma 2.2, and I’m not sure about the details of it: in the notations of the paper it is claimes that π^ *δ 𝒫π *δ^ 𝒫^:π^ *τπ *τ^\hat{\pi}^*\delta_{\mathcal{P}}\cdot \pi^*\hat{\delta}_{\hat{\mathcal{P}}}:\hat{\pi}^*\tau\to \pi^*\hat{\tau}. in the proof it is said that pull-backs are omitted for larity of notation; yet, with the explicit pullbacks written out, the term σσ\sigma-\sigma in their formula would be π *σπ^ *σ\pi^*\sigma-\hat{\pi}^*\sigma, and I don’t see how this should canonically cancel. I’m asking Alessandro Valentino about this.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeMay 30th 2011

    Thanks for looking into this.

    Maybe I should clarify: what I meant that I am after is a general abstrac construciton of the twisting cocycle on the separate torus bundles: as I discuss in the entry, the twisting cocycle on the fiber product of the two torus bundles is simply the canonical map out of a certain canonical homotopy pullback. I was looking for a similar general abstract construction of the cocycles on the separate torus bundles.

    On the other hand, I also still need to have a closer look at the construciton: are the twists on the separate torus bundles strictly needed for the construction? Or isn’t it only the one on their fiber product that is relevant?

    I don’t have more time to look into this right this moment, though.

  7. Maybe I should clarify […] I was looking for a similar general abstract construction of the cocycles on the separate torus bundles

    yes, this was clear. what I tried to do in post 11 was to carry out the construction of the twisting cocycles on the separate torus bundles at the highest possible canonical level. and the fact that this construction was by far more obscure and involved than the one of the twisting cocycle on the fiber product was sugegsting me that there was something odd going on there. so I decided to look at the role played by the twists on the separate torus bundles, to find out that with these twists involved I’m not abel to see how a piece of the construction should be canonical (this is post 13).

    so I’m convinced only the twisting cocycle on the fiber product will be relevant when things will be understood correctly. I have to think more on this.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeMay 30th 2011

    so I’m convinced only the twisting cocycle on the fiber product will be relevant when things will be understood correctly. I have to think more on this.

    Okay, great. That sounds good. Did you hear back from Alessandro?

  8. not yet. I’ll report here as I’ll hear from him

  9. no reply from Alessandro, yet, but I looked back at what I wrote and it was absolute nonsense (I also wrote this to Alessandro, so in the end there will be no reply at all :) ). namely, I was forgetting a further pullback and the meaningless formula π *σπ^ *σ\pi^*\sigma-\hat{\pi}^*\sigma I was writing in post 13 should have been π^ *π *σπ *π^ *σ\hat{\pi}^*\pi^*\sigma-\pi^*\hat{\pi}^*\sigma, which cancels by the very definition of fibered product.

    but then this makes everything clear, avoiding the twisting cocycles on the separate torus bundles which were confusing us: on P× XP^P\times_X\hat{P} we have two 3-circle bundles with two isomorphisms between them! indeed, the two 3-circle bundles I’m referring to are the two pullbacks via π *π^ *\pi^*\hat{\pi}^* and π^ *π *\hat{\pi}^*\pi^* of the 3-circle bundle over XX. they are isomorphic by the isomorphism induced by the very definition of pullback. but they are also isomorphic via the composition of the trivializations induced by the trivialization σ\sigma of the circle 3-bundle over XX.

    all this gives a natural loop (based at the trivial circle 3-bundle) in the space of circle 3-bundles over P× XP^P\times_X\hat{P}, i.e., a natural circle 2-bundle over P× XP^P\times_X\hat{P}. and this is the canonical circle 2-bundle one can construct from the fiber sequence DPairs(X)B( n/Λ)×B(( n) */Λ^)B 3U(1)DPairs(X)\to \mathbf{B}(\mathbb{R}^n/\Lambda)\times \mathbf{B}((\mathbb{R}^n)^*/\hat{\Lambda})\to \mathbf{B}^3\mathbf{U}(1).

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)