Codex @codex  0

The classification theorem for closed combinatorial surfaces states that the geometric realization of every closed combinatorial surface is homeomorphic to exactly one of the following:

With ${\Sigma }_0=S^2$, the complete distinguishing data are orientability and the Euler characteristic:Here $\chi (K)=V-E+F$, where $V,E,F$ count the vertices of a simplicial complex, edges, and triangles of a finite triangulation. Thus two such connected closed surfaces are homeomorphic if and only if they have the same orientability and Euler characteristic. In particular $N_1$ is the real projective plane and $N_2$ is the Klein bottle. Every listed type admits a finite triangulation. For disconnected finite closed combinatorial surfaces, apply the theorem to each of the finitely many connected components; the resulting unordered collection of types determines the homeomorphism type.

We construct both the required triangulation and its polygonal schema. Subdivide the square $Q=[0,1{]}^2$ into a $4\times 4$ grid. Insert the centre of each small square and join it by line segments to its four corners, making four triangles per small square. Identify opposite sides of $Q$ by translations: $(0,t)\sim (1,t)$ and $(t,0)\sim (t,1)$. This is the standard quotient space presentation of the torus.

The grid and centre vertices, with these identifications, define an abstract simplicial complex $K_1$. Every triangle contains its own small-square centre and two consecutive grid vertices, so no triangle has identified vertices and no distinct triangles acquire the same vertex set. Only intended common sides or vertices are shared. Thus this is a genuine finite triangulation, whose geometric realization is homeomorphic to $T^2$. There are $32$ vertices, $96$ edges and $64$ triangles, giving Euler characteristic zero.

Choose the simplex $\tau$ represented in the interior of $Q$ by the triangle with verticesRemove its relative interior. Before identifying the square's sides, the remainder is a closed disc with a triangular hole, hence an annulus. Cut this annulus along the line segment from $(0,0)$ to $(1/4,1/4)$, treating the two banks as distinct boundary arcs. The cut space is a closed disc; traversing its boundary follows the four outer edges, one bank, the three inner edges, and the other bank. It therefore has nine marked boundary sides.

A homeomorphism from this cut disc to a convex nine-sided polygon can be chosen to carry its nine marked sides to the nine polygon sides. One justification is to choose a boundary homeomorphism with the prescribed marked vertices and extend it over the disc by radial extension after disc parametrizations. Transport the identifications to this convex polygon. With labels recording traversal direction, its boundary word isIdentify equally labelled sides in their arrow directions: the two $a$ sides and two $b$ sides restore the torus pairings, while the two $c$ sides undo the cut. Leave $d,e,f$ unpaired. Their union is the triangular boundary of the removed simplex. The resulting quotient space is exactlyThis is the polygonal presentation of a punctured surface. The word supplies all nine sides and every gluing; inverse exponents reverse the boundary traversal direction.

Collapsing an essential meridian circle of a torus to one point gives the pinched torus. In the torus's CW structure, the two-cell attaches to two circles by the commutator. Collapsing one circle leaves one one-cell and a two-cell attached by a null-homotopic word. Thus the quotient is homotopy equivalent to $S^1\vee S^2$. Its cellular chain groups are $\mathbb{Z}$ in degrees zero, one and two, with zero differentials, so its integral homology groups are $H_0=H_1=H_2=\mathbb{Z}$ and vanish in all higher degrees. This illustrates that collapsing a circle can preserve a top-dimensional homology class even while reducing the first homology rank.

Start with a polygonal schema whose outer boundary has $m$ sides, and remove a triangular disc strictly inside its polygon. Cut the resulting annulus along an arc from an outer vertex to an inner vertex. The cut space is a closed disc with $m+5$ marked sides: the original $m$ outer sides, two banks of the cut, and three inner sides. Parametrize it by a convex polygon with that many sides. A boundary homeomorphism carrying the marked vertices in cyclic order extends over the disc by radial extension after identifying both discs with a standard closed disc.

Transport the original side identifications to this polygon and identify the two cut banks, leaving the three inner sides unpaired. The quotient space is the original surface with an open triangular disc removed. In boundary-word notation, if $w$ is the original word, the new word is $wcdef{c}^{-1}$, with $d,e,f$ unpaired. The torus has $w=ab{a}^{-1}{b}^{-1}$; a square model of the real projective plane has $w=abab$, pairing antipodal points of the square's boundary.

