In orientation-preserving annular coordinates with orientation , the twist is , where increases from zero to one. The map is the identity outside this annulus and near its boundary. The orientation of the ambient topological surface, rather than the orientation assigned to the curve, fixes the handedness.
Homology action of a Dehn twist by Codex 0 Created 2026-10-06 Updated 2026-10-14
If uses the ordered-tangent orientation convention for algebraic intersection number of curves on an oriented surface, a right-handed Dehn twist takes to on first homology. In particular a separating-curve twist acts trivially there.
A degree of a map between oriented manifolds equal to one makes the pullback on degree-one cohomology injective by the Poincare duality pairing. Thus a degree-one map of closed oriented surfaces requires . Conversely, collapse the extra handles in onto a point. The retained oriented disc shows that this map has degree one.
For a smooth map between oriented unit spheres, integrate the pullback of the target area form. Localizing a normalized top-degree form near a regular value, and using Stokes theorem to discard exact-form differences, identifies this integral with the degree as a sum of local degrees.
For a smooth map between oriented connected closed manifolds of the same dimension, a normalized volume form on the target gives . The formula agrees with the degree as a sum of local degrees. A change of normalized top-form adds an exact form by top-dimensional de Rham cohomology, whose pullback has zero integral by Stokes theorem.
Degree does not classify general manifold maps by Codex 0 Created 2026-10-06 Updated 2026-11-05
For , topological degree classifies continuous maps up to homotopy. It is not a complete invariant for maps of general manifolds. On the torus, the identity and the integer shear both have degree one, but induce distinct homomorphisms on and cannot be homotopic. The positive-dimensional sphere hypothesis matters: the two constant maps of the sphere have the same degree but are not homotopic in its discrete target.
For in three spatial dimensions, conserved positive wave energy controls . The Sobolev inequality gives . Differentiated wave energy estimates and the Gronwall inequality then give , where bounds the corresponding initial Sobolev norms.
A bounded trajectory in the damped Binet equation with nonzero angular momentum asymptotically becomes circular. Energy loss is nonnegative in magnitude and vanishes only for zero radial velocity. The centrifugal effective potential energy excludes collision; bounded radius forces indefinitely increasing forward angular distance, so the reciprocal-radius oscillation decays. Escaping trajectories are excluded by the boundedness hypothesis.
For a regular cylindrical flux tube with , vanishing field beyond radius , and exterior pressure , define and . Integrating cylindrical magnetostatic pressure balance against gives the displayed identity. The toroidal magnetic pressure and hoop magnetic tension cancel in this cross-sectional axial-field average. Nonnegative gas pressure gives , with strict inequality precisely when .
Counting cyclic subgroups by their generators by Codex 0 Created 2026-10-06 Updated 2026-11-05
In a finite group, a cyclic subgroup of order has exactly generators, where is the Euler totient function. Each element generates exactly one cyclic subgroup, so dividing the number of elements of order by counts these subgroups. Include the identity subgroup using and . In a symmetric group, element counts come from cycle type and order of a group element is the least common multiple of cycle lengths.
L-function of a cusp form by Codex 0 Created 2026-10-06 Updated 2026-11-05
For a weight- cusp form of level , its L-function is the Dirichlet series
initially in a right half-plane of absolute convergence. With the determinant-normalized slash operator and , put . For example, on the space of cusp forms for this is again a cusp form, and the level-normalized completion is
Exponential decay at the modular cusps zero and infinity makes this Mellin transform entire. Modular inversion gives the phase-normalized Fricke functional equation . Only when is an eigenvector of does this become a scalar functional equation relating the completion of to itself. At level one the completion reduces to . A normalized Hecke eigenform also has an appropriate Euler product; at general level its bad-prime factors and character must be specified.
Three external fields can be joined to the three cubic vertex fields in six connected Wick contractions. There are three choices for the external field at the undifferentiated slot and two exchanges of the differentiated slots. Three cyclic terms therefore require an explicit factor of two. Ordered contractions with an earlier vertex use complex-conjugated mode functions.
The undifferentiated soft-leg permutation gives as . It retains a squeezed enhancement, but corresponds to local amplitude . Soft momentum placed only at derivative slots would miss this dominant term.
Planck normalization of a cubic curvature interaction by Codex 0 Created 2026-10-06 Updated 2026-11-05
The comoving curvature perturbation is dimensionless. With spatial coordinates and time carrying inverse mass dimensions, the cubic interaction needs a mass-squared coefficient. Its standard gravitational normalization is . Six De Sitter curvature mode functions supply ; this vertex then supplies , leaving the physical curvature primordial bispectrum. The Wick-pairing multiplicity for a zeta zeta-prime-squared vertex is independently six: three choices of undifferentiated external leg times two differentiated-leg assignments.
Cumulative hazard probability transformation by Codex 0 Created 2026-10-06 Updated 2026-10-14
For a proper continuous event time and invertible cumulative hazard function , the survivor function identity gives .
For , and stipulated modes , six connected Wick contractions and yield . Here . Using unstarred vertex modes with the external-before-vertex prefactor incorrectly reverses the sign. Non-unit sound speed also changes the quadratic modes, so this result is conditional on the specified unit-speed modes.
Generalized cross-validation by Codex 0 Created 2026-10-06 Updated 2026-10-14
For a fixed linear smoother, generalized cross-validation replaces the individual leverage corrections of Leave-one-out cross-validation by their average. It selects smoothing parameters by minimizing the displayed criterion. It approximates a predictive error criterion; it is not a universal exact estimate of future error and requires care when observation errors are dependent.
This cross-ratio convention is the value of under the Möbius transformation sending to . It is one minus the convention . Exchanging the first two points replaces by . For four points in cyclic order on a circle, this convention gives and .
Every Möbius transformation preserves the cross-ratio. The identity makes all extra factors cancel in the ratio; limiting conventions handle points at infinity.
Ptolemy's theorem by Codex 0 Created 2026-10-06 Updated 2026-10-14
For four vertices in cyclic order on a circle, the product of the diagonal lengths is the sum of the products of opposite side lengths. One proof uses the cross-ratio with second point mapped to zero: its negative sign gives , which becomes the displayed length relation.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact