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

31
votes
2answers
31k views

What is the difference between linear and affine function

I am a bit confused. What is the difference between a linear and affine function? Any suggestions will be appreciated
24
votes
7answers
9k views

What are differences between affine space and vector space?

I know smilar questions have been asked and I have looked at them but none of them seems to have satisfactory answer. I am reading the book a course in mathematics for student of physics vol. 1 by ...
16
votes
3answers
4k views

$\mathbb{A}^{2}$ not isomorphic to affine space minus the origin

Why is the affine space $\mathbb{A}^{2}$ not isomorphic to $\mathbb{A}^{2}$ minus the origin?
15
votes
4answers
3k views

What are affine spaces for?

I'm studying affine spaces but I can't understand what they are for. Could you explain them to me? Why are they important, and when are they used? Thanks a lot.
11
votes
2answers
1k views

Proof $\mathbb{A}^n$ is irreducible, without Nullstellensatz

As the title suggests, could anyone either provide me with or direct me to a proof that affine n-space $\mathbb{A}^n$ is irreducible, without using the Nullstellensatz? This is an exercise in a ...
10
votes
2answers
609 views

What *is* affine space?

In my recent reading of various books and notes on algebraic geometry and scheme theory, I have come across three definitions of affine $n$-space over a field $k$: $\mathbb{A}_k^n$ is $k^n$ 'without ...
10
votes
3answers
432 views

Product of two algebraic varieties is affine… are the two varieties affine?

Let $X_1$ and $X_2$ two algebraic varieties such that their product $X_1\times X_2$ is affine. Are $X_1$ and $X_2$ affine then? If this is not true, could you give a counterexample?
10
votes
1answer
699 views

Is every convex-linear map an affine map?

Let's say that a map $f: V \rightarrow W$ between finite-dimensional real vector spaces is convex-linear if $f(\lambda x + (1-\lambda)y) = \lambda f(x) + (1-\lambda)f(y)$ for all $\lambda \in [0,1]$. ...
9
votes
4answers
2k views

Why is the affine hull of the unit circle $\mathbb R^2$?

In Boyd's "Convex Optimization" it defines the affine hull of a subset $C$ of $\mathbb R^n$ as $$\text{aff} C = \left\{\theta_1 x_1 + \ldots +\theta_k x_k \mid x_1, \ldots x_k \in C, \theta_1 + ...
9
votes
0answers
251 views

Transformations that map points inside the sphere to points inside the sphere

I am trying to figure out what is the most general linear transformation that maps points inside the unit sphere to points inside the unit sphere. I am slightly abusing the word linear here by ...
8
votes
4answers
184 views

Show that every rotation in $\mathbb{R^3}$ can be written as the product of two rotations of order 2.

Show that every rotation in $\mathbb{R^3}$ can be written as the product of two rotations of order 2. Here's my attempt at a solution: We know that any rotation in $\mathbb{R^3}$ can be ...
7
votes
1answer
311 views

Two affine varieties are not isomorphic

Given the affine variety $A:=Z(y^{2}-P(x)) \subset \mathbb{C} ^{2} $, where $P(x)$ is a polynomial with $\deg P \geq 2$, I need to show that $A$ is not isomorphic to $ \mathbb{C}$. I know it ...
6
votes
2answers
6k views

Decomposition of a nonsquare affine matrix

I have a $2\times 3$ affine matrix $$ M = \pmatrix{a &b &c\\ d &e &f} $$ which transforms a point $(x,y)$ into $x' = a x + by + c, y' = d x + e y + f$ Is there a way to ...
6
votes
2answers
2k views

Definition of Affine Independence in Brondsted's Convex Polytopes?

At one point in the book (An Introduction to Convex Polytopes, by Arne Brondsted) a definition of affine independence is given as follows, An n-family $(x_{1},...,x_{n})$ of points from ...
6
votes
1answer
207 views

Intersection of affine varieties is affine

Let $M,N\subset\mathbb{P}^n$ quasiprojective varieties such that there exist isomorphisms $i\colon M\rightarrow Z(a)\subset \mathbb{A}^m$ and $j\colon N\rightarrow Z(b)\subset \mathbb{A}^m$ for ideals ...
6
votes
2answers
4k views

Difference between Projective Geometry and Affine Geometry

I recently started reading the book Multiple View Geometry by Hartley and Zisserman. In the first chapter I came across the following concepts.. Projective geometry is an extension of Euclidean ...
6
votes
1answer
172 views

Existence of a special set of q+2 points in the finite affine plane over $\mathbb F_q$

I am working in the finite affine plane over $\mathbb F_q$ with $q=2^n$. Such a plane has $q^2$ points, $q^2+q$ lines, each line has $q$ points, and by a point is passing $q+1$ lines. There are $q+1$ ...
5
votes
1answer
379 views

What is an affine space?

I am having trouble understanding what an affine space is. I am reading Metric Affine Geometry by Snapper and Troyer. On page 5, they say: "The upshot is that, even in the affine plane, one can ...
5
votes
3answers
635 views

