# Tag Info

15

I think they should be merged, as choosing one tag instead of the other seems to convey little information. I think we should also add the expression "complex analysis" in the tag wiki excerpt of cv.complex-variables for clarity so that it would read: Complex analysis, holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex ...

9

There is a built-in system to automatically create tag synonyms by the nomination and voting of high-reputation users. Unfortunately, it appears that hardly anyone ever looks at this page (and the qualifications for voting are fairly demanding), so I'm posting it here to try to get it more attention. In particular, all of the synonyms marked as "pending" ...

7

The tags matrix-analysis (32 questions tagged) and matrix-theory (18 questions) should probably be merged, unless there is a strong difference between them that I am not aware of (incidentally, there is also matrices, 150 questions tagged). The tag matrix-inverse (6 questions) seems overly specific and in my opinion it should be removed outright.

7

As of August 8, 2017, the length limit for tags went from 25 characters to 35 characters. So now is a great time to allow inconveniently compressed tag names to stretch out a bit... Perhaps we could collect here list of tags which now, after the character limit for length of tag name has been extended, could be spelled in full instead of a shortening. (This ...

7

As someone who played a little with noncommutative algebra in the past I would approve this merger. In any case, something has to be done because "not necessarily commutative" does not look very informative: if I can use this tag for Jordan algebras, then why I can't for $\mathbb{Z}$?

6

I have merged the tags. I didn't try to track how many experts in complex variables (whether in one or several variables) weighed in, but to my non-expert eyes the proposal seemed reasonable.

6

No. While it is true that in quantum mechanics a "Feynman integral" is a "path integral" (i.e. an integral of functions defined on a space of paths), in quantum field theory Feynman integration is performed on functions defined on a space of fields - so no paths in this case. In fact, you could try the opposite: make "path-integrals&...

6

To go forth, here's one single suggestion, namely an expanded version of (2) in my question, namely do the following three things: a) convex-geometry: its current tag guidance (which can be amended anyway, as any tag) is: "A branch of geometry dealing with convex sets and functions. Polytopes, convex bodies, discrete geometry, linear programming, ...

6

I suggest deleting the tag decomposition-theorem. I would guess that the tag was intended to be about the decomposition theorem of Beilinson-Bernstein-Deligne-Gabber. It seems unnecessary to have a whole tag just dedicated to this theorem (perverse-sheaves should suffice). What's worse, most posts with this tag are just about various "decompositions" in ...

4

I think of surreal numbers, infinitesimals and nonstandard analysis and three separate, distinct (although sometimes overlapping) areas, and I don't think they should be merged. They are of course often related, but it is easy to imagine questions in each one that do not involve the others. Meanwhile, I don't mind merging the two surreals tags. I guess "...

4

The tag crystals seems to be used for three completely different meanings: 1) Quantum groups/representation theory/combinatorial crystals 2) Crystals in algebraic geometry/category theory 3) Crystals in physics/condensed matter. I'm not sure what would be the best way to separate these. Perhaps "crystal-bases" or "crystal-graphs" for 1 ...

3

Suggesting to make characteristic-p a synonym of positive-characteristic. Both exist with with 232 questions and 82 questions (and only 7 tagged both). The first one has a tag excerpt. In practice, I can't even detect the beginning of a difference between the two. I believe the second one (positive-characteristic) is slightly better (in principle allowing ...

3

The tags noncommutative-algebra and noncommutative-rings should be merged; the first being more used, and also in analogy with the tag ac.commutative-algebra, I'd suggest to embed noncommutative-rings into noncommutative-algebra. Making a synonym noncommutative-rings $\to$ noncommutative-algebra would also have the advantage that the latter tag is ...

2

I am involved with questions having these tags quite a lot, but my preference would be to merge them both into a tag called "partial-orders". I rarely use the term "posets" myself, and I would usually not describe the topic as "order-theory", as opposed to the theory of partial orders. Most set theory books do not define anything called an "order", but ...

2

About tag hyperkaehler (13 questions at this date). a) tautological part: should be changed to hyperkahler, in coherence with the use of tags related to Kähler: kahler-manifolds, kahler-differentials... b) a bit less important: I think it should even be changed, in coherence with the use of kahler-manifolds, to hyperkahler-manifolds. At least, I've checked ...

2

I have performed the merge of enumeration into enumerative-combinatorics, with no synonyms, as quid recommended (and I agree with that recommendation). Luckily this was not a hard decision to make. Because sometimes, it seems hard to get MO community consensus on tag-merges and/or synonymization.

2

The issue is every question must have a tag. Those tags that do not exist on the target site get removed during migration. So if none of the tags exist on the target site it has no tags and the engine would reject the question. If I am not mistaken it used to be the case that in such cases the migrated question would get tagged with untagged so the ...

2

The tag ft.factorization-theory was created in 2016 by a user who did almost the totality of the 23 questions with it. It is formatted as a top-level tag, while it isn't. Could it be changed to factorization-theory? This tag has empty tag info, seems to be concerned with the multiplicative monoid in rings and factorization question therein. Although it's ...

1

I suggest invariant-theory and classical-invariant-theory be made synonyms. Don't see the point in making a distinction here.

1

continuity seems to have no coherent use. It has 3 watchers for 88 questions, which is a very low ratio (compared to tags with a comparable number of questions). It's mostly to mean some use of continuity, often somewhere fitting with real-analysis, gn.general-topology, and others. This number of questions is ridiculously small compared to the number of ...

1

I propose to systematically rename each tag xxx reduced to the name of a software, adding "-software" to make the tag (thus xxx-software) more understandable, and, furthermore, to allow to gather such tags when typing "software". This applies to sage, gap, magma, coq, etc (this list is not comprehensive; this post is community-wiki hence feel free to ...

1

I propose to make qcqp (10 questions) a synonym of quadratic-programming (34 questions). quadratic-programming has no usage guidance. qcqp has: A quadratically constrained quadratic program (QCQP) is an optimization problem in which both the objective function and the constraints are quadratic functions. The latter could be embedded, possibly improved, ...

1

Done. The tags locally-presentable-categories and presentable-categories should surely be synonyms. I would personally prefer that the former (much older, well-established, and less ambiguous, terminology) be the tag and the latter the synonym, but either direction of synonym would be better than having two separate tags.

1

I'm not sure if this is the right place to raise the issue, but I don't really like that combinatorial-geometry has been merged with discrete-geometry. In my opinion, this is the same (in a smaller scale) as merging combinatorics into discrete mathematics. There are many problems in discrete-geometry that have nothing to do with combinatorics.

Only top voted, non community-wiki answers of a minimum length are eligible