|
Symmetric Product Of An Algebraic Curve
In mathematics, the ''n''-fold symmetric product of an algebraic curve ''C'' is the quotient space of the ''n''-fold cartesian product :''C'' × ''C'' × ... × ''C'' or ''C''''n'' by the group action of the symmetric group ''S''''n'' on ''n'' letters permuting the factors. It exists as a smooth algebraic variety denoted by Σ''n''''C''. If ''C'' is a compact Riemann surface, Σ''n''''C'' is therefore a complex manifold. Its interest in relation to the classical geometry of curves is that its points correspond to effective divisors on ''C'' of degree ''n'', that is, formal sums of points with non-negative integer coefficients. For ''C'' the projective line (say the Riemann sphere \mathbb ∪ ≈ ''S''''2''), its nth symmetric product Σ''n''''C'' can be identified with complex projective space \mathbb^n of dimension ''n''. If ''G'' has genus ''g'' ≥ 1 then the Σ''n''''C'' are closely related to the Jacobian variety ''J'' of ''C''. More accurately for ''n ... [...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 poin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theta-divisor
In mathematics, the theta divisor Θ is the divisor in the sense of algebraic geometry defined on an abelian variety ''A'' over the complex numbers (and principally polarized) by the zero locus of the associated Riemann theta-function. It is therefore an algebraic subvariety of ''A'' of dimension dim ''A'' − 1. Classical theory Classical results of Bernhard Riemann describe Θ in another way, in the case that ''A'' is the Jacobian variety ''J'' of an algebraic curve (compact Riemann surface) ''C''. There is, for a choice of base point ''P'' on ''C'', a standard mapping of ''C'' to ''J'', by means of the interpretation of ''J'' as the linear equivalence classes of divisors on ''C'' of degree 0. That is, ''Q'' on ''C'' maps to the class of ''Q'' − ''P''. Then since ''J'' is an algebraic group, ''C'' may be added to itself ''k'' times on ''J'', giving rise to subvarieties ''W''''k''. If ''g'' is the genus of ''C'', Riemann proved that Θ is a translate on ''J'' of ''W''' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology (journal)
''Topology'' was a peer-reviewed mathematical journal covering topology and geometry. It was established in 1962 and was published by Elsevier. The last issue of ''Topology'' appeared in 2009. Pricing dispute On 10 August 2006, after months of unsuccessful negotiations with Elsevier about the price policy of library subscriptions, the entire editorial board of the journal handed in their resignation, effective 31 December 2006. Subsequently, two more issues appeared in 2007 with papers that had been accepted before the resignation of the editors. In early January the former editors instructed Elsevier to remove their names from the website of the journal, but Elsevier refused to comply, justifying their decision by saying that the editorial board should remain on the journal until all of the papers accepted during its tenure had been published. In 2007 the former editors of ''Topology'' announced the launch of the '' Journal of Topology'', published by Oxford University Press ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generating Function
In mathematics, a generating function is a way of encoding an infinite sequence of numbers () by treating them as the coefficients of a formal power series. This series is called the generating function of the sequence. Unlike an ordinary series, the ''formal'' power series is not required to converge: in fact, the generating function is not actually regarded as a function, and the "variable" remains an indeterminate. Generating functions were first introduced by Abraham de Moivre in 1730, in order to solve the general linear recurrence problem. One can generalize to formal power series in more than one indeterminate, to encode information about infinite multi-dimensional arrays of numbers. There are various types of generating functions, including ordinary generating functions, exponential generating functions, Lambert series, Bell series, and Dirichlet series; definitions and examples are given below. Every sequence in principle has a generating function of each type (exc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Betti Number
In algebraic topology, the Betti numbers are used to distinguish topological spaces based on the connectivity of ''n''-dimensional simplicial complexes. For the most reasonable finite-dimensional spaces (such as compact manifolds, finite simplicial complexes or CW complexes), the sequence of Betti numbers is 0 from some point onward (Betti numbers vanish above the dimension of a space), and they are all finite. The ''n''th Betti number represents the rank of the ''n''th homology group, denoted ''H''''n'', which tells us the maximum number of cuts that can be made before separating a surface into two pieces or 0-cycles, 1-cycles, etc. For example, if H_n(X) \cong 0 then b_n(X) = 0, if H_n(X) \cong \mathbb then b_n(X) = 1, if H_n(X) \cong \mathbb \oplus \mathbb then b_n(X) = 2, if H_n(X) \cong \mathbb \oplus \mathbb\oplus \mathbb then b_n(X) = 3, etc. Note that only the ranks of infinite groups are considered, so for example if H_n(X) \cong \mathbb^k \oplus \mathbb/(2) , where \ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Picard Variety
In mathematics, the Picard group of a ringed space ''X'', denoted by Pic(''X''), is the group of isomorphism classes of invertible sheaves (or line bundles) on ''X'', with the group operation being tensor product. This construction is a global version of the construction of the divisor class group, or ideal class group, and is much used in algebraic geometry and the theory of complex manifolds. Alternatively, the Picard group can be defined as the sheaf cohomology group :H^1 (X, \mathcal_X^).\, For integral schemes the Picard group is isomorphic to the class group of Cartier divisors. For complex manifolds the exponential sheaf sequence gives basic information on the Picard group. The name is in honour of Émile Picard's theories, in particular of divisors on algebraic surfaces. Examples * The Picard group of the spectrum of a Dedekind domain is its '' ideal class group''. * The invertible sheaves on projective space P''n''(''k'') for ''k'' a field, are the twisting ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abstract Variety
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be irreducible, which means that it is not the union of two smaller sets that are closed in the Zariski topology. Under this definition, non-irreducible algebraic varieties are called algebraic sets. Other conventions do not require irreducibility. The fundamental theorem of algebra establishes a link between algebra and geometry by showing that a monic polynomial (an algebraic object) in one variable with complex number coefficients is det ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
André Weil
André Weil (; ; 6 May 1906 – 6 August 1998) was a French mathematician, known for his foundational work in number theory and algebraic geometry. He was a founding member and the ''de facto'' early leader of the mathematical Bourbaki group. The philosopher Simone Weil was his sister. The writer Sylvie Weil is his daughter. Life André Weil was born in Paris to agnostic Alsatian Jewish parents who fled the annexation of Alsace-Lorraine by the German Empire after the Franco-Prussian War in 1870–71. Simone Weil, who would later become a famous philosopher, was Weil's younger sister and only sibling. He studied in Paris, Rome and Göttingen and received his doctorate in 1928. While in Germany, Weil befriended Carl Ludwig Siegel. Starting in 1930, he spent two academic years at Aligarh Muslim University in India. Aside from mathematics, Weil held lifelong interests in classical Greek and Latin literature, in Hinduism and Sanskrit literature: he had taught himself Sanskr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fixed Subfield
In mathematics, Galois theory, originally introduced by Évariste Galois, provides a connection between field theory and group theory. This connection, the fundamental theorem of Galois theory, allows reducing certain problems in field theory to group theory, which makes them simpler and easier to understand. Galois introduced the subject for studying roots of polynomials. This allowed him to characterize the polynomial equations that are solvable by radicals in terms of properties of the permutation group of their roots—an equation is ''solvable by radicals'' if its roots may be expressed by a formula involving only integers, th roots, and the four basic arithmetic operations. This widely generalizes the Abel–Ruffini theorem, which asserts that a general polynomial of degree at least five cannot be solved by radicals. Galois theory has been used to solve classic problems including showing that two problems of antiquity cannot be solved as they were stated (doubling the cub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compositum
In mathematics, the tensor product of two fields is their tensor product as algebras over a common subfield. If no subfield is explicitly specified, the two fields must have the same characteristic and the common subfield is their prime subfield. The tensor product of two fields is sometimes a field, and often a direct product of fields; In some cases, it can contain non-zero nilpotent elements. The tensor product of two fields expresses in a single structure the different way to embed the two fields in a common extension field. Compositum of fields First, one defines the notion of the compositum of fields. This construction occurs frequently in field theory. The idea behind the compositum is to make the smallest field containing two other fields. In order to formally define the compositum, one must first specify a tower of fields. Let ''k'' be a field and ''L'' and ''K'' be two extensions of ''k''. The compositum, denoted ''K.L'', is defined to be K.L = k(K \cup L) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linearly Disjoint
In mathematics, algebras ''A'', ''B'' over a field ''k'' inside some field extension \Omega of ''k'' are said to be linearly disjoint over ''k'' if the following equivalent conditions are met: *(i) The map A \otimes_k B \to AB induced by (x, y) \mapsto xy is injective. *(ii) Any ''k''- basis of ''A'' remains linearly independent over ''B''. *(iii) If u_i, v_j are ''k''-bases for ''A'', ''B'', then the products u_i v_j are linearly independent over ''k''. Note that, since every subalgebra of \Omega is a domain, (i) implies A \otimes_k B is a domain (in particular reduced). Conversely if ''A'' and ''B'' are fields and either ''A'' or ''B'' is an algebraic extension of ''k'' and A \otimes_k B is a domain then it is a field and ''A'' and ''B'' are linearly disjoint. However, there are examples where A \otimes_k B is a domain but ''A'' and ''B'' are not linearly disjoint: for example, ''A'' = ''B'' = ''k''(''t''), the field of rational functions over ''k''. One also has: ''A'', ''B' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Function Field Of An Algebraic Variety
In algebraic geometry, the function field of an algebraic variety ''V'' consists of objects which are interpreted as rational functions on ''V''. In classical algebraic geometry they are ratios of polynomials; in complex algebraic geometry these are meromorphic functions and their higher-dimensional analogues; in modern algebraic geometry they are elements of some quotient ring's field of fractions. Definition for complex manifolds In complex algebraic geometry the objects of study are complex analytic varieties, on which we have a local notion of complex analysis, through which we may define meromorphic functions. The function field of a variety is then the set of all meromorphic functions on the variety. (Like all meromorphic functions, these take their values in \mathbb\cup\infty.) Together with the operations of addition and multiplication of functions, this is a field in the sense of algebra. For the Riemann sphere, which is the variety \mathbb^1 over the complex numb ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
