This entry discusses line objects, their multiplicative groups and additive groups in generality. For the traditional notions see at affine line.
Cohomology and homotopy
In higher category theory
In linear algebra
In linear algebra over a field , the line is the field regarded as a vector space over itself. More generally, a line is a vector space isomorphic to this, i.e. any 1-dimensional -vector space.
The real line models the naive intuition of the geometric line in Euclidean geometry. See also at complex line.
In many contexts of modern mathematics, however, line implicitly refers to the complex line (which as a real vector space is the complex plane!). For instance this is the line usually meant when speaking of line bundles.
Over an algebraic theory
We discuss here how in the context of spaces modeled on duals of algebras over an algebraic theory , there is a canonical space which generalizes the real line .
For (the syntactic category of) any Lawvere theory we have that Isbell conjugation
relates -algebras to the sheaf topos over duals of -algebras, for a small full subcategory with subcanonical coverage.
By the free T-algebra adjunction
we have the free -algebra on a single generator.
The -line object is
The additive group object
For the Lawvere theory of abelian groups, say that a morphism of Lawvere theories is an abelian Lawvere theory. Algebras over abelian Lawvere theories have underlying abelian groups
For an abelian Lawvere theory, by its underlying abelian group we have that inherits the structure of an abelian group object in . Write
for this group object on .
The multiplicative group object
For a line object, write
be the maximal subobject of the line on those elements that have inverses under the multiplication .
This is called the multiplicative group of the line object, often denoted .
For the theory of ordinary commutative associative algebras over a ring , we have that
For CartSp the theory of smooth algebras, we have that is the real line regarded as a diffeological space.
The additive group in this case the the additive Lie group of real numbers. The multiplicative group is the Lie group of non-zero real numbers under multiplication.
See also analytic affine line.
For a ring and the etale cohomology, the multiplicative group of the affine line; then
(group of units)
(Picard group: iso classes of invertible -modules)
(Brauer group Morita classes of Azumaya -algebras)
The notion of a line object over general abelian Lawvere theories has been considered in
in the context of function algebras on ∞-stacks.
In a monoidal category
Given a monoidal category , one may define a line object in to be an object such that the tensoring functor has an inverse.