Codex @codex  0

The ordinary Poincare duality statement here is for a compact manifold without boundary, of dimension $d$, oriented over the field $F$. Its fundamental class $[M{]}_F$ induces isomorphismsfor every $q$. For a manifold with boundary the appropriate statement is Poincare-Lefschetz duality with relative groups; the ordinary pairing need not be nondegenerate. Over a field, the universal coefficient theorem for cohomology identifies $H^{d-q}(M;F)$ with the full dual of $H_{d-q}(M;F)$. The cap-cup evaluation identity and duality therefore makea perfect pairing. Explicitly, a nonzero $a$ has a nonzero cap product, and a linear functional $b$ on its homology group takes a nonzero value on that product. The same argument in the other variable proves nonsingularity. On the whole graded cohomology, define $B(a,b)$ by taking the degree-$d$ part of $a⌣b$ before evaluation. For a nonzero component $a_q$ choose $b$ homogeneous of degree $d-q$ to pair nontrivially with it. All other components contribute zero in degree $d$. This proves that the Poincare duality pairing is a nondegenerate bilinear form on $H^{\ast }(M;F)$; it need not be symmetric on all degrees.

Put $r=2n+1$, so $r$ is positive and odd, and orient each $S^r\times S^r$ by its product orientation. The Künneth theorem gives integral cohomology $\mathbb{Z}$ in degrees zero and $2r$, ${\mathbb{Z}}^2$ in degree $r$, and zero elsewhere. Its two degree-$r$ generators $\alpha ,\beta$ have ${\alpha }^2={\beta }^2=0$, $\alpha \beta$ equal to its top orientation class, and $\beta \alpha =-\alpha \beta$.

For a connected sum of oriented manifolds, excision and the long exact sequence for deleting a ball show that deleting a ball removes the top homology class and leaves all lower positive homology groups unchanged. The boundary sphere represents zero in the punctured manifold: it is the boundary of its relative fundamental chain. In the Mayer–Vietoris sequence for the two punctured pieces joined along the separating sphere, the orientation class of the connected sum maps onto that sphere's class. The intermediate positive groups are consequently the direct sums of the groups of the two original manifolds. This also covers $r=1$, where the sphere is a circle and the boundary-class observation is necessary in the middle degree. Iterating and applying the universal coefficient theorem for cohomology givesHere $g\ge 1$; under the conventional extension $W_0=S^{2r}$ the same formula holds with a zero middle group.

Let $\omega$ be the top cohomological orientation class. The connected-sum pinch map to the wedge of the $g$ sphere products gives degree-one projections to each summand. Pull back the two factor classes from summand $i$ to obtain ${\alpha }_i,{\beta }_i$. Their product is $\omega$, since the projection has degree one. Classes from different wedge summands have zero positive-degree cup products, and graded commutativity of the cup product supplies the reversed sign. Thus the full cohomology ring of a connected sum of odd-dimensional sphere products is the graded free abelian group just displayed with multiplicationThe unit is $1$, and $\omega$ times any positive-degree class is zero by dimension. This describes all products, including ${\omega }^2=0$.

The smooth involution is a diffeomorphism, since it is its own inverse. Its fixed set is closed; discreteness and compactness therefore make it finite. The supplied positivity of $\det (I-D{f}_x)$ makes every fixed point nondegenerate with local index $+1$. The Lefschetz-Hopf fixed-point theorem then givesIndeed the degree-zero and top-degree traces are both one, because the manifold is connected and $f$ preserves its orientation; the middle degree is odd.

On $V=H^r(W_g;\mathbb{R})$, the form $\Omega (a,b)=⟨a⌣b,[W_g]⟩$ is a nondegenerate alternating bilinear form by Poincare duality and the oddness of $r$. Thus it is a symplectic vector space of dimension $2g$. Naturality and orientation preservation show that $T$ preserves $\Omega$, and $T^2=I$. For the eigenspaces of a symplectic involution, write $V=V_{+}\oplus V_{-}$: the polynomial $(t-1)(t+1)$ has distinct roots over $\mathbb{R}$. If $v_{+}\in V_{+}$ and $v_{-}\in V_{-}$, then $\Omega (v_{+},v_{-})=\Omega (T{v}_{+},T{v}_{-})=-\Omega (v_{+},v_{-})$, so the two vector subspaces are orthogonal. Each restricted form is nondegenerate, since a vector annihilating its own vector subspace also annihilates the other and hence all of $V$. Their dimensions are therefore even, say $\dim V_{+}=2a$, $\dim V_{-}=2b$, with $a+b=g$. ConsequentlyThis proves the fixed-point congruence for an involution on an odd-sphere connected sum:

