Hasse–Witt Matrix
   HOME
*





Hasse–Witt Matrix
In mathematics, the Hasse–Witt matrix ''H'' of a non-singular algebraic curve ''C'' over a finite field ''F'' is the matrix of the Frobenius mapping (''p''-th power mapping where ''F'' has ''q'' elements, ''q'' a power of the prime number ''p'') with respect to a basis for the differentials of the first kind. It is a ''g'' × ''g'' matrix where ''C'' has genus ''g''. The rank of the Hasse–Witt matrix is the Hasse or Hasse–Witt invariant. Approach to the definition This definition, as given in the introduction, is natural in classical terms, and is due to Helmut Hasse and Ernst Witt (1936). It provides a solution to the question of the ''p''-rank of the Jacobian variety ''J'' of ''C''; the ''p''-rank is bounded by the rank of ''H'', specifically it is the rank of the Frobenius mapping composed with itself ''g'' times. It is also a definition that is in principle algorithmic. There has been substantial recent interest in this as of practical application to cryptography, i ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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]  


Sheaf Cohomology
In mathematics, sheaf cohomology is the application of homological algebra to analyze the global sections of a sheaf on a topological space. Broadly speaking, sheaf cohomology describes the obstructions to solving a geometric problem globally when it can be solved locally. The central work for the study of sheaf cohomology is Grothendieck's 1957 Tôhoku paper. Sheaves, sheaf cohomology, and spectral sequences were introduced by Jean Leray at the prisoner-of-war camp Oflag XVII-A in Austria. From 1940 to 1945, Leray and other prisoners organized a "université en captivité" in the camp. Leray's definitions were simplified and clarified in the 1950s. It became clear that sheaf cohomology was not only a new approach to cohomology in algebraic topology, but also a powerful method in complex analytic geometry and algebraic geometry. These subjects often involve constructing global functions with specified local properties, and sheaf cohomology is ideally suited to such problems. Man ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Division Equation
Division or divider may refer to: Mathematics * Division (mathematics), the inverse of multiplication *Division algorithm, a method for computing the result of mathematical division Military * Division (military), a formation typically consisting of 10,000 to 25,000 troops ** Divizion, a subunit in some militaries *Division (naval), a collection of warships Science *Cell division, the process in which biological cells multiply * Continental divide, the geographical term for separation between watersheds * Division (biology), used differently in botany and zoology *Division (botany), a taxonomic rank for plants or fungi, equivalent to phylum in zoology *Division (horticulture), a method of vegetative plant propagation, or the plants created by using this method * Division, a medical/surgical operation involving cutting and separation, see ICD-10 Procedure Coding System Technology *Beam compass, a compass with a beam and sliding sockets for drawing and dividing circles larger than ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Reduction Mod P
This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality. Diophantine geometry in general is the study of algebraic varieties ''V'' over fields ''K'' that are finitely generated over their prime fields—including as of special interest number fields and finite fields—and over local fields. Of those, only the complex numbers are algebraically closed; over any other ''K'' the existence of points of ''V'' with coordinates in ''K'' is something to be proved and studied as an extra topic, even knowing the geometry of ''V''. Arithmetic geometry can be more generally defined as the study of schemes of finite type over the spectrum of the ring of integers. Arithmetic geometry has also been defined as the application of the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

