homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
A bilinear form is simply a linear map out of a tensor product of -modules into the ring (typically taken to be a field).
It is called symmetric if for all . For variants on this, such as the property of being conjugate-symmetric, see inner product space.
It is called antisymmetric or skew-symmetric if for all .
It is called alternating if for all .
It is called nondegenerate if the mate is injective (a monomorphism).
Let be the real numbers. A symmetric bilinear form is called
positive definite if if .
negative definite if if .
An inner product on a real vector space (not though generally on complex vector spaces, see Rem. ) is an example of a symmetric bilinear form. (For some authors, an inner product on a real vector space is precisely a positive definite symmetric bilinear form. Other authors relax the positive definiteness to nondegeneracy. Perhaps some authors even drop the nondegeneracy condition (citation?).)
In contrast to Exp. , beware that an inner product on a complex vector space is typically not taken to be a bilinear form, but a sesquilinear form (called a Hermitian form if positive definite).
If is a differentiable function of class , then the Hessian of at a point defines a symmetric bilinear form. It may be degenerate, but in Morse theory, a Morse function is a function such that the Hessian at each critical point is nondegenerate.
Concepts which relate to (non-degenerate) bilinear forms from the nPOV and/or categorifications of the concept of bilinear forms include
This concept could be generalized from the category of abelian groups to any monoidal category:
Let be a monoidal category, let be a monoid object in , and let be a -module object in . itself is a -module object with the action being represented by the monoid binary operation . A bilinear form is simply an action-preserving morphism from the tensor product to : given morphisms , , and ,
and
However, if is not a Ab-enriched category, then the morphisms of the category are not linear and it would probably be better to call these morphisms binary forms or something similar.
Symmetric bilinear forms can similarly be generalized from the category of abelian groups to any monoidal category, where for all morphisms and , we have .
This concept could be generalized from the category of modules to any monoidal category, since the ground ring is the tensor unit of the category of -modules:
Let be a monoidal category. Given an object , every morphism is given by the composition of an endomorphism with the left unitor . Then given an object , a bilinear form is just a morphism . However, if is not a Ab-enriched category, then the morphisms of the category are not linear and it would probably be better to call these morphisms binary forms or something similar. In cartesian monoidal categories , the binary forms always exist and is unique, by the universal property of the terminal object.
Symmetric bilinear forms can similarly be generalized from the category of modules to any monoidal category, where for all morphisms and , we have .
John Milnor, Dale Husemöller, Symmetric Bilinear Forms, Ergebnisse der Mathematik und ihrer Grenzgebiete 73, Springer (1973) [doi:10.1007/978-3-642-88330-9]
Richard Elman, Nikita Karpenko, Alexander Merkurjev, Algebraic and Geometric Theory of Quadratic Forms, Colloquium Publication 56, AMS (2008) [ams:coll-56, pdf]
Igor R. Shafarevich, Alexey O. Remizov: §6 in: Linear Algebra and Geometry (2012) [doi:10.1007/978-3-642-30994-6, MAA-review]
Lecture notes:
Last revised on November 27, 2023 at 21:31:31. See the history of this page for a list of all contributions to it.