|
Hitchin Fibration
In mathematics, the Hitchin integrable system is an integrable system depending on the choice of a complex reductive group and a compact Riemann surface, introduced by Nigel Hitchin in 1987. It lies on the crossroads of algebraic geometry, the theory of Lie algebras and integrable system theory. It also plays an important role in the geometric Langlands correspondence over the field of complex numbers through conformal field theory. A genus zero analogue of the Hitchin system, the Garnier system, was discovered by René Garnier somewhat earlier as a certain limit of the Schlesinger equations, and Garnier solved his system by defining spectral curves. (The Garnier system is the classical limit of the Gaudin model. In turn, the Schlesinger equations are the classical limit of the Knizhnik–Zamolodchikov equations). Almost all integrable systems of classical mechanics can be obtained as particular cases of the Hitchin system or their common generalization defined by Bottacin an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Phase Space
In dynamical system theory, a phase space is a space in which all possible states of a system are represented, with each possible state corresponding to one unique point in the phase space. For mechanical systems, the phase space usually consists of all possible values of position and momentum variables. It is the outer product of direct space and reciprocal space. The concept of phase space was developed in the late 19th century by Ludwig Boltzmann, Henri Poincaré, and Josiah Willard Gibbs. Introduction In a phase space, every degree of freedom or parameter of the system is represented as an axis of a multidimensional space; a one-dimensional system is called a phase line, while a two-dimensional system is called a phase plane. For every possible state of the system or allowed combination of values of the system's parameters, a point is included in the multidimensional space. The system's evolving state over time traces a path (a phase-space trajectory for the system) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Harish-Chandra Isomorphism
In mathematics, the Harish-Chandra isomorphism, introduced by , is an isomorphism of commutative rings constructed in the theory of Lie algebras. The isomorphism maps the center \mathcal(U(\mathfrak)) of the universal enveloping algebra U(\mathfrak) of a reductive Lie algebra \mathfrak to the elements S(\mathfrak)^W of the symmetric algebra S(\mathfrak) of a Cartan subalgebra \mathfrak that are invariant under the Weyl group W. Introduction and setting Let \mathfrak be a semisimple Lie algebra, \mathfrak its Cartan subalgebra and \lambda, \mu \in \mathfrak^* be two elements of the weight space (where \mathfrak^* is the dual of \mathfrak) and assume that a set of positive roots \Phi_+ have been fixed. Let V_\lambda and V_\mu be highest weight modules with highest weights \lambda and \mu respectively. Central characters The \mathfrak-modules V_\lambda and V_\mu are representations of the universal enveloping algebra U(\mathfrak) and its center acts on the modules by scalar m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Higgs Bundle
In mathematics, a Higgs bundle is a pair (E,\varphi) consisting of a holomorphic vector bundle ''E'' and a Higgs field \varphi, a holomorphic 1-form taking values in the bundle of endomorphisms of ''E'' such that \varphi \wedge \varphi=0. Such pairs were introduced by , who named the field \varphi after Peter Higgs because of an analogy with Higgs bosons. The term 'Higgs bundle', and the condition \varphi \wedge \varphi=0 (which is vacuous in Hitchin's original set-up on Riemann surfaces) was introduced later by Carlos Simpson. A Higgs bundle can be thought of as a "simplified version" of a flat holomorphic connection on a holomorphic vector bundle, where the derivative is scaled to zero. The nonabelian Hodge correspondence says that, under suitable stability conditions, the category of flat holomorphic connections on a smooth, projective complex algebraic variety, the category of representations of the fundamental group of the variety, and the category of Higgs bundles over thi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Canonical Bundle
In mathematics, the canonical bundle of a non-singular algebraic variety V of dimension n over a field is the line bundle \,\!\Omega^n = \omega, which is the ''n''th exterior power of the cotangent bundle Ω on ''V''. Over the complex numbers, it is the determinant bundle of holomorphic ''n''-forms on ''V''. This is the dualising object for Serre duality on ''V''. It may equally well be considered as an invertible sheaf. The canonical class is the divisor class of a Cartier divisor ''K'' on ''V'' giving rise to the canonical bundle — it is an equivalence class for linear equivalence on ''V'', and any divisor in it may be called a canonical divisor. An anticanonical divisor is any divisor −''K'' with ''K'' canonical. The anticanonical bundle is the corresponding inverse bundle ω−1. When the anticanonical bundle of V is ample, V is called a Fano variety. The adjunction formula Suppose that ''X'' is a smooth variety and that ''D'' is a smooth divisor on ''X'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Serre Duality
In algebraic geometry, a branch of mathematics, Serre duality is a duality for the coherent sheaf cohomology of algebraic varieties, proved by Jean-Pierre Serre. The basic version applies to vector bundles on a smooth projective variety, but Alexander Grothendieck found wide generalizations, for example to singular varieties. On an ''n''-dimensional variety, the theorem says that a cohomology group H^i is the dual space of another one, H^. Serre duality is the analog for coherent sheaf cohomology of Poincaré duality in topology, with the canonical line bundle replacing the orientation sheaf. The Serre duality theorem is also true in complex geometry more generally, for compact complex manifolds that are not necessarily projective complex algebraic varieties. In this setting, the Serre duality theorem is an application of Hodge theory for Dolbeault cohomology, and may be seen as a result in the theory of elliptic operators. These two different interpretations of Serre duality co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tangent Space
In mathematics, the tangent space of a manifold generalizes to higher dimensions the notion of '' tangent planes'' to surfaces in three dimensions and ''tangent lines'' to curves in two dimensions. In the context of physics the tangent space to a manifold at a point can be viewed as the space of possible velocities for a particle moving on the manifold. Informal description In differential geometry, one can attach to every point x of a differentiable manifold a ''tangent space''—a real vector space that intuitively contains the possible directions in which one can tangentially pass through x . The elements of the tangent space at x are called the ''tangent vectors'' at x . This is a generalization of the notion of a vector, based at a given initial point, in a Euclidean space. The dimension of the tangent space at every point of a connected manifold is the same as that of the manifold itself. For example, if the given manifold is a 2 -sphere, then one can picture the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hamiltonian Mechanics
Hamiltonian mechanics emerged in 1833 as a reformulation of Lagrangian mechanics. Introduced by Sir William Rowan Hamilton, Hamiltonian mechanics replaces (generalized) velocities \dot q^i used in Lagrangian mechanics with (generalized) ''momenta''. Both theories provide interpretations of classical mechanics and describe the same physical phenomena. Hamiltonian mechanics has a close relationship with geometry (notably, symplectic geometry and Poisson structures) and serves as a link between classical and quantum mechanics. Overview Phase space coordinates (p,q) and Hamiltonian H Let (M, \mathcal L) be a mechanical system with the configuration space M and the smooth Lagrangian \mathcal L. Select a standard coordinate system (\boldsymbol,\boldsymbol) on M. The quantities \textstyle p_i(\boldsymbol,\boldsymbol,t) ~\stackrel~ / are called ''momenta''. (Also ''generalized momenta'', ''conjugate momenta'', and ''canonical momenta''). For a time instant t, the Legendre transformat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
General Linear Group
In mathematics, the general linear group of degree ''n'' is the set of invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible, with identity matrix as the identity element of the group. The group is so named because the columns (and also the rows) of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position. To be more precise, it is necessary to specify what kind of objects may appear in the entries of the matrix. For example, the general linear group over R (the set of real numbers) is the group of invertible matrices of real numbers, and is denoted by GL''n''(R) or . More generally, the general linear group of degree ''n'' over any ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Canonical Symplectic 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] |
Algebraic Curve
In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation can be restricted to the affine algebraic plane curve of equation . These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered. More generally, an algebraic curve is an algebraic variety of dimension one. Equivalently, an algebraic curve is an algebraic variety that is birationally equivalent to an algebraic plane curve. If the curve is contained in an affine space or a projective space, one can take a projection for such a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stable Principal Bundle
In mathematics, and especially differential geometry and algebraic geometry, a stable principal bundle is a generalisation of the notion of a stable vector bundle to the setting of principal bundles. The concept of stability for principal bundles was introduced by Annamalai Ramanathan for the purpose of defining the moduli space of G-principal bundles over a Riemann surface, a generalisation of earlier work by David Mumford and others on the moduli spaces of vector bundles.Ramanathan, A., 1996, August. Moduli for principal bundles over algebraic curves: I. In Proceedings of the Indian Academy of Sciences-Mathematical Sciences (Vol. 106, No. 3, pp. 301-328). Springer India.Ramanathan, A., 1996, November. Moduli for principal bundles over algebraic curves: II. In Proceedings of the Indian Academy of Sciences-Mathematical Sciences (Vol. 106, No. 4, pp. 421-449). Springer India. Many statements about the stability of vector bundles can be translated into the language of stable princi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> General Linear Group")