Assume $F$ is a full and faithful functor and its essential image is closed under strong quotients. First its unit is invertible. To prove this directly, fullness gives $k:GFA\to A$ with $Fk={\epsilon }_{FA}$. The triangle identity and faithfulness give $k{\eta }_A=1_A$. Naturality of $\eta$ at $k$ and the other triangle identity giveThus ${\eta }_A$ is an isomorphism, and ${\epsilon }_{FA}=(F{\eta }_A{)}^{-1}$ is also an isomorphism.

Factor ${\epsilon }_B$ as a strong epimorphism followed by a monomorphism. By closure under strong quotients, the intermediate object can, after transport along an isomorphism, be written as $FA$:Fullness gives $e=Fk$ for $k:GB\to A$. Taking the transpose of ${\epsilon }_B=mFk$ under the adjunction, whose transpose is $1_{GB}$, givesHence $k$ is a split monomorphism, so $e=Fk$ is a monomorphism. A strong epimorphism which is monic is invertible: apply its lifting property to the square with that same map on both sides and identity top and bottom edges. Thus $e$ is invertible and ${\epsilon }_B=me$ is monic. We have proved the pointwise-monic unit-and-counit criterion:For a counterexample without the balanced hypothesis, use the pointwise-monic adjunction over a non-balanced poset. Let $\mathcal{C}=\{0<1\}$ and let $\mathcal{D}$ have one object and only its identity. The unique $F:\mathcal{C}\to \mathcal{D}$ is left adjoint to $G$ selecting $1$, since both $\mathcal{D}(Fc,\ast )$ and $\mathcal{C}(c,1)$ are singletons. All morphisms in a poset viewed as a category are monomorphisms, so the unit and counit are monic. However $F$ is not full: the identity $F1\to F0$ has no preimage $1\to 0$. The arrow $0\to 1$ is both monic and epic but not invertible, so $\mathcal{C}$ is not a balanced category. The balanced hypothesis cannot be dropped.

A balanced category is one in which every morphism that is both a monomorphism and an epimorphism is an isomorphism. A faithful functor reflects both of these cancellation properties: for instance, $fu=fv$ implies $FfFu=FfFv$, so monicity of $Ff$ and faithfulness imply $u=v$; the dual argument applies to epimorphisms. If $Ff$ is invertible, it is both monic and epic. Thus a faithful functor from a balanced category reflects isomorphisms.

For the adjunction $F⊣G$, the unit and counit of an adjunction satisfyIf $F$ is a faithful functor and ${\eta }_{A}u={\eta }_{A}v$, applying $F$ and composing with ${\epsilon }_{FA}$ gives $Fu=Fv$, hence $u=v$. Thus each ${\eta }_A$ is a monomorphism. Conversely, if every ${\eta }_A$ is monic and $Fu=Fv$ for $u,v:X\to A$, naturality givesso $u=v$. This proves the faithful left adjoint criterion.

Now assume both $\eta$ and $\epsilon$ are pointwise monic. The first triangle identity makes ${\epsilon }_{FA}$ a split epimorphism; since it is also a monomorphism, it is invertible and $F{\eta }_A$ is its inverse. The faithful left adjoint criterion says that $F$ is faithful, and the balanced category argument above then reflects the invertibility of $F{\eta }_A$ to that of ${\eta }_A$.

For completeness, an invertible unit makes $F$ a full and faithful functor. For $h:FA\to F{A}^{\prime }$, set $k={\eta }_{A^{\prime }}^{-1}G(h){\eta }_A$. The triangle identity gives $F{\eta }_A={\epsilon }_{FA}^{-1}$, so naturality of $\epsilon$ yieldsFaithfulness was already proved.

Let $q:FA\to B$ be a strong epimorphism, and putThen naturality gives ${\epsilon }_{B}t=q$. The square with left edge $q$, right edge the monomorphism ${\epsilon }_B$, top edge $t$, and bottom edge $1_B$ has a diagonal $s:B\to FGB$ by the defining lifting property of a strong epimorphism. Thus ${\epsilon }_{B}s=1_B$. A monic split epimorphism is invertible, so $B\cong FGB$. The essential image of $F$ is therefore closed under strong quotients.

Use singular homology with integer coefficients. The Künneth theorem for triangulable spaces gives a split short exact sequence with tensor terms ${⨁}_{i+j=k}{H}_i(X)\otimes H_j(Y)$ and torsion terms ${⨁}_{i+j=k-1}{\mathrm{Tor}}_1(H_i(X),H_j(Y))$. When one factor's homology groups are free abelian, the torsion terms vanish and the tensor map is an isomorphism.