The vanishing ideal $I_{K[x,y]}(A\!\times\!B)$ is generated by $I_{K[x]}(A) \cup I_{K[y]}(B)$?

Let $K$ be a field, $x=(x_1,\ldots,x_m)$, $y=(y_1,\ldots,y_n)$, $A\!\subseteq\!\mathbb{A}^m_K$, $B\!\subseteq\!\mathbb{A}^n_K$. Does there hold $$I_{K[x,y]}(A\!\times\!B)=\langle\langle I_{K[x]}(A) ...
5
votes
1answer
118 views

Bijection $f: \mathbb{R}^2 \rightarrow \mathbb{R}^2$ preserves collinearity $\iff \ \ f(x)=Ax+b$

I don't know how to prove the following: Bijection $f: \mathbb{R}^2 \rightarrow \mathbb{R}^2$ preserves collinearity $\iff \ \ f(x)=Ax+b$, where $A \in GL_2(\mathbb{R})$, $b$ is a fixed vector in ...
5
votes
3answers
906 views

Showing that if $fg=gf$ and $fh=hf$, then $gh=hg$, where $f$, $g$, and $h$ are affine functions

Given real numbers $a$ and $b$ ($a \ne 0$), let $f_{a,b}$ be the function $\mathbb{R} \to \mathbb{R}$ defined by $x \mapsto ax+b$. The set of such functions is a permutation group on $\mathbb{R}$, ...
5
votes
1answer
3k 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 ...
5
votes
1answer
2k views

Affine Independence $\iff$ Linearly Independent

I guess I'm having some trouble getting my head around the notion of affine independence. As I've been taught, a set of vectors $\{\vec{x_1},\ldots,\vec{x_n}\}\subset \mathbb{R}^d$ is affinely ...
5
votes
2answers
166 views

About the ramification locus of a morphism with zero dimensional fibers

This question arises from my somewhat frustrating attempts to understand what etale means (in the world of algebraic varieties for now) and marry the more advanced algebraic geometry references and ...
5
votes
1answer
191 views

Cross-ratio relations

The way I define the cross-ratio in projectve geometry: Let $P_0,P_1,P_2,P_3$ being four points on a projective line G, such that $P_0,P_1,P_2$ are pairwise distinct. Let $\pi:\mathbb KP^1\rightarrow ...
5
votes
1answer
306 views

Effect the zero vector has on the dimension of affine hulls and linear hulls

I am currently working through "An Introduction to Convex Polytopes" by Arne Brondsted and there is a question in the exercises that I would like a hint, or a nudge in the right direction, please no ...
5
votes
0answers
62 views

Affine geometry book for physicist

I'm looking for a textbook to help me with understanding the geometry of Galilean relativity and the Galilean group. The reason is that I tried going through V.I. Arnold's Mathematical Methods, but ...
5
votes
0answers
147 views

Relationship between hyperalgebra (algebra of distributions) of an affine group scheme to its cohomology

Let G be an affine group scheme, and Dist(G) its hyperalgebra. I am wondering what is the relationship between Dist(G) and G interms of Cohomology? Is there a cohomology theory for Dist(G), if so ...
5
votes
4answers
331 views

Term for similarity transformation which is not a translation

What's the best (i.e. most concise) term to refer to an orientation-preserving similarity transformation which is not a translation? Here are some descriptions I could think of, but all of them feel ...
4
votes
3answers
120 views

Why are $xy=0$ and $x^2-x=0$ not isomorphic?

I'm not sure how to rigourously back up my intuition that the curves given by $x^2-x=0$ and $xy=0$ in $\mathbb{A}^2_k$ are not isomorphic. If I denote the varieties as $V_1=V(xy)$ and ...
4
votes
2answers
47 views

Non-isomorphic two-variable varieties in characteristic 2

Let $K$ be an algebraically closed field of characteristic $2$, and we will consider affine varieties of $\mathbb{A}^2$. Let $X = Z(y-x^2)$ and $Y = Z(xy-1)$. I have shown through some exhausting case ...
4
votes
1answer
98 views

Affine transformations - the meaning of contractivity

An affine transformation $\omega \colon \mathbb{R}^2 \to \mathbb{R}^2$ is a linear mapping followed by a translation, in other words $$ \omega(x) = Ax+t = \begin{pmatrix} a & b \\ c & d ...
4
votes
1answer
175 views

Centre of a quadric

I found the following sentence in my linear linear algebra book (affine and projective geometry): $Q:V \to \mathbb{K}$ is a quadric (quadratic function) and $\alpha\in Aff(V)$. $Aff(V)$ is the set of ...
4
votes
1answer
64 views

Change the variables in $Q(x,y,z)=(x-y+z-1)^2-2z+4$ to have $Q(f(u,v,w))=u^2+v$

I have a problem with this exercise. Initially, they gave me this polynom, and I had to complete the squares: $$Q(x,y,z)=x^2-2xy+2xz+y^2-2yz+z^2-2x+2y-4z+5.$$ I've done it, and I've checked with ...
4
votes
0answers
84 views

