for questions about algebraic geometry that focus on affine space. For affine mappings in linear algebra (i.e. linear mappings plus translations), please use the linear-algebra tag or another appropriate tag.

learn more… | top users | synonyms

3
votes
1answer
82 views

Example: Irreducible component - affine varieties

Again, I know how to prove the statement. But, I cannot find any example. Please help me for finding an example. Thank you:)
3
votes
1answer
201 views

Tensor product of affine space and algebra

When reading about Quantum Mechanics, I always feel a bit disappointed when physicists consider that (for example) the 3-dimensional position of a particle must be decomposed into 3 coordinates $x, y, ...
3
votes
1answer
72 views

Set of all affine maps between two polytopes

Let $V$ be a finite-dimensional real vector space, let $P, Q \subseteq V$ be polytopes with $P \subseteq Q$. (Let a polytope be defined as the convex hull of finitely many points.) I'm interested in ...
3
votes
1answer
280 views

Fitting Shape in Circle for Shape Classification

I need to classify arbitrary 2D shapes. The classification should be invariant to at least affine transform. To achieve this invariance, I decided to "normalize" each shape by fitting it to a unit ...
3
votes
1answer
402 views

Projective Geometry: Why is multiplication defined this way?

I am trying to understand this new way of multiplying in projective geometry. Why is it defined like this? Also does this have anything to do with multiplication using a slide ruler? (The picture ...
3
votes
0answers
81 views

When does a homogeneous morphism have only finite fibers?

Suppose that we have a map ${\bf f}:=(f_1,f_2,\cdots ,f_n):\mathbb{C}^n\rightarrow \mathbb{C}^n$ given by $$ \mathbb{C}^n\ni {\bf z}:=(z_1,z_1,\cdots,z_n)\rightarrow \big(f_1({\bf z}),f_2({\bf ...
3
votes
0answers
35 views

Calculate the singular points of affine curve

I want to calculate the singular points of the affine curve $$f(X,Y)=(1+X^2)^2-XY^2 \in \mathbb{C}[X,Y]$$ The point $P=(x,y)$ is singular $\Leftrightarrow$ If $x=0$ we find $y=0$ and then from the ...
3
votes
1answer
60 views

Is the $n$-sphere $x_1^2+\cdots+x_n^2-1=0$ a rational variety in $\mathbb{A}^n$?

I asked a question a few days ago about where the function field $k(x,\sqrt{1-x^2})$ was purely transcendental over $k$, for $k$ algebraically closed. It turned out to be true, so I know this proves ...
3
votes
1answer
128 views

Find the tangent space of $\mathrm{Aff}(n)$

Find the tangent space of $\mathrm{Aff}(n)$. see Proof: Tangent space of the general linear group is the set of all squared matrices $\mathrm{Aff}(n)$ is the set of all matrices of the form $$ ...
3
votes
0answers
113 views

Smallest $\sigma$-algebra of $\Bbb A^n$ containing all affine algebraic subsets.

Let $k=\overline k$. What is the smallest $\sigma$-algebra $\Sigma$ containing all affine algebraic subsets? I am interested in the analogous question for $\operatorname{Spec} k[x_1,\dots,x_n]$, but ...
3
votes
0answers
72 views

Cardinality of quasiaffine variety

The excercise 1.4.8(a) of Hartshorne's Algebraic Geometry says Show that any variety of positive dimension over $k$ has the same cardinality as $k$. Using Hartshorne's notation, we define a ...
3
votes
1answer
339 views

fixed point projective geometry

I am thinking about the following: Let $\sigma:\mathbb C P^n\rightarrow\mathbb C P^n$ be a projectivity with $\sigma\circ\sigma=id_{\mathbb C P^n}$. I define the set of all fix points by ...
3
votes
0answers
134 views

Measuring Similarity of Affine Transformations

I am currently working on a problem where a calibration Algorithm provides me with an Affine Transformation that transforms a 2D Image to it's assumed Position in a 3D Volume. To evaluate the accuracy ...
3
votes
0answers
587 views

Meaning of affine transformation

From Wikipedia, I learned that an affine transformation between two vector spaces is a linear mapping followed by a translation. But in a book Multiple view geometry in computer vision by Hartley ...
2
votes
3answers
98 views

Count points and lines in $\mathbb{A}^2(\mathbb{F}_p)$

Let $p$ be a prime, then $\mathbb{F}_p$ is a finite field. $\mathbb{A}^2(\mathbb{F}_p)$ is an affine plane. Number of points in $\mathbb{A}^2(\mathbb{F}_p)$ is $p^2$. I look at a line equation ...
2
votes
1answer
37 views

Why is every open in $\mathbb{A}^1$ necessarily principal?

Let $U\subseteq\mathbb{A}^1$ be an open set in affine $1$-space. Why is $U$ necessarily a principal open set? Since $U$ is the complement of a closed set, I write $U=\mathbb{A}^1\setminus V(S)$ for ...
2
votes
1answer
34 views

Are the quasi-affine subsets of $\mathbb{A}^1_F$ necessarily open or closed?

For what follows, my definition of a quasi-affine subset of $\mathbb{A}^n_F$ is one which can be written as $Z_1\setminus Z_2$, where $Z_1$ and $Z_2$ are closed subsets of $\mathbb{A}^n_F$. (I think ...
2
votes
1answer
87 views

intersection multiplicity from Shafarevich

In Basic Algebraic Geometry, Shafaravich proves the following theorem: Theorem. If $X$ is an irreducible affine curve, and $P \in X$ is a nonsingular point, then there is a function $t$, regular at ...
2
votes
1answer
40 views

Dense basic open set contained in dense open subset

For an affine variety $X$ with coordinate ring $A$ it is not hard to see that for $g\in A$ the basic open set (or distinguished open set) $$D(g):=\{ P\in X | g(P)\neq 0\}$$ is dense in $X$ if and only ...
2
votes
3answers
86 views

Every reflection is an isometry proof

The theorem is that every reflection $R_{S}$ in an affine subspace $S$ of $\mathbb{E}^{n}$ is an isometry: $R_S:\ \mathbb{E}^{n} \rightarrow \mathbb{E}^{n}:\ x \mapsto R_{S}(x) = x + 2 ...
2
votes
1answer
75 views

What does it mean to fix a point in an affine space?

In their book Metric Affine Geometry, Snapper and Troyer state on page 59: It cannot be stressed enough that the affine space $X$ is not a vector space. Its points cannot be added and there is no ...
2
votes
2answers
38 views

If we delete two points $x,y$ from $\mathbb{A}^1$, can we without loss of generality assume $x=0, y=1$?

My intuition is that we can assume this. More precisely, what I mean is, suppose $\mathbb{A}^1_k$ is the affine space over an algebraically closed field $k$. If $x,y$ are any two distinct points in ...
2
votes
1answer
51 views

Is a similarity map necessarily affine linear?

My text on fractal geometry introduces the following definition: A map $S: \mathbb R^n \to \mathbb R^n$ is called a similarity map if $$\exists c>0 \ \forall x,y \in \mathbb R^n: ...
2
votes
1answer
60 views

Computing the Zariski cotangent space

I'm an extreme beginner with algebraic geometry and am trying to get used to things. Say I have some (algebraically closed) field $k$, in $k^2$ I want to compute the Zariski cotangent space, let's say ...
2
votes
1answer
109 views

Whitney umbrella birational to $\mathbb{A}^2$ but not isomorphic

Define the Whitney umbrella as the affine surface $V(z^2 - yx^2) \subset \mathbb{A}^3$. I've come across an exercise that asks me to show that this surface is birational, but not isomorphic, to ...
2
votes
1answer
112 views

Affine space $A^n$ and definition of difference.

I'm not sure if this question would be more appropriate in Physics.SE, if so let me know. I need help in understanding this quote from "Arnold - Mathematical Methods in Classical Mechanics" (This is ...
2
votes
1answer
1k views

Is perspective transform affine? If it is, why it's impossible to perspective a square by an affine transform, given by matrix and shift vector?

I'm a bit confused. I want to program a perspective transformation and thought that it is an affine one, but seemingly it is not. As an example, I want to perspective a square into a quadrilateral (as ...
2
votes
1answer
94 views

Skew planes in $\mathbb{A}^4$

Can there be two skew planes in $\mathbb{A}^4$? By this I mean two disjoint planes $\pi_1,\pi_2\subset\mathbb{A}^4$ such that their underlying direction vector spaces only intersect at zero.
2
votes
2answers
92 views

Find the line passing thought the point $p=(1,2,0)$, paralel to the plane…

Find the line passing thought the point $p=(1,2,0)$, paralel to the plane $P=\{x,y,z \mid x+2y-z=-4\}$ and crossing the line $L=\{(x,y,z):x+2y=2, y+z=4\}$ So I've tried to put the equation of plane ...
2
votes
1answer
247 views

What does affinity means? (In categorical terms)

I know that traditionally, an affine space is "what is left from a vector space, after removing the origin". Given any set $X$ and a ring $K$, we can consider the set of all formal affine linear ...
2
votes
1answer
59 views

Is there a characterization of contractible hypersurfaces in $\mathbb{C}^2$.

Let $V$ be an irreducible, algebraic hypersurface in $\mathbb{C}^2$ which is contractible as a topological space. I would like to know the algebraic characterization of such objects. For example, ...
2
votes
1answer
68 views

Why is $f(X)$ open or closed if $f:X\to\mathbb{A}^1(k)$ is regular?

I have a question about a certain property of regular maps into $\mathbb{A}^1(k)$. This is my notation for the affine space over $k$, algebraically closed. Suppose $f:X\to \mathbb{A}^n(k)$ is a ...
2
votes
1answer
84 views

Affine variety example.

I know how to show the statement. But I cannot find an example (the part I underlined by a yellow pen) please help me for finding an example. Note: For example, can I consider the following ...
2
votes
1answer
647 views

Finding an affine combination of a point on a triangle

I have a problem involving affine combinations that I can't figure out how to solve. Given the above picture, write q as an affine combination of u and w. Now, I understand how to write the ...
2
votes
1answer
362 views

Best book to learn Affine Geometry?

I'm going to learn Affine plane as well as affine Geometry. Unfortunately, my text book (not in English) is not good at all, so please recommend some book you think it's good for self-learning (and ...
2
votes
1answer
157 views

How to find equation system describing affine space, having base of linear space and a vector

How to find equation system describing affine space, having base of linear 'overspace' and a vector? Suppose that I've vectors $\alpha$ and $\beta$, so that $W=\text{lin}(\alpha, \beta)$, and a ...
2
votes
1answer
41 views

Projectivities $\pi:\mathbb KP^1\rightarrow\mathbb KP^1$

I am a little bit confused conerning the following example of projectivities $\pi:\mathbb KP^1\rightarrow\mathbb KP^1$. On the affine part $\mathbb K\subseteq \mathbb KP^1$ they are exactly the ...
2
votes
1answer
111 views

Projective geometry well defined bijection

I consider the sphere $\mathbb S^n:=\{x\in\mathbb R^{n+1}: \|x\|=1 \}$ and the equivalence relation $x\sim y:\Leftrightarrow x=\pm y$. How can it be shown that the inclusion $\mathbb ...
2
votes
1answer
106 views

Equation of the line in an affine plane over a polynomial field

What are some examples of this? Say for $F_{4}$. I know this is a very simple question, but I can't find any info on it. Edit: Yes, I was thinking of $F_{2}[x]/(x^2+x+1)$. I was confused.
2
votes
1answer
68 views

Surface area of transformed sphere

So if I have a sphere with center C and radius R and then apply one or more affine transformations (so any combination of rotating, scaling and translating), how would I go about finding the surface ...
2
votes
1answer
109 views

Affine hull of the intersection of two convex sets

Is it true that the affine hull of the intersection of two convex sets is the intersection of the affine hulls of these sets? Where the intersection of the two convex sets is non empty? Many thanks!
2
votes
1answer
86 views

Does convexity of all projections imply convexity in higher dimensions?

If I have $n$ 2-dimensional convex "regions" that are the projections along $n$ (independent) dimensions of a n-dimensional compact subspace: Does that imply that the latter is convex? Is the ...
2
votes
1answer
227 views

On affine spaces, distances, angles, and coordinates

Let's define an affine space as a pair $(A, V)$, where $A$ is a set and $V$ is a vector space, together with a map $V\times A \rightarrow A, \;\; (v, a) \mapsto v + a,$ such that $\forall \, a \in ...
2
votes
1answer
504 views

Affine subspace iff statement

I cannot find a proof for the following statement, though the statement itself seems common enough: $X$ is an affine subspace of $\mathbb{R}^n \iff \forall a\in X: X - \{a\}$ is a linear subspace. ...
2
votes
1answer
506 views

Applications of the fundamental theorems of affine and projective geometry.

The fundamental theorem of affine/projective geometry says that a bijection between two finite dimensional spaces that preserves the relation of collinearity is a (semi-) affine/projective ...
2
votes
1answer
112 views

non-affine functions

it is obvious that if $f$ is an affine function, then $f$ has this property: there exist two function $g$ and $h$ such that $f(t+s)=g(t)+h(s)$ for all $t,s \in\mathbb{R}$. My question is: is there ...
2
votes
1answer
112 views

Finding a coset

I'm given $V$ a vector space over a field $\mathbb{F}$. Letting $v_1$ and $v_2$ be distinct elements of $V$, define the set $L\subseteq V$: $L=\{rv_1+sv_2 | r,s\in \mathbb{F}, r+s=1\}$. (This is the ...
2
votes
1answer
403 views

Turning affine planes into projective planes

How can we show that an affine plane of order $n$ can always be turned into a projective plane of order $n$? Say I start with an affine plane, and split it into $n+1$ parallel classes, add a point ...
2
votes
0answers
28 views

Dependence of linear algebra theorems of the commutativity of the field.

In the linear algebra course I took vector spaces where introduced with a (commutative) field. The classical theorems are proven under this assumption. However, I was wondering what implications it ...
2
votes
1answer
45 views

Affine Transformations: Book to Study over the Summer

I've briefly heard of affine transformations in both linear algebra and calculus and I'd like to find a good book on the subject to study over the summer. So what's a good undergrad-level book on ...