This entry discusses line objects, their multiplicative groups and additive groups in generality. For the traditional notions see at affine line.
symmetric monoidal (∞,1)-category of spectra
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.
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
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 .
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 .
See at roots of unity.
For the theory of ordinary commutative associative algebras over a ring , we have that
is what is the affine line over ;
is the standard algebraic multiplicative group;
is the standard algebraic additive group.
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
(Picard group: iso classes of invertible -modules)
(Brauer group Morita classes of Azumaya -algebras)
Picard scheme, Picard modality?
The notion of a line object over general abelian Lawvere theories has been considered in
in the context of function algebras on ∞-stacks.
Given a monoidal category , one may define a line object in to be an object such that the tensoring functor has an inverse.
moduli spaces of line n-bundles with connection on -dimensional
Last revised on May 26, 2014 at 04:15:39. See the history of this page for a list of all contributions to it.