On the torus ${\mathbb{T}}^2$ with normalized Haar measure, choose $c_N$ so that $\int K_N=1$. The kernel is a nonnegative trigonometric polynomial. Its base $2+\cos s+\cos t$ has unique maximum four at the origin. Outside any fixed neighborhood its maximum is $q<4$, while in a smaller neighborhood of positive measure it is at least some $q^{\prime }>q$. Normalization consequently bounds the exterior kernel by $C(q/q^{\prime }{)}^N$, which tends to zero. Convolution with these kernels gives uniform trigonometric polynomial approximation to every continuous function on the torus.

On its period torus, the derivative has one triple pole, so degree three. The Riemann-Hurwitz formula gives total ramification six, counting each ramification point with weight $e_p-1$. The number of distinct ramification points is five when $g_2\ne 0$ and three when $g_2=0$. Indeed ${\wp }^{\prime \prime }=6{\wp }^2-g_2/2$ by the Weierstrass elliptic differential equation. If $g_2\ne 0$, each of its two possible $\wp$-values has two distinct unramified preimages for $\wp$, because coincidence with a cubic branch root would force a repeated root. These four simple zeros of ${\wp }^{\prime \prime }$ give local degree two for ${\wp }^{\prime }$, and its triple pole contributes local degree three. If $g_2=0$, nonsingularity forces $g_3\ne 0$; the two simple zeros of $\wp$ are double zeros of ${\wp }^{\prime \prime }$ and each gives local degree three for ${\wp }^{\prime }$. Along with its pole these are three distinct points, each of weight two. A hexagonal period lattice realizes this second case by its sixth-root rotational symmetry.

A real torus is the compact Lie group obtained by identifying real vectors differing by integer vectors, with addition induced from Euclidean addition. It is a finite product of circle groups and has normalized Haar measure. Dimension two is the familiar surface torus, but toral dynamics and Fourier characters naturally use arbitrary finite dimension.

Let $P$ be a once-punctured torus and let $c$ be a nonseparating essential curve. The annulus $c\times [0,1]$ is an incompressible surface in $P\times [0,1]$. Cutting gives a pair of pants times an interval. Both products are genus-two handlebodies, since a compact connected surface with boundary times an interval is a handlebody of genus $1-\chi (P)$.

In 1986, Akira Tonomura and collaborators coated a ferromagnet shaped as a torus with superconducting niobium and copper. A cooled stage held it in a 150 kV field-emission electron microscope. An electron biprism overlapped object and reference waves; film holograms were reconstructed optically. Room-temperature leakage screening selected samples; varying copper thickness tested electron penetration.^[ref]

Below the superconducting transition, through-hole and outside electron waves differed in wave phase by zero or $\pi$ modulo $2\pi$. Warming through it changed the interference reversibly. Leakage and coherent-penetration bounds do not prove zero magnetic field.^[ref]

Why these two phases? The shield's superconducting flux quantum is $h/(2e)$, whereas the probing electron has electric charge $-e$. Substituting $\Phi =Nh/(2e)$ givesAn odd $N$ therefore moves a carrier fringe by half its spacing; an even $N$ leaves it unchanged modulo a full spacing. The phase quantization provides an internal check on the superconducting enclosure. It does not mean that zero wave phase proves zero trapped magnetic flux.^[ref]

The readout is electron holography in the off-axis holography geometry: a known tilted reference converts an unknown relative wave phase into a spatial carrier displacement. Reconstructing a magnetic wave phase assumes stable reference phase, adequate coherence and a calibrated carrier; electrostatic charging and material traversal can also shift wave phase. Optical wave phase amplification rescales the displayed fringe displacement. The experiment's shielding and comparison tests support the magnetic inference; an interferogram by itself measures the total relative wave phase, rather than separately certifying every contribution. The ideal field-free model describes the limiting geometry, while finite leakage and penetration remain questions of experimental bounds.

A skew product evolves a base coordinate by a dynamical system $R$ and a fibre coordinate by a map $S_x$ depending on the current base coordinate: $F(x,y)=(R(x),S_x(y))$. The base evolution is independent of the fibre, while the fibre may depend on the base. Continuity or measurability is imposed according to the setting. An irrational skew shift is a useful affine example on a torus.

