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 book 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 deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry goodwillie-calculus 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 homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology newpage nforum nlab 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 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 topicWitt cohomology
- Category Latest Changes
- Started by hilbertthm90
- Comments 1
- Last comment by hilbertthm90
- Last Active Jul 29th 2011

I created the page Witt Cohomology.

- Discussion Type
- discussion topicGrothendieck topos
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Jul 28th 2011

Todd has added to Grothendieck topos the statement and proof that any such is total and cototal (and I have added to adjoint functor theorem the statement that this implies that all (co)limit preserving functors between sheaf toposes have (right)left adjoints).

I notice that we should really merge Grothendieck topos with category of sheaves. But I don’t have the energy to do this now.

- Discussion Type
- discussion topicadjoint functor theorem
- Category Latest Changes
- Started by Urs
- Comments 12
- Last comment by Urs
- Last Active Jul 28th 2011

I edited adjoint functor theorem a bit: gave it an Idea-section and a References-section and, believe it or not, a toc.

Then I opened an Examples-section and filled in what I think is an instructive simple example: the right adjoint for a colimit preserving functor on a category of presheaves.

- Discussion Type
- discussion topicMinkowski spacetime
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 28th 2011

added statement and pointer to the proof of the gravitational stability of Minkowski spacetime

- Discussion Type
- discussion topicgroup scheme
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by hilbertthm90
- Last Active Jul 28th 2011

I have edited group scheme and algebraic group slightly. To the latter I added Example-pointers to multiplicative group and additive group

- Discussion Type
- discussion topicUnitary irreducible representations of the Poincare group
- Category Latest Changes
- Started by Todd_Trimble
- Comments 19
- Last comment by Todd_Trimble
- Last Active Jul 27th 2011

I made a stubby start at unitary irreps of the Poincare group, titled this way to save space. Very eager to get to the bottom of things; this subject

*can't*be that hard.

- Discussion Type
- discussion topicQuestion at bicartesian closed category
- Category Latest Changes
- Started by Andrew Stacey
- Comments 7
- Last comment by Andrew Stacey
- Last Active Jul 27th 2011

Happened to notice a question at bicartesian closed category.

Question: don’t you need

$\frac{\Gamma, A \vdash C \qquad \Gamma,B \vdash C} {\Gamma, A + B \vdash C}$*distributive*bicartesian closed categories to interpret intuitionistic propositional logic? Consider the or-elimination ruleThe intepretations of the two premises will be maps of type $\Gamma \times A \to C$ and $\Gamma \times B \to C$. Then the universal property of coproducts gets us to $(\Gamma \times A) + (\Gamma \times B) \to C$, but we can’t get any farther – we need a distributivity law to get $\Gamma \times (A+B) \to C$.

- Discussion Type
- discussion topicKilling vector
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 27th 2011

stub for Killing vector

for the moment, out of laziness, I also made Killing spinor and covariantly constant spinor redirect to this

- Discussion Type
- discussion topiccolimits in categories of algebras
- Category Latest Changes
- Started by Todd_Trimble
- Comments 3
- Last comment by Todd_Trimble
- Last Active Jul 27th 2011

I completed the proof of the corollary which states that for any monad $T$ on $Set$, that $Set^T$ has colimits.

- Discussion Type
- discussion topicHeight of a Variety
- Category Latest Changes
- Started by hilbertthm90
- Comments 3
- Last comment by hilbertthm90
- Last Active Jul 27th 2011

I’ve started a page on the height of a variety. This is something I’ll hopefully add a ton to later. It will probably require me to add pages on Dieudonne modules, p-divisible groups, and Witt cohomology at some point.

- Discussion Type
- discussion topicspinning particle and worldline supersymmetry
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 27th 2011

I have created an entry spinning particle

As you can see there, so far the only point this entry is making is that the worline action functional for the ordinary Dirac spinor (such as the electrons and quarks that we all consist of) happpens to be supersymmetric. I have written a little paragraph discussing this in words a little, and then mainly collected a list of references that explain this.

To be further expanded.

- Discussion Type
- discussion topicGonzalo Reyes
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by zskoda
- Last Active Jul 26th 2011

I have only now discovered that Gonzalo Reyes is (or has been) running a blog where he has posted lots of useful-looking notes.

For instance in the Physics-section he has a long series of expositions on basics of differential geometry with an eye towards general relativity in terms of synthetic differential geometry. I have added pointers to this to various related entries now.

