The inner product separates points in either variable. In particular, if \(\langle z,x\rangle =\langle z,y\rangle \) for all \(z\in E\), then \(x=y\); the same holds when the test vector is in the second variable.

The coefficient action satisfies \(x(b+d)=xb+xd\), \((x+y)b=xb+yb\), \((xb)d=x(bd)\), \(x(cb)=c(xb)\) for \(c\in \mathbb C\), and \(\| xb\| \leq \| x\| \| b\| \). These properties follow from the module-valued inner-product identities and its norm, rather than being additional assumptions on the action.

The adjoint is unique, and \(T\) is automatically right \(B\)-linear. Adjointable maps are closed under addition, complex scalar multiplication and composition. They have identity and zero maps, composition is associative, and

For all appropriately typed vectors and adjointable maps,

In particular, \(\theta _{x,y}\theta _{u,v}=\theta _{x\langle y,u\rangle ,v}\).

The standard right module \(B_B\) is complete, has inner product \(\langle x,y\rangle =x^*y\), and its rank-one operator \(\theta _{x,y}\) is left multiplication by \(xy^*\).

Adjoints preserve the operator norm and satisfy \(\| T^*T\| =\| T\| ^2\), also for maps between different right pre-Hilbert modules.

Adjointable maps carry the norm \(\| T\| =\| T:E\to F\| \). For complete \(E,F\) this space is complete. Adjointable endomorphisms of complete \(E\) form a unital complex \(C^*\)-algebra, with multiplication by composition and involution by adjoint.

Compact module maps are closed under adjoints. Composition with an adjointable map on either side preserves compactness. Thus \(\mathcal K_B(E)\) is a closed adjoint-stable two-sided ideal of \(\mathcal L_B(E)\), and is a possibly nonunital \(C^*\)-algebra for complete \(E\).

Conjugation \(T\mapsto U_gTU_{g^{-1}}\) preserves adjointability, its operator norm, and compact module operators. This applies to compatible maps between different modules as well as endomorphisms.

Left multiplication identifies \(B\) isometrically as a complex star-algebra with \(\mathcal K_B(B_B)\), also for nonunital \(B\).

For separable possibly nonunital \(B\), the standard right module \(B_B\) is countably generated. With all-even grading, the coefficient action, left multiplication representation and \(F=0\), it is an actual even equivariant Kasparov cycle. These are the standard identity-cycle data; product unit laws require the product construction below.

Scalar creation maps in \(\mathbb C\otimes _{\mathbb C}H\) are bounded adjointable maps, but are not automatically compact. In the scalar correspondence \(\mathbb C\otimes _{\mathbb C}\ell ^2(\mathbb N)\cong \ell ^2(\mathbb N)\), creation at \(1\) is the identity under this identification, hence is not a compact Hilbert-space operator. The same actual tensor creation map is also noncompact for the scalar Hilbert-module compactness predicate. The failure persists for two actual complete, countably generated graded Kasparov cycles: the first is \(\mathbb C\) with operator zero, and the second is \(\ell ^2(\mathbb N)\oplus \ell ^2(\mathbb N)\) with diagonal grading and odd selfadjoint unitary flip. The second cycle has exactly zero defects.

For an adjointable map \(T:E\to F\) with complete source module, \(T\) is compact if and only if \(T^*T\) is compact. The target need not be complete. An approximate unit of \(\mathcal K_B(E)\) and the rectangular \(C^*\)-identity show that \(T\) is a norm limit of compact maps \(Te\).

The Hilbert-module direct sum has inner product \(\langle (x,y),(x',y')\rangle =\langle x,x'\rangle +\langle y,y'\rangle \) and norm \(\sqrt{\| \langle x,x\rangle +\langle y,y\rangle \| }\). Complete summands give a complete sum. Coordinate maps are adjointable, diagonal compact maps are compact, and countable generation is preserved. Swapping and reassociating summands give coefficient-inner-preserving isometries.

Even and odd raw cycles have genuine direct sums, with diagonal representations and Fredholm operators and the compatible summed actions. Every localized compact defect is the diagonal sum of the original defects. Direct sums of degenerate cycles are degenerate. Group laws on a homotopy quotient remain a further target.

Two admissible operators \(F_0,F_1\) on the same cycle frame give an actual norm-continuous affine operator homotopy if \((F_1-F_0)\phi (a)\) is compact for every \(a\). The exact noncommutative square identity controls the additional term \((F_1-F_0)^2\phi (a)\); commutation of the operators and global compactness of their difference are not required.

