Oh, of course. Thanks!

]]>Thanks! I added a remark that $Th_{Aff}$ allows the empty set (since the definitions at the top of the page currently don’t). I don’t personally really know whether I think the empty affine space should be allowed, but the page should be internally consistent.

]]>I have added some of the material above under a section “Closed monoidal structure” in affine space.

]]>Thanks, Todd and Karol! Would one of you care to record this at affine space?

Dmitri, that’s an interesting question. One way to do it would be to observe that once you fix a line in a projective space to be “at infinity”, then the points not on that line are an affine space. Since two points determine a line, any $n$-ary operation of an affine space yields an $(n+2)$-ary operation of a projective space… but one whose domain is defined by disequalities, so it’s not algebraic. What did you have in mind?

]]>The dimension of the space of affine maps from an $m$-dimensional affine space to an $n$-dimensional one should be $n(m+1) = m n + n$, if you think of such an affine map as being of the form $f(x) = M x + b$ where $M$ is a matrix (with respect to coordinatizations, including choice of origins) and $b$ is a vector of the codomain.

This can be made more categorically respectable looking by writing an $m$-dimensional $A$ as a coproduct of $m+1$ copies of the terminal $1$ which is the monoidal unit/internal Hom unit, so that

$Hom(A, B) \cong Hom(\sum_{m+1} 1, B) \cong \prod_{m+1} \hom(1, B) \cong B^{m+1}$where the dimension of cartesian products of affine spaces is calculated just as for vector spaces (by adding). So the dimension is $(m+1)\dim(B) = (m+1)n$.

]]>On second thought I don’t think I should’ve included “$a + b + c + d = 1$” in my parametrization of bi-affine maps. But on the other hand the dimension of the affine space of affine maps is also not something completely obvious. E.g. the dimension of the space of affine maps from a $1$-dimensional space to itself is $2$. So perhaps this does work out after all.

]]>Is it possible to give a definition of a projective space analogous to the given definition of an affine space?

I would at least expect an unbiased Lawvere-style definition to make sense. Of course, there is always the question of what maps do we take as morphisms of projective spaces; if we require maps that are everywhere defined, then projective spaces don’t have finite products, and adjoining these gives us a rather complicated structure. (Or does it?) On the other hand one could try to allow partial maps as morphisms, but I’m not sure how to make these into a category.

]]>Thanks for taking the initiative, Mike!

The theory of affine spaces is a commutative theory, and so the monoidal category of affine spaces is closed and Karol’s interpretation of the tensor product in terms of bi-affine maps is the appropriate one. Consequently the tensor distributes over coproducts. Now we can set up a numerical consistency check: given that the coproduct of an $m$-dimensional $A$ and an $n$-dimensional $B$ is $m+n+1$, as one would expect from taking formal Minkowski sums, we can tensor with a $p$-dimensional $C$ and check that the numbers work out. Then one can go further and do an induction argument: an $n$-dimensional affine space $B$ is an $(n+1)$-fold coproduct of copies of the $0$-dimensional affine space $1$, and so we get

$A \otimes B \cong A \otimes \sum_{n+1} 1 \cong \sum_{n+1} A \otimes 1 \cong \sum_{n+1} A$since the terminal $1$ is the monoidal unit. Since an economical description of the dimension of coproducts of affine spaces is that we are “conjugating” ordinary addition by “plus $1$”, the coproduct of $n+1$ copies of the $m$-dimensional $A$ would be $(n+1)(m+1) - 1 = m n + m + n$.

]]>Shouldn’t this be the affine space that classifies the “bi-affine maps”, i.e. maps affine in each variable separately? (Similarly to the universal property of the tensor product of vector spaces.) That’s not very explicit, but neither is any coordinate free description of the tensor product.

At the first glance the numbers seem to be off, but I think they actually work out. For example the tensor of two $1$-dimensional affine spaces has dimension $3$ and the general form of a bi-affine map is $f(x, y) = a x y + b x + c y + d$ with $a + b + c + d = 1$ which has $3$ affinely independent parameters. (My choice of coordinates is not pretty, I’m taking $\{ 0, 1 \}$ as an affine basis of $k$.)

]]>I added to affine space the definition discovered by Todd here.

What is the semicartesian tensor product induced on $Aff$ by this embedding in $Vect/k$? It seems to take an $n$-dimensional affine space and an $m$-dimensional affine space to an $(n m + n + m)$-dimensional one. I’m having trouble picturing it with any other definition of affine space.

]]>3 “There is a bifurcation of meanings: affine spaces in alg. geom. are a generalisation (and relativisation) of a vector space to other base rings. Affine spaces in the sense at affine space are more of an algebraic abstraction of the structure that appears in Gallilean relativity (for example): a vector space with no origin. In other words, a torsor for the underlying abelian group of a vector space.”

I disagree. The meaning in algebraic geometry is also in the sense of without fixed origin. For the pratical purposes one chooses origin to give the corresponding coordinate ring, but it is assumed that the automorphisms do NOT respect the origin. True, a vector space, or generally a module over a commutative ring can be underlying space of a scheme/variety in the sense that one takes the spec of symmetric algebra of the dual can be raised to a functor $\mathbb{V}$ which is studied in much detail in expositions like SGA3. There are conditions on the rings and modules to have a reasonable result.

4 I also disagree. The vector space can be equipped with a sheaf of rings or not, a module can be equipped or not. When it is equipped it will give rise to a scheme, otherwise not. Specially if you work over a ground scheme, there is an additional structure. Hence Spec of symmetric algebra is not a generalization of a vector space but a result of a functor from modules to schemes.

]]>Harry actually asked a good question back in #2, and the article affine variety referred, uncomfortably, to the article affine space which is almost entirely about vector spaces without origin. I therefore tried to add a few words of disambiguation in the Idea section of affine space. (Probably not optimally, but it’s late and I’m a little tired!)

]]>If an affine space over R is defined to mean $Spec(R[x_1,\dots,x_n])$, then it’s a generalization of a vector space. But if it means a scheme *isomorphic* to $Spec(R[x_1,\dots,x_n])$ without a specified isomorphism, then it’s a generalization of “a manifold isomorphic to $\mathbb{R}^n$”. The meaning used here is for something in between – a space isomorphic to $\mathbb{R}^n$ (or $R^n$), without a specified isomorphism, but with some additional structure remembered.

There is a bifurcation of meanings: affine spaces in alg. geom. are a generalisation (and relativisation) of a vector space to other base rings. Affine spaces in the sense at affine space are more of an algebraic abstraction of the structure that appears in Gallilean relativity (for example): a vector space with no origin. In other words, a torsor for the underlying abelian group of a vector space.

Edit: If $S$ is an affine scheme $Spec R$ for some ring, then I imagine $\mathbb{A}^n_{Spec R}$ is related to the torsor for the underlying abelian group of $R^n$ somehow. For a more general scheme, I don’t know.

]]>How is this definition of affine space related to the notion of an affine space in algebraic geometry (by which I mean for an scheme (or algebraic space/stack?) .)? It's obvious when is the spectrum of an algebraically closed field, but not in more general cases.

]]>Added appropriate axioms for the various definitions of affine space, along with another definition in terms of a single quaternary operation.

]]>