- Discussion Type
- discussion topiccorestriction
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by zskoda
- Last Active Jul 26th 2011

I added the sentence

The factorizing morphism $c \to im(f)$ is sometimes called the

**corestriction**of $f$:to image and made corestriction redirect to this page.

- Discussion Type
- discussion topicAlexandrov space
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active Jul 25th 2011

am adding references to Alexandrov space

- Discussion Type
- discussion topictime slice axiom
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 25th 2011

split off time slice axiom from local net

- Discussion Type
- discussion topicquantum state
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 25th 2011

The entry quantum state had been a bad mess with much dubious material. Where it was not dubious, it was superceded by the parallel state in AQFT and operator algebra.

For the time being I have mostly cleared this entry and added a pointer to state in AQFT and operator algebra. I think the best would be to delete the content of this entry entirely and merge the material from “state in AQFT and operator algebra” into here. But I am not energetic enough at this time of night to do so yet.

- Discussion Type
- discussion topicclassical state
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 25th 2011

I have split off classical state as a separate entry, which was implicit in some other entries.

- Discussion Type
- discussion topicarithmetic, Matiyasevich
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Jul 24th 2011

New stub Yuri Matiyasevich and additions to number theory aka arithmetic.

- Discussion Type
- discussion topicpictures of QM dynamics: Schrödinger, Heisenberg, Dirac
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by TobyBartels
- Last Active Jul 24th 2011

started the trinity of entries

But not done yet. So far: the basic idea in words and a pointer in each entry to the corresponding section in Zeidler’s textbook.

- Discussion Type
- discussion topicfunctional calculus
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 23rd 2011

added a bit of substance to functional calculus

- Discussion Type
- discussion topicglobally hyperbolic Lorentzian manifold
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active Jul 23rd 2011

I have split off a stub globally hyperbolic Lorentzian manifold from Cauchy surface

- Discussion Type
- discussion topicOperators
- Category Latest Changes
- Started by TobyBartels
- Comments 1
- Last comment by TobyBartels
- Last Active Jul 23rd 2011

Another meaning at operator, and the connection between them.

- Discussion Type
- discussion topicHomomorphisms
- Category Latest Changes
- Started by TobyBartels
- Comments 1
- Last comment by TobyBartels
- Last Active Jul 23rd 2011

At homomorphism, an incorrect definition was given (at least for monoids, and this was falsely claimed to generalise to the definition of functor). So I fixed this, and in the process expanded it (spelling out the inadequacy of the traditional definition for monoids) and made several examples (made explicit in the text) into redirects.

- Discussion Type
- discussion topictype II string theory
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 22nd 2011

I have created a stub type II string theory, because I needed the link. Hopefully at some point I find the time to write something substantial about the classification of critical 2d SCFTs. But not right now.

- Discussion Type
- discussion topicsewing constraint
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 22nd 2011

started sewing constraint

- Discussion Type
- discussion topicperturbation theory in AQFT
- Category Latest Changes
- Started by Urs
- Comments 21
- Last comment by zskoda
- Last Active Jul 22nd 2011

I have added to perturbation theory and to AQFT a list of literature on perturbative constructions of local nets of observables.

This is in reply to a question Todd was asking: while the rigorous construction of non-perturbative interacting QFTs in dimension $\gt 2$ is still open, there has at least been considerable progress in grasping the perturbation theory and renormalization theory known from standard QFT textbooks in the precise context of AQFT.

This is a noteworthy step: for decades AQFT had been suffering from the lack of examples and lack of connection to the standard (albeit non-rigorous) literature.

- Discussion Type
- discussion topicCharacterization of bicategories of stacks
- Category Latest Changes
- Started by zskoda
- Comments 11
- Last comment by Urs
- Last Active Jul 21st 2011

Remake of Street’s Gummersbach paper: Characterization of Bicategories of Stacks (zoranskoda).

- Discussion Type
- discussion topicQED and QCD
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by zskoda
- Last Active Jul 21st 2011

- Discussion Type
- discussion topicspectral theory
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Jul 20th 2011

