p-valuation 2026-10-03
For a prime number , a p-valuation is a separated filtration on a group such that every satisfies
A group equipped with one is called a p-valued group.
Equivariant index theorem Created 2026-10-03 Updated 2026-10-14
An equivariant index theorem expresses the supertrace of a symmetry on the kernel and cokernel of an elliptic operator as an integral of local characteristic data over the symmetry's fixed-point set.
Congruent number Created 2026-10-03 Updated 2026-10-06
A positive integer is a congruent number when it is the area of a right triangle with rational side lengths. For square-free , this is equivalent to the congruent number elliptic curve having a Mordell-Weil group of positive rank.
Every identity-preserving biholomorphism of lifts to multiplication by a nonzero complex number satisfying . Relative to a -basis of , multiplication by is represented by a unimodular matrix . Its real determinant is , while complex multiplication preserves orientation, so and . The Cayley-Hamilton theorem gives
Consequently , and is a root of unity of order , , , , or .
Let and be the universal covering maps of two one-dimensional complex tori. Every holomorphic map has a holomorphic lift between one-dimensional complex tori satisfying , and every such lift is an affine function
with . Indeed, for , the continuous function takes values in the discrete set and is therefore constant. Hence is -periodic. It is bounded on a compact fundamental parallelogram and therefore on the complex plane, so the Liouville theorem makes constant. If preserves the identity and the lift is chosen with , then and the lift is a linear map.
Every holomorphic map is constant or surjective. It lifts to an entire function . If is nonconstant, the Little Picard theorem says it omits at most one point, while every fiber of is an infinite lattice coset; hence every point of the torus has a preimage under .
Negation map on a one-dimensional complex torus Created 2026-10-03 Updated 2026-10-06
Negation is a biholomorphic involution of . Its fixed points satisfy , so they are indexed by the four elements of .
Let be uniformly elliptic with continuous coefficients. The coefficient-freezing interior second-derivative estimate extends from smooth functions to the graph norm closure of on : if in and in , then is Cauchy in for every . Hence and . Equivalently, the standard local regularization argument gives the same conclusion for weak solutions.
Elliptic-curve addition formula Created 2026-10-03 Updated 2026-10-06
On , let be the secant slope through distinct points , or the tangent slope when . Then
Čech cochain group Created 2026-10-03 Updated 2026-10-06
The degree- Čech cochain group for an ordered cover is .
For per-capita birth and death rates and , the rates are and . If and , then
The expected value sees only the net growth rate , whereas the variance also sees the total event rate .
Choose a closed one-form on with integral one and let be projection. Every rotation-invariant -form is uniquely
The exterior derivative acts componentwise. Averaging therefore proves that
is the displayed isomorphism.
High ample twist is very ample Created 2026-10-03 Updated 2026-10-05
If is an ample line bundle on a projective variety and is any line bundle, then is very ample for all sufficiently large integers . Taking to be trivial also makes very ample.
Weighted Jacobi method for the one-dimensional Poisson equation Created 2026-10-03 Updated 2026-10-18
For the centered second-difference matrix with diagonal and off-diagonals , the weighted-Jacobi eigenvalues are
The method converges for every grid size exactly when .
Multiplying both and by leaves and the weighted Jacobi method unchanged. Thus the same formula applies to the positive second-difference matrix with diagonal and neighboring entries , the finite difference form of the one-dimensional Poisson equation with Dirichlet boundary conditions. Its eigenvectors have components , and has eigenvalues . At , upper-half modes have factors between and , while low-frequency factors remain close to one on fine grids. This explains why the weighted Jacobi method helps a multigrid method by reducing oscillatory errors, even when it is a slow solver on its own.[ref]
On a genus-two smooth projective curve, the gap set at any point is either or . The integer is always a gap on a positive-genus curve. If is not a gap, then must be a gap, since pole orders are closed under addition and would otherwise generate every integer at least two.
Virasoro central extension Created 2026-10-03 Updated 2026-10-07
The Virasoro central extension is the term in . It records the conformal anomaly and commutes with every Virasoro generator.
Suppose that for every there is a such that is fixed by the smaller compression . Then
Indeed, deleting an element outside from a newly compressed member gives the -compression of an old shadow member. If the deleted element is , stability under the chosen smaller compression shows that the resulting set already belongs to the old lower shadow. Thus
and compression preserves cardinality.
Left-compressed set family Created 2026-10-03 Updated 2026-10-14
A set family is left-compressed when replacing a member by a missing smaller element always produces another member. Equivalently, it is fixed by every -compression with .
Time-evolution operator Created 2026-10-03 Updated 2026-10-18
The time-evolution operator maps an initial quantum state to its state at a later time. For a time-independent Hamiltonian operator , it is the unitary operator .
More generally, write . The time-evolution operator obeys
For a constant self-adjoint Hamiltonian operator, . With zero as the initial time, this gives the group law . Successive evolution is reversible; a measurement followed by conditioning on an outcome is a separate operation described by projective measurement.
For a time-dependent Hamiltonian operator, the defining equation is . In finite dimension, a continuous Hermitian still gives unitary time evolution, since
The solution is a time-ordered exponential, with later factors acting on the left. One may replace it by when at all times; independently changing pulse axes generally requires time ordering.[ref]
Von Neumann mean ergodic theorem Created 2026-10-03 Updated 2026-10-14
For a unitary operator on a Hilbert space, the Cesàro averages
converge strongly to the orthogonal projection onto the fixed-point subspace .

There are unlisted articles, also show them or only show them.