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-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry 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 cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration 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 kan lie-theory limit 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 newpage nlab nonassociative noncommutative noncommutative-geometry number-theory object 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 string 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).
    • Added the proof of the fundamental theorem of covering spaces in HoTT

      diff, v13, current

    • tried to edit Ext a bit. But this needs to be expanded, eventually.

    • I added to covering space a section In terms of homotopy fibers that explains the universal covering space as the homotopy fiber/principal oo-bundle classified by the cocycle that is the constant path inclusion  X \to \Pi_1(X) of topological groupoids.

      To fit this into the entry, I added some new sections and restructured slightly. Todd and David should please have a look.

      What I just added is essentially what David Roberts says in various query boxes, notably in what is currently the last query box. Back then we talked about the "Roberts-Schreiber construction" or whatnot, but really what this is is just the standard way to compute homotopy fibers in the oo-category of oo-groupoids.

      I suspect that Todd's bar construction described there can similarly be understood as being nothing but another way to compute the more abstractly defined homotopy pullback in concrete terms. I'll have to think about this, though. But probably Tim Porter or Mike Shulman will immediately recognize this as the relevant bar construction of homotopy pullbacks in homotopy coherent category theory.

    • following discussion here I am starting an entry with a bare list of references (sub-sectioned), to be !include-ed into the References sections of relevant entries (mainly at homotopy theory and at algebraic topology) for ease of updating and syncing these lists.

      The organization of the subsections and their items here needs work, this is just a start. Let’s work on it.

      I’ll just check now that I have all items copied, and then I will !include this entry here into homotopy theory and algebraic topology. It may best be viewed withing these entries, because there – but not here – will there be a table of contents showing the subsections here.

      v1, current

    • added to derivation at the very end in the exampls section a discussion of derivations on smooth functions (and how they are vector fields) and f derivations on continuous functions (and how they are trivial).

    • Page created, but author did not leave any comments.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I began to add a definition of conformal field theory using the Wightman resp. Osterwalder-Schrader axiomatic approach. My intention is to define and explain the most common concepts that appear again and again in the physics literature, but are rarely defined, like “primary field” or “operator product expansion”.

      (I remember that I asked myself, when I first saw an operator product expansion, if the existence of one is an axiom or a theorem, I don’t remember reading or hearing an answer of that until I looked in the book by Schottenloher).

    • Not sure about the original intention but sure enough that having literally “phi” (I mean, not the greek letter but this combination of three latin letters) is inappropriate

      Mamuka Jibladze

      diff, v3, current

    • Page created, but author did not leave any comments.

      v1, current

    • a stub entry, for the moment just to record some references and to satisfy links at defect brane

      v1, current

    • starting something. Not done yet, but need to save

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Corrected a link. Before the word “derivation” linked to the page for derivations in differential algebra.

      Sam Winnick

      diff, v27, current

    • Created:

      \tableofcontents

      Definition

      (Definition 2.1 in Bhatt–Scholze.)

      Fix a prime pp. A δ-ring is a pair (R,Unknown characterUnknown character)(R,δ), where RR is a commutative ring and δ:RR\delta\colon R\to R is a map of underlying sets such that δ(0)=0\delta(0)=0, δ(1)=0\delta(1)=0,

      δ(xy)=x pδ(y)+y pδ(x)+pδ(x)δ(y),\delta(xy)=x^p \delta(y)+y^p \delta(x) + p\delta(x)\delta(y),

      and

      δ(x+y)=δ(x)+δ(y)+(x p+y p(x+y) p)/p.\delta(x+y)=\delta(x)+\delta(y)+(x^p+y^p-(x+y)^p)/p.

      Properties

      If (R,δ)(R,\delta) is a δ-ring, then the map ϕ:RR\phi\colon R\to R given by ϕ(x)=x p+pδ(x)\phi(x)=x^p + p\delta(x) is a ring homomorphism that lifts the Frobenius endomorphism on R/pR/p.

      For pp-torsionfree rings, the above correspondence between δ-structures and lifts of the Frobenius endomorphism on R/pR/p to RR is bijective. This motivates the identities in the definition of a δ-structure.

      Related entries

      References

      v1, current

    • stub entry for the last remaining item in the brane scan, for the moment just to record references

      v1, current

    • Am finally giving this neglected entry (in contrast to M2-brane) a tad more text, a little history, disambiguation and pointers to more specific entries and more references.

      diff, v5, current

    • stub entry for one more item in the brane scan, for the moment just to record references

      v1, current

    • I am trying to give more of the entries of the brane scan in low ambient dimension their proper names.

      Next to the little string in D=6D = 6 the brane scan says that there is a Green-Schwarz action functional for a 3-brane σ\sigma-model in D=6D = 6. This has been first written down in

      • James Hughes, Jun Liu, Joseph Polchinski, Supermembranes, Physics Letters B Volume 180, Issue 4, 20 November 1986, Pages 370–374

      but it seems to go by no specific name apart from “the 3-brane in 6d”. So I created a stub entry with that title, 3-brane in 6d.

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • starting something, with a hat-tip to Charles Rezk

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Page created, but author did not leave any comments.

      v1, current

    • expanded the discussion at equivariant homotopy theory

      • expanded the statement of the classical Elmendorf theorem

      • added the statement of the general Elmendorf theorem in general model categories

      • added remarks on G-equivariant oo-stacks, as special cases of this

    • brief category:people-entry for hyperlinking references

      v1, current

    • for the moment just for completeness (and to record references)

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • started a Properties-section, with material copied from other entries:

      1. the rational cohomology of iterated loop spaces of spheres

      2. the relation to configuration spaces of points

      diff, v4, current

    • Added in the usual group presentation of the dihedral group D 2nD_{2n} plus a warning that this group is also denoted D nD_n by some authors (including myself!!!)

      diff, v16, current

    • added to equivariant K-theory comments on the relation to the operator K-theory of crossed product algebras and to the ordinary K-theory of homotopy quotient spaces (Borel constructions). Also added a bunch of references.

      (Also finally added references to Green and Julg at Green-Julg theorem).

      This all deserves to be prettified further, but I have to quit now.

    • i polished the definition in bundle gerbe and then reorganized the former material on “Interpretations” in a new section

      that first shows how to get a shifted central extension of groupoids form the bundle gerbe, and then demonstrates that this is the total space of a principal 2-bundle

    • Inspired by a discussion with Martin Escardo, I created taboo.

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • needed to point to ring of integers of a number field. The term used to redirect just to integers. I have split it off now with a minimum of content. Have to rush off now.

    • brief category:people-entry for hyperlinking references

      v1, current

    • added the Hurewicz model structure as an example of 2-trivial model structure

      Daniel Teixeira

      diff, v2, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • added more publication data and links to:

      • J. W. S. Cassels, Albrecht Fröhlich (eds.), Algebraic number theory, Acad. Press 1967, with many reprints; Fröhlich, Cassels, Birch, Atiyah, Wall, Gruenberg, Serre, Tate, Heilbronn, Rouqette, Kneser, Hasse, Swinerton-Dyer, Hoechsmann, systematic lecture notes from the instructional conference at Univ. of Sussex, Brighton, Sep. 1-17, 1965 (ISBN:9780950273426, pdf, errata pdf by Kevin Buzzard)

      also, I have fixed the order of the editor’s names

      diff, v11, current