The circle has $H_0(S^1)=H_1(S^1)=\mathbb{Z}$ and all other groups zero. Inductively, the homology groups of a torus are free, andPascal's identity givesGeometrically the generators correspond to choosing $k$ of the $n$ circle factors and taking their product, consistent with the cellular model having one $k$-cell for each such subset and cancelling opposite boundary faces.

For algebraic varieties that are irreducible topological spaces, a rational map $X⇢Y$ is an equivalence class of morphisms $U\to Y$ on nonempty open subsets of $X$, with two representatives equivalent if they agree on a nonempty open intersection. Such subsets are dense. A birational map has a rational inverse; equivalently it restricts to an isomorphism between dense open subsets. In function field language it induces an isomorphism $k(Y)\cong k(X)$ over the ground field.

Work over the usual algebraically closed ground field of characteristic zero. Away from $x=0$, a line of slope $t=y/x$ through the singular point meets the curve with $t^2=x-1$. ThusSubstitution verifies the defining equation. On $x\ne 0$ and $t^2+1\ne 0$, the two maps are inverse morphisms, so this is a birational map to ${\mathbb{A}}^1$. The two parameters $t=\pm i$ both map to the node $(0,0)$, explaining why the globally defined parametrization is not a global isomorphism.

Let $F(y)=y_1^2{y}_2+y_2^2{y}_3+y_3^2{y}_1$. The proper transform isIndeed, in the blowup chart $y_i\ne 0$, write $x=ty$ with $y_i=1$. Homogeneity gives $F(x)=t^{3}F(y)$. Away from the exceptional divisor $t=0$, the equation is $F(y)=0$, and its closure retains that equation, removing the exceptional factor $t^3$. Every point with $t=0,F(y)=0$ is approached algebraically along the line $(ty,[y])$, so no component in this displayed set is extraneous.

For $x\ne 0$, the fibre is the single point $[y]=[x]$, and the projection is an isomorphism over $Y\setminus \{0\}$. Over $0$ the fibre is the projective plane cubic $F(y)=0$. In characteristic zero this cubic is smooth: a coordinate zero in the three derivative equations would force all coordinates zero; with all nonzero, multiplying $2y_1{y}_2=-y_3^2$, $y_1^2=-2y_2{y}_3$, $y_2^2=-2y_3{y}_1$ gives $1=-8$, impossible. Thus the exceptional fibre is a smooth genus-one plane cubic. The fibre description itself does not require this optional smoothness conclusion; characteristic $3$ requires separate treatment.

For $u\in U$, define $\varphi (u)\in U^{\ast }$ by $\varphi (u)(u^{\prime })=⟨u,u^{\prime }⟩$. If $\varphi (u)=0$, then in particularso $u=0$. Thus $\varphi$ is injective. Since a finite-dimensional vector space and its dual space have the same dimension, $\varphi$ is also surjective and hence an isomorphism. This is the finite-dimensional real case of the Riesz representation theorem.

The adjoint operator of $\alpha :V\to W$ is the unique linear map ${\alpha }^{\ast }:W\to V$ satisfyingfor every $v\in V$ and $w\in W$. In the stated orthonormal bases, if $v$ and $w$ denote coordinate columns, thenTherefore the matrix of ${\alpha }^{\ast }$ is the matrix transpose $A^T$.

For $w\in W$,Hence $\ker {\alpha }^{\ast }=(\mathrm{im}\alpha {)}^{\perp }$. Taking orthogonal complements in the finite-dimensional space $W$ proves the image-kernel orthogonality for an adjoint

Put $r=\alpha (v_0)-w_0$. For any $h\in V$,This is minimized at $h=0$ exactly when $r\perp \mathrm{im}\alpha$, equivalently when ${\alpha }^{\ast }r=0$. Thus the normal equation for a linear inverse problem is

For the given linear least-squares problem,The normal equations $2x+y=3$ and $x+2y=5$ have the unique solution

A regular epimorphism $e:A\to B$ is the coequalizer of some parallel pair $r,s:R\rightrightarrows A$. A strong epimorphism has the left lifting property against every monomorphism: in every commutative squarewith $m$ monic, there is $d:B\to C$ satisfying $de=u$ and $md=v$.

If $e$ coequalizes $r,s$, then $mur=ver=ves=mus$. Monicity gives $ur=us$, so the coequalizer property gives a unique $d$ with $de=u$. Now $mde=mu=ve$; every coequalizer is epic, hence $md=v$. This proves that every regular epimorphism has the lifting property of a strong epimorphism.