For compact Hausdorff \(X\), continuous sections \(C(X,E)\) with their supremum norm form a right Hilbert \(C(X,B)\)-module under pointwise action and inner product. Norm-continuous compact operator fields lift to compact module operators by uniform finite partition approximation. Constant sections of a countable generating family generate densely. The evaluation-kernel quotient has its proved quotient norm and is unitarily identified with \(E\). This fibre assertion concerns continuous-section modules; fibres of arbitrary \(C(X,B)\)-modules require a further construction.

An injective nonunital complex star homomorphism between \(C^*\)-algebras reflects selfadjointness and the given star-compatible positive order. Functoriality of the continuous functional calculus for the negative part proves positivity reflection.

For any finite family in a complete Hilbert \(B\)-module, its matrix of coefficient inner products is positive in the actual \(C^*\)-matrix algebra over \(B\). Finite synthesis has the adjoint given by coefficient analysis. A faithful matrix action and its linking-module embedding realize the Gram matrix as \(T^*T\) and reflect positivity. Nonunital \(B\) is allowed.

The actual norm completion of a right pre-Hilbert \(B\)-module carries its extended coefficient action and inner product, satisfies every Hilbert-module law and retains the inherited completion norm. The canonical inclusion is a dense coefficient-inner-preserving linear isometry. Countable generation is preserved. Adjointable maps extend uniquely to completions, preserving adjoints, norm, composition and the endomorphism star-algebra structure. Completeness of the original module and a coefficient unit are not required.

The actual balanced tensor form is positive on every algebraic tensor, for complete Hilbert modules. Amplifying the positive finite Gram matrix by the left representation and using its genuine matrix positive cone proves positivity on finite tensor sums. A zero quadratic vector pairs to zero with every vector in the same positive matrix form. This uses actual second-module inner products, with no assumed tensor norm or separation axiom.

Every nonunital complex star homomorphism of complete \(C^*\)-algebras has closed range. The norm on its actual kernel quotient equals the image norm, and every element in the image has a lift with exactly its image norm. Continuous functional calculus trims a representative without changing its image and gives the quotient isometry.

The actual increasing positive contractive coefficient approximate unit acts strongly as the identity on every right Hilbert module. A finite family of vectors can be approximated simultaneously by one positive selfadjoint contractive coefficient. A unit, completeness of the module and an extra essentiality hypothesis are not required.

A positive semidefinite coefficient-valued module form satisfies Cauchy–Schwarz and gives the seminorm \(\| x\| _q=\sqrt{\| \langle x,x\rangle \| }\). Its null vectors form a coefficient-invariant complex submodule. Quotienting that actual radical, with this induced form norm, constructs a separated pre-Hilbert module. No definiteness or pre-existing vector norm is assumed.

For complete Hilbert modules and an actual possibly degenerate nonunital left representation, the tensor form’s zero quadratic vectors are precisely its pairing radical. The coefficient action descends through that radical. The induced norm on the separated balancing quotient and its actual norm completion construct \(E\otimes _B F\). Elementary tensors have the prescribed inner product, obey balance and span a dense subspace.

An adjointable coefficient-linear \(T:E\to E\) induces the actual \(T\otimes 1\) on the completed interior tensor. It maps \(x\otimes y\) to \(Tx\otimes y\), has norm at most \(\| T\| \), and preserves adjoints. The construction is a unital complex star-algebra homomorphism on the adjointable endomorphism algebra.

For a possibly degenerate left representation \(\Psi :B\to \mathcal L_C(F)\), the actual map \(b\otimes y\mapsto \Psi (b)y\) identifies \(B_B\otimes _B F\) unitarily with the closed complex span of \(\Psi (B)F\). Surjectivity onto all of \(F\) is not asserted for a degenerate representation, and no complement for this essential range is assumed.

The complex one-generator Clifford algebra is the actual \(C^*\)-algebra \(\mathbb C\times \mathbb C\) with grading exchanging the coordinates. Its odd generator \(\varepsilon =(1,-1)\) is a selfadjoint unitary. Every selfadjoint unitary in a unital complex \(C^*\)-algebra gives a unique unital star homomorphism sending \(\varepsilon \) to that unitary.

The actual algebraic tensor \(B\otimes _{\mathbb C}\mathrm{Cl}_1\) has coordinate map \(b\otimes (z_+,z_-)\mapsto (z_+b,z_-b)\) and norm \(\max (\| b_+\| ,\| b_-\| )\). Its constructed complete \(C^*\)-algebra is star-isomorphic to \(B\times B\). The norm is the maximal norm over commuting representations, including nonunital and degenerate coefficient representations. No spatial tensor-norm comparison is claimed here.

