Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

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 complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry 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 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 monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory 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 sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
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).
    • CommentRowNumber1.
    • CommentAuthorJ-B Vienney
    • CommentTimeAug 2nd 2022

    Added the definition of homogeneous polynomials and the Euler identity.

    diff, v2, current

    • CommentRowNumber2.
    • CommentAuthorJ-B Vienney
    • CommentTimeAug 2nd 2022

    Added a proof of the Euler identity.

    diff, v2, current

  1. adding link to degree of a polynomial


    diff, v6, current

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeJul 28th 2023

    Why is it called the Euler identity? Who calls it that? And are there noteworthy applications of it, by Euler or anyone else?

    If you google it, then “Euler identity” is mostly used for other things: usually it’s e πi+1=0e^{\pi i} + 1 = 0, but maybe for some people it’s e ix=cosx+isinxe^{i x} = \cos x + i\sin x (although most people call that Euler’s formula, I believe), or for other people maybe it’s VE+F=2V - E + F = 2. I think I object to the nLab calling this thing in the article “the Euler identity”, and I want to understand better what significance it’s being assigned by the authors of this article.

    (It’s nice, but in my mind a bit on the trivial side, that spaces of homogeneous polynomials are eigenspaces of the derivation xddxx \frac{d}{d x}. It leaves me wanting more.)

    • CommentRowNumber5.
    • CommentAuthorJ-B Vienney
    • CommentTimeJul 28th 2023

    You’re right, it’s not known under the name “Euler identity” but under the name “Euler theorem for homogeneous functions”.

    It’s important for me because I defined the notion of graded differential category in this paper and this identity plays a special role in this context (which is not discussed in this paper).

    In the definition of a \mathbb{N}-graded codifferential category (the opposite of a \mathbb{N}-graded differential category), you have in particular that it is a symmetric monoidal category, a family of endofunctors (! n:𝒞𝒞) n0(!_{n}:\mathcal{C} \rightarrow \mathcal{C})_{n \ge 0}, a unit natural transformations I! 0AI \rightarrow !_0 A, multiplication natural transformations (! nA! pA! n+pA) n,p0(!_{n}A \otimes !_{p}A \rightarrow !_{n+p}A)_{n,p \ge 0} and a family of natural transformations (d n:! n+1A! nAA) n0(d_n:!_{n+1}A \rightarrow !_{n}A \otimes A)_{n \ge 0}.

    The object ! nA!_{n}A can be interpreted as a space of differentiable functions of some degree nn with coordinates in AA such that when you compose them, you multiply the degrees, the vectors are functions of degree 1 (these two items are realized by the structure of graded monad of (! n) n0(!_{n})_{n \ge 0} which is also an ingredient in the definition of \mathbb{N}-graded codifferential category), when you multiply them, you multiply the degrees and the scalars are functions of degree 00.

    In the most natural examples, 𝒞\mathcal{C} is the category of vector spaces, ! nA!_{n}A is really some set of smooth functions with coordinates in AA and the natural transformation d nd_{n} acts like this: f0infx ix if \mapsto \underset{0 \le i \le n}{\sum}\frac{\partial f}{\partial x_{i}} \otimes x_{i}. If you follow this by the unit natural transformation on the right and then a multiplication, you obtain f0infx ix I:! nA! nAf \mapsto \underset{0 \le i \le n}{\sum}\frac{\partial f}{\partial x_{i}}x_{I}: !_n A \rightarrow !_n A for every n0n \ge 0.

    It turns out that in a \mathbb{N}-graded codifferential +\mathbb{Q}^+-linear category, every ! nA!_{n}A is the n thn^{th} symmetric power of AA (a notion that you can define in any symmetric monoidal category) if and only if the above natural transformation is equal to n.Idn.Id for every n0n \ge 0.

    In a preprint “String diagrams for symmetric powers I” (not yet on ArXiv), I use these intuitions in a much lighter setting than graded codifferential categories to characterize the families (S nA) n1(S^n A)_{n \ge 1} of all symmetric powers of an object in a symmetric monoidal +\mathbb{Q}^+-linear category: they are the families (A n) n1(A_{n})_{n \ge 1} of objects which can be equipped with a family of morphisms ( n,p:A nA pA n+p) n,p1(\nabla_{n,p}:A_{n} \otimes A_{p} \rightarrow A_{n+p})_{n,p \ge 1} and a family of morphisms (Δ n,p:A n+pA nA p) n,p1(\Delta_{n,p}:A_{n+p} \rightarrow A_{n} \otimes A_{p})_{n,p \ge 1} such that \nabla followed by Δ\Delta and Δ\Delta followed by \nabla verify two simple identities which are reminiscent of the (higher-order) Leibniz rule and an higher-order “Leibniz identity”: f (p).x p=(np).ff^{(p)}.x^{p} = \binom{n}{p}.f for every 0np0 \le n \le p iff ff is an homogeneous polynomial of degree nn (in the case of univariate polynomials, which is really very simple). These two equations are expressed very nicely using string diagrams.

    In a future preprint “String diagrams for symmetric powers II”, I will characterize the families of symmetric powers of an object in a symmetric monoidal +\mathbb{Q}^+-linear category using only ( n,1:A nA 1A n+1) n1(\nabla_{n,1}:A_n \otimes A_1 \rightarrow A_{n+1})_{n \ge 1} and (Δ n,1:A n+1A nA 1) n1(\Delta_{n,1}:A_{n+1} \rightarrow A_{n} \otimes A_{1})_{n \ge 1}, which turns out to be a bit more complicated and makes me introduce a rewriting system on these string diagrams in order to make the proof. I like it because it makes you understand facts about permutations, that are nicely represented using string diagrams.

    It turns out that in a symmetric monoidal category enriched over commutative monoids which is not +\mathbb{Q}^+-linear, there are several families of objects (A n) n1(A_{n})_{n \ge 1} which verify the above conditions, but now they can be several things such as: the family of all symmetric powers of an object AA, the family of all divided powers of AA, the family of all exterior powers of AA if we are in Vec 2Vec_{\mathbb{Z}_2} and maybe other ones.

    To sum up, I started being interested by this theorem of Euler for homogenous functions because it seemed useful in the context of differential categories and now I use this idea it to prove facts on symmetric powers and related functors in symmetric monoidal categories enriched over commutative monoids, where I use it as an additional condition on \mathbb{N}-graded bialgebras or similar algebraic structures. I don’t know if these considerations could be maybe useful in more complex matters about symmetric powers in positive characteristic such as for instance the characterization of all the natural transformations between symmetric powers functors in the paper “Generic Representations of the Finite General Linear Groups and the Steenrod Algebra III” by Nicholas Kuhn. In any case, I’m happy with what I’ve already done so far starting from this theorem by Euler and I’ve integrated it usefully in my intuition about graded bialgebras.

    Thank you for your interest about this theorem of Euler and the reasons why it’s interesting to me.

    • CommentRowNumber6.
    • CommentAuthorJ-B Vienney
    • CommentTimeJul 28th 2023

    Another note: this fact is mainly known in (chemical) thermodynamics and I actually learned it in a chemistry course.