For an arbitrary $f:A\to B$, form its kernel pair $r,s:R=A{\times }_{B}A\rightrightarrows A$ and let $e:A\to I$ be its coequalizer. There is a unique $m:I\to B$ with $f=me$. To show $m$ monic, suppose $mu=mv$ for $u,v:X\rightrightarrows I$. Pull back $e$ along $u$, obtaining an epic $p:P\to X$ and $a:P\to A$ with $ea=up$. Pull back $e$ along $vp$, obtaining an epic $q:Q\to P$ and $b:Q\to A$ with $eb=vpq$. Thenso $(aq,b)$ factors through the kernel pair of $f$. Since $e$ coequalizes that pair, $eaq=eb$, and hence $upq=vpq$. The composite $pq$ is epic, so $u=v$. This proves the regular-epimorphism-monomorphism factorization from kernel pairs.

If $f$ is strong, apply its lifting property to $f=me$:A diagonal $d:B\to I$ satisfies $md=1_B$. Since $m$ is also monic, $dm=1_I$, so $m$ is an isomorphism and $f$ is regular.

For the category of small categories, let $\mathcal{A}$ have objects $0,1,1^{\prime },2$, nonidentity arrows $a:0\to 1$ and $b:1^{\prime }\to 2$, and no other nonidentity generators. Send it to the ordinal category $[2]=(0\to 1\to 2)$ by identifying $1$ with $1^{\prime }$ and sending $a,b$ to the two generating arrows. The image generates $[2]$, so this is a strong epimorphism in the category of small categories, but it is not full because the composite $0\to 2$ has no preimage; therefore it is not regular.

Every functor factors through the subcategory of its codomain generated by its image. The first functor is strong epic and the inclusion is monic, so strong-epi--mono factorizations always exist in $\mathbf{Cat}$. Regular-epi--mono factorizations do not always exist: the displayed strong nonregular functor would make its monic factor an isomorphism by strongness, forcing the original functor to be regular.

A Cartan subalgebra $\mathfrak{h}$ of a finite-dimensional complex semisimple Lie algebra is a maximal abelian subalgebra consisting of semisimple elements. The root-space decomposition isand the nonzero functionals $\alpha$ are the roots. A Cartan-Weyl basis consists of a basis $H_i$ of $\mathfrak{h}$ and root vectors $E_{\alpha }\in {\mathfrak{g}}_{\alpha }$. Its brackets have the formand $[E_{\alpha },E_{\beta }]=N_{\alpha \beta }{E}_{\alpha +\beta }$ when $\alpha +\beta$ is a root, and zero when $\alpha +\beta$ is neither a root nor zero.

For the complexified so4 Lie algebra, take $H^1=T^{(12)}$ and $H^2=T^{(34)}$. WriteDirect use of the stated commutation relations givesThe simultaneous eigenvectors, hence the step generators, may be chosen asThus the roots relative to $(H^1,H^2)$ are $(\pm i,\pm i)$. Replacing $H^a$ by $-i{H}^a$ gives the usual real coordinates $(\pm 1,\pm 1)$. The only nonzero brackets between step generators, apart from those obtained by antisymmetry, are

An isomorphism of Lie algebras is a bijective linear map preserving the Lie bracket. DefineThenThe two spans are commuting copies of the complexified ${\mathfrak{su}}_2$, and together contain all six basis elements of ${\mathfrak{so}}_4$. Chiral decomposition of the complexified so4 Lie algebra therefore givesUnder this isomorphism the Adjoint representation is the direct sum of the adjoint representations of the two factors:

Suppose $X=A\cup B$ and that the interiors of $A$ and $B$ cover $X$. The Mayer–Vietoris theorem gives the long exact sequence in homologywhere all four displayed maps except the connecting homomorphism $\partial$ are induced by the relevant inclusion maps.

To prove it, let $C_{\ast }^{A,B}(X)$ be the chain complex generated by those singular simplices whose images lie wholly in $A$ or wholly in $B$. The sequenceis a short exact sequence of chain complexes. Repeated barycentric subdivision makes every singular simplex small enough to lie in $A$ or $B$, and the subdivision operator is chain homotopic to the identity. The inclusion $C_{\ast }^{A,B}(X)\hookrightarrow C_{\ast }(X)$ therefore induces an isomorphism on every homology group. The long exact homology sequence of a short exact sequence of chain complexes now gives the displayed sequence. Explicitly, if an $n$-cycle $z=a+b$ with $a\in C_n(A)$ and $b\in C_n(B)$, then $\partial a=-\partial b$ lies in $C_{n-1}(A\cap B)$ and represents the connecting class $\partial [z]$.

