Not signed in

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

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

(0 1)-category-theory 2-category 2-category-theory 2-monad abelian-categories accessible adjoint algebra algebraic algebraic-geometry analysis arithmetic beauty book bug bundle categories category category-theory chern-simons-theory cohesion cohesive-homotopy-type-theory cohomology combinatorics complex-geometry conference connection constructive constructive-mathematics cosmology database deformation-theory descent differential differential-cohomology differential-geometry duality enriched enriched-category-theory enrichment examples factorization-system fiber fibration forms foundation foundations functional-analysis functor galois-theory gauge-theory gebra general topology geometric geometric-quantization geometry gravity group-theory higher higher-algebra higher-category-theory higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory homtopy-type-theory infinity-groupoid integration-theory internal-categories kan lie lie-algebras lie-theory limit limits linear linear-algebra locale localization localization-theory logic manifolds mathematics measure measure-theory mechanics meta modal-logic model model-category-theory monoidal monoidal-category monoidal-category-theory morphism n-groups newpage noncommutative noncommutative-geometry object operator operator-algebra order-theory philosophy physics predicative pretopology pro-object probability-theory quantum quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry set set-theory sheaf simplicial site space stable-homotopy-theory stack string string-theory subobject supergeometry symplectic-geometry tannaka tensor terminology theory topologica-quantum-field-theory topology topos topos-theory torsor tqft type type-theory universal weighted-limit

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeAug 14th 2012
   • PermaLink
   Author: Urs
   Format: MarkdownItexstub for _[[automorphic form]]_,to go with the blog discussion [here](http://golem.ph.utexas.edu/category/2012/08/strings_and_automorphic_forms.html#c041900)

   stub for automorphic form,to go with the blog discussion here

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeAug 14th 2012
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have added to the Idea-section a the table that maybe nicely motivates what the whole subject is about.

   I have added to the Idea-section a the table that maybe nicely motivates what the whole subject is about.

3. • CommentRowNumber3.
   • CommentAuthorzskoda
   • CommentTimeAug 14th 2012
   • PermaLink
   Author: zskoda
   Format: MarkdownItexIt looks like the entry should be called [[topological automorphic form]] while [[automorphic form]] should be a separate entry (I do not believe two such huge subjects can fit into a single entry).

   It looks like the entry should be called topological automorphic form while automorphic form should be a separate entry (I do not believe two such huge subjects can fit into a single entry).

4. • CommentRowNumber4.
   • CommentAuthorDavid_Corfield
   • CommentTimeAug 14th 2012
   • (edited Aug 14th 2012)
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexYes, at the moment we have [[modular form]], [[topological modular form]] and [[tmf]]. Presumably we should have automorphic form, topological automorphic form and taf.

   Yes, at the moment we have modular form, topological modular form and tmf. Presumably we should have automorphic form, topological automorphic form and taf.

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeAug 14th 2012
   • PermaLink
   Author: Urs
   Format: MarkdownItex> It looks like the entry should be called topological automorphic form It is! :-)

   It looks like the entry should be called topological automorphic form

   It is! :-)

6. • CommentRowNumber6.
   • CommentAuthorzskoda
   • CommentTimeAug 14th 2012
   • PermaLink
   Author: zskoda
   Format: MarkdownItexOK, created stub for classical [[automorphic form]]s and moved Norman Wallach's reference there, and done some linking.

   OK, created stub for classical automorphic forms and moved Norman Wallach’s reference there, and done some linking.

7. • CommentRowNumber7.
   • CommentAuthorTodd_Trimble
   • CommentTimeAug 14th 2012
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexIt's Nolan Wallach. I've made the change.

   It’s Nolan Wallach. I’ve made the change.

