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

11
votes
3answers
2k 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?
11
votes
5answers
1k 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 ...
10
votes
2answers
640 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
4answers
2k 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.
10
votes
3answers
301 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?
8
votes
2answers
12k 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
8
votes
0answers
162 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 ...
7
votes
1answer
232 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 ...
7
votes
4answers
826 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 + ...
6
votes
2answers
833 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
146 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
3answers
416 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
3answers
537 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
0answers
460 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]$. ...
4
votes
2answers
3k 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 ...
4
votes
3answers
82 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
1answer
90 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 ...
4
votes
1answer
2k 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 ...
4
votes
1answer
129 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 ...
4
votes
1answer
156 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
0answers
105 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
92 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
4answers
169 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
1answer
103 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
4answers
299 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
2answers
100 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
279 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 ...
3
votes
1answer
628 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 ...
3
votes
2answers
69 views
+100

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
166 views

How to determine the period of a binary matrix?

As a part of my research project, I encounter a difficulty to compute the period of a binary cat matrix $C$, which is a square matrix of dimension $n$ with the following properties $|\rm{det}(C)|=1$ ...
3
votes
1answer
162 views

Complement of a line in $\mathbb{A}^2$ as an algebraic variety

I just started reading notes from an algebraic geometry course, and I'm curious about whether the complement of a line in $\mathbb{A}^2$ is always an algebraic variety. If so, what does it's ...
3
votes
1answer
63 views

local parameter on an irreducible affine algebraic curve

On page 14 of Shafarevich's Basic Algebraic Geometry 1, it is stated that for an irreducible affine algebraic curve $X: f(x,y) = 0$, and a nonsingular point $P \in X$, there is a regular function $t$ ...
3
votes
2answers
39 views

Varieties strict inclusion infinitely long

Let $F$ be a field, and consider the affine space $F^n$. Could there be affine varieties $V_1,V_2,\ldots\subseteq F^n$ such that $V_1\supset V_2\supset\cdots$, and no two are equal?
3
votes
1answer
185 views

Prove, in this figure, that $EFGH$ is a parallelogram

In the following figure, $ABCD$ is a parallelogram, and $O$ is any point. Parallelograms $OAEB, OBFC, OCGD, ODHA$ are completed. Prove that $EFGH$ is a parallelogram. We can obtain a fairly trivial ...
3
votes
1answer
547 views

Affine sets and affine hull

Mathematically an affine hull can be expressed as $ Aff[C] = \{\theta_1x_1 + \theta_2x_2 .... \theta_nx_n| x_i \in C \ \ \sum_{i=1}^{n}\theta_i = 1 \}$ Intuitively can anyone explain what this ...
3
votes
2answers
346 views

Affine Spaces and Affine transformations

Can anyone please recommend a book that describes Affine Spaces and Affine Transformations? Many books i saw described it very briefly. Can anyone please suggest a book that deals with it in detail? ...
3
votes
1answer
264 views

Further questions on barycentric coordinates

Following on from my previous post... I'm going through this PDF file describing barycentric coordinates and trying to make sure I understand everything fully as I need to implement and support these ...
3
votes
1answer
63 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
65 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
220 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
379 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
1answer
126 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
105 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
70 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
277 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
127 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
1answer
228 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 ...
3
votes
0answers
521 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
32 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 ...