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

2
votes
3answers
359 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
131 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
47 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 $k$...
2
votes
1answer
70 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: |S(x)-S(y)|=c|...
2
votes
1answer
80 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
599 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
142 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
155 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
98 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
368 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
2answers
5k views

Definition of an affine subspace

I am reading this introduction to Mechanics and the definition it gives (just after Proposition 1.1.2) for an affine subspace puzzles me. I cite: A subset $B$ of a $\mathbb{R}$-affine space $A$ ...
2
votes
1answer
43 views

Why only one $\infty $ point for each parallel class of lines in $\mathbb{R}^2$?

I heard of projective geometry since high school. But I never managed to understand it in a systematic way. It is said that the projective plane $\mathbb{P^2}(\mathbb{R})$ over the real numbers $\...
2
votes
1answer
60 views

Cohomology of sheaves of abelian groups on affine space

Is it true that $$\mathrm{H}^p_\mathrm{Zar}(\mathbb{A}^n_\mathbb{K}, \mathcal{F})=0$$ for any $p>1$ and $\mathcal{F}$ (non constant) sheaf of abelian groups? If not, is it true for some fields/...
2
votes
1answer
112 views

Affine subspace of $\Bbb{R}^{27}$

I have affine subspace $K$, $K \subset \mathbb R^{27}$. It's elements are solutions of system of linear equations $Ax=b, b \in R^{16}$. What are maximum and minimum dimensions of said subspace, if I ...
2
votes
1answer
69 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
78 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
99 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 example; ...
2
votes
1answer
753 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
246 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
43 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
119 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 S^n\rightarrow\...
2
votes
1answer
663 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
121 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
45 views

Rigorous definition of “oriented line” in an Euclidean affine space

Let $\mathcal{A}^n$ be an affine space of dimension $n$. For example, let's take $n=3$. A line $\mathcal{s}$ of $\mathcal{A}^3$ is an affine subspace of dimension $1$, that is: $\mathcal{s}=\{P \...
2
votes
1answer
76 views

Characterizing affine subspaces order-theoretically

Let $V$ denote a real vectorspace and $\mathrm{Con}(V)$ denote the poset of convex subsets of $V$. The goal is to identify those elements of $\mathrm{Con}(V)$ that happen to be affine subspaces of $V$ ...
2
votes
1answer
77 views

All polynomial parametric curves in $k^2$ are contained in affine algebraic varieties

I have started working through the textbook Ideals, Varieties, and Algorithms by Cox, Little, and O'Shea and I am stuck on one part of an introductory question. The question begins by getting one to ...
2
votes
1answer
182 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
127 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
127 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
351 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 A:...
2
votes
1answer
53 views

$\alpha$ affine iff graph is affine subspace

I am just checking different analogous of $\alpha:V \longrightarrow W$ being affine. I have problems with this one: $\alpha:V \longrightarrow W$ affine $\iff$ $G_\alpha=\{(v,\alpha(v): v\in V)\}$ is ...
2
votes
1answer
658 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 isomorphism....
2
votes
1answer
144 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
122 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
469 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
35 views

A function that is locally a quotient of polynomials but not globally [duplicate]

Let $X =\{ x_1x_4=x_2x_3\;, (x_2,x_4) \neq (0,0)\} \subset \mathbb{C^4}$, i.e. not both of $x_2,x_4$ are zero. Define a function $\phi$ on $X$ by $\phi(x)=\left\{\begin{matrix} \frac{x_1}{x_2} & ,...
2
votes
0answers
33 views

affine transformations, strategy for finding invariant straight lines

At first lets introduce some notation. $\mathcal{A}^n$ is a $n-$dimensional affine space and $V$ is its associated vector space. For any affine subspace of $\mathcal{M}$, its associated vector space ...
2
votes
0answers
27 views

Alternative to affine space

I've been reading up on affine geometry. An affine space (correct me if I'm wrong) is a set of "points" along with a set of translations on those points such that for any two points $P, Q$ there ...
2
votes
1answer
30 views

Coordinate-free expression of a rotation

I'm interested in coordinate free (non-matrix based) approaches to geometry. What I'd like to do is to show that every Galilean transformation can be written uniquely as the composition of a rotation,...
2
votes
1answer
15 views

Invariant affine subspaces: It's possible that $\dim(f(V))\neq\dim(V)$?

I'm studying geometry right now. I saw that an affine subspace $V$ is invariant under $\ f\ $ if $\ f(V)\subset V$. After reading that, I wondered this: Is it possible that $\dim(f(V))\neq\dim(V)$? ...
2
votes
0answers
79 views

Geometry book for the university with solved exercises (affine space, euclidean space, etc…)

I'm looking for a book with solved exercises of affine space, affine transformations, etc... I found a lot of books and pdf's with theory, but none of them contained solved exercises, and I'm having ...
2
votes
0answers
90 views

Three lines are concurrent (or parallel) $\iff$ the determinant of its coordinates vanishes.

I'm trying to prove the concurrency condition for three lines lying on a plane. This condition says that: Let \begin{cases} ax + by + cz=0 \\ a'x – b'y + c'z=0 \\ a''x + b''y + c''z=0 \end{...
2
votes
0answers
46 views

Three points of an affine space are collinear $\iff \det(A)=0$, with $A$ the matrix of the barycentric coordinates.

I'm doing this exercise: Let $3$ different points of an affine plane, with barycentric coordinates $X=(x_0,x_1,x_2), Y=(y_0,y_1,y_2), Z=(z_0,z_1,z_2)$ respect to a fixed reference frame. Prove ...
2
votes
0answers
46 views

Affine geometry textbook

What's a good recommendation for a book on affine geometry at the undergrad level? I ask because I skimmed through the first bit of Vladimir Arnold's Mathematical Methods of Classical Mechanics and ...
2
votes
0answers
47 views

Automorphism of $\mathbb{A}^2$ which maps the finite set of points to the finite set of points

Let $\mathrm{k}$ be infinite field. $P_1,\dots,P_n, Q_1,\dots,Q_n \in \mathbb{A}^2$ and $P_i \neq P_j, Q_i \neq Q_j$. I want to find automorphism(in a.g. sense) which maps $P_i$ to $Q_i$. I have tried ...
2
votes
0answers
36 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
114 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 ...
2
votes
0answers
23 views

Does $\dim (A_1\otimes A_2)=\dim(V_1\otimes V_2)$ for all affine spaces $A_{1,2}$, their vector spaces $V_{1,2}$ and the operations $\cap,+$?

Let $A_1=P_1+V_1,A_2=P_2+V_2$ be affine spaces. My teacher uses $\dim$ on affine spaces and the embedded vector spaces interchangeably, which is correct by definition for $\dim A_1=\dim V_1$, but isn'...
2
votes
0answers
138 views

Decomposition of 4x4 or larger affine transformation matrix to individual variables per degree of freedom.

There are a couple of problems and solutions where affine matrices are decomposed into their seperate tranformations. However they are all for the 2D case and I`m finding it difficult to generalise it ...
2
votes
1answer
42 views

How to orthogonalize a set of 2x2 matrices?

I have set of 2D affine transformations of images and I need to modify the transformations such way that they become as close to rotations as possible to minimize distortions of images. Let the ...