Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorMike Shulman
    • CommentTimeMay 11th 2010

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

    • CommentRowNumber2.
    • CommentAuthorHarry Gindi
    • CommentTimeMay 11th 2010
    • (edited May 11th 2010)

    How is this definition of affine space related to the notion of an affine space in algebraic geometry (by which I mean \mathbb{A}^n_S:=Spec(\mathbb{Z}[x_1,\dots,x_n]) \times_\mathbb{Z} S for an scheme (or algebraic space/stack?) S.)? It's obvious when S is the spectrum of an algebraically closed field, but not in more general cases.

    • CommentRowNumber3.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 11th 2010
    • (edited May 11th 2010)

    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 SS is an affine scheme SpecRSpec R for some ring, then I imagine 𝔸 SpecR n\mathbb{A}^n_{Spec R} is related to the torsor for the underlying abelian group of R nR^n somehow. For a more general scheme, I don’t know.

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeMay 11th 2010

    If an affine space over R is defined to mean Spec(R[x 1,,x n])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,,x n])Spec(R[x_1,\dots,x_n]) without a specified isomorphism, then it’s a generalization of “a manifold isomorphic to n\mathbb{R}^n”. The meaning used here is for something in between – a space isomorphic to n\mathbb{R}^n (or R nR^n), without a specified isomorphism, but with some additional structure remembered.

    • CommentRowNumber5.
    • CommentAuthorTodd_Trimble
    • CommentTimeSep 7th 2015

    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!)

    • CommentRowNumber6.
    • CommentAuthorzskoda
    • CommentTimeSep 8th 2015
    • (edited Sep 8th 2015)

    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.

    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeJan 11th 2016

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

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

    • CommentRowNumber8.
    • CommentAuthorKarol Szumiło
    • CommentTimeJan 11th 2016

    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 11-dimensional affine spaces has dimension 33 and the general form of a bi-affine map is f(x,y)=axy+bx+cy+df(x, y) = a x y + b x + c y + d with a+b+c+d=1a + b + c + d = 1 which has 33 affinely independent parameters. (My choice of coordinates is not pretty, I’m taking {0,1}\{ 0, 1 \} as an affine basis of kk.)

    • CommentRowNumber9.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 11th 2016
    • (edited Jan 11th 2016)

    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 mm-dimensional AA and an nn-dimensional BB is m+n+1m+n+1, as one would expect from taking formal Minkowski sums, we can tensor with a pp-dimensional CC and check that the numbers work out. Then one can go further and do an induction argument: an nn-dimensional affine space BB is an (n+1)(n+1)-fold coproduct of copies of the 00-dimensional affine space 11, and so we get

    ABA n+11 n+1A1 n+1AA \otimes B \cong A \otimes \sum_{n+1} 1 \cong \sum_{n+1} A \otimes 1 \cong \sum_{n+1} A

    since the terminal 11 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 11”, the coproduct of n+1n+1 copies of the mm-dimensional AA would be (n+1)(m+1)1=mn+m+n(n+1)(m+1) - 1 = m n + m + n.

    • CommentRowNumber10.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJan 11th 2016

    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.

    • CommentRowNumber11.
    • CommentAuthorKarol Szumiło
    • CommentTimeJan 11th 2016
    • (edited Jan 11th 2016)

    On second thought I don’t think I should’ve included “a+b+c+d=1a + 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 11-dimensional space to itself is 22. So perhaps this does work out after all.

    • CommentRowNumber12.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 11th 2016

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

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

    Hom(A,B)Hom( m+11,B) m+1hom(1,B)B m+1Hom(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(m+1)\dim(B) = (m+1)n.

    • CommentRowNumber13.
    • CommentAuthorMike Shulman
    • CommentTimeJan 12th 2016

    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 nn-ary operation of an affine space yields an (n+2)(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?

    • CommentRowNumber14.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 12th 2016

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

    • CommentRowNumber15.
    • CommentAuthorMike Shulman
    • CommentTimeJan 12th 2016

    Thanks! I added a remark that Th AffTh_{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.

    • CommentRowNumber16.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 12th 2016

    Oh, of course. Thanks!