User Tools

Site Tools


advanced_tools:jet_bundles

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
advanced_tools:jet_bundles [2017/11/08 15:55]
jakobadmin ↷ Page name changed from advanced_tools:jet_bundels to advanced_tools:jet_bundles
advanced_tools:jet_bundles [2018/05/03 09:45] (current)
paul
Line 1: Line 1:
 ====== ​ Jet Bundles ====== ====== ​ Jet Bundles ======
  
-<tabbox Why is it interesting?> ​ 
  
-<​tabbox ​Layman+<​tabbox ​Intuitive
  
 <note tip> <note tip>
Line 9: Line 8:
 </​note>​ </​note>​
   ​   ​
-<​tabbox ​Student+<​tabbox ​Concrete
  
-<note tip> 
-In this section things should be explained by analogy and with pictures and, if necessary, some formulas. 
-</​note>​ 
-  
-<tabbox Researcher> ​ 
  
-<note tip> +<blockquote>​The ​dynamics of a field theory ​is specified by an //equation of motion//, a partial differential equation 
-The motto in this section ​is//the higher the level of abstraction, the better//+for such sections. Since differential equations are equations among all the derivatives ​of such sectionswe consider the spaces that these form: 
-</note>+the //jet bundle// $J^\infty_\Sigma E $ is the bundle over $\Sigma$ whose fiber over a point $\sigma \in \Sigma$ is the space 
 +of sections of $E$ over the infinitesimal neighbourhood $\mathbb{D}_\sigma$ of that point:
  
 +{{ :​advanced_tools:​schreiber1.png?​nolink |}}
   ​   ​
-<tabbox Examples+**Therefore every section $\phi$ of $E$ 
 +yields a section $j^\infty(\phi)$ of the jet bundle, given by $\phi$ 
 +and all its higher order derivatives.** 
 + 
 +{{ :​advanced_tools:​schreiber2.png?​nolink |}} 
 + 
 +Accordingly,​ for $E, F$ any two smooth bundles over $\Sigma$, then a bundle map 
 + 
 +{{ :​advanced_tools:​schreiber3.png?​nolink |}} 
 + 
 +encodes a (non-linear) differential operator $D_f : \Gamma_\Sigma(E) \longrightarrow \Gamma_\Sigma(F)$ by 
 +sending any section $\phi$ of $E$ to the section ​ $f \circ j^\infty(\phi)$ of $F$.<cite>​https://​arxiv.org/​abs/​1601.05956</​cite></​blockquote>
  
 --> Example1# --> Example1#
Line 34: Line 41:
 <-- <--
  
-<tabbox FAQ> ​+<tabbox Abstract>​  
 + 
 +<note tip> 
 +The motto in this section is: //the higher the level of abstraction,​ the better//. 
 +</​note>​ 
 + 
 +<tabbox Why is it interesting?>​  
 +<​blockquote>​ 
 + 
 + 
 + 
 +Given a [[advanced_tools:​fiber_bundles|field bundle]] [...], we know what type of quantities the corresponding fields assign to a given spacetime point. Among all consistent such field configurations,​ some are to qualify as those that “may occur in reality” if we think of the field theory as a means to describe parts of the observable universe. Moreover, if the reality to be described does not exhibit “action at a distance” then admissibility of its field configurations should be determined over arbitrary small spacetime regions, in fact over the infinitesimal neighbourhood of any point. This means equivalently that the realized field configurations should be those that satisfy a [[:​equations|specific differential equation]], hence an equation between the value of its derivatives at any spacetime point. 
 + 
 +In order to formalize this, it is useful to first collect all the possible derivatives that a field may have at any given point into one big space of “field derivatives at spacetime points”. This collection is called the jet bundle of the field bundle.<​cite>​https://​ncatlab.org/​nlab/​show/​field+%28physics%29#​AFirstIdeaOfQuantumFields</​cite></​blockquote>​ 
 + 
 +/* <tabbox FAQ> ​*/
   ​   ​
-<tabbox History> ​+/* <tabbox History> ​*/
  
-</​tabbox>​+</​tabbox> ​
  
  
advanced_tools/jet_bundles.1510156513.txt.gz · Last modified: 2017/12/04 08:01 (external edit)