Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
If every nonempty finite intersection of members of an open cover has vanishing higher sheaf cohomology for , then the cover's Čech cohomology computes . An affine open cover of a separated scheme satisfies this condition for a quasi-coherent sheaf because its finite intersections are affine.
On , let and let be its constant sheaf. For the two closed rational points , take skyscraper sheaves with value , and put . The maps on the two stalks are identities, so this is a sheaf surjection. All three displayed outer sheaves are flasque. The induced global map is the diagonal , so . The one-member affine cover has zero positive Čech cochains. This even gives an -module example: let regular functions act on all copies of by multiplication as rational functions, not by evaluation at the closed point. The kernel is not quasi-coherent.
On the standard two-affine cover of the projective line, with coordinate , a frame for the twisting sheaf on projective space on the second chart equals times the frame on the first. Its Čech cochain complex is , with map . The kernel has basis for . The cokernel has basis for . The two-chart complex also proves vanishing in degrees at least two.
The two affine opens cover the punctured affine plane. Their intersection has ring . The Čech cohomology in degree one is the quotient by . Its basis consists precisely of the Laurent monomials whose two exponents are negative, so this vector space is infinite-dimensional. Global functions, by contrast, form .
For , a twisting sheaf on projective space has when , and top cohomology with basis the Laurent monomials of total degree whose exponents are all negative. All intermediate sheaf cohomology vanishes. Their dimensions are and respectively, with the top group nonzero only for . Decompose the standard Čech cochain complex by exponent vector: no negative exponents gives a simplex with cohomology in degree zero; a nonempty proper negative-support set admits a contracting homotopy inserting a vertex outside that set; all negative exponents give only the top term. For , every twist is trivial on and has .
During radiation domination, and . The adiabatic initial conditions reduce the CDM density equation in a matter-radiation universe to . Its Euler-Cauchy equation powers are two and minus two. The growing solution is the displayed one, in the stated CDM-comoving synchronous gauge.
A J-holomorphic curve is regular when the linearized Cauchy–Riemann operator is surjective. Regularity only for simple curves is weaker than regularity for all maps: multiple covers of an exceptional sphere can fail regularity even when that simple sphere is regular.
A real-linear Cauchy–Riemann operator on a complex rank- vector bundle over a closed genus- Riemann surface is a Fredholm operator between the usual Sobolev spaces and has the displayed index. Zero-order real-linear terms do not change this index, since they form a continuous deformation of Fredholm operators. For the bundle pulled back by a sphere, subtracting the six-dimensional reparametrization group gives the dimension formula for regular J-holomorphic spheres.
Euler-Cauchy classification from two regular singular points by
Codex 0 Created 2026-10-14 Updated 2026-10-18
Normalize the second-order equation as . If every point other than zero and infinity is ordinary and both exceptions are at worst regular singular points, then and extend holomorphically across zero and stay bounded at infinity. Liouville's theorem makes them constants, yielding the displayed Euler-Cauchy equation. If both exceptions must be genuinely singular, exclude and , which make zero and infinity respectively ordinary.
For a Lie algebra representation with generators referred to an orthonormal invariant form, the sum commutes with every generator. Indeed, the commutator is proportional to a contraction of antisymmetric structure constants of a Lie algebra with the symmetric product . The Schur lemma makes it scalar in an irreducible complex representation; that scalar is its quadratic Casimir eigenvalue. With trace normalization , taking the trace gives .
A magnetic island in a planar magnetic field is a region of closed magnetic field lines surrounding an extremum of the Cartesian magnetic flux function. A surrounding separatrix can pass through a saddle of that function and separate the island from other flux regions. In ideal incompressible flow, the flux-function value carried by each fluid particle and the area enclosed by each material contour are conserved.
Sampling consecutive order-six Cardinal B-splines at their support midpoints gives the displayed finite B-spline collocation matrix. No exterior columns are retained. Its row strict diagonal dominance margin is at least , so the inverse infinity-norm bound from diagonal dominance gives . The uniform knot samples are , obtained recursively from the Cox-de Boor recurrence.
For a Gaussian forward-rate field with deterministic volatility, put , , and . Under the T-forward measure, is lognormal with that integrated variance. With and , the displayed expression is the caplet price. At use the discounted intrinsic bond-put value. Gaussian instantaneous rates do not make the reset floating rate Gaussian; the exponential bond relation is what yields this bond-option formula.
For a proper plane domain , choose and attaining . The holomorphic functionhas exactly one zero in , a simple zero at . For its zero-free holomorphic logarithm satisfiesThus products of such factors can realize prescribed zeros approaching the boundary. If the zero has multiplicity , choose the logarithmic error smaller by a factor before taking the th power. On a compact subset of , eventual uniform summability of these logarithms gives a nonvanishing product tail and a holomorphic function with precisely the requested zeros.
For nonzero prescribed zeros with , the Weierstrass elementary factors of increasing order give the displayed holomorphic function on the unit disc; handles finitely many zeros at zero. On any compact disc, eventually , and . The infinite product convergence from logarithmic tails gives a nonvanishing tail. The finite initial factors supply exactly the prescribed zeros and multiplicities. No Blaschke condition is required unless boundedness is imposed.
Let have a Poisson distribution with mean , where , and put with . Assume . The upper restriction is essential: this is a moderate deviation, with a threshold shift larger than but smaller than .
For an input rate , the Poisson rate function isTaking givesThe expansion follows directly from the Poisson weights and Stirling's formula. Because , clipping has superexponentially small probability at speed . In particular, for every ,This is the relevant exponential equivalence. More directly, every threshold gives identical events . At , the full Poisson rate function replaces its quadratic approximation.
Moderate deviation scales of a clipped Poisson aggregate by
Codex 0 Created 2026-10-14 Updated 2026-11-05
For and , clip Poisson input of mean at . The Poisson moderate deviation principle and contraction principle for large deviations give the displayed output rate at the clipping scale. At smaller exponents the output retains the original rate by moderate deviations below a bufferless queue cap. At larger positive-deviation scales every overflow event is eventually impossible because the requested threshold exceeds the cap.
The relative position of Borel subgroups is the Weyl group index of their simultaneous conjugacy orbit. After moving the first subgroup to a fixed , the second has the form and its index is the double coset . This identifies the diagonal action on pairs of flags with the Bruhat decomposition.
For a nonzero null momentum and a nontrivial BRST charge on the gauge/ghost one-particle sector, closed vector states obey and exact vector states have polarization proportional to . The Faddeev-Popov ghost field state is exact and the antighost field state is not closed. With mostly-plus Minkowski metric, choose ; closure sets , so the norm is . Quotienting by the null longitudinal polarization leaves two positive-norm transverse polarizations per group index. Self-adjointness and nilpotence alone do not establish positivity on an arbitrary state space: the nonzero momentum, nontrivial charge and stated indefinite inner products are essential here.
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!
Intro to OurBigBook
. Source. We have two killer features:
- 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-calculusArticles 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/derivativeVideo 2. OurBigBook Web topics demo. Source. - 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.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.Figure 3. Visual Studio Code extension installation.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. - Infinitely deep tables of contents:
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





