nForum - Discussion Feed (formal power series) 2021-04-11T12:41:55-04:00 https://nforum.ncatlab.org/ Lussumo Vanilla & Feed Publisher Urs comments on "formal power series" (66950) https://nforum.ncatlab.org/discussion/8246/?Focus=66950#Comment_66950 2018-01-19T15:07:13-05:00 2021-04-11T12:41:54-04:00 Urs https://nforum.ncatlab.org/account/4/ Just to notice that these two comments are of course compatible: C&langle;x,y&rangle;\mathbf{C}\langle x, y\rangle are in algebra the standard notation for the ring of noncommutative ...

Just to notice that these two comments are of course compatible:

$\mathbf{C}\langle x, y\rangle$ are in algebra the standard notation for the ring of noncommutative polynomials in variables $x,y$ with coefficients in $\mathbf{C}$

and

common notation for linear spans (e.g. here

in both cases we have the free construction on the given generators (algebras in the first case, vector spaces in the second).

Since my $LocObs$ is crucially not an algebra, but just a vector space, I suppose the notation I chose isn’t too bad

]]>
Urs comments on "formal power series" (66949) https://nforum.ncatlab.org/discussion/8246/?Focus=66949#Comment_66949 2018-01-19T13:25:50-05:00 2021-04-11T12:41:54-04:00 Urs https://nforum.ncatlab.org/account/4/ I was just thinking of the common notation for linear spans (e.g. here)

I was just thinking of the common notation for linear spans (e.g. here)

]]>
zskoda comments on "formal power series" (66946) https://nforum.ncatlab.org/discussion/8246/?Focus=66946#Comment_66946 2018-01-19T10:50:00-05:00 2021-04-11T12:41:54-04:00 zskoda https://nforum.ncatlab.org/account/10/ Angle brackets for variables, like C&langle;x,y&rangle;\mathbf{C}\langle x, y\rangle are in algebra the standard notation for the ring of noncommutative polynomials in variables x,yx,y with ...

Angle brackets for variables, like $\mathbf{C}\langle x, y\rangle$ are in algebra the standard notation for the ring of noncommutative polynomials in variables $x,y$ with coefficients in $\mathbf{C}$. Double angle brackets, like $\mathbf{C}\langle \langle x, y\rangle \rangle$ mean noncommutative power series in variables $x,y$.

You might mean and it is true that $\langle g, j\rangle$ may mean the ideal generated by $g$ and $j$ (in any algebraic context, commutative or noncommutative) and then the ring is assumed from the context (not part of the notation), this usage of $\langle, \rangle$ is just an auxiliary notation within the proofs, internal statements (like steps in a definition of some ring) etc. not a complete notation. Thus in algebra one does not ever write $R\langle g, j\rangle$ (except as in nonconfusing case, as a step of an internal calculation, where $R\cdot I = I$ for unital rings and $R\cdot I\subset I$ for nonunital) to mean the ideal at hand within $R$, but only $\langle g, j\rangle\subset R$. Of course, when the ideal is principal, then the notation as the one suggested above, $X\mathbf{C}[[x]]$, is preferrable.

But there is a notation which can be somewhat more fitting to your case at hand. In the case when in descending filtration one takes elements in the $n$-th term of filtration, then one first introduces the definition and the notation for the filtration at place, e.g. $F^\bullet R$, so for example $F^1 R$ would be the first term in the defined filtration of the ring $R$. If I understood you right this is the case you have at place.

I am sorry I do not have a fully satisfactory solution for this notational problem, but from the point of view of an algebraist this is the best I can suggest.

]]>
Urs comments on "formal power series" (66945) https://nforum.ncatlab.org/discussion/8246/?Focus=66945#Comment_66945 2018-01-19T09:36:19-05:00 2021-04-11T12:41:54-04:00 Urs https://nforum.ncatlab.org/account/4/ so I settled now for writing LocObs(E BV-BRST)[[&hbar;,g,j]]&langle;g,j&rangle; LocObs(E_{\text{BV-BRST}})[ [\hbar, g, j ] ]\langle g,j \rangle (here)

so I settled now for writing

$LocObs(E_{\text{BV-BRST}})[ [\hbar, g, j ] ]\langle g,j \rangle$

(here)

]]>
Urs comments on "formal power series" (66931) https://nforum.ncatlab.org/discussion/8246/?Focus=66931#Comment_66931 2018-01-18T02:42:12-05:00 2021-04-11T12:41:54-04:00 Urs https://nforum.ncatlab.org/account/4/ So I am asking regarding the entry S-matrix, concerning this def. and others. This involves complex vector spaces of observables that presently already go by the names LocObs(E ...

So I am asking regarding the entry S-matrix, concerning this def. and others.

This involves complex vector spaces of observables that presently already go by the names

$LocObs(E_{\text{BV-BRST}})[ [ \hbar, g, j] ]$

and

$PolyObs(E_{\text{BV-BRST}})_{mc }((\hbar))[ [ g,j ] ] \,.$

But for the first I should really be using the subspace of power series where each term is at least linear in $g$ or $j$ (or so I came to think, I feel like the relevant literature might not be taking proper care here).

To indicate this I could write explicitly something like

$LocObs(E_{\text{BV-BRST}})[ [ \hbar, g, j] ] \otimes \mathbb{C}\langle g,j\rangle$

But this is becoming notationally awkward. I was hoping that maybe there’d be some established variant of the brackets to indicate the same idea, maybe something like

$LocObs(E_{\text{BV-BRST}})[ [ \hbar] ] \{\{g,j\}\}$

to indicate the same, more succinctly.

]]>
SimonWillerton comments on "formal power series" (66930) https://nforum.ncatlab.org/discussion/8246/?Focus=66930#Comment_66930 2018-01-17T20:06:10-05:00 2021-04-11T12:41:55-04:00 SimonWillerton https://nforum.ncatlab.org/account/9/ Like X&Ropf;[[X]]X\mathbb{R}[[X]]?

Like $X\mathbb{R}[[X]]$?

]]>
Urs comments on "formal power series" (66929) https://nforum.ncatlab.org/discussion/8246/?Focus=66929#Comment_66929 2018-01-17T16:05:24-05:00 2021-04-11T12:41:55-04:00 Urs https://nforum.ncatlab.org/account/4/ trivia: is there established notation for the set of formal power series in XX that have vanishing coefficient of X 0X^0 (vanishing constant term)?

trivia: is there established notation for the set of formal power series in $X$ that have vanishing coefficient of $X^0$ (vanishing constant term)?

]]>