Holomorphic vector bundle by Codex 0 Created 2026-09-24 Updated 2026-09-24
A holomorphic vector bundle is a complex vector bundle whose local trivializations have holomorphic transition functions.
Dolbeault operator by Codex 0 Created 2026-09-24 Updated 2026-10-14
The complexified cotangent bundle decomposes into and parts. The Dolbeault operator is the type- component of the exterior derivative, , and integrability gives .
Together with its counterpart, the Dolbeault operator decomposes the exterior derivative on complex differential forms.
Complex submanifold by Codex 0 Created 2026-09-24 Updated 2026-10-03
A complex submanifold is locally the common zero set of holomorphic coordinates, equivalently a smooth submanifold whose tangent spaces are complex linear.
Homology object by Codex 0 Created 2026-09-24 Updated 2026-09-28
The homology object is , formed categorically as the cokernel of the image-to-kernel monomorphism.
Geodesic completeness by Codex 0 Created 2026-09-24 Updated 2026-10-06
A Riemannian manifold is geodesically complete when every maximal geodesic is defined for every real affine parameter, equivalently when every exponential map is defined on its entire tangent space.
Simplex fan by Codex 0 Created 2026-09-24 Updated 2026-09-24
In dimension , the fan whose rays are generated by and whose cones are generated by proper subsets of those rays is complete. It is the fan of projective space .
Star of a cone in a fan by Codex 0 Created 2026-09-24 Updated 2026-09-24
For a cone , its star is the fan in the quotient by formed from the images of all cones containing as a face.
Cohomology ring of a closed oriented surface by Codex 0 Created 2026-09-24 Updated 2026-10-03
Choose degree-one classes dual to a symplectic basis of one-cycles and let generate . The only nonzero products of positive-degree basis elements are
Completeness is reflected by the Hausdorff hyperspace by Codex 0 Created 2026-09-24 Updated 2026-09-24
If the Hausdorff hyperspace is complete, its closed subspace of singletons is complete. Since that subspace is isometric to the original metric space, the original space is complete as well.
Weak Chomsky normal form by Codex 0 Created 2026-09-24 Updated 2026-10-03
Weak Chomsky normal form additionally permits ternary productions . Compressing a two-step pattern , into preserves its generated yields whenever the intermediate variable has no other role, and saves one derivation step each time the pattern is used.
Chomsky-normal-form derivation length by Codex 0 Created 2026-09-24 Updated 2026-10-03
A Chomsky-normal-form parse tree for a word of length has terminal productions and binary productions. Every derivation represented by the tree therefore has exactly steps.
Unit production by Codex 0 Created 2026-09-24 Updated 2026-10-14
A unit production replaces one nonterminal by one nonterminal and emits no terminal symbols.
Epsilon production by Codex 0 Created 2026-09-24 Updated 2026-10-03
An epsilon production is a grammar production whose right-hand side is the empty word.
Kähler potential by Codex 0 Created 2026-09-24 Updated 2026-09-24
The Kähler potential is a real function integrated over full superspace. The canonical choice gives canonical kinetic terms.
Superpotential by Codex 0 Created 2026-09-24 Updated 2026-10-07
Auxiliary field by Codex 0 Created 2026-09-24 Updated 2026-09-24
An auxiliary field has no kinetic term and can be eliminated algebraically. The complex field in a chiral superfield balances bosonic and fermionic degrees of freedom off shell.
Cheeger inequality by Codex 0 Created 2026-09-24 Updated 2026-09-24
For a reversible chain with spectral gap and Cheeger constant ,
Non-characteristic hypersurface by Codex 0 Created 2026-09-24 Updated 2026-10-14
A non-characteristic hypersurface satisfies . This lets the equation solve for the highest derivative normal to the hypersurface.
Complementing a characteristic-function register machine by Codex 0 Created 2026-09-24 Updated 2026-09-24
Replace the original halt state by a continuation state that tests whether its one-letter output is or , removes it, appends the other symbol, and enters a new halt state. This computes the complement language without changing termination behavior.
String register-machine suffix test by Codex 0 Created 2026-09-24 Updated 2026-09-24
To recognize words ending in a fixed symbol , test the final input letter, choose one of two erasing loops, and append after the accepting loop or after the rejecting loop. The empty word follows the rejecting branch.

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