6:48 AM
new-tag A new tag geometric-realization was created by Javi. The same user also created a tag-excerpt and tag-wiki.
On Wikipedia, Geometric realization redirects to article on simplicial sets, which has a section with this title.
1 hour later…
7:54 AM
In the mathematical field of differential geometry, a calibrated manifold is a Riemannian manifold (M,g) of dimension n equipped with a differential p-form φ (for some 0 ≤ p ≤ n) which is a calibration, meaning that:
φ is closed: dφ = 0, where d is the exterior derivative
for any x ∈ M and any oriented p-dimensional subspace ξ of TxM, φ|ξ = λ volξ with λ ≤ 1. Here volξ is the volume form of ξ with respect to g.Set Gx(φ) = { ξ as above : φ|ξ = volξ }. (In order for the theory to be nontrivial, we need Gx(φ) to be nonempty.) Let G(φ) be the union of Gx(φ) for x in M.
The theory of calibrations...
@ArcticChar Possibly I would see something along these lines as an argument in favor of some specific tag: "the name of an object does not really work well in search, either because the same word is used in many different meanings or because the same objects have several different commonly used name".
I think that this was argument when tags such as sorgenfrey-line or the-baire-space were created. (I.e., a tag for some specific object, in these cases specific topological spaces.)
These conversations were related to these two tags: chat.stackexchange.com/rooms/3740/conversation/… and chat.stackexchange.com/rooms/3740/conversation/…
This was also my argument in favor of a tag for stone-cech-compactification. (Although in this case the decison was not to create the tag.)
8 hours later…
3:34 PM
@MartinSleziak Personally I don't think the tag is necessary. This is a rather advanced, specialized concept (introduced only in 1982), people who look for these questions should have the ability to locate the question (by searching inside differetial-geometry, riemannian-geometry, minimal-surfaces....) . And that's only <10 questions as of now in MSE.
« first day (2566 days earlier) ← previous day next day → last day (1768 days later) »