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 beauty bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundations functional-analysis functor galois-theory 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 lie-theory limit limits linear linear-algebra locale localization logic mathematics measure 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 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 topicquaternionic oriented cohomology theory
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by Urs
- Last Active Jan 3rd 2021

starting something. 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 topicThom-Gysin sequence
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Jan 3rd 2021

added doi for

- Robert Switzer,
*Algebraic Topology - Homotopy and Homology*, Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen, Vol. 212, Springer-Verlag, New York, N. Y., 1975 (doi:10.1007/978-3-642-61923-6)

- Robert Switzer,

- Discussion Type
- discussion topicThom isomorphism
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by Urs
- Last Active Jan 3rd 2021

- Discussion Type
- discussion topicConner-Floyd Chern class
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Jan 3rd 2021

- Discussion Type
- discussion topicsplitting principle
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by Urs
- Last Active Jan 3rd 2021

started something at

*splitting principle*(wanted to do more, but need to interrupt now)

- Discussion Type
- discussion topiccomplex oriented cohomology theory
- Category Latest Changes
- Started by Urs
- Comments 31
- Last comment by Urs
- Last Active Jan 3rd 2021

added a tiny bit of basics to

*complex oriented cohomology theory*

- Discussion Type
- discussion topicnoncommutative torus
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 9
- Last comment by Dmitri Pavlov
- Last Active Jan 2nd 2021

- Discussion Type
- discussion topicChromatic Homotopy Theory
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 2nd 2021

- Discussion Type
- discussion topicNoncommutative Geometry
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 2nd 2021

added ISBN:9780080571751

- Discussion Type
- discussion topicAlessandro Vichi
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 2nd 2021

brief

`category:people`

-entry for hyperlinking references at*conformal bootstrap*

- Discussion Type
- discussion topicSlava Rychkov
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 2nd 2021

brief

`category:people`

-entry for hyperlinking references at*conformal bootstrap*

- Discussion Type
- discussion topicconformal bootstrap
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active Jan 2nd 2021

added pointers:

For superconformal field theory, such as D=4 N=1 SYM, D=4 N=2 SYM, D=4 N=4 SYM, D=6 N=(1,0) SCFT, D=6 N=(2,0) SCFT:

Christopher Beem, Madalena Lemos, Pedro Liendo, Leonardo Rastelli, Balt C. van Rees,

*The $N=2$ superconformal bootstrap*(arXiv:1412.7541)Christopher Beem, Madalena Lemos, Leonardo Rastelli, Balt C. van Rees,

*The $(2,0)$ superconformal bootstrap*(arXiv:1507.05637)Christopher Beem, Leonardo Rastelli, Balt C. van Rees,

*More $N=4$ superconformal bootstrap*(arXiv:1612.02363)

- Discussion Type
- discussion topicMIP-star=RE
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by zskoda
- Last Active Jan 2nd 2021

- Discussion Type
- discussion topicD-brane charge quantization in topological K-theory -- references
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Jan 2nd 2021

this is a bare list of references, to be

`!include`

-ed into relevant entries (such as*D-brane*,*Dirac charge quantization*and*D-brane charge quantization in K-theory*).In fact, the list is that which has been in each of these entries all along, and it has been a pain to synchronize the parallel lists. So this here now to ease the process.

- Discussion Type
- discussion topicFrenet-Serret formulas
- Category Latest Changes
- Started by zskoda
- Comments 3
- Last comment by zskoda
- Last Active Jan 2nd 2021

- Discussion Type
- discussion topicSen's conjecture
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Jan 2nd 2021

*Sen’s conjecture*(and a stub for*D25-brane*)(to go with this physics.SE discussion)

- Discussion Type
- discussion topicPlanck's constant
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Oscar_Cunningham
- Last Active Jan 2nd 2021

started an entry

*Planck’s constant*with a remark on its meaning from the point of view of geometric quantization (and nothing else, so far).

- Discussion Type
- discussion topicarithmetic topology
- Category Latest Changes
- Started by David_Corfield
- Comments 30
- Last comment by David_Corfield
- Last Active Jan 2nd 2021

Started arithmetic topology.

- Discussion Type
- discussion topicspecialization topology
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 3
- Last comment by Urs
- Last Active Jan 1st 2021

- Discussion Type
- discussion topicprojective bundle
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active Dec 31st 2020

created a minimum at

*projective bundle*

- Discussion Type
- discussion topicsuplattice
- Category Latest Changes
- Started by John Baez
- Comments 11
- Last comment by Urs
- Last Active Dec 31st 2020

- Discussion Type
- discussion topicselection monad
- Category Latest Changes
- Started by David_Corfield
- Comments 10
- Last comment by David_Corfield
- Last Active Dec 30th 2020

- Discussion Type
- discussion topiclocally connected topological space
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by Todd_Trimble
- Last Active Dec 30th 2020

As written, I do not believe Theorem 4.1 is true. Certainly, the coreflection exists but it is unclear why the topology generated by the connected components of the open subsets of $X$ is in fact a locally connected space. It is only obvious that locally connected spaces are the fixed points of this construction. Either this case was being mistaken for the locally path-connected case or the mistake was made of assuming that connected subspaces of $X$ still need to be connected as subspaces of $R(X)$. Looking at the literature (Gleason’s paper “Universally locally connected refinements”) this simple refinement is used to show that the coreflection exists. However, the simple refinement and coreflection don’t seem to be the same. Rather, the coreflection is only guaranteed to be the infimum (in the lattice of topologies) of locally connected topologies larger than the topology of $X$.

Jeremy Brazas

- Discussion Type
- discussion topicGrothendieck construction
- Category Latest Changes
- Started by Urs
- Comments 41
- Last comment by Todd_Trimble
- Last Active Dec 30th 2020

added to Grothendieck construction a section Adjoints to the Grothendieck construction

There I talk about the left adjoint to the Grothendieck construction the way it is traditionally written in the literature, and then make a remark on how one can look at this from a slightly different perspective, which then is the perspective that seamlessly leads over to Lurie's realization of the (oo,1)-Grothendieck construction.

There is a CLAIM there which is maybe not entirely obvious, but straightforward to check. I'll provide the proof later.

- Discussion Type
- discussion topictriangle identities
- Category Latest Changes
- Started by Tim_Porter
- Comments 12
- Last comment by Urs
- Last Active Dec 30th 2020

Someone anonymous has noted that the labels in two diagrams in triangle identities are misplaced. This seems clear. As the diagrams are external, can someone edit them who has access to the original code? There seem to be other errors (e.g. a C should be a D), as well.

- Discussion Type
- discussion topicfinite-rank complex orientation and Ravenel's spectra -- references
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Dec 30th 2020

added this item to the list:

- Jonathan Beardsley,
*Topological Hochschild homology of $X(n)$*(arXiv:1708.09486)

- Jonathan Beardsley,

- Discussion Type
- discussion topicDoug Ravenel
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 30th 2020

added pointer to:

- Michael Hopkins,
*The mathematical work of Douglas C. Ravenel*, Homology Homotopy Appl. Volume 10, Number 3 (2008), 1-13 (euclid:hha/1251832464)

Also added more items under “Selected writings”

- Michael Hopkins,

- Discussion Type
- discussion topicRavenel's conjectures
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 30th 2020

- Discussion Type
- discussion topicRavenel's spectrum
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Dec 30th 2020

- Discussion Type
- discussion topicuniversal complex orientation on MU
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Dec 29th 2020