|
Eta Invariant
In mathematics, the eta invariant of a self-adjoint elliptic differential operator on a compact manifold is formally the number of positive eigenvalues minus the number of negative eigenvalues. In practice both numbers are often infinite so are defined using zeta function regularization. It was introduced by who used it to extend the Hirzebruch signature theorem to manifolds with boundary. The name comes from the fact that it is a generalization of the Dirichlet eta function. They also later used the eta invariant of a self-adjoint operator to define the eta invariant of a compact odd-dimensional smooth manifold. defined the signature defect of the boundary of a manifold as the eta invariant, and used this to show that Hirzebruch's signature defect of a cusp of a Hilbert modular surface can be expressed in terms of the value at ''s''=0 or 1 of a Shimizu L-function. Definition The eta invariant of self-adjoint operator ''A'' is given by ''η''''A''(0), where ''η'' is the 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] |
Elliptic Differential Operator
In the theory of partial differential equations, elliptic operators are differential operators that generalize the Laplace operator. They are defined by the condition that the coefficients of the highest-order derivatives be positive, which implies the key property that the principal symbol is invertible, or equivalently that there are no real characteristic directions. Elliptic operators are typical of potential theory, and they appear frequently in electrostatics and continuum mechanics. Elliptic regularity implies that their solutions tend to be smooth functions (if the coefficients in the operator are smooth). Steady-state solutions to hyperbolic and parabolic equations generally solve elliptic equations. Definitions Let L be linear differential operator of order ''m'' on a domain \Omega in R''n'' given by Lu = \sum_ a_\alpha(x)\partial^\alpha u where \alpha = (\alpha_1, \dots, \alpha_n) denotes a multi-index, and \partial^\alpha u = \partial^_1 \cdots \partial_ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Operator
In mathematics, a differential operator is an operator defined as a function of the differentiation operator. It is helpful, as a matter of notation first, to consider differentiation as an abstract operation that accepts a function and returns another function (in the style of a higher-order function in computer science). This article considers mainly linear differential operators, which are the most common type. However, non-linear differential operators also exist, such as the Schwarzian derivative. Definition An order-m linear differential operator is a map A from a function space \mathcal_1 to another function space \mathcal_2 that can be written as: A = \sum_a_\alpha(x) D^\alpha\ , where \alpha = (\alpha_1,\alpha_2,\cdots,\alpha_n) is a multi-index of non-negative integers, , \alpha, = \alpha_1 + \alpha_2 + \cdots + \alpha_n, and for each \alpha, a_\alpha(x) is a function on some open domain in ''n''-dimensional space. The operator D^\alpha is interpreted as D^\alp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact Manifold
In mathematics, a closed manifold is a manifold without boundary that is compact. In comparison, an open manifold is a manifold without boundary that has only ''non-compact'' components. Examples The only connected one-dimensional example is a circle. The sphere, torus, and the Klein bottle are all closed two-dimensional manifolds. A line is not closed because it is not compact. A closed disk is a compact two-dimensional manifold, but it is not closed because it has a boundary. Open manifolds For a connected manifold, "open" is equivalent to "without boundary and non-compact", but for a disconnected manifold, open is stronger. For instance, the disjoint union of a circle and a line is non-compact since a line is non-compact, but this is not an open manifold since the circle (one of its components) is compact. Abuse of language Most books generally define a manifold as a space that is, locally, homeomorphic to Euclidean space (along with some other technical conditio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eigenvalue
In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denoted by \lambda, is the factor by which the eigenvector is scaled. Geometrically, an eigenvector, corresponding to a real nonzero eigenvalue, points in a direction in which it is stretched by the transformation and the eigenvalue is the factor by which it is stretched. If the eigenvalue is negative, the direction is reversed. Loosely speaking, in a multidimensional vector space, the eigenvector is not rotated. Formal definition If is a linear transformation from a vector space over a field into itself and is a nonzero vector in , then is an eigenvector of if is a scalar multiple of . This can be written as T(\mathbf) = \lambda \mathbf, where is a scalar in , known as the eigenvalue, characteristic value, or characteristic root ass ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zeta Function Regularization
Zeta (, ; uppercase Ζ, lowercase ζ; grc, ζῆτα, el, ζήτα, label= Demotic Greek, classical or ''zē̂ta''; ''zíta'') is the sixth letter of the Greek alphabet. In the system of Greek numerals, it has a value of 7. It was derived from the Phoenician letter zayin . Letters that arose from zeta include the Roman Z and Cyrillic З. Name Unlike the other Greek letters, this letter did not take its name from the Phoenician letter from which it was derived; it was given a new name on the pattern of beta, eta and theta. The word ''zeta'' is the ancestor of ''zed'', the name of the Latin letter Z in Commonwealth English. Swedish and many Romanic languages (such as Italian and Spanish) do not distinguish between the Greek and Roman forms of the letter; "''zeta''" is used to refer to the Roman letter Z as well as the Greek letter. Uses Letter The letter ζ represents the voiced alveolar fricative in Modern Greek. The sound represented by zeta in Greek before 40 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hirzebruch Signature Theorem
In differential topology, an area of mathematics, the Hirzebruch signature theorem (sometimes called the Hirzebruch index theorem) is Friedrich Hirzebruch's 1954 result expressing the signature of a smooth closed oriented manifold by a linear combination of Pontryagin numbers called the L-genus. It was used in the proof of the Hirzebruch–Riemann–Roch theorem. Statement of the theorem The L-genus is the genus for the multiplicative sequence of polynomials associated to the characteristic power series : = \sum_ = 1 + - +\cdots . The first two of the resulting L-polynomials are: * L_1 = \tfrac13 p_1 * L_2 = \tfrac1(7p_2 - p_1^2) By taking for the p_i the Pontryagin classes p_i(M) of the tangent bundle of a 4''n'' dimensional smooth closed oriented manifold M one obtains the L-classes of M. Hirzebruch showed that the n-th L-class of M evaluated on the fundamental class of M, /math>, is equal to \sigma(M), the signature of M (i.e. the signature of the intersection form on th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dirichlet Eta Function
In mathematics, in the area of analytic number theory, the Dirichlet eta function is defined by the following Dirichlet series, which converges for any complex number having real part > 0: \eta(s) = \sum_^ = \frac - \frac + \frac - \frac + \cdots\approx \prod_^ \infty . This Dirichlet series is the alternating sum corresponding to the Dirichlet series expansion of the Riemann zeta function, ''ζ''(''s'') — and for this reason the Dirichlet eta function is also known as the alternating zeta function, also denoted ''ζ''*(''s''). The following relation holds: \eta(s) = \left(1-2^\right) \zeta(s) Both Dirichlet eta function and Riemann zeta function are special cases of Polylogarithm. While the Dirichlet series expansion for the eta function is convergent only for any complex number ''s'' with real part > 0, it is Abel summable for any complex number. This serves to define the eta function as an entire function. (The above relation and the facts that the eta function is ent ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Annals Of Mathematics
The ''Annals of Mathematics'' is a mathematical journal published every two months by Princeton University and the Institute for Advanced Study. History The journal was established as ''The Analyst'' in 1874 and with Joel E. Hendricks as the founding editor-in-chief. It was "intended to afford a medium for the presentation and analysis of any and all questions of interest or importance in pure and applied Mathematics, embracing especially all new and interesting discoveries in theoretical and practical astronomy, mechanical philosophy, and engineering". It was published in Des Moines, Iowa, and was the earliest American mathematics journal to be published continuously for more than a year or two. This incarnation of the journal ceased publication after its tenth year, in 1883, giving as an explanation Hendricks' declining health, but Hendricks made arrangements to have it taken over by new management, and it was continued from March 1884 as the ''Annals of Mathematics''. The n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Signature Defect
In mathematics, the signature defect of a singularity measures the correction that a singularity contributes to the signature theorem. introduced the signature defect for the cusp singularities of Hilbert modular surfaces. defined the signature defect of the boundary of a manifold as the eta invariant, the value as ''s'' = 0 of their eta function, and used this to show that Hirzebruch's signature defect of a cusp of a Hilbert modular surface can be expressed in terms of the value at ''s'' = 0 or 1 of a Shimizu L-function In mathematics, the Shimizu ''L''-function, introduced by , is a Dirichlet series associated to a totally real algebraic number field. defined the signature defect of the boundary of a manifold as the eta invariant, the value as ''s''=0 of the .... References * *{{Citation , last1=Hirzebruch , first1=Friedrich E. P. , title=Hilbert modular surfaces , doi=10.5169/seals-46292 , mr=0393045 , year=1973 , journal=L'Enseignement Mathém ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert Modular Surface
In mathematics, a Hilbert modular surface or Hilbert–Blumenthal surface is an algebraic surface obtained by taking a quotient of a product of two copies of the upper half-plane by a Hilbert modular group. More generally, a Hilbert modular variety is an algebraic variety obtained by taking a quotient of a product of multiple copies of the upper half-plane by a Hilbert modular group. Hilbert modular surfaces were first described by using some unpublished notes written by David Hilbert about 10 years before. Definitions If ''R'' is the ring of integers of a real quadratic field, then the Hilbert modular group SL2(''R'') acts on the product ''H''×''H'' of two copies of the upper half plane ''H''. There are several birationally equivalent surfaces related to this action, any of which may be called Hilbert modular surfaces: *The surface ''X'' is the quotient of ''H''×''H'' by SL2(''R''); it is not compact and usually has quotient singularities coming from points wit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Shimizu L-function
In mathematics, the Shimizu ''L''-function, introduced by , is a Dirichlet series associated to a totally real algebraic number field. defined the signature defect of the boundary of a manifold as the eta invariant, the value as ''s''=0 of their eta function, and used this to show that Hirzebruch's signature defect of a cusp of a Hilbert modular surface In mathematics, a Hilbert modular surface or Hilbert–Blumenthal surface is an algebraic surface obtained by taking a quotient of a product of two copies of the upper half-plane by a Hilbert modular group. More generally, a Hilbert modular varie ... can be expressed in terms of the value at ''s''=0 or 1 of a Shimizu L-function. Definition Suppose that ''K'' is a totally real algebraic number field, ''M'' is a lattice in the field, and ''V'' is a subgroup of maximal rank of the group of totally positive units preserving the lattice. The Shimizu L-series is given by :L(M,V,s) = \sum_ \frac References * * * Zeta and L-func ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
