What is the standard notation for group action - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T23:01:35Z http://mathoverflow.net/feeds/question/64544 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/64544/what-is-the-standard-notation-for-group-action What is the standard notation for group action ε-δ 2011-05-10T21:32:57Z 2011-05-11T08:16:07Z <blockquote> <p>Please let me know what is the standard notation for group action.</p> </blockquote> <p>I saw the following three notations for group action. (All the images obtained as <code>G\acts X</code> for different deinitions of <code>\acts</code>.) </p> <p>(1) <img src="https://lh5.googleusercontent.com/_7jyZyirE1is/TcM6Q736oVI/AAAAAAAAACU/7li7VA1-FTc/s144/B.png" alt="alt text"> </p> <p>I saw this one most, but only in handwriting and I like it. But I did not find a better way to write it in LaTeX.</p> <pre><code>\usepackage{mathabx,epsfig} \def\acts{\mathrel{\reflectbox{$\righttoleftarrow$}}} </code></pre> <p>(2) <img src="https://lh5.googleusercontent.com/_7jyZyirE1is/TcM6XymimxI/AAAAAAAAACY/byg0FDFv7wM/s144/C.png" alt="alt text"> </p> <p>It is almost as good as 1, but in handwriting this arrow can be taken as $G$.</p> <pre><code>\usepackage{mathabx} \def\acts{\lefttorightarrow} </code></pre> <p>(3) <img src="https://lh6.googleusercontent.com/_7jyZyirE1is/TcM6JeflvjI/AAAAAAAAACQ/n_dfYCfeQEc/s800/A.png" alt="alt text"> </p> <p>I saw this one in print, I guess it is used since there is no better symbol in "amssymb".</p> <pre><code>\usepackage{amssymb} \def\acts{\curvearrowright} </code></pre> http://mathoverflow.net/questions/64544/what-is-the-standard-notation-for-group-action/64548#64548 Answer by Theo Johnson-Freyd for What is the standard notation for group action Theo Johnson-Freyd 2011-05-10T22:50:52Z 2011-05-10T22:50:52Z <p>It is always a shame, of course, when none of the many LaTeX packages has precisely the symbol that you might use on the chalkboard. In writing, you should try to use words when possible, or at least supplement your symbols with words. Someone just reading the words should be able to pick up the nuances of your notation. Very importantly, use your notation consistently throughout the paper.</p> <p>When speaking at the chalkboard, you should speak everything you write, and write everything you speak, in the following sense: someone blind should be able to follow the majority of your talk, and also someone deaf should be able to follow the majority of the talk. Even when talking one-on-one with someone else, this is important. So you write "$G \acts X$" for your favorite definition of $\acts$, but you speak "Let $G$ act on $X$." And in the most important statements in the talk, namely the statements of definitions and theorems, you should write all the words: "Let $G$ act on $X$."</p> <p>Personally, I like some variation on your option 1. I have seen 3, and I use it in some lecture notes. I do not like 2: when people read, they tend to give a lot more visual importance to the tops of words and letters than to the bottoms (this is why almost all letters do not hang below the baseline, but there are many that stick up higher, and you can almost read just from knowing which letters go higher up). So put the arrow at the top.</p> http://mathoverflow.net/questions/64544/what-is-the-standard-notation-for-group-action/64557#64557 Answer by Dick Palais for What is the standard notation for group action Dick Palais 2011-05-11T01:51:52Z 2011-05-11T01:51:52Z <p>I guess I am somewhat of a minimalist when it comes to notation. I have spent a lot of my career writing about group actions, and what I usually have done is start out defining what a group action is, and then say something like If we have in mind a fixed action of G on X then we will say that X is a G-space and we will denote by gx the result of the action of g in G on an element x of X.''</p> <p>To be more pedantic, the point is that for a fixed group G, G-spaces form a category and if you ever had two different actions of G on the same topological space, you really should use two different symbols to denote that space with the different actions And it is convenient to have a morphism (equivariant map) $\phi$ between G-spaces just mean that $\phi(gx) = g \phi(x)$.</p> http://mathoverflow.net/questions/64544/what-is-the-standard-notation-for-group-action/64561#64561 Answer by Pete L. Clark for What is the standard notation for group action Pete L. Clark 2011-05-11T02:44:49Z 2011-05-11T02:44:49Z <p>As it happens, I can still remember being confused the first few times I saw this notation: not to put too fine a point on it, but there is something syntactically new going on there beyond the usual function / arrow notation.</p> <p>In my opinion this is not notation at all but rather <strong>shorthand</strong>. In other words, it is something that you can use in your own handwritten notes and something that you can write on the board <em>if</em> you are confident that your listeners will understand you. (I suppose if I start telling stories about all the talks I witnessed as a Harvard graduate student that sailed over my head whether the speaker intended them to or not, I will not get enough "Oh, you poor dear" responses to justify the effort. But it happened quite a lot!) It's nice to have an agreed upon shorthand. For instance, in the commutative algebra class I just taught, when things were hot and heavy I didn't want to keep writing out "$I$ is an ideal of $R$", so I used a shorthand for it and explained it the first 20 times I used it. (The students used it too when presenting solutions to problems.) But in my lecture notes it appears nowhere: if I have the time to tex up lecture notes at all, then I certainly have the time to write out "$I$ is an ideal of $R$". </p> <p>Thus I would not recommend that anyone include this notation in their formal mathematical writings. Note that Dick Palais has said essentially the same thing above, so: don't listen to me, but listen to him!</p> http://mathoverflow.net/questions/64544/what-is-the-standard-notation-for-group-action/64576#64576 Answer by Stefan Waldmann for What is the standard notation for group action Stefan Waldmann 2011-05-11T08:16:07Z 2011-05-11T08:16:07Z <p>IN addition to what has been said, I would like to mention the following aspect: a group action usually does not come alone. When $G$ acts on a set $X$ you will almost for sure be interested also in the induced action of $G$ on certain kind of functions on $X$: think of a smooth manifold $M$ and of smooth functions, or of smooth tensor fields on $M$, or what not. Then the induced group action can be either viewed as a <em>right</em> action when $G$ acts from the left on $X$ or you have to plug in a $^{-1}$ to turn things again into a left action. In various situations (say equivariant maps in the dual of a Lie algebra etc) it might become a notational desaster if you want to specify all kind of actions with a separate symbol. However, it might be important to keep track of whether you have a left or a right action.</p> <p>So my habit is to denote the action of a group element $g$ on some object $x \in X$ by $g \triangleright x$ if it is a left action and by $g \triangleleft x$ or better $x \triangleleft g$ if it is a right action. Then you don't have to bother whether you have already included the $^{-1}$ in the coadjoint action to make it a left action or just stay with a right action :)</p>