Not signed in (Sign In)

A discussion forum about contributions to the nLab wiki and related areas of mathematics, physics, and philosophy.

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

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory 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 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 infinity integration integration-theory k-theory lie-theory limit limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monads monoid 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 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 science 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 type type-theory universal variational-calculus

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

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).

- Discussion Type
- discussion topicVassily Gorbunov
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 23 minutes ago

- Discussion Type
- discussion topicMSp
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by David_Corfield
- Last Active 1 hour ago

have added this pointer:

- Nigel Ray,
*The symplectic bordism ring*, Volume 71, Issue 2 March 1972, pp. 271-282 (doi:10.1017/S0305004100050519)

- Nigel Ray,

- Discussion Type
- discussion topicMichel André
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active 1 hour ago

- Discussion Type
- discussion topicArunas Liulevicius
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 1 hour ago

- Discussion Type
- discussion topicNigel Ray
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 2 hours ago

- Discussion Type
- discussion topiccobordism cohomology theory
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 3 hours ago

added pointers on relation of complex cobordism cohomology with divisors, algebraic cycles and Chow groups:

Burt Totaro,

*Torsion algebraic cycles and complex cobordism*, J. Amer. Math. Soc. 10 (1997), 467-493 (doi:10.1090/S0894-0347-97-00232-4)

- Discussion Type
- discussion topicAdS-QCD correspondence
- Category Latest Changes
- Started by Urs
- Comments 53
- Last comment by Urs
- Last Active 4 hours ago

- Discussion Type
- discussion topicRicci flow
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active 4 hours ago

added briefly something to Ricci flow, amplifying that it is the gradient flow of the action functional of dilaton gravity (equivalently: the renormalization group flow of the string-sigma-model coupled to gravity and dilaton)

- Discussion Type
- discussion topicquaternionic oriented cohomology theory
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active 4 hours ago

starting somethng. For the moment just checking what literature exists. So far I am aware of this:

Andrew Baker,

*Some chromatic phenomena in the homotopy of $MSp$*, in: N. Ray, G. Walker (eds.),*Adams Memorial Symposium on Algebraic Topology, Vol. 2*editors, Cambridge University Press (1992), 263–80 (pdf, BakerMSp.pdf:file)Ivan Panin, Charles Walter,

*Quaternionic Grassmannians and Pontryagin classes in algebraic geometry*(hal:00531725, pdf)Ivan Panin, Charles Walter,

*Quaternionic Grassmannians and Borel classes in algebraic geometry*(arXiv:1011.0649)Ivan Panin,

*Oriented theories and symplectic cobordism*, Seminar

- Discussion Type
- discussion topiccompletely prime filter
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active 5 hours ago

- Discussion Type
- discussion topicAndré-Quillen homology
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active 5 hours ago

- Discussion Type
- discussion topicDaniel Quillen
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active 5 hours ago

- Discussion Type
- discussion topicquasitoric manifold
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 6 hours ago

- Discussion Type
- discussion topicCraig Laughton
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 6 hours ago

brief

`category:people`

-entry for hyperlinking references at*MSp*and*quaternionic oriented cohomology theory*(and maybe eventually at*quasitoric manifold*)

- Discussion Type
- discussion topicCharles Walter
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 8 hours ago

brief

`category:people`

-entry for hyperlinking references at*MSp*and at*quaternionic oriented cohomology theory*

- Discussion Type
- discussion topiccomplex oriented cohomology theory
- Category Latest Changes
- Started by Urs
- Comments 27
- Last comment by Urs
- Last Active 8 hours ago

added a tiny bit of basics to

*complex oriented cohomology theory*

- Discussion Type
- discussion topicGustavo Granja
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 9 hours ago

brief

`category:people`

-entry for hyperlinking references at*quaternionic line bundle*

- Discussion Type
- discussion topicrelation between quasi-categories and simplicial categories
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active 9 hours ago

one more remark at relation between quasi-categories and simplicial categories

(to be expanded...)

- Discussion Type
- discussion topicquaternionic vector space
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 9 hours ago

- Discussion Type
- discussion topicquaternionic vector bundle
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 10 hours ago

- Discussion Type
- discussion topiccohomotopy
- Category Latest Changes
- Started by Urs
- Comments 28
- Last comment by Urs
- Last Active 10 hours ago

At the old entry

*cohomotopy*used to be a section on how it may be thought of as a special case of non-abelian cohomology. While I (still) think this is an excellent point to highlight, re-reading this old paragraph now made me feel that it was rather clumsily expressed. Therefore I have rewritten (and shortened) it, now the third paragraph of the Idea-section.(We had had long discussion about this entry back in the days, but it must have been before we switched to nForum discussion, because on the nForum there seems to be no trace of it.)

- Discussion Type
- discussion topicproper map
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by nLab edit announcer
- Last Active 18 hours ago

For better readability, I have split off

*proper map*(topology) from*proper morphism*(general) and added disambiguation. Added classes of examples at*proper map*.

- Discussion Type
- discussion topicCW complex
- Category Latest Changes
- Started by Tim_Porter
- Comments 3
- Last comment by Urs
- Last Active 23 hours ago

- Discussion Type
- discussion topiccell structure of projective spaces
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 23 hours ago

am splitting this off as a stand-alone statement (from

*complex projective space*)Have cleaned-up the formulation of statement and proof and have generalized from ground ring the complex numbers to reals, complex numbers and quaternions.

- Discussion Type
- discussion topiccontext-sensitive grammar
- Category Latest Changes
- Started by alexis.toumi
- Comments 3
- Last comment by alexis.toumi
- Last Active 23 hours ago

- Discussion Type
- discussion topicsemilinearity
- Category Latest Changes
- Started by alexis.toumi
- Comments 3
- Last comment by alexis.toumi
- Last Active 1 day ago

- Discussion Type
- discussion topicregular language
- Category Latest Changes
- Started by alexis.toumi
- Comments 1
- Last comment by alexis.toumi
- Last Active 1 day ago

- Discussion Type
- discussion topic(infinity,1)Topos
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Hurkyl
- Last Active 1 day ago

- Discussion Type
- discussion topic(infinity,1)-topos
- Category Latest Changes
- Started by spitters
- Comments 3
- Last comment by Hurkyl
- Last Active 1 day ago

- Discussion Type
- discussion topicflavours of cobordism cohomology theories -- table
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by Urs
- Last Active 1 day ago