Urs, while it is good that spectral theorem is included into functional analysis table of contents, and it has functional analysis toc bar, I do not like that spectral theory is also included and also has this toc bar. My understanding is that spectral theory is much wider subject on the relation between the possibly categorified and possibly noncommutative function spaces (sheaf categories, noncommutative analogues) and the specifical “singular” features of those like prime ideals, like certain special objects in abelian categories, points of spectra in operator framework etc. In any case, in $n$POV, it is NOT a part of functional analysis, though some manifestations are. Like the concept of a space is not a subject of functional analysis, though some spaces are defined in the language of operator algebras. I find spectral theory on equal footing like space, “quantity” etc. Of course, the entry currently does not reflect this much (though it has a section on spectra in algebraic geometry), but it eventually will! Thus I will remove it from functional analysis contents.

One should also point out that using generators in the proof of Giraud’s reconstruction theorem of a site out of a topos is a variant of spectral idea: like points form certain spaces, so the generators of various kind generate or form a category. This is behind many spectral constructions (including recent Orlov’s spectrum which is very laconic but stems from that) and reconstruction theorems and if the category corresponds to coherent sheaves over a variety than often the geometric features of the variety give certain contributions to the spectrum.

- Discussion Type
- discussion topicThree Roles of Quantum Field Theory
- Category Latest Changes
- Started by Tim_Porter
- Comments 2
- Last comment by Urs
- Last Active Jul 19th 2011

Can someone look at Three Roles of Quantum Field Theory. There was an unsigned change there and a box that does not work. I do not know what was intended so will not try to fix it.

- Discussion Type
- discussion topicDmytro Shklyarov
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by Tim_Porter
- Last Active Jul 19th 2011

New entry Dmytro Shklyarov; he seems to be now in Augusburg. Lots of interesting recent work in several subfields of our interest. I did not know where to put his 2-representations paper into 2-vector space as the bibliography is scattered there with some classification of subtopics.

- Discussion Type
- discussion topicOrlov's dimension spectrum
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Jul 18th 2011

- Discussion Type
- discussion topictable of contents for functional analysis
- Category Latest Changes
- Started by Andrew Stacey
- Comments 44
- Last comment by Urs
- Last Active Jul 17th 2011

At Urs’ urging, I have created functional analysis - contents. It needs considerable extending; and I’ve yet to include it anywhere.

As hinted by the contents, I plan to move the diagram from TVS to its own page (but still include it on TVS).

- Discussion Type
- discussion topicHall algebra
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by zskoda
- Last Active Jul 16th 2011

Created entry Hall algebra with a list of references and links for now. Related name entries, Daniel Huybrechts, Bernhard Keller, and updates to Berntrand Toen (and for the heck, Bernhard Riemann), and to contributors to algebraic geometry.

- Discussion Type
- discussion topicCauchy surface
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by TobyBartels
- Last Active Jul 13th 2011

stub for Cauchy surface

- Discussion Type
- discussion topicLocalisable measurable spaces
- Category Latest Changes
- Started by TobyBartels
- Comments 1
- Last comment by TobyBartels
- Last Active Jul 10th 2011

I wrote about these at measurable space, following to reference to M.O answers by Dmitri Pavlov that were already being cited.

- Discussion Type
- discussion topicfuture and past
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by TobyBartels
- Last Active Jul 10th 2011

have a look into (the) future

- Discussion Type
- discussion topicE-infinity operad
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 7th 2011

I have split off E-infinity operad from little k-cubes operad (where it had been hiding well) and expanded a bit

(in reply to a question by John over on Azimuth)

- Discussion Type
- discussion topicboolean algebras and ultrafilters
- Category Latest Changes
- Started by Todd_Trimble
- Comments 4
- Last comment by TobyBartels
- Last Active Jul 7th 2011

I have added some new material to Boolean algebra and to ultrafilter. In the former, I coined the term ’unbiased Boolean algebra’ for the notion which describes Boolean algebras as equivalent to finite-product-preserving functors $Fin_+ \to Set$ from the category of finite nonempty sets, and the term $k$-biased Boolean algebra to refer to the multiplicity of ways in which Boolean algebras could be considered monadic over $Set$.

In ultrafilter, I added some material which gives a number of universal descriptions of the ultrafilter monad. This is in part inspired by some discussions I’m having with Tom Leinster, who remarked recently at the categories list that the ultrafilter monad could be described as a codensity monad. All this is related to the unbiased Boolean algebras and to the remarks due to Lawvere, which were described on an earlier revision; this material has been reworked.

- Discussion Type
- discussion topic(oo,1)Topos
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Jul 6th 2011