8. • CommentRowNumber8.
   • CommentAuthorDavid_Corfield
   • CommentTimeAug 14th 2012
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexRe the table mentioned at 2, if we [have](http://ncatlab.org/nlab/show/Axiomatic+field+theories+and+their+motivation+from+topology) >(1,1)-dimensional Euclidean field theories and K-theory and >(2,1)-dimensional Euclidean field theories and tmf, are we supposed to have >(n,1)-dimensional Euclidean field theories and taf?

   Re the table mentioned at 2, if we have

   (1,1)-dimensional Euclidean field theories and K-theory

   and

   (2,1)-dimensional Euclidean field theories and tmf,

   are we supposed to have

   (n,1)-dimensional Euclidean field theories and taf?

9. • CommentRowNumber9.
   • CommentAuthorUrs
   • CommentTimeAug 14th 2012
   • PermaLink
   Author: Urs
   Format: MarkdownItexDavid, I was asking people precisely this question today at the conference. So far nobody seems to know anything beyond that it is an evident guess. But I'll check with further people later. Not everybody seems to have arrived yet.

   David,

   I was asking people precisely this question today at the conference. So far nobody seems to know anything beyond that it is an evident guess. But I’ll check with further people later. Not everybody seems to have arrived yet.

10. • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 14th 2012
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexJohn was guessing at something like this back in [TWF 197](http://math.ucr.edu/home/baez/week197.html): >In particular, they show how the spectrum for complex K-theory can be built from the space of supersymmetric 1d field theories, just as the spectrum "tmf" is (conjecturally) built from some space of supersymmetric conformal field theories. Being an optimist, I can't help but hope this pattern goes on something like this: >some cohomology theory that detects $v_n$-periodic phenomena >connections on complex "n-vector bundles" >some supersymmetric field theories on n-dimensional spacetime

    John was guessing at something like this back in TWF 197:

    In particular, they show how the spectrum for complex K-theory can be built from the space of supersymmetric 1d field theories, just as the spectrum “tmf” is (conjecturally) built from some space of supersymmetric conformal field theories. Being an optimist, I can’t help but hope this pattern goes on something like this:

    some cohomology theory that detects $v_n$-periodic phenomena

    connections on complex “n-vector bundles”

    some supersymmetric field theories on n-dimensional spacetime

11. • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeAug 14th 2012
    • (edited Aug 14th 2012)
    • PermaLink
    Author: Urs
    Format: MarkdownItexThe last two items correlate clearly. But I am not sure how to see why it is specifically TAF that comes out for higher dimensional SQFTs. If it does.

    The last two items correlate clearly. But I am not sure how to see why it is specifically TAF that comes out for higher dimensional SQFTs. If it does.

12. • CommentRowNumber12.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 15th 2012
    • (edited Aug 15th 2012)
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexPerhaps a crazy thought, but looking at this [slide](http://math.mit.edu/~mbehrens/presentations/Modular_Forms_in_Topology.pdf#page=63) from a talk by Behrens, wouldn't you expect an extension of the Whitehead tower to Fivebrane to give something interesting? As you co-kill the homotopy groups, $O(n)$ comes to resemble the trivial group more closely, and we get closer to what Behrens [calls](http://math.mit.edu/~mbehrens/presentations/Modular_Forms_in_Topology.pdf#page=42) $\Omega^{e}_{\ast}$, isomorphic to stable homotopy. So $\Omega^{Fivebrane}_{\ast}$ should see more $v_n$ periodic behaviour.

    Perhaps a crazy thought, but looking at this slide from a talk by Behrens, wouldn’t you expect an extension of the Whitehead tower to Fivebrane to give something interesting?

    As you co-kill the homotopy groups, $O(n)$ comes to resemble the trivial group more closely, and we get closer to what Behrens calls ${\Omega }_{*}^e$, isomorphic to stable homotopy. So ${\Omega }_{*}^{\mathrm{Fivebrane}}$ should see more $v_n$ periodic behaviour.

13. • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeAug 15th 2012
    • PermaLink
    Author: Urs
    Format: MarkdownItex> Perhaps a crazy thought, but looking at this slide from a talk by Behrens, wouldn't you expect an extension of the Whitehead tower to Fivebrane to give something interesting? Yes, certainly, that's why the [[Fivebrane group]] is called such: just as Spin-structures make the super-particle i.e. the super 1d QFT be well-defined, and String-structures makes the heterotic string, i.e. the super 2d QFT be well defined, so Fivebrane structures similarly relate to super 6-dimensional QFT. But, while we know that FIvebrane structures cancel the "fermionic anomaly" of the 5-brane, otherwise very little is known about that 6d QFT, as of yet.

    Perhaps a crazy thought, but looking at this slide from a talk by Behrens, wouldn’t you expect an extension of the Whitehead tower to Fivebrane to give something interesting?

    Yes, certainly, that’s why the Fivebrane group is called such: just as Spin-structures make the super-particle i.e. the super 1d QFT be well-defined, and String-structures makes the heterotic string, i.e. the super 2d QFT be well defined, so Fivebrane structures similarly relate to super 6-dimensional QFT.

    But, while we know that FIvebrane structures cancel the “fermionic anomaly” of the 5-brane, otherwise very little is known about that 6d QFT, as of yet.

14. • CommentRowNumber14.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 15th 2012
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexBut what links all this to the homotopy groups of the sphere? What is the equivalent for Fivebrane of TMF for String? Is there a ring-valued genus from $\Omega^{Fivebrane}$ to some ring?

    But what links all this to the homotopy groups of the sphere? What is the equivalent for Fivebrane of TMF for String? Is there a ring-valued genus from ${\Omega }^{\mathrm{Fivebrane}}$ to some ring?

15. • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeAug 15th 2012
    • PermaLink
    Author: Urs
    Format: MarkdownItexI don't have any definite answers to these questions. It seems that most the 6-d analogs of the corresponding 2-d ingredients of the story are very much not understood yet.

    I don’t have any definite answers to these questions. It seems that most the 6-d analogs of the corresponding 2-d ingredients of the story are very much not understood yet.

16. • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeAug 15th 2012
    • (edited Aug 15th 2012)
    • PermaLink
    Author: Urs
    Format: MarkdownItexI have checked again with Hisham Sati. He tells me that in [the 2008 talk](http://www.math.union.edu/~leshk/singer-conference/index.html) where he talked about Fivebrane structures, he already stated a conjecture that there will be a morphism from $\Omega^{Fivebrane}$ to topological automorphic forms. I didn't know about that, to be frank. If I find out more that I may share, I'll let you know.

    I have checked again with Hisham Sati. He tells me that in the 2008 talk where he talked about Fivebrane structures, he already stated a conjecture that there will be a morphism from ${\Omega }^{\mathrm{Fivebrane}}$ to topological automorphic forms. I didn’t know about that, to be frank.

    If I find out more that I may share, I’ll let you know.

17. • CommentRowNumber17.
    • CommentAuthorzskoda
    • CommentTimeAug 15th 2012
    • PermaLink
    Author: zskoda
    Format: MarkdownItexThanks Todd for Nolan. It sliped my mind. Is anybody having a fie of his book on Fourier transform and symplectic geometry. It is a simple old book whose simplicity made me always easily remember the stuff. But I have not seen it since leaving United States...

    Thanks Todd for Nolan. It sliped my mind. Is anybody having a fie of his book on Fourier transform and symplectic geometry. It is a simple old book whose simplicity made me always easily remember the stuff. But I have not seen it since leaving United States…

18. • CommentRowNumber18.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 15th 2012
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexRe 16, that would seem to be a good move to link your work up to topological automorphic forms. There does seem to be considerable interest. If I have this height business correct, I think Fivebrane would pick up $v_6$ periods. It [seems](http://www.ruhr-uni-bochum.de/topologie/szymik/szymik.K3spectra.pdf) that K3-cohomology can get up to height 10, and the Shimura variety approach could get to any height.

    Re 16, that would seem to be a good move to link your work up to topological automorphic forms. There does seem to be considerable interest.

    If I have this height business correct, I think Fivebrane would pick up $v_6$ periods. It seems that K3-cohomology can get up to height 10, and the Shimura variety approach could get to any height.

19. • CommentRowNumber19.
    • CommentAuthorhilbertthm90
    • CommentTimeAug 16th 2012
    • PermaLink
    Author: hilbertthm90
    Format: MarkdownItexWow. I wrote up the page [[height of a variety]] over a year ago. I'm shocked that it comes up in this topic. My thesis work has a lot to do with height, p-divisible groups, and liftability for K3 surfaces and Calabi-Yau threefolds and the relation to the derived category. This is very interesting since the motivation was very different for me.

    Wow. I wrote up the page height of a variety over a year ago. I’m shocked that it comes up in this topic. My thesis work has a lot to do with height, p-divisible groups, and liftability for K3 surfaces and Calabi-Yau threefolds and the relation to the derived category. This is very interesting since the motivation was very different for me.

20. • CommentRowNumber20.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 17th 2012
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexAnything on the link between height and detection of $v_n$ periodic behaviour would be good to add, e.g., Ravenel on p. 15 of these [slides](http://www.math.rochester.edu/u/faculty/doug/mypapers/wayne4.pdf).

    Anything on the link between height and detection of $v_n$ periodic behaviour would be good to add, e.g., Ravenel on p. 15 of these slides.