|
Higher Gauge Theory
In mathematical physics, higher gauge theory is the general study of counterparts of gauge theory that involve higher-degree differential forms instead of the traditional connection 1-forms of Yang-Mills gauge theories. Frameworks for higher gauge theory There are several distinct frameworks within which higher gauge theories have been developed. Alvarez et al. extend the notion of integrability to higher dimensions in the context of geometric field theories. Several works of John Baez, Urs Schreiber and coauthors have developed higher gauge theories heavily based on category theory. Arthur Parzygnat has a detailed development of this framework. An alternative approach, motivated by the goal of constructing geometry over spaces of paths and higher-dimensional objects, has been developed by Saikat Chatterjee, Amitabha Lahiri, and Ambar N. Sengupta. The mathematical framework for traditional gauge theory places the gauge potential as a 1-form on a principal bundle over spac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Physics
Mathematical physics is the development of mathematics, mathematical methods for application to problems in physics. The ''Journal of Mathematical Physics'' defines the field as "the application of mathematics to problems in physics and the development of mathematical methods suitable for such applications and for the formulation of physical theories". An alternative definition would also include those mathematics that are inspired by physics, known as physical mathematics. Scope There are several distinct branches of mathematical physics, and these roughly correspond to particular historical parts of our world. Classical mechanics Applying the techniques of mathematical physics to classical mechanics typically involves the rigorous, abstract, and advanced reformulation of Newtonian mechanics in terms of Lagrangian mechanics and Hamiltonian mechanics (including both approaches in the presence of constraints). Both formulations are embodied in analytical mechanics and lead ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spacetime
In physics, spacetime, also called the space-time continuum, is a mathematical model that fuses the three dimensions of space and the one dimension of time into a single four-dimensional continuum. Spacetime diagrams are useful in visualizing and understanding relativistic effects, such as how different observers perceive ''where'' and ''when'' events occur. Until the turn of the 20th century, the assumption had been that the three-dimensional geometry of the universe (its description in terms of locations, shapes, distances, and directions) was distinct from time (the measurement of when events occur within the universe). However, space and time took on new meanings with the Lorentz transformation and special theory of relativity. In 1908, Hermann Minkowski presented a geometric interpretation of special relativity that fused time and the three spatial dimensions into a single four-dimensional continuum now known as Minkowski space. This interpretation proved vital t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yang–Mills Equations
In physics and mathematics, and especially differential geometry and gauge theory, the Yang–Mills equations are a system of partial differential equations for a connection on a vector bundle or principal bundle. They arise in physics as the Euler–Lagrange equations of the Yang–Mills action functional. They have also found significant use in mathematics. Solutions of the equations are called Yang–Mills connections or instantons. The moduli space of instantons was used by Simon Donaldson to prove Donaldson's theorem. Motivation Physics In their foundational paper on the topic of gauge theories, Robert Mills and Chen-Ning Yang developed (essentially independent of the mathematical literature) the theory of principal bundles and connections in order to explain the concept of ''gauge symmetry'' and ''gauge invariance'' as it applies to physical theories. The gauge theories Yang and Mills discovered, now called ''Yang–Mills theories'', generalised the classical work of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yang–Mills Theory
Yang–Mills theory is a quantum field theory for nuclear binding devised by Chen Ning Yang and Robert Mills in 1953, as well as a generic term for the class of similar theories. The Yang–Mills theory is a gauge theory based on a special unitary group , or more generally any compact Lie group. A Yang–Mills theory seeks to describe the behavior of elementary particles using these non-abelian Lie groups and is at the core of the unification of the electromagnetic force and weak forces (i.e. ) as well as quantum chromodynamics, the theory of the strong force (based on ). Thus it forms the basis of the understanding of the Standard Model of particle physics. History and qualitative description Gauge theory in electrodynamics All known fundamental interactions can be described in terms of gauge theories, but working this out took decades. Hermann Weyl's pioneering work on this project started in 1915 when his colleague Emmy Noether proved that every conserved physical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gauge Group (mathematics)
A gauge group is a group of gauge symmetries of the Yang–Mills gauge theory of principal connections on a principal bundle. Given a principal bundle P\to X with a structure Lie group G, a gauge group is defined to be a group of its vertical automorphisms, that is, its group of bundle automorphisms. This group is isomorphic to the group G(X) of global sections of the associated group bundle \widetilde P\to X whose typical fiber is a group G which acts on itself by the adjoint representation. The unit element of G(X) is a constant unit-valued section g(x)=1 of \widetilde P\to X. At the same time, gauge gravitation theory exemplifies field theory on a principal frame bundle whose gauge symmetries are general covariant transformations which are not elements of a gauge group. In the physical literature on gauge theory, a structure group of a principal bundle often is called the gauge group. In quantum gauge theory, one considers a normal subgroup G^0(X) of a gauge group ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Introduction To Gauge Theory
A gauge theory is a type of theory in physics. The word ''gauge'' means a measurement, a thickness, an in-between distance (as in railroad tracks), or a resulting number of units per certain parameter (a number of loops in an inch of fabric or a number of lead balls in a pound of ammunition). Modern theories describe physical forces in terms of fields, e.g., the electromagnetic field, the gravitational field, and fields that describe forces between the elementary particles. A general feature of these field theories is that the fundamental fields cannot be directly measured; however, some associated quantities can be measured, such as charges, energies, and velocities. For example, say you cannot measure the diameter of a lead ball, but you can determine how many lead balls, which are equal in every way, are required to make a pound. Using the number of balls, the density of lead, and the formula for calculating the volume of a sphere from its diameter, one could indirectly deter ... [...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 under local transformations according to certain smooth families of operations (Lie groups). Formally, the Lagrangian is invariant under these transformations. 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 th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Higher Category Theory
In mathematics, higher category theory is the part of category theory at a ''higher order'', which means that some equalities are replaced by explicit morphism, arrows in order to be able to explicitly study the structure behind those equalities. Higher category theory is often applied in algebraic topology (especially in homotopy theory), where one studies algebraic Invariant (mathematics), invariants of topological space, spaces, such as the Fundamental groupoid, fundamental . In higher category theory, the concept of higher categorical structures, such as (), allows for a more robust treatment of homotopy theory, enabling one to capture finer homotopical distinctions, such as differentiating two topological spaces that have the same fundamental group but differ in their higher homotopy groups. This approach is particularly valuable when dealing with spaces with intricate topological features, such as the Eilenberg-MacLane space. Strict higher categories An ordinary category (m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Principal Bundle
In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product X \times G of a space X with a group G. In the same way as with the Cartesian product, a principal bundle P is equipped with # An action of G on P, analogous to (x, g)h = (x, gh) for a product space (where (x, g) is an element of P and h is the group element from G; the group action is conventionally a right action). # A projection onto X. For a product space, this is just the projection onto the first factor, (x,g) \mapsto x. Unless it is the product space X \times G, a principal bundle lacks a preferred choice of identity cross-section; it has no preferred analog of x \mapsto (x,e). Likewise, there is not generally a projection onto G generalizing the projection onto the second factor, X \times G \to G that exists for the Cartesian product. They may also have a complicated topology that prevents them from being realized as a product space even if a ... [...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 under local transformations according to certain smooth families of operations (Lie groups). Formally, the Lagrangian is invariant under these transformations. 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 th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ambar Sengupta
Ambar Niel Sengupta is an Indian-American mathematician. He is a professor of mathematics at the University of Connecticut. Education and career Ambar Sengupta attended Presidency College, Calcutta and stood first class first in the BSc (Mathematics Honours) examination of the University of Calcutta in 1984. He then joined Cornell University, where he obtained an MS and then a PhD under the supervision of Leonard Gross in 1990. After a post-doctoral appointment in the Physics Department of Princeton University, he joined Louisiana State University. He became a professor of mathematics in 2003, and he was awarded the Hubert Butts Alumni Professorship in 2011. Sengupta joined the Mathematics faculty of the University of Connecticut as Professor and Head of the Department in 2016. Professional activities Sengupta's contributions have been in the fields of pure mathematics, mathematical physics, and financial mathematics. In quantum field theory, Sengupta gave the first rigoro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Theory
Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Category theory is used in most areas of mathematics. In particular, many constructions of new mathematical objects from previous ones that appear similarly in several contexts are conveniently expressed and unified in terms of categories. Examples include quotient space (other), quotient spaces, direct products, completion, and duality (mathematics), duality. Many areas of computer science also rely on category theory, such as functional programming and Semantics (computer science), semantics. A category (mathematics), category is formed by two sorts of mathematical object, objects: the object (category theory), objects of the category, and the morphisms, which relate two objects called the ''source'' and the ''target'' of the morphism. Metapho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
