Affine Gauge Theory
   HOME
*





Affine Gauge Theory
Affine gauge theory is classical gauge theory where gauge fields are affine connections on the tangent bundle over a smooth manifold X. For instance, these are gauge theory of dislocations in continuous media when X=\mathbb R^3, the generalization of metric-affine gravitation theory when X is a world manifold and, in particular, gauge theory of the fifth force. Affine tangent bundle Being a vector bundle, the tangent bundle TX of an n-dimensional manifold X admits a natural structure of an affine bundle ATX, called the ''affine tangent bundle'', possessing bundle atlases with affine transition functions. It is associated to a principal bundle AFX of affine frames in tangent space over X, whose structure group is a general affine group GA(n,\mathbb R). The tangent bundle TX is associated to a principal linear frame bundle FX, whose structure group is a general linear group GL(n,\mathbb R). This is a subgroup of GA(n,\mathbb R) so that the latter is a semidirect product of G ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Gauge Theory
In physics, a gauge theory is a type of field theory in which the Lagrangian (and hence the dynamics of the system itself) does not change (is invariant) under local transformations according to certain smooth families of operations (Lie groups). The term ''gauge'' refers to any specific mathematical formalism to regulate redundant degrees of freedom in the Lagrangian of a physical system. The transformations between possible gauges, called ''gauge transformations'', form a Lie group—referred to as the ''symmetry group'' or the ''gauge group'' of the theory. Associated with any Lie group is the Lie algebra of group generators. For each group generator there necessarily arises a corresponding field (usually a vector field) called the ''gauge field''. Gauge fields are included in the Lagrangian to ensure its invariance under the local group transformations (called ''gauge invariance''). When such a theory is quantized, the quanta of the gauge fields are called '' gauge bosons ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Connection (principal Bundle)
In mathematics, and especially differential geometry and gauge theory, a connection is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. A principal ''G''-connection on a principal G-bundle ''P'' over a smooth manifold ''M'' is a particular type of connection which is compatible with the action of the group ''G''. A principal connection can be viewed as a special case of the notion of an Ehresmann connection, and is sometimes called a principal Ehresmann connection. It gives rise to (Ehresmann) connections on any fiber bundle associated to ''P'' via the associated bundle construction. In particular, on any associated vector bundle the principal connection induces a covariant derivative, an operator that can differentiate sections of that bundle along tangent directions in the base manifold. Principal connections generalize to arbitrary principal bundles the concept of a linear connection on the f ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Dislocations
In materials science, a dislocation or Taylor's dislocation is a linear crystallographic defect or irregularity within a crystal structure that contains an abrupt change in the arrangement of atoms. The movement of dislocations allow atoms to slide over each other at low stress levels and is known as ''glide'' or slip. The crystalline order is restored on either side of a ''glide dislocation'' but the atoms on one side have moved by one position. The crystalline order is not fully restored with a ''partial dislocation''. A dislocation defines the boundary between ''slipped'' and ''unslipped'' regions of material and as a result, must either form a complete loop, intersect other dislocations or defects, or extend to the edges of the crystal. A dislocation can be characterised by the distance and direction of movement it causes to atoms which is defined by the Burgers vector. Plastic deformation of a material occurs by the creation and movement of many dislocations. The number and a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Connection (affine Bundle)
Let be an affine bundle modelled over a vector bundle . A connection on is called the affine connection if it as a section of the jet bundle of is an affine bundle morphism over . In particular, this is an affine connection on the tangent bundle of a smooth manifold . (That is, the connection on an affine bundle is an example of an affine connection; it is not, however, a general definition of an affine connection. These are related but distinct concepts both unfortunately making use of the adjective "affine".) With respect to affine bundle coordinates on , an affine connection on is given by the tangent-valued connection form : \begin\Gamma &=dx^\lambda\otimes \left(\partial_\lambda + \Gamma_\lambda^i\partial_i\right)\,, \\ \Gamma_\lambda^i&=_j\left(x^\nu\right) y^j + \sigma_\lambda^i\left(x^\nu\right)\,. \end An affine bundle is a fiber bundle with a general affine structure group of affine transformations of its typical fiber of dimension . Therefore, an affin ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Newtonian Potential
In mathematics, the Newtonian potential or Newton potential is an operator in vector calculus that acts as the inverse to the negative Laplacian, on functions that are smooth and decay rapidly enough at infinity. As such, it is a fundamental object of study in potential theory. In its general nature, it is a singular integral operator, defined by convolution with a function having a mathematical singularity at the origin, the Newtonian kernel Γ which is the fundamental solution of the Laplace equation. It is named for Isaac Newton, who first discovered it and proved that it was a harmonic function in the special case of three variables, where it served as the fundamental gravitational potential in Newton's law of universal gravitation. In modern potential theory, the Newtonian potential is instead thought of as an electrostatic potential. The Newtonian potential of a compactly supported integrable function ''f'' is defined as the convolution u(x) = \Gamma * f(x) = \int_ \Gamma(x ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Levi-Civita Symbol
In mathematics, particularly in linear algebra, tensor analysis, and differential geometry, the Levi-Civita symbol or Levi-Civita epsilon represents a collection of numbers; defined from the sign of a permutation of the natural numbers , for some positive integer . It is named after the Italian mathematician and physicist Tullio Levi-Civita. Other names include the permutation symbol, antisymmetric symbol, or alternating symbol, which refer to its antisymmetric property and definition in terms of permutations. The standard letters to denote the Levi-Civita symbol are the Greek lower case epsilon or , or less commonly the Latin lower case . Index notation allows one to display permutations in a way compatible with tensor analysis: \varepsilon_ where ''each'' index takes values . There are indexed values of , which can be arranged into an -dimensional array. The key defining property of the symbol is ''total antisymmetry'' in the indices. When any two indices are interchanged, e ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Tautological One-form
In mathematics, the tautological one-form is a special 1-form defined on the cotangent bundle T^Q of a manifold Q. In physics, it is used to create a correspondence between the velocity of a point in a mechanical system and its momentum, thus providing a bridge between Lagrangian mechanics with Hamiltonian mechanics (on the manifold Q). The exterior derivative of this form defines a symplectic form giving T^Q the structure of a symplectic manifold. The tautological one-form plays an important role in relating the formalism of Hamiltonian mechanics and Lagrangian mechanics. The tautological one-form is sometimes also called the Liouville one-form, the Poincaré one-form, the canonical one-form, or the symplectic potential. A similar object is the canonical vector field on the tangent bundle. To define the tautological one-form, select a coordinate chart U on T^*Q and a canonical coordinate system on U. Pick an arbitrary point m \in T^*Q. By definition of cotangent bundl ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Frame Fields In General Relativity
A frame field in general relativity (also called a tetrad or vierbein) is a set of four pointwise-orthonormal vector fields, one timelike and three spacelike, defined on a Lorentzian manifold that is physically interpreted as a model of spacetime. The timelike unit vector field is often denoted by \vec_0 and the three spacelike unit vector fields by \vec_1, \vec_2, \, \vec_3. All tensorial quantities defined on the manifold can be expressed using the frame field and its dual coframe field. Frame were introduced into general relativity by Albert Einstein in 1928 and by Hermann Weyl in 1929.Hermann Weyl "Elektron und Gravitation I", ''Zeitschrift Physik'', 56, p330–352, 1929. The index notation for tetrads is explained in tetrad (index notation). Physical interpretation Frame fields of a Lorentzian manifold always correspond to a family of ideal observers immersed in the given spacetime; the integral curves of the timelike unit vector field are the worldlines of these observe ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Gauge Gravitation Theory
In quantum field theory, gauge gravitation theory is the effort to extend Yang–Mills theory, which provides a universal description of the fundamental interactions, to describe gravity. ''Gauge gravitation theory'' should not be confused with the similarly-named gauge theory gravity, which is a formulation of (classical) gravitation in the language of geometric algebra. Nor should it be confused with Kaluza–Klein theory, where the gauge fields are used to describe particle fields, but not gravity itself. Overview The first gauge model of gravity was suggested by Ryoyu Utiyama (1916–1990) in 1956 just two years after birth of the gauge theory itself. However, the initial attempts to construct the gauge theory of gravity by analogy with the gauge models of internal symmetries encountered a problem of treating general covariant transformations and establishing the gauge status of a pseudo-Riemannian metric (a tetrad field). In order to overcome this drawback, representing tetr ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Lamé Parameters
In continuum mechanics, Lamé parameters (also called the Lamé coefficients, Lamé constants or Lamé moduli) are two material-dependent quantities denoted by λ and μ that arise in strain-stress relationships. In general, λ and μ are individually referred to as ''Lamé's first parameter'' and ''Lamé's second parameter'', respectively. Other names are sometimes employed for one or both parameters, depending on context. For example, the parameter μ is referred to in fluid dynamics as the dynamic viscosity of a fluid(not the same units); whereas in the context of elasticity, μ is called the shear modulus, and is sometimes denoted by ''G'' instead of μ. Typically the notation G is seen paired with the use of Young's modulus E, and the notation μ is paired with the use of λ. In homogeneous and isotropic materials, these define Hooke's law in 3D, \boldsymbol = 2\mu \boldsymbol + \lambda \; \operatorname(\boldsymbol) I, where is the stress tensor, the strain tensor, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Lagrangian System
In mathematics, a Lagrangian system is a pair , consisting of a smooth fiber bundle and a Lagrangian density , which yields the Euler–Lagrange differential operator acting on sections of . In classical mechanics, many dynamical systems are Lagrangian systems. The configuration space of such a Lagrangian system is a fiber bundle over the time axis . In particular, if a reference frame is fixed. In classical field theory, all field systems are the Lagrangian ones. Lagrangians and Euler–Lagrange operators A Lagrangian density (or, simply, a Lagrangian) of order is defined as an -form, , on the -order jet manifold of . A Lagrangian can be introduced as an element of the variational bicomplex of the differential graded algebra of exterior forms on jet manifolds of . The coboundary operator of this bicomplex contains the variational operator which, acting on , defines the associated Euler–Lagrange operator . In coordinates Given bundle coordinates on a fiber bu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Parallelizable Manifold
In mathematics, a differentiable manifold M of dimension ''n'' is called parallelizable if there exist smooth vector fields \ on the manifold, such that at every point p of M the tangent vectors \ provide a basis of the tangent space at p. Equivalently, the tangent bundle is a trivial bundle, so that the associated principal bundle of linear frames has a global section on M. A particular choice of such a basis of vector fields on M is called a parallelization (or an absolute parallelism) of M. Examples *An example with n = 1 is the circle: we can take ''V''1 to be the unit tangent vector field, say pointing in the anti-clockwise direction. The torus of dimension n is also parallelizable, as can be seen by expressing it as a cartesian product of circles. For example, take n = 2, and construct a torus from a square of graph paper with opposite edges glued together, to get an idea of the two tangent directions at each point. More generally, every Lie group ''G'' is parallelizable, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]