Actual summed whole-cycle unitaries give exchange and associativity of even raw direct sums. A cycle’s opposite reverses its grading and Fredholm operator. The explicit cosine–sine rotation on the sum of a cycle and its opposite is an admissible norm-continuous operator homotopy ending at the exactly degenerate flip cycle. Operator homotopies can be summed. These statements do not themselves construct the full homotopy quotient.

An admissible fixed-module operator path gives an actual equivariant cycle on the continuous-section Hilbert \(C([0,1],B)\)-module. Its evaluation-kernel fibres carry the induced whole cycles, and genuine cycle unitaries identify them with the original parameterwise cycles, including the endpoints. This does not assert that every interval cycle has a fixed-module path model.

Creation \(\theta _\xi (y)=\xi \otimes y\) on the actual completed tensor is adjointable, has norm at most \(\| \xi \| \), and satisfies \(\theta _\xi ^*(\zeta \otimes y)=\Psi (\langle \xi ,\zeta \rangle )y\) and \(\theta _\xi ^*\theta _\zeta =\Psi (\langle \xi ,\zeta \rangle )\). Precisely, \(\theta _\xi \) is compact if and only if \(\Psi (\langle \xi ,\xi \rangle )\) is compact. Compactness of the entire left action is sufficient; arbitrary creation maps are not asserted compact.

The actual completed interior tensor of two countably generated Hilbert modules is countably generated. Pairing the two generating sequences and using the bounded tensor maps proves density. Nonunital coefficients and a degenerate left representation are allowed.

For the two full scalar input cycles described above, creation at \(1\) into the constructed general interior tensor is noncompact. Its actual adjoint square is the identity on the infinite-dimensional second module. This verifies the counterexample within the constructed tensor, without substituting a different tensor model.

Every finite Gram coefficient quadratic expression \(\sum _{i,j} b_i^*\langle x_i,x_j\rangle b_j\) equals \(\langle \sum _i x_i b_i,\sum _j x_j b_j\rangle \) and is positive. This follows directly from the coefficient inner-product identities and does not assume a tensor norm or tensor positivity.

For an arbitrary Hilbert \(C(X,B)\)-module over compact Hausdorff \(X\), evaluate its actual inner product at \(t\), quotient its null radical, and complete the resulting pre-Hilbert module. This constructs the fibre \(E_t\) and its canonical dense map, with the prescribed evaluated inner product. Countable generation descends. Adjointable operators induce a contractive unital star homomorphism on fibres, and rank-one evaluation proves that compact module operators descend to compact operators.

For complete \(E\) over compact Hausdorff \(X\), its actual closed evaluated radical quotient has Banach quotient norm equal to the evaluated inner-product norm. Continuous cutoffs and the coefficient approximate unit give arbitrarily close norm-controlled representatives. Consequently the evaluated quotient is already complete and the canonical map \(E\to E_t\) is surjective.

The exact identity \(\| \theta _{x,x}\| =\| x\| ^2\) implies that the actual compact-operator approximate unit acts strongly as the identity on \(E\). The residual rank-one compression bounds vector errors by compact approximate-unit errors. This uses the original \(B\)-valued inner product; it does not retype \(E\) as a module with a compact-operator-valued inner product.

An actual equivariant Kasparov cycle on an arbitrary complete countably generated Hilbert \(C(X,B)\)-module, with coefficient action acting pointwise and fixing \(X\), induces a whole cycle on every evaluated fibre. Its grading, semilinear action, representation and Fredholm operator are the induced actual fibre maps, and all four compact defects descend. Degeneracy is preserved. For a fixed-module operator path, these general fibres are unitarily identified with its original parameterwise cycles.

Evaluation gives a surjective nonunital star homomorphism \(\mathcal K_{C(X,B)}(E)\to \mathcal K_B(E_t)\), with norm-preserving lifts. Its kernel is exactly the closed complex span of the rank-one maps \(\theta _{x,y}\) with \(x_t=0\). Fibre-vector surjectivity lifts rank-one maps; closed \(C^*\)-homomorphism range gives the full epimorphism, and the actual compact-algebra approximate unit proves the kernel description.

The actual closed section space \(\{ x\in C([0,1],E):x(0)=0\} \) is a complete Hilbert \(C([0,1],B)\)-module with pointwise form and action. Uniform ramp regularization proves the density needed for its explicit countable generators when \(E\) is countably generated. Constant adjointable operators act on this cone and give a norm-contracting unital star homomorphism. No general closed-submodule countable-generation assertion is used.

A countably generated Hilbert module over separable \(B\) is separable as a complex normed space. Conversely, a separable Hilbert module is countably generated, also when \(B\) is nonunital. The coefficient approximate unit puts each vector of a dense sequence in the closure of its coefficient span.

