1 Definition and basic properties
A sesquilinear form is a two-variable function on a vector space or module that behaves linearly in one argument and conjugate-linearly in the other. It extends the idea of a bilinear form to settings where scalars carry an involution, most commonly complex conjugation on complex vector spaces. Sesquilinear forms appear naturally in inner product spaces, Hermitian geometry, and operator theory.
1.1 Formal definition
Let \(V\) and \(W\) be vector spaces over a field or ring equipped with an involution \(a \mapsto \bar a\). A map \[ B: V \times W \to ক্ষেত \] is sesquilinear if it is linear in one argument and semilinear in the other. In a common convention, one requires \[ B(v_1+v_2,w)=B(v_1,w)+B(v_2,w), \quad B(\lambda v,w)=\lambda B(v,w), \] and \[ B(v,w_1+w_2)=B(v,w_1)+B(v,w_2), \quad B(v,\lambda w)=\overline{\lambda}\,B(v,w). \] Other conventions reverse which argument is linear, but the essential structure is the same.
1.2 Linear and conjugate-linear arguments
The two arguments are treated asymmetrically. The linear variable scales in the usual way, while the conjugate-linear variable introduces the involution on scalars. Over the complex numbers, this means multiplication by a scalar in that slot is accompanied by complex conjugation. This asymmetry is what distinguishes sesquilinear forms from ordinary bilinear forms.
1.3 Additivity and scalar behavior
Sesquilinear forms are additive in each argument, so they distribute over sums. Their scalar behavior is controlled by the chosen convention and by the involution on the scalar ring. As a result, products of scalars do not appear symmetrically in both variables. This feature is essential in the construction of Hermitian inner products and adjoint operators.
1.4 Domains over fields with involution
Sesquilinear forms are most familiar over complex vector spaces, but they are also defined over modules over rings with involution. Such settings include certain noncommutative algebras and *-rings. The involution allows one to formulate conjugate-linearity even when the scalars are not complex numbers. This makes the notion useful in abstract algebra and module theory.
2 Examples
Sesquilinear forms arise in many standard constructions. Some are familiar from linear algebra, while others appear in module theory and analysis. These examples illustrate how the general definition specializes in concrete cases.
2.1 Standard Hermitian inner product
On \(\mathbb{C}^n\), the standard Hermitian inner product is \[ \langle x,y\rangle = \sum_{k=1}^n x_k \overline{y_k}. \] It is linear in the first argument and conjugate-linear in the second under this convention. This form is positive definite and determines the usual notion of length and angle in complex Euclidean space.
2.2 Bilinear forms as special cases
If the involution is trivial, then conjugate-linearity becomes ordinary linearity. In that case, a sesquilinear form reduces to a bilinear form. Thus bilinear forms can be regarded as a special case of sesquilinear forms over fields or rings without a nontrivial involution.
2.3 Forms on complex vector spaces
Many complex vector spaces carry sesquilinear forms that are not positive definite. Examples include indefinite Hermitian forms used in geometry and physics. Such forms may have vectors of zero length or even vectors with negative self-pairing in an appropriate sense. They still encode useful geometric and algebraic information.
2.4 Forms over modules and rings
Sesquilinear forms can be defined on modules over rings with involution, such as modules over matrix rings or certain algebraic *-structures. In these cases the form may be used to study duality, automorphisms, and module decomposition. The generality is important when vector-space techniques are adapted to more abstract algebraic contexts.
3 Matrix representation
When a basis is chosen, a sesquilinear form can often be represented by a matrix. This makes computation easier and connects the theory to linear algebra. The matrix viewpoint also clarifies how the form changes under basis transformations.
3.1 Coordinate expression
If \(V\) is finite-dimensional with basis \(e_1,\dots,e_n\), then a sesquilinear form \(B\) is determined by the values \[ b_{ij}=B(e_i,e_j). \] For vectors \(x\) and \(y\) with coordinate columns, the form can be written in matrix form as \[ B(x,y)=x^{T}A\,\overline{y} \] or by a similar expression depending on the chosen convention. The matrix \(A\) records the action of the form on basis vectors.
3.2 Change of basis
Under a change of basis, the matrix representing a sesquilinear form transforms by a rule involving the transition matrix and its conjugate transpose. This differs from the transformation law for bilinear forms because of the conjugation in one argument. The change-of-basis formula preserves the underlying form while altering its coordinate description.
3.3 Gram matrices
Given a basis, the matrix \(A=(B(e_i,e_j))\) is often called the Gram matrix of the form relative to that basis. It encodes pairwise values of basis vectors under the form. If the basis is orthonormal in an inner product space, the Gram matrix is the identity matrix. More generally, its determinant and rank reveal structural properties of the form.
3.4 Associated matrices with involution
When the scalar field has an involution, the matrix representing a sesquilinear form is naturally related to the conjugate transpose. Symmetry properties of the form translate into matrix identities such as \(A=A^*\) or \(A=-A^*\), where \(A^*\) denotes conjugate transpose. These identities are central in the classification of Hermitian and skew-Hermitian forms.
4 Symmetry conditions
Sesquilinear forms may satisfy additional symmetry relations. These conditions strongly influence their geometry and algebra. They also determine how the form interacts with notions of positivity and orthogonality.
4.1 Hermitian forms
A Hermitian form satisfies \[ B(v,w)=\overline{B(w,v)} \] under the usual convention. Such forms generalize real symmetric bilinear forms to complex settings. They are fundamental in defining inner products, unitary operators, and orthogonal decompositions.
4.2 Skew-Hermitian forms
A skew-Hermitian form satisfies \[ B(v,w)=-\overline{B(w,v)}. \] These forms are closely related to Hermitian forms by multiplication by the scalar \(i\) over the complex numbers. They arise in symplectic and operator-theoretic contexts, where antisymmetry with respect to conjugate transpose is useful.
4.3 Self-adjoint and anti-self-adjoint forms
In matrix language, a form is self-adjoint if its matrix equals its conjugate transpose, and anti-self-adjoint if it equals the negative of its conjugate transpose. These conditions mirror the behavior of Hermitian and skew-Hermitian forms. They are particularly important when the form is interpreted through associated linear operators.
4.4 Sesquilinear forms and symmetry classification
Not every sesquilinear form is symmetric in any sense. Some are completely general, while others fall into one of the structured classes above. Classification often begins by asking whether the form is Hermitian, skew-Hermitian, or neither. This distinction shapes subsequent analysis of rank, degeneracy, and canonical form.
5 Relationship to other algebraic structures
Sesquilinear forms sit at the intersection of several foundational constructions. They connect directly to bilinear forms, quadratic forms, inner products, and linear operators. This makes them a versatile organizing concept in algebra and analysis.
5.1 Bilinear forms
Bilinear forms are the real-linear analogue of sesquilinear forms. Over complex spaces, the conjugation in one slot creates different symmetry and positivity behavior. Many results about bilinear forms have corresponding sesquilinear versions, though the proofs often require conjugation-aware adjustments.
5.2 Quadratic forms
A sesquilinear form can sometimes be used to define a quadratic-like function by evaluating it on equal arguments. For Hermitian forms, the expression \(B(v,v)\) is real in many standard settings. This connection provides a bridge between pairings and scalar-valued invariants.
5.3 Inner products
Inner products are special sesquilinear forms that are Hermitian and positive definite. They supply notions of norm, distance, and angle. The abstract definition of sesquilinearity captures the algebraic core of inner product spaces, while positivity adds the geometric component.
5.4 Hermitian operators
Every bounded operator on a Hilbert space has an adjoint defined using the inner product. Sesquilinear forms help express this relationship, since the adjoint identity is itself a statement about a sesquilinear pairing. In finite dimensions, matrices representing Hermitian forms and Hermitian operators share the same conjugate-transpose symmetry.
6 Orthogonality and geometry
Sesquilinear forms define geometric relations in vector spaces. They determine when vectors are orthogonal, isotropic, or degenerate. These ideas are central in both abstract linear algebra and geometric applications.
6.1 Orthogonality induced by a form
Two vectors are orthogonal with respect to a sesquilinear form if their pairing is zero. This extends the familiar notion of perpendicularity from Euclidean geometry. Orthogonality defined in this way depends on the specific form, so different forms may produce different orthogonal decompositions.
6.2 Isotropic vectors and subspaces
A nonzero vector \(v\) is isotropic if \(B(v,v)=0\). More generally, a subspace is isotropic if the form vanishes on all pairs of vectors from that subspace. Isotropic objects play an important role in indefinite Hermitian geometry and related classification problems.
6.3 Nondegeneracy
A sesquilinear form is nondegenerate if it pairs nontrivially with every nonzero vector in an appropriate sense. Nondegeneracy means the form can distinguish vectors and is often equivalent to invertibility of the associated Gram matrix in finite dimensions. Nondegenerate forms support duality and allow one to identify a space with its conjugate dual.
6.4 Radical and null space
The radical, or null space, of a form consists of vectors that pair to zero with every vector in the space. If the radical is nontrivial, the form is degenerate. The radical measures the extent to which the form fails to provide a faithful pairing and is an important invariant in classification.
7 Classification and invariants
Classification seeks to determine when two sesquilinear forms are equivalent under a change of basis. Invariants help distinguish forms and describe their canonical representatives. The finite-dimensional theory is especially well developed.
7.1 Rank
The rank of a sesquilinear form is typically the rank of its representing matrix. It measures the dimension of the image of the associated linear map and reflects the size of the nondegenerate part of the form. Rank is preserved under suitable equivalence relations and provides a basic coarse classification.
7.2 Signature in Hermitian settings
For Hermitian forms over complex vector spaces, one may define a signature describing the numbers of positive and negative directions. This is analogous to the signature of real symmetric bilinear forms. The signature is a key invariant in the classification of nondegenerate Hermitian forms.
7.3 Equivalence of forms
Two sesquilinear forms are equivalent if one can be transformed into the other by a change of basis or by an appropriate module isomorphism. Equivalence preserves intrinsic structure while altering coordinates. The notion is used to compare forms up to algebraic sameness rather than literal equality.
7.4 Canonical forms
In favorable settings, sesquilinear forms admit canonical matrices under equivalence. For Hermitian forms, diagonal forms with entries \(\pm 1\) and \(0\) often serve as standard representatives. Canonical forms simplify computation and expose the essential features of the pairing.
8 Applications
Sesquilinear forms are widely used across mathematics and physics. They provide a common language for geometry, symmetry, and operator behavior. Their applications range from finite-dimensional matrix theory to quantum mechanics.
8.1 Linear algebra
In linear algebra, sesquilinear forms organize the study of orthogonality, projections, and decomposition. They underlie Gram matrices, adjoints, and orthonormal bases. Many standard algorithms for complex matrices are naturally formulated using conjugate-transpose structure.
8.2 Representation theory
Representation theory often uses invariant sesquilinear forms to study modules and group actions. A preserved Hermitian form can reveal whether a representation is unitary or decomposable. Such forms also help compare different realizations of the same abstract representation.
8.3 Geometry of vector spaces
Sesquilinear forms give vector spaces geometric structure beyond coordinate systems. They define angles, lengths, and orthogonality when positive definite, and they also support indefinite geometries when not. This makes them useful in the study of complex projective spaces and related geometric frameworks.
8.4 Physics and quantum mechanics
In quantum mechanics, inner products are sesquilinear and encode probability amplitudes. Hermitian operators represent observable quantities, while unitary transformations preserve the inner product. The sesquilinear framework is therefore built into the mathematical formulation of quantum theory.