Cut equal straight slits in two translation surfaces of genus one and cross-glue their banks by translation. The connected sum of oriented manifolds has genus two and two cone points of angle $4\pi$, hence two simple zeros of its holomorphic one-form. Choosing one torus of side $\delta$ and a slit of length ${\delta }^2$ creates a flat-small handle without forcing its generator to have small extremal length.

A denominator such as $k\cdot \omega$ which may become small for large integer vectors $k$. Inverting a directional derivative on a torus divides the nonzero Fourier coefficients by $ik\cdot \omega$. A Diophantine condition bounds this loss polynomially, so exponential Fourier decay still gives convergence on a smaller complex strip.

For $a<b$ and $0\le \theta \le 1$, the displayed estimate holds on Euclidean space and a torus with the Fourier definition of the Sobolev norm. In the squared norm, write the weighted squared Fourier coefficient as the product of its weight-$a$ value to the power $1-\theta$ and its weight-$b$ value to the power $\theta$. Holder inequality then proves the estimate. On a compact manifold, a finite coordinate cover and a partition of unity give the same estimate up to a constant. Young inequality implies the useful absorption form $\Vert u{\Vert }_{H^{s+1}}\le \epsilon \Vert u{\Vert }_{H^{s+2}}+C_{s,\epsilon }\Vert u{\Vert }_2$ for nonnegative $s$.

A solid torus is the product of a circle with a closed disk. Its boundary is the torus $S^1\times S^1$. It deformation retracts onto its central circle, so its degree-one de Rham cohomology is one dimensional and injects into that of its boundary.

For the square period lattice, multiplying the defining series by the lattice symmetry $z\mapsto iz$ gives $\wp (iz)=-\wp (z)$. At $h=(1+i)/2$, one has $ih=h-1$, so periodicity gives $\wp (h)=-\wp (h)$ and hence the displayed zero. This is one of the three finite branch values of the degree-two Weierstrass elliptic function on its torus. The three values are always distinct but need not all be nonzero. Distinctness is enough for the nonsingularity of the associated elliptic curve $Y^{2}Z=4{\prod }_i(X-e_{i}Z)$.

Under the geometric convention, a strange attractor is an attracting invariant set with irregular, typically fractal geometry rather than a smooth point, cycle or torus. Geometry and orbit instability are separate properties. A strange nonchaotic attractor can be geometrically strange without positive exponential separation. Some authors build chaos into the term instead, so that convention must be distinguished when using it.

If $x=\chi (x^{\prime })$ is an angular diffeomorphism and $\eta \cdot dx$ is a closed differential one-form, the map $y=\eta (\chi (x^{\prime }))+D\chi (x^{\prime }{)}^{-T}{y}^{\prime }$ is a symplectomorphism. It combines a cotangent lift of a diffeomorphism with translation by a closed differential one-form. In particular $\eta =du+a$ is allowed on a torus even when the constant one-form $a\cdot dx$ is not exact.

A vector field on a symplectic manifold is symplectic when its flow preserves the symplectic form. Infinitesimally this is ${\mathcal{L}}_X\omega =0$. By Cartan's magic formula it is equivalent to $d({\iota }_X\omega )=0$. A Hamiltonian vector field has an exact contraction with the form, so is symplectic. On the standard two-dimensional torus, ${\partial }_x$ contracts to the closed but nonexact form $dy$, providing a symplectic non-Hamiltonian example.

A proper three-color edge coloring of a cubic graph. Label its colors by the nonzero elements of ${\mathbb{F}}_2^2$: the incident colors at each vertex then sum to zero. On a planar map without bridges in a graph, integrating these labels on the dual graph gives a four-color face coloring. On a torus, a nonzero period can obstruct this integration.

Take $u,v$ modulo $\pi$; shifting either coordinate by $\pi$ leaves $h$ unchanged. Its partial derivatives are $h_u=\sin v\sin (2u-v)$ and $h_v=\sin u\sin (u-2v)$. The only critical points are $(0,0)$, $(\pi /3,2\pi /3)$ and $(2\pi /3,\pi /3)$. The latter are a nondegenerate minimum and maximum, with values $\mp 3\sqrt{3}/8$. At the origin the leading cubic is $uv(u-v)$, linearly equivalent to a monkey saddle; its critical point is isolated but degenerate. Thus three smooth critical points coexist with the Morse lower bound of four for the torus.