For two interval modules with a specified unitary between their meeting fibres, compact operators on the matching module are exactly the matching pairs of compact operators. The closed algebra generated by actual matching rank-one pairs equals this pullback algebra. This gives compactness of compatible compact operator pairs without assuming a compact lifting theorem.

For trivially graded coefficients and separable \(B\), full homotopy uses an actual complete countably generated interval module and whole-cycle unitary identifications of both endpoint fibres. Reversal and matching-module gluing prove symmetry and transitivity. The generated relation is precisely the existence of one such interval witness. The group action fixes the interval parameter and acts pointwise on its coefficients.

The fibre of the direct sum is unitarily the direct sum of the two actual fibres, with all cycle data intertwined. Direct sums of full interval witnesses therefore prove congruence of the homotopy relation in both variables.

For trivially graded coefficients and separable \(B\), the quotient of actual bundled even cycles by full homotopy is an abelian group under direct sum. Opposite grading and opposite operator give the inverse. Degenerate cycles vanish by an actual cone interval witness; the inverse law follows from the constructed rotation witness. Module carriers use a fixed explicit universe. The Clifford parity identification remains a separate obligation.

Complete the finitely supported vectors with their actual coefficient form \(\langle x,y\rangle =\sum _i\langle x_i,y_i\rangle \) to construct the countable Hilbert-module sum. Norm convergence of coefficient-square partial sums gives an actual realized sequence, with its coordinates and mixed inner products. Summability of the real numbers \(\| x_i\| ^2\) is not required.

For a contractive adjointable \(T:F\to E\) between complete modules, functional calculus constructs \(D=(1-TT^*)^{1/2}\) and \(S=(1-T^*T)^{1/2}\) and proves \(DT=TS\). The block operator \(\left[\begin{smallmatrix} D & T \\ -T^* & S \end{smallmatrix}\right]\) is an actual coefficient-inner-product-preserving unitary of \(E\oplus F\).

Every adjointable map between complete modules has the actual contractive normalization \(T(\max (1,T^*T))^{-1/2}\). This analytic norm statement does not assume a Fredholm defect or establish preservation of cycle conditions.

The absolute value of a compact module endomorphism is compact. A selfadjoint compact endomorphism also has compact positive part. The compactness criterion for the actual adjoint square proves these statements in the given module.

A separable possibly nonunital \(C^*\)-algebra has a positive contractive two-sided approximate-unit sequence, which commutes asymptotically with each element of that same algebra. Weakly null families admit arbitrarily small finite convex combinations on every eventual tail by Hahn–Banach separation. Quasicentrality in a larger multiplier algebra and the technical theorem require further proofs.

For a complete countably generated Hilbert \(B\)-module \(E\), rescaling a countable generating family by positive summable weights constructs a compact adjointable synthesis \(H_B\to E\) with dense range. Its adjoint has the coefficient inner products as coordinates, with a convergent \(B\)-valued sum of their squares.

Every complete countably generated Hilbert \(B\)-module \(E\) admits a \(B\)-linear inner-product-preserving unitary \(E\oplus H_B\cong H_B\). The construction combines the dense synthesis, the countable Julia unitary, and the coefficient-preserving reindexing \(H_B^\infty \cong H_B\).

Strongly convergent selfadjoint contractions approximate every compact Hilbert-module map in operator norm after composition on either side. The finite-coordinate projections of \(H_B\oplus H_B\) commute with the reference projection onto its second summand. Their compressions of a compact perturbation of that reference converge in norm, uniformly over a norm-compact family of perturbations.

Let \(Q,R\) be adjointable endomorphisms of a complete Hilbert \(B\)-module, with \(Q\) selfadjoint, and let \(r\in \mathbb R\). If \((Q-r)R\) is compact, then \((f(Q)-f(r))R\) is compact for every continuous real function \(f\). The statement requires neither commutation of \(Q\) and \(R\) nor global compactness of \(Q-r\). Continuous-function induction on the spectrum with \(r\) adjoined uses the actual closed compact-module ideal.

A coefficient-preserving first-factor unitary induces a unitary of the completed interior tensor products, intertwining the corresponding first-factor operators. Interior tensoring also distributes over an actual second-factor Hilbert-module sum. This completed sum unitary preserves the full coefficient-valued inner product and intertwines the grading, group action, creation maps and their adjoints.

Construct the Kasparov product, with existence, well-definedness, associativity, and units. Record contravariance in the first algebra and covariance in the second. This is a substantial development, to be split into supporting lemmas in the detailed blueprint.

For the trivial group, establish \(KK_i(\mathbb C,B)\cong K_i(B)\).