|
Torsor (algebraic Geometry)
In algebraic geometry, a torsor or a principal bundle is an analog of a principal bundle in algebraic topology. Because there are few open sets in Zariski topology, it is more common to consider torsors in étale topology or some other flat topologies. The notion also generalizes a Galois extension in abstract algebra. The category of torsors over a fixed base forms a stack. Conversely, a prestack can be stackified by taking the category of torsors (over the prestack). Definition Given a smooth algebraic group ''G'', a ''G''-torsor (or a principal ''G''-bundle) ''P'' over a scheme ''X'' is a scheme (or even algebraic space) with an action of ''G'' that is locally trivial in the given Grothendieck topology in the sense that the base change Y \times_X P along some covering map Y \to X is isomorphic to the trivial torsor Y \times G \to Y (''G'' acts only on the second factor). Equivalently, a ''G''-torsor ''P'' on ''X'' is a principal homogeneous space for the group scheme G_X = ... [...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. # A projection onto X. For a product space, this is just the projection onto the first factor, (x,g) \mapsto x. Unlike a product space, principal bundles lack a preferred choice of identity cross-section; they have no preferred analog of (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 number of arbitrary choices are made to try to define such a structure by defining it on smaller pieces of the space. A common example of a principal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integral Extension
In commutative algebra, an element ''b'' of a commutative ring ''B'' is said to be integral over ''A'', a subring of ''B'', if there are ''n'' ≥ 1 and ''a''''j'' in ''A'' such that :b^n + a_ b^ + \cdots + a_1 b + a_0 = 0. That is to say, ''b'' is a root of a monic polynomial over ''A''. The set of elements of ''B'' that are integral over ''A'' is called the integral closure of ''A'' in ''B''. It is a subring of ''B'' containing ''A''. If every element of ''B'' is integral over ''A'', then we say that ''B'' is integral over ''A'', or equivalently ''B'' is an integral extension of ''A''. If ''A'', ''B'' are fields, then the notions of "integral over" and of an "integral extension" are precisely " algebraic over" and "algebraic extensions" in field theory (since the root of any polynomial is the root of a monic polynomial). The case of greatest interest in number theory is that of complex numbers integral over Z (e.g., \sqrt or 1+i); in this context, the integral elements are usua ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Position
Position often refers to: * Position (geometry), the spatial location (rather than orientation) of an entity * Position, a job or occupation Position may also refer to: Games and recreation * Position (poker), location relative to the dealer * Position (team sports), a player role within a team Human body * Human position, the spatial relation of the human body to itself and the environment ** Position (obstetrics), the orientation of a baby prior to birth ** Positions of the feet in ballet ** Position (music), the location of the hand on a musical instrument ** Proprioception, the sense of the relative position of neighbouring parts of the body ** Asana (yoga), the location and posture of the body while practicing yoga ** Sex position, the arrangement of bodies during sexual intercourse Humanities, law, economics and politics * Philosophical theory, a belief or set of beliefs about questions in philosophy * Position (finance), commitments in a financial marketplace * Social ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Voltage
Voltage, also known as electric pressure, electric tension, or (electric) potential difference, is the difference in electric potential between two points. In a static electric field, it corresponds to the work needed per unit of charge to move a test charge between the two points. In the International System of Units, the derived unit for voltage is named ''volt''. The voltage between points can be caused by the build-up of electric charge (e.g., a capacitor), and from an electromotive force (e.g., electromagnetic induction in generator, inductors, and transformers). On a macroscopic scale, a potential difference can be caused by electrochemical processes (e.g., cells and batteries), the pressure-induced piezoelectric effect, and the thermoelectric effect. A voltmeter can be used to measure the voltage between two points in a system. Often a common reference potential such as the ground of the system is used as one of the points. A voltage can represent either a source ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Energy
In physics, energy (from Ancient Greek: ἐνέργεια, ''enérgeia'', “activity”) is the quantitative property that is transferred to a body or to a physical system, recognizable in the performance of work and in the form of heat and light. Energy is a conserved quantity—the law of conservation of energy states that energy can be converted in form, but not created or destroyed. The unit of measurement for energy in the International System of Units (SI) is the joule (J). Common forms of energy include the kinetic energy of a moving object, the potential energy stored by an object (for instance due to its position in a field), the elastic energy stored in a solid object, chemical energy associated with chemical reactions, the radiant energy carried by electromagnetic radiation, and the internal energy contained within a thermodynamic system. All living organisms constantly take in and release energy. Due to mass–energy equivalence, any object that has mass whe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Baez
John Carlos Baez (; born June 12, 1961) is an American mathematical physicist and a professor of mathematics at the University of California, Riverside (UCR) in Riverside, California. He has worked on spin foams in loop quantum gravity, applications of higher categories to physics, and applied category theory. Baez is also the author of ''This Week's Finds in Mathematical Physics'', an irregular column on the internet featuring mathematical exposition and criticism. He started ''This Week's Finds'' in 1993 for the Usenet community, and it now has a following in its new form, the blog "Azimuth". ''This Week's Finds'' anticipated the concept of a personal weblog. Additionally, Baez is known on the World Wide Web as the author of the crackpot index. Early life and education Baez was born in San Francisco, California. He graduated with an A.B. in mathematics from Princeton University in 1982 after completing a senior thesis, titled "Recursivity in quantum mechanics", under t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inner Form
In mathematics, an inner form of an algebraic group G over a field K is another algebraic group H such that there exists an isomorphism \phi between G and H defined over \overline K (this means that H is a ''K-form'' of G) and in addition, for every Galois automorphism \sigma \in \mathrm(\overline K/K) the automorphism \phi^ \circ \phi^ is an inner automorphism of G(\overline K) (i.e. conjugation by an element of G(\overline K)). Through the correspondence between K-forms and the Galois cohomology H^1(\mathrm(\overline K/K), \mathrm(G)) this means that H is associated to an element of the subset H^1(\mathrm(\overline K/K), \mathrm(G)) where \mathrm(G) is the subgroup of inner automorphisms of G. Being inner forms of each other is an equivalence relation on the set of K-forms of a given algebraic group. A form which is not inner is called an outer form. In practice, to check whether a group is an inner or outer form one looks at the action of the Galois group \mathrm(\overline K/K) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
étale Morphism
In algebraic geometry, an étale morphism () is a morphism of schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not necessarily local isomorphisms. Despite this, étale maps retain many of the properties of local analytic isomorphisms, and are useful in defining the algebraic fundamental group and the étale topology. The word ''étale'' is a French adjective, which means "slack", as in "slack tide", or, figuratively, calm, immobile, something left to settle. Definition Let \phi : R \to S be a ring homomorphism. This makes S an R-algebra. Choose a monic polynomial f in R /math> and a polynomial g in R /math> such that the derivative f' of f is a unit in (R fR _g. We say that \phi is ''standard étale'' if f and g can be chos ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Split Group
Split(s) or The Split may refer to: Places * Split, Croatia, the largest coastal city in Croatia * Split Island, Canada, an island in the Hudson Bay * Split Island, Falkland Islands * Split Island, Fiji, better known as Hạfliua Arts, entertainment, and media Films * Split (1989 film), ''Split'' (1989 film), a science fiction film * Split (2016 American film), ''Split'' (2016 American film), a psychological horror thriller film * Split (2016 Canadian film), ''Split'' (2016 Canadian film), also known as ''Écartée'', a Canadian drama film directed by Lawrence Côté-Collins * Split (2016 South Korean film), ''Split'' (2016 South Korean film), a sports drama film * ''Split: A Divided America'', a 2008 documentary on American politics * The Split (1959 film), ''The Split'' (1959 film) or ''The Manster'', a U.S.-Japanese horror film * The Split (film), ''The Split'' (film), a 1968 heist film Games * Split (poker), the division of winnings in the card game * Split (blackjack), a pos ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theorem Of Drinfeld And Simpson
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In the mainstream of mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice, or of a less powerful theory, such as Peano arithmetic. A notable exception is Wiles's proof of Fermat's Last Theorem, which involves the Grothendieck universes whose existence requires the addition of a new axiom to the set theory. Generally, an assertion that is explicitly called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as ''theorems'' only the most important results, and use the terms ''lemma'', ''proposition'' and '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reduction Of Structure Group
In differential geometry, a ''G''-structure on an ''n''- manifold ''M'', for a given structure group ''G'', is a principal ''G''- subbundle of the tangent frame bundle F''M'' (or GL(''M'')) of ''M''. The notion of ''G''-structures includes various classical structures that can be defined on manifolds, which in some cases are tensor fields. For example, for the orthogonal group, an O(''n'')-structure defines a Riemannian metric, and for the special linear group an SL(''n'',R)-structure is the same as a volume form. For the trivial group, an -structure consists of an absolute parallelism of the manifold. Generalising this idea to arbitrary principal bundles on topological spaces, one can ask if a principal G-bundle over a group G "comes from" a subgroup H of G. This is called reduction of the structure group (to H). Several structures on manifolds, such as a complex structure, a symplectic structure, or a Kähler structure, are ''G''-structures with an additional integrabilit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Induced Bundle
In mathematics, a pullback bundle or induced bundle is the fiber bundle that is induced by a map of its base-space. Given a fiber bundle and a continuous map one can define a "pullback" of by as a bundle over . The fiber of over a point in is just the fiber of over . Thus is the disjoint union of all these fibers equipped with a suitable topology. Formal definition Let be a fiber bundle with abstract fiber and let be a continuous map. Define the pullback bundle by :f^E = \\subseteq B'\times E and equip it with the subspace topology and the projection map given by the projection onto the first factor, i.e., :\pi'(b',e) = b'.\, The projection onto the second factor gives a map :h \colon f^E \to E such that the following diagram commutes: :\begin f^E & \stackrel & E\\ ' \downarrow & & \downarrow \pi\\ B' & \stackrel f & B \end If is a local trivialization of then is a local trivialization of where :\psi(b',e) = (b', \mbox_2(\varphi(e))).\, It then f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.PNG "Click for more on -> Theorem Of Drinfeld And Simpson")