David Mumford
David Bryant Mumford (born 11 June 1937) is an American mathematician known for his work in algebraic geometry and then for research into vision and pattern theory. He won the Fields Medal and was a MacArthur Fellow. In 2010 he was awarded the National Medal of Science. He is currently a University Professor Emeritus in the Division of Applied Mathematics at Brown University. Early life Mumford was born in Worth, West Sussex in England, of an English father and American mother. His father William started an experimental school in Tanzania and worked for the then newly created United Nations. He attended Phillips Exeter Academy, where he received a Westinghouse Science Talent Search prize for his relay-based computer project. Mumford then went to Harvard University, where he became a student of Oscar Zariski. At Harvard, he became a Putnam Fellow in 1955 and 1956. He completed his PhD in 1961, with a thesis entitled ''Existence of the moduli scheme for curves of any genus ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Group Scheme
In mathematics, a group scheme is a type of object from Algebraic geometry, algebraic geometry equipped with a composition law. Group schemes arise naturally as symmetries of Scheme (mathematics), schemes, and they generalize algebraic groups, in the sense that all algebraic groups have group scheme structure, but group schemes are not necessarily connected, smooth, or defined over a field. This extra generality allows one to study richer infinitesimal structures, and this can help one to understand and answer questions of arithmetic significance. The Category (mathematics), category of group schemes is somewhat better behaved than that of Group variety, group varieties, since all homomorphisms have Kernel (category theory), kernels, and there is a well-behaved deformation theory. Group schemes that are not algebraic groups play a significant role in arithmetic geometry and algebraic topology, since they come up in contexts of Galois representations and moduli problems. The ini ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Inseparable Isogeny
Inseparable may refer to: Mathematics * Inseparable differential equation, an ordinary differential equation that cannot be solved by using separation of variables * Inseparable extension, a field extension by elements that do not all satisfy a separable polynomial * Inseparable polynomial, a polynomial that does not have distinct roots in a splitting field Music * ''Inseparable'' (album), by Natalie Cole, 1975 ** "Inseparable" (song), the title song * ''Inseparable'' (EP), by Veridia, 2014 * '' Les inséparables'', an album by Corneille, 2011 * "Inseperable", a song by Jonas Brothers from '' Jonas Brothers'', 2007 * "Inseperable", a song by Mariah Carey from ''Memoirs of an Imperfect Angel ''Memoirs of an Imperfect Angel'' is the twelfth studio album by American singer-songwriter Mariah Carey. It was released on September 29, 2009, by Island Records. After promotion for her previous album, '' E=MC²'' (2008) ended, Carey began to ...'', 2009 Other uses * ''Inseparable' ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Characteristic P
In mathematics, the characteristic of a ring , often denoted , is defined to be the smallest number of times one must use the ring's multiplicative identity (1) in a sum to get the additive identity (0). If this sum never reaches the additive identity the ring is said to have characteristic zero. That is, is the smallest positive number such that: :\underbrace_ = 0 if such a number exists, and otherwise. Motivation The special definition of the characteristic zero is motivated by the equivalent definitions characterized in the next section, where the characteristic zero is not required to be considered separately. The characteristic may also be taken to be the exponent of the ring's additive group, that is, the smallest positive integer such that: :\underbrace_ = 0 for every element of the ring (again, if exists; otherwise zero). Some authors do not include the multiplicative identity element in their requirements for a ring (see Multiplicative identity and the te ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Field (mathematics)
In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers do. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers. Many other fields, such as fields of rational functions, algebraic function fields, algebraic number fields, and ''p''-adic fields are commonly used and studied in mathematics, particularly in number theory and algebraic geometry. Most cryptographic protocols rely on finite fields, i.e., fields with finitely many elements. The relation of two fields is expressed by the notion of a field extension. Galois theory, initiated by Évariste Galois in the 1830s, is devoted to understanding the symmetries of field extensions. Among other results, thi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Abelian Variety
In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular functions. Abelian varieties are at the same time among the most studied objects in algebraic geometry and indispensable tools for much research on other topics in algebraic geometry and number theory. An abelian variety can be defined by equations having coefficients in any field; the variety is then said to be defined ''over'' that field. Historically the first abelian varieties to be studied were those defined over the field of complex numbers. Such abelian varieties turn out to be exactly those complex tori that can be embedded into a complex projective space. Abelian varieties defined over algebraic number fields are a special case, which is important also from the viewpoint of number theory. Localization techniques lead naturally fr ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Kähler Differential
In mathematics, Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes. The notion was introduced by Erich Kähler in the 1930s. It was adopted as standard in commutative algebra and algebraic geometry somewhat later, once the need was felt to adapt methods from calculus and geometry over the complex numbers to contexts where such methods are not available. Definition Let and be commutative rings and be a ring homomorphism. An important example is for a field and a unital algebra over (such as the coordinate ring of an affine variety). Kähler differentials formalize the observation that the derivatives of polynomials are again polynomial. In this sense, differentiation is a notion which can be expressed in purely algebraic terms. This observation can be turned into a definition of the module :\Omega_ of differentials in different, but equivalent ways. Definition using derivations An -linear ''derivation'' on is an -modu ...
[...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]