Not signed in

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

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

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 definitions 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 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

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeMay 6th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItexcreated [[Noether's theorem]] -- no-nonsense version

   created Noether’s theorem – no-nonsense version

2. • CommentRowNumber2.
   • CommentAuthorzskoda
   • CommentTimeMay 6th 2011
   • PermaLink
   Author: zskoda
   Format: MarkdownItexIn my vague memory, Tamarkin was explaining to us in his Paris lectures 2004 that in the derived version, I mean in the setup like in Beilinson-Drinfeld with coisson algebras etc. the direction is reverse: one has the conservation laws as more basic and the symmetries of the system always appear as coming from them; the converse does not exist always. Is something of the sort in Costello's work ? In noncommutative geometry, the question of Noether theorem is so far very unsatifactory.

   In my vague memory, Tamarkin was explaining to us in his Paris lectures 2004 that in the derived version, I mean in the setup like in Beilinson-Drinfeld with coisson algebras etc. the direction is reverse: one has the conservation laws as more basic and the symmetries of the system always appear as coming from them; the converse does not exist always. Is something of the sort in Costello’s work ?

   In noncommutative geometry, the question of Noether theorem is so far very unsatifactory.

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeMay 6th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItex> In my vague memory, Tamarkin was explaining to us in his Paris lectures 2004 that in the derived version, I mean in the setup like in Beilinson-Drinfeld with coisson algebras etc. [...] I need to better learn all this. I'll create now a floating TOC on this subject complex. What should we call it? "Variational calculus"?

   In my vague memory, Tamarkin was explaining to us in his Paris lectures 2004 that in the derived version, I mean in the setup like in Beilinson-Drinfeld with coisson algebras etc. […]

   I need to better learn all this. I’ll create now a floating TOC on this subject complex. What should we call it? “Variational calculus”?

4. • CommentRowNumber4.
   • CommentAuthorjim_stasheff
   • CommentTimeMay 7th 2011
   • PermaLink
   Author: jim_stasheff
   Format: TextThe one here is just one of Noether's variational theorems! what's the non-comm problem? coisson??

   The one here is just one of Noether's variational theorems!
   
   what's the non-comm problem?
   
   coisson??
5. • CommentRowNumber5.
   • CommentAuthorzskoda
   • CommentTimeMay 7th 2011
   • (edited May 7th 2011)
   • PermaLink
   Author: zskoda
   Format: MarkdownItexIn [[noncommutative geometry]], there are many toy field theories developed, the things go quite well. But the extension of the usual correspondence between the consevation laws and symmetries, well, there has been very little success there. For one of the paper discussing the difficulty and proposing a work-around see * [[Paolo Aschieri]], Leonardo Castellani, Marija Dimitrijević, _Dynamical noncommutativity and Noether theorem in twisted $\phi^4$ theory_, [doi](http://dx.doi.org/10.1007/s11005-008-0247-6), [arxiv/0803.4325](http://arxiv.org/abs/0803.4325) The "dynamical" aspect here is about some half-satisfactory work-around. Even the authors are not happy with it, but this is what we so far have. For a follow-up of that approach see * Mahouton Norbert Hounkonnou, Dine Ousmane Samary, _Twisted Grosse-Wulkenhaar $\phi^4$ model: dynamical noncommutativity and Noether currents_, [arxiv/0909.4562](http://arxiv.org/abs/0909.4562), [doi](http://dx.doi.org/10.1088/1751-8113/43/15/155202)

   In noncommutative geometry, there are many toy field theories developed, the things go quite well. But the extension of the usual correspondence between the consevation laws and symmetries, well, there has been very little success there. For one of the paper discussing the difficulty and proposing a work-around see

   • Paolo Aschieri, Leonardo Castellani, Marija Dimitrijević, Dynamical noncommutativity and Noether theorem in twisted $\phi^4$ theory, doi, arxiv/0803.4325

   The “dynamical” aspect here is about some half-satisfactory work-around. Even the authors are not happy with it, but this is what we so far have. For a follow-up of that approach see

   • Mahouton Norbert Hounkonnou, Dine Ousmane Samary, Twisted Grosse-Wulkenhaar $\phi^4$ model: dynamical noncommutativity and Noether currents, arxiv/0909.4562, doi
6. • CommentRowNumber6.
   • CommentAuthorEric
   • CommentTimeMay 7th 2011
   • (edited May 7th 2011)
   • PermaLink
   Author: Eric
   Format: MarkdownItexThis is a potentially interesting intersection between the n-Forum and John's new Azimuth forum. I had never thought much about Navier-Stokes, but saw some relations to some earlier work I've done on noncommutative geometry. I'm pretty sure [this comment](http://www.math.ntnu.no/~stacey/Mathforge/Azimuth/comments.php?DiscussionID=657) presents an original result where the Navier-Stokes equation is shown to be a zero curvature condition in noncommutative geometry. In a nutshell, beginning with a $G L(1, \mathbb{R})$-valued noncommutative 1-form connection $A$ in $(3+1)$-dimensions, the vanishing of the curvature $$F = d A + A A$$ results in the Navier-Stokes equations. This demonstrates the Navier-Stokes as something that might curiously be described as a noncommutative abelian gauge field theory. Abelian because the Lie group is abelian. Noncommutative because 0-forms and 1-forms do not commute.

   This is a potentially interesting intersection between the n-Forum and John’s new Azimuth forum.

   I had never thought much about Navier-Stokes, but saw some relations to some earlier work I’ve done on noncommutative geometry. I’m pretty sure this comment presents an original result where the Navier-Stokes equation is shown to be a zero curvature condition in noncommutative geometry.

   In a nutshell, beginning with a $G L(1, \mathbb{R})$-valued noncommutative 1-form connection $A$ in $(3+1)$-dimensions, the vanishing of the curvature

   $$F = d A + A A$$

   results in the Navier-Stokes equations. This demonstrates the Navier-Stokes as something that might curiously be described as a noncommutative abelian gauge field theory. Abelian because the Lie group is abelian. Noncommutative because 0-forms and 1-forms do not commute.

7. • CommentRowNumber7.
   • CommentAuthorzskoda
   • CommentTimeMay 7th 2011
   • PermaLink
   Author: zskoda
   Format: MarkdownItexThank you Eric. I do not understand, but will in due time. The zero curvature equations in soliton theory usually show the integrability of the system. I know that there are some noncommutative generalization, but I am surprised to hear that for the equations on commutative spaces there is an interpretation with noncommutative differential calculus. But Dimakis and Mueller-Hoisen are known mathematical physicists so it makes sense to look at what they wrote. On the other hand, I am interested in some other integrability aspects in noncommutative geometry, namely about the underlying geometry of the noncommutative analogues of Painleve transcendents studied recently by Roubtsov, Retakh etc. In the commutative case, there is interesting algebraic geometry behind the scenes.

   Thank you Eric. I do not understand, but will in due time. The zero curvature equations in soliton theory usually show the integrability of the system. I know that there are some noncommutative generalization, but I am surprised to hear that for the equations on commutative spaces there is an interpretation with noncommutative differential calculus. But Dimakis and Mueller-Hoisen are known mathematical physicists so it makes sense to look at what they wrote. On the other hand, I am interested in some other integrability aspects in noncommutative geometry, namely about the underlying geometry of the noncommutative analogues of Painleve transcendents studied recently by Roubtsov, Retakh etc. In the commutative case, there is interesting algebraic geometry behind the scenes.

8. • CommentRowNumber8.
   • CommentAuthorEric
   • CommentTimeMay 8th 2011
   • PermaLink
   Author: Eric
   Format: MarkdownItexHi Zoran, In the paper by Dimakis and Mueller-Hoissen on soliton equations from zero curvature condition in noncommutative geometry, they make a minor technical error with the Burgers equation. I explain/correct the error and provide some calculations that might help understand the corresponding calculations for Navier-Stokes here: * [Burgers equation revisited](http://www.math.ntnu.no/~stacey/Mathforge/Azimuth/comments.php?DiscussionID=658)

   Hi Zoran,

   In the paper by Dimakis and Mueller-Hoissen on soliton equations from zero curvature condition in noncommutative geometry, they make a minor technical error with the Burgers equation. I explain/correct the error and provide some calculations that might help understand the corresponding calculations for Navier-Stokes here:

   • Burgers equation revisited
9. • CommentRowNumber9.
   • CommentAuthorEric
   • CommentTimeMay 8th 2011
   • (edited May 8th 2011)
   • PermaLink
   Author: Eric
   Format: MarkdownItex@Zoran #7: I had a look at the first paper you referred to: * [[Paolo Aschieri]], Leonardo Castellani, Marija Dimitrijević, _Dynamical noncommutativity and Noether theorem in twisted $\phi^4$ theory_, [doi](http://dx.doi.org/10.1007/s11005-008-0247-6), [arxiv/0803.4325](http://arxiv.org/abs/0803.4325) and the first thing that strikes me is the Moyal $\star$-product. I bump against this once every few years, but never spent the time to fully grok it. In particular, the relation $$[\hat{x}^\mu,\hat{x}^\nu] = i\theta^{\mu\nu}$$ is eerily similar to the relation I'm accustomed to, i.e. $$[d x^\mu,x^\nu] = \theta^{\mu\nu} d t.$$ It would be interesting if existing work done with the Moyal $\star$-product can be mapped to noncommutative geometry of commutative algebras (that I'm accustomed to) and vice versa. Edit: A potential step for the mapping is possibly to introduce a new product $$d f\cdot d g = [d f,g].$$ The product rule ensures this product is commutative and we have $$d f\cdot d g = \theta^{\mu\nu} \left(\partial_\mu f\right)\left(\partial_\nu g\right) d t.$$ I know it is not correct, but I'll write the following suggestion in case it sparks some ideas: $$\left(f\star g\right) d t = m\left[e^{d\otimes d}(f\otimes g)\right]$$ where $$m(f\otimes g) = f g d t$$ and $$m(d f\otimes d g) = d f\cdot d g.$$ Or something...

   @Zoran #7:

   I had a look at the first paper you referred to:

   • Paolo Aschieri, Leonardo Castellani, Marija Dimitrijević, Dynamical noncommutativity and Noether theorem in twisted $\phi^4$ theory, doi, arxiv/0803.4325

   and the first thing that strikes me is the Moyal $\star$-product. I bump against this once every few years, but never spent the time to fully grok it.

   In particular, the relation

   $$[\hat{x}^\mu,\hat{x}^\nu] = i\theta^{\mu\nu}$$

   is eerily similar to the relation I’m accustomed to, i.e.

   $$[d x^\mu,x^\nu] = \theta^{\mu\nu} d t.$$

   It would be interesting if existing work done with the Moyal $\star$-product can be mapped to noncommutative geometry of commutative algebras (that I’m accustomed to) and vice versa.

   Edit: A potential step for the mapping is possibly to introduce a new product

   $$d f\cdot d g = [d f,g].$$

   The product rule ensures this product is commutative and we have

   $$d f\cdot d g = \theta^{\mu\nu} \left(\partial_\mu f\right)\left(\partial_\nu g\right) d t.$$

   I know it is not correct, but I’ll write the following suggestion in case it sparks some ideas:

   $$\left(f\star g\right) d t = m\left[e^{d\otimes d}(f\otimes g)\right]$$

   where

   $$m(f\otimes g) = f g d t$$

   and

   $$m(d f\otimes d g) = d f\cdot d g.$$

   Or something…