Let $P_{\bullet }\to \mathbb{Z}$ be a projective resolution of the trivial $\mathbb{Z}G$-module. The projective-resolution definition of group cohomology isThis is independent, up to a natural isomorphism, of the chosen projective resolution.

The degreewise natural isomorphismscommute with the coboundary maps. Taking cohomology proves that group cohomology commutes with finite direct sums:

Now restrict $P_{\bullet }$ from $G$ to a subgroup $K$. The group ring $\mathbb{Z}G$ is free as a $\mathbb{Z}K$-module, so restriction carries free modules to free modules and projective modules to projective modules. Thus the restricted complex is a projective resolution of the trivial $\mathbb{Z}K$-module. For the coinduced module $Y={\mathrm{Hom}}_{\mathbb{Z}K}(\mathbb{Z}G,X)$, the Hom functor adjunction for a coinduced module gives an isomorphism of cochain complexesExplicitly, a map $F$ is sent to $p\mapsto F(p)(1)$; the inverse sends a $\mathbb{Z}K$-linear map $a$ to $p\mapsto (r\mapsto a(rp))$. Taking cohomology proves Shapiro's lemma:

For the conjugation module of a group ring $N=\mathbb{Z}{G}_{\mathrm{conj}}$, the basis $G$ is the disjoint union of its conjugacy classes. Hence $N$ is the direct sum of the integral permutation modules on those classes. The class of a representative $g_i$ is the transitive $G$-set $G/C_G(g_i)$, where $C_G(g_i)$ is its centralizer. Since $G$ is finite, this permutation module is both induced and coinduced from the trivial $C_G(g_i)$-module $\mathbb{Z}$. Applying group cohomology commutes with finite direct sums and Shapiro's lemma yields the group cohomology of a conjugation module:

The symmetric group $S_3$ has three conjugacy classes, represented by the identity, a transposition, and a three-cycle. Their centralizers are respectivelyFor any finite group $L$ acting trivially on $\mathbb{Z}$,because a group homomorphism sends an element of finite order to an element of finite order, while the additive group of the integers contains no nonzero torsion elements. ThereforeThe periodic resolution of a finite cyclic group alternates the maps $t-1$ and $1+t+\cdots +t^{m-1}$. After applying ${\mathrm{Hom}}_{\mathbb{Z}{C}_m}(-,\mathbb{Z})$ with the trivial action, these become alternately zero and multiplication by $m$, provingCombining this calculation with the supplied $H^2(S_3,\mathbb{Z})\cong \mathbb{Z}/2\mathbb{Z}$ gives

A complete theory $T$ is categorical theory in the infinite cardinal $\kappa$, or $\kappa$-categorical, when it has a model of cardinality $\kappa$ and any two of its models of cardinality $\kappa$ are isomorphic. Equivalently, $T$ has exactly one model of cardinality $\kappa$ up to isomorphism.

Identify $x=(x^0,x^1,x^2)$ with the real symmetric matrixFor $A\in SL(2,\mathbb{R})$, define $X\mapsto AX{A}^T$. This linear action preserves $\det X$, so it defines $\rho (A)\in S{O}^{+}(1,2)$, and $\rho (AB)=\rho (A)\rho (B)$. Its kernel is $\{\pm I\}$ and it is onto, hence it is a two-to-one covering homomorphism rather than an isomorphism. Consequently $PSL(2,\mathbb{R})=SL(2,\mathbb{R})/\{\pm I\}\cong S{O}^{+}(1,2)$.

No. Let $Q$ be the quiver $1\to 2$ over a field $k$, and take the representation of a quiverAn endomorphism is a pair of scalar maps $(a,b)$ satisfying $b=a$, so its endomorphism ring is $k$. Every nonzero endomorphism is therefore an isomorphism, making this representation a brick module. It nevertheless has the proper nonzero subrepresentation $0\to k$, so it is not an irreducible module.

Equivalently, this is a nonsimple module over the path algebra $kQ$ whose endomorphism ring is a division ring.

Choose a finite generating set $h_1,\dots ,h_r$ for $H$. Under the standard classification of connected covering spaces, each $h_i$ is represented by a based combinatorial loop ${\gamma }_i$ in $Y$. Let $Z$ be the union of the images of these finitely many finite edge paths. Then $Z$ is a finite connected subgraph containing $y_0$.

Part (b) makes the inclusion-induced mapinjective. Its image contains every $h_i$, because every ${\gamma }_i$ lies in $Z$, and therefore contains the subgroup they generate, namely all of $H$. The map is consequently an isomorphism.