created an entry (infinity,1)Toposes on the $(\infty,1)$-catgeory (or $(\infty,2)$-category) of all $(\infty,1)$-toposes.

Also split off an entry (infinity,1)-geometric morphism

- Discussion Type
- discussion topictorsion
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Jul 5th 2011

I have tried to make the page torsion look more like a disambiguation page and less like a mess. But only partially successful.

- Discussion Type
- discussion topiclocally ringed topos
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Jul 4th 2011

added to locally ringed topos the characterization as algebras over the geometric theory of local rings.

I give pointers to two references that I know which say this more or less explicitly: Johnstone and Lurie. But I lost the page where Johnstone says this. I had it a minute ago, but then somebody distracted me, and now it is as if the paragraph has disappeared…

- Discussion Type
- discussion topicreductive Lie algebra
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Jul 1st 2011

- Discussion Type
- discussion topicquasi-state
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jun 30th 2011

stub for quasi-state

- Discussion Type
- discussion topicWigner's theorem
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jun 30th 2011

stub for Wigner’s theorem

- Discussion Type
- discussion topicdiffeological oo-groupoid
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Jun 29th 2011

I have split off from smooth infinity-groupoid – structures the section on concrete objects, creating a new entry concrete smooth infinity-groupoid.

Right now there is

a proof that 0-truncated concrete smooth $\infty$-groupoids are equivalent to diffeological spaces;

and an argument that 1-truncated concrete smooth $\infty$-groupoids are equivalent to “diffeological groupoids”: groupoids internal to diffeological spaces.

That last one may require some polishing.

I am still not exactly sure where this is headed, in that: what the deep theorems about these objects should be. For the moment the statement just is: there is a way to say “diffeological groupoid” using just very ygeneral nonsense.

But I am experimenting on this subject with Dave Carchedi and I’ll play around in the entry to see what happens.

- Discussion Type
- discussion topicFunctorial analysis
- Category Latest Changes
- Started by fpaugam
- Comments 3
- Last comment by TobyBartels
- Last Active Jun 27th 2011

- I have introduced a new section in nlab intitled functorial analysis.

It talks about the functor of point approach to functional analysis, using partially defined functionals.

- Discussion Type
- discussion topicclassifying objects toc
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Jun 27th 2011

I thought about starting a floating toc for classifying objects and related, but then decided to subsume it into Yoneda lemma - contents. There I have now added the list of entries

and, conversely, included that toc into all these entries.

- Discussion Type
- discussion topicumbrella category
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by zskoda
- Last Active Jun 27th 2011

have split off the definition of umbrella category from subterminal object

- Discussion Type
- discussion topicn-topos
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jun 26th 2011

since the link was requested somewhere, I have created a stub for n-topos

- Discussion Type
- discussion topicconvenient category of topological spaces
- Category Latest Changes
- Started by Todd_Trimble
- Comments 3
- Last comment by Todd_Trimble
- Last Active Jun 25th 2011

In convenient category of topological spaces, I rewrote a little under the section on counterexamples, and I added a number of examples and references. Some of this came about through a useful exchange with Alex Simpson at MO, here.

- Discussion Type
- discussion topicTubular Neighbourhoods in Mapping Spaces
- Category Latest Changes
- Started by Andrew Stacey
- Comments 3
- Last comment by Andrew Stacey
- Last Active Jun 22nd 2011

I got a question by email about the