Affine-regular hexagon in convex body

An affine-regular $n$-gon is a non-degenerate affine image of the regular $n$-gon. It seems to be a standard fact in combinatorial geometry that inside every convex compact set $K\subseteq \mathbb ...
4
votes
1answer
64 views

Some “facts” on oriented angles in the Euclidean affine space of dimension 2

Let $\mathcal{E}^2$ be an Euclidean affine space of dimension $2$ oriented by $R=(O,B=\{u_1,u_2\}$. Let $$\mathcal{r}=\{P \in \mathcal{E}_2 \text{ such that } \overrightarrow{AP} \in \langle u ...
4
votes
0answers
174 views

Differences and similarities between Euclidean and Minkowski geometry

I am trying to get my head around the differences and similarities between Euclidean and Minkowski plane geometry. AS far as I understand it they are both affine geometries meaning the parallel ...
4
votes
0answers
135 views

What does affine invariance mean in the context of the Newton's method?

The textbook Numerical Solution of Boundary Value Problems for Ordinary Differential Equations (by Ascher, Mattheij, and Russell) states on page 329: [W]e observe that Newton's method is affine ...
4
votes
0answers
86 views

Is the cone over Grassmannian manifold $Gr_2(\mathbb{C}^n)$ an open set of a determinantal variety?

Let $Gr_2(\mathbb{C}^n)$ the Grassmann manifold of the planes in $\mathbb{C}^n$. It is, via Plucker embedding, a projective variety. If we consider the cone $C$ over $Gr_2(\mathbb{C}^n)$, is it ...
4
votes
0answers
138 views

Is it true that blowing up a quasi-affine variety at a nonsingular point never introduces new singularities?

If we let $M$ be a quasi-affine variety, is it true in general that the blowup of $M$ at a non-singular point $p$ does not introduce new singularities? I came across this statement in my reading, but ...
4
votes
0answers
99 views

Describing $\mathbb{P}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(m))$ as gluing of affine charts

How can we describe $\mathbb{P}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(m))$ as a gluing of affine charts? I'm having trouble with this problem, perhaps because I don't understand ...
3
votes
3answers
89 views

How to gain an intuition of the affine function's definition?

Here is the definition of Affine Functions according to Stephan Boyd (EE263 Stanford) : 1- I believe linearity is more restrictive property of a function than being affine since it requires $f(0) = ...
3
votes
4answers
285 views

Sufficient condition for a function to be affine

If for a function $f:\mathbb{R}\to\mathbb{R}$, I can prove for any real $x,y$, that $f(\frac{x+y}{2})=\frac{f(x)}{2}+\frac{f(y)}{2}$, can I say for sure that it is affine, as in of the form ...
3
votes
4answers
591 views

Polar form of (univariate) polynomials: looking for a proof

Recently I stumbled upon the following theorem — I'd like to read a comprehensible (i.e. understandable for an engineer) proof for it: Given a polynomial $F(t)$ of degree $n$, there exists a ...
3
votes
1answer
125 views

Prove that $\mathbb{A}^1 - \{p_1, \dots, p_n\}$ and $\mathbb{A}^1 - \{q_1, \dots, q_m\}$ are not isomorphic for $n \neq m$

I want to prove that $\mathbb{A}^1 - \{p_1, \dots, p_n\}$ and $\mathbb{A}^1 - \{q_1, \dots, q_m\}$ are not isomorphic for $n \neq m$, where the $p$'s and $q$'s are points. This is one of those ...
3
votes
1answer
553 views

Affine group, semi-direct product and linear transformations

According to wikipedia the Affine group is the semi-direct product of a vector space $V$ and the general linear group $GL(V)$. Here is the definition of the semi-direct product in terms of matrices ...
3
votes
2answers
320 views

Geometric Deformations

There are geometric transformations such as translation, rotation and uniform scaling (Affine transformations). I am interested in knowing whether there is a separate class of transformations that ...
3
votes
2answers
94 views

Why is $\text{Mor}_{\mathrm{reg}}(*,W)\to \text{Hom}_{k-\mathrm{alg}}(k[W],k[*])$ not surjective when $W=\mathbb{A}^2\setminus\{(0,0)\}$.

Suppose we're working over an algebraically closed field $k$. If $V\subseteq\mathbb{A}^n$ and $W\subseteq\mathbb{A}^m$ are affine algebraic sets, there is a well known bijective correspondence $$ ...
3
votes
2answers
193 views

Computing irreducible components of algebraic set

Consider the algebraic set $V(X^2-YZ,X-XZ)$. Find the irreducible components of this set and show that $I(V)=(X^2-YZ,X-XZ)$. I reasoned that $X-XZ=0$ iff $X=0$ or $Z=1$. If $X=0$, we get $Y=0$ or ...
3
votes
3answers
686 views

Closed subset of an affine variety… is it affine?

Preliminaries So, first of all let me give you the definitions I'm dealing with. Let $k$ be an algebraically closed field, and $\mathbb{A}^n = k^n$. An affine variety is a closed and irreducible ...