*equivariant*tubular neighbourhoods in loop spaces (as opposed to those defined using propagating flows so I figured it was time to nLabify that section of differential topology of mapping spaces. Of course, in so doing I figured out a generalisation: given a fibre bundle $E \to B$, everything compact, we consider smooth maps $E \to M$ which are constant on fibres. This is a submanifold of the space of all smooth maps $E \to M$. Assuming we can put a suitable measure on the fibres of $E$, then we can define a tubular neighbourhood of this submanifold.Details at equivariant tubular neighbourhoods. Title may be a bit off now, but it’s that because the original case was for the fibre bundle $S^1 \to S^1$ with fibre $\mathbb{Z}_n$.

This entry is also notable because I produced it using a whole new LaTeX-to-iTeX converter. Details on the relevant thread.

- Discussion Type
- discussion topicTomita-Takesaki modular flow
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Jun 20th 2011

I added a reference to a paper of Connes and Rovelli (1994) and a link (in modular theory) to

- MathOverflow question tomita-takesaki-versus-frobenuis-where-is-the-similarity

where André Henriques asks about some Connes philosophy. But André quotes in explaining the background to his question, that in full generality there is a homomorphism from imaginary line into the 2-group of invertible bimodules of the given von Neumann algebra $M$, which

*in the presence of state*lifts to the homomorphism into $Aut(M)$. I learned just the case when there is a state, and am delighted to hear that this is just a strengthening of some categorical structure which exists even more generally. If somebody is familiar or can dig more on that general case, it would be nice to have such categorical picture in the $n$Lab entry modular theory.

- Discussion Type
- discussion topicStanford Enc, of Philosphy; quantum mechanics
- Category Latest Changes
- Started by zskoda
- Comments 7
- Last comment by zskoda
- Last Active Jun 20th 2011

- Stanford Encyclopaedia of Philosophy online, contents is free online in the article by article html format (for now, they pledge for support to stay so…) ! Good quality stuff online. I added the link to philosophy, and will later add it to math archives.

Specially good for usage and references in our foundational entries on quantum mechanics is that they have excellent online articles quantum logic and probability theory, quantum mechanics: Kochen-Specker theorem, quantum mechanics and quantum mechanics: von Neumann vs. Dirac.

- Discussion Type
- discussion topicDiaconescu's theorem
- Category Latest Changes
- Started by Urs
- Comments 27
- Last comment by Urs
- Last Active Jun 20th 2011

Igor Bakovic created Diaconescu’s theorem

- Discussion Type
- discussion topicPDEs, Jet D-modules and exterior differential systems
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by zskoda
- Last Active Jun 19th 2011

you may recall (okay, probably not ;-) what I once wrote in the entry on exterior differential systems: while in the classical literature these are thought of as dg-ideals in a de Rham complex, we should think of them as sub-Lie algebroids of tangent Lie algebroids.

Since exterior differential systems over X encode and are encoded by partial differential equations on functions on X, this means that such sub-Lie algebroids are partial differential equations.

This perspective is amplified much more in the literature on D-modules: I think we can think of a D-scheme as an infinite-order analog of a Lie algebroid, which is the corresponding first-order notion. The Jet-bundle with its D-scheme structure is the infinite-order analog of the tangent Lie algebroid.

And sub-D-schemes of Jet-D-schemes are partial differential equations, this is what everyone on D-geometry tells you first.

So I think there is a nice story here.

- Discussion Type
- discussion topicUpdate to BV formalism
- Category Latest Changes
- Started by fpaugam
- Comments 3
- Last comment by zskoda
- Last Active Jun 19th 2011

- I have updated the reference section on BV formalism by the following:

i think the Beilinson-Drinfeld book does not treat the classical BV formalism in full generality, even if

they give a natural language to formalize this (pseudo-tensor, i.e., local operations).

I changed the corresponding references by saying they give a formalism for quantum BV on algebraic curves.

The general quantum BV formalism is being studied by Costello-Gwilliam and the formalism of chiral algebras

in higher dimension that has to be used to generalize Beilinson-Drinfeld to higher dimension is being studied

by Gaitsgory-Francis in their Chiral Koszul duality article (using infinity categorical localizations to replace model category

tools for homotopy theory, that are not directly available).

I also precised the reference to my article about this that uses the language of Beilinson-Drinfeld book and particularly

local operations, to deal with classical BV formalism for general gauge theories. Beilinson-Drinfeld only treat the

classical BRST formalism and not classical BV i think (at least not for general base manifold, only for curves).

- Discussion Type
- discussion topicaffiliated element
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Jun 19th 2011

New entry affiliated operator of a $C^\ast$-algebra aka affiliated element. This is important for the circle of entries on algebraic QFT, as the operator algebras are formed by bounded operators, while we typically need unbounded operators like derivative operator to do quantum mechanics.

I sent a version of that entry but the $n$Lab stuck in the middle of the operation so I am not sure if I succeeded. So here is the copy:

## Motivation

Most of the applications of operator algebras stuck in the problem that (hermitean or not) unbounded operators do not form an algebra under composition (or under Jordan multiplication); while the algebras of bounded operators are insufficient as most of applications involve also unbounded operators like the partial derivative operator on $L^2(\mathbb{R}^n)$ which is proportional to the momentum operator in quantum mechanics.

## Idea

The motivational problem is typically resolved by considering an operator algebra which contains operators which properly approximate the unbounded operators as close as one wishes, and formalize this by defining the larger class of “approximable” operators by means of operator algebra itself. One way to do this is to define the

**affiliated elements**of $C^\ast$-algebra, or the operators affiliated with the $C^\ast$-algebra. The idea is that if there is an unbounded self-adjoint operator then we can consider its spectral projections; they are bounded and if we include them into the algebra, the convergence of the spectral decomposition will supply the approximation.## Literature

- S. L. Woronowicz, K. Napiórkowski,
*Operator theory in $C^\ast$-framework*, Reports on Mathematical Physics**31**, Issue 3 (1992), 353-371, doi, pdf - S. L. Woronowicz,
*$C^\ast$-algebras generated by unbounded elements*, pdf - wikipedia affiliated operator

- S. L. Woronowicz, K. Napiórkowski,

- Discussion Type
- discussion topicinfinitesimal cohesion (formal cohesion)
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active Jun 17th 2011

I was forced to split off the section on infinitesimal cohesion from the entry cohesive (infinity,1)-topos – because after I had expanded it a little more, the nLab server was completely refusing to safe the entry (instead of just being absurdly slow with doing so). I guessed that it is was its length that caused the software to choke on it, and it seems I was right. The split-off subsection is now here:

cohesive (infinity,1)-topos – infinitesimal cohesion

Things I have edited:

added a bried Idea-paragraph at the beginning;

changed the terminology from “$\infty$-Lie algebroid” to “formally cohesive infinity-groupoid” , making the former a special case (first order) of the latter;

expanded the definition of formal smoothness, added remarks on formal unramifiedness in the $\infty$-context.

- Discussion Type
- discussion topicclassical mechanics
- Category Latest Changes
- Started by Urs
- Comments 54
- Last comment by zskoda
- Last Active Jun 17th 2011

I’ll try to start add some actual content to the entries classical mechanics, quantum mechanics, etc. For the time being I added a simple but good definition to classical mechanics. Of course this must eventually go with more discussion to show any value. I hope to be able to use some nice lecture notes from Igir Khavkine for this eventually.

For the time being, notice there was this old discussion box, which I am herby mving to the forum here:

–

+–{.query} Edit: I changed the above text, incorporating a part of the discussion (Zoran).

Zoran: I disagree. Classical mechanics is classical mechanics of anything: point particles, rigid bodies (the latter I already included), infinite systems (mechanics of strings, membranes, springs, elastic media, classical fields). It includes statics, not only dynamics. The standard textbooks like Goldstein take it exactly in that generality.

One could even count the simplified beginning part of the specialized branches like aerodynamics and hydrodynamics (ideal liquids for example), which are usually studied in separate courses and which in full formulation are not just mechanical systems, as the thermodynamics also affects the dynamics. There are also mechanical models of dissipative systems, where the dissipative part is taken only phenomenologically, e.g. as friction terms. Hydrodynamics can also be considered as a part of rheology.

*Toby*: I take your point that ’dynamics’ was not the right word. But do you draw any distinction between ’classical mechanics’ and ’classical physics’? Conversely, what word*would*you use to restrict attention to particles instead of fields, if not ’mechanics’? (Incidentally, I would take point particles as possibly spinning, although I agree that I should not assume that the particle are points anyway.)*Zoran*: you see, in classical mechanics you express all you have by attaching mass, position, velocity etc. to the parfts of mechanical systems. Not all classical physics belongs to this kind of description. The thermodynamical quantities may influence the motion of the systemm, but their description is out of the frame of classical mechanics. If you study liquids you have to take into account both the classical mechanics of the liquid continuum but also variations of its temperature, entropy and so on, which are not expressable within the variables of mechanics. Formally speaking of course, the thermodynamics has very similar formal structure as mechanics, for example Gibbs and Helmholtz free energies and enthalpy are like Lagrangean, the quantities which are extremized when certain theremodynamical quantities are kept constant. To answer the terminological question, there is a classical mechanics of point particles and it is called classical mechanics of point particles, there is also cm of fields and cm of rigid bodies.*Toby*: So ’mechanics’ for you means ‹not taking into account thermal physics›? That's not the way that I learned it! But I admit that I do not have a slick phrase for that (any more than you have a slick phrase for ‹mechanics of point particles›), so I will try to ascertain how the term is usually used and defer to that. =–