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
2answers
327 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
196 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 $Z=...
3
votes
3answers
717 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
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$ ...
3
votes
1answer
53 views

How can affine coordinate rings be canonically identified as $k$-algebras?

Exercise 1.5 of Hartshorne asks us to show (in one direction) that any affine coordinate ring $k[x_1,\dots,x_n]/I(Y)$ is a finitely-generated $k$-algebra with no nilpotents. The second part is quite ...
3
votes
1answer
61 views

Product of affine varieties is the product of topological spaces

Let $k$ be an algebraically closed field, and $A, B$ affine $k$-algebras. We can define a functor $\mathfrak F$ from the category of affine $k$-algebras to that of affine algebraic varieties, by ...
3
votes
2answers
290 views

Theory and problems book in euclidean, affine, and projective geometry

Could you recommend a rich, clear, and complete theory book on euclidean, affine and projective spaces (i.e., "geometry"); and an interesting exercise book full of non-trivial problems and exercises?
3
votes
1answer
49 views

Domain of definition of $(1-y)/x$ on $x^2+y^2=1$?

I'm self-teaching myself some basic algebraic geometry, and I wanted to double check something that seems too easy. An exercise sheet I found asks to compute the domain of definition of the rational ...
3
votes
2answers
426 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
170 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 $\...
3
votes
1answer
227 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
2answers
677 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
2answers
130 views

Any continuous function with the mean value property is affine

A function $f(t)$ on an interval $I=(a,b)$ has the mean value property if $$f\left(\frac{s+t}{2}\right)=\frac{f(s)+f(t)}{2} \quad s,t\in I$$ Show that any affine function $f(t)=At+B$ has the mean ...
3
votes
1answer
174 views

Difference between Euclidean space and $\mathbb R^3$

What is the difference between Euclidean space and $\mathbb R^3$? I have found in some books that they are the same, but in other references like Wikipedia, it says that a vector in $\mathbb R^3$ is ...
3
votes
1answer
119 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
40 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
423 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
2k 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
1answer
328 views

Line-preserving transformations

Is there a name for the class of transformations on the Euclidean plane (or projective plane) that preserves lines? They are not all affine transformations; consider a perspective projection $p$ in ...
3
votes
1answer
454 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 $Fix(\sigma):...
3
votes
1answer
309 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
53 views

Axioms of Affine Space

In every definition of an affine space I see, the affine space is defined as a set $A$ with an associated vector space $V$ with a group action of $V$ on $A$. But I also see that vector spaces are ...
3
votes
1answer
70 views

basic question on varieties (algebraic geometry)

I study basic algebraic geometry and I saw this exercise: V is the complement of the twisted cubic in $$ A_c^3. $$ i.e. $$ V = A_c^3 - \{(t^3, t^4, t^5) \mid t\in c\}. $$ 1. How can I proove that V is ...
3
votes
1answer
38 views

Orthogonality in affine subspaces

(Note: edited after the first comment) Let $A, B$ be nonempty subspaces of an affine space $E$ such that $A \cap B = \emptyset$. I am asked to prove that there are $a \in A$ and $b \in B$ such that $...
3
votes
1answer
91 views

Relationships between affine closures and convex closures

Let $V$ denote a vector space. Then the following concepts make sense: affine subset of $V$ affine closure (affine "hull") of a subset of $V$ Suppose $V$ is in fact a real vector space. Then the ...
3
votes
1answer
105 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
251 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
80 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
327 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
443 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
49 views

Could we talk about affine spaces before vector spaces?

I was recommended the book Geometry by Michele Audin by a professor when I asked about learning more about affine geometry. I like the book, but it's raised a question. To me, it seems that it would ...
3
votes
1answer
150 views

Affine varieties over finite fields

I read in this paper (http://www.math.iitb.ac.in/~srg/preprints/Chandigarh.pdf) that the following set is an affine variety: $V_f=\{(t_0,...,t_N)\in \mathbb{F}_p^{N+1} : f(t_0,...,t_N)=0 \}$ where $f$...
3
votes
0answers
91 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 z}),\...
3
votes
0answers
71 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
78 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
439 views

Decomposition of shear matrix into rotation & scaling

How can I decompose the affine transformation: $$ \begin{bmatrix}1&\text{shear}_x\\\text{shear}_y&1\end{bmatrix}$$ into rotation and scaling primitives? $$ \begin{bmatrix}\cos\theta&-\...
3
votes
0answers
438 views

Good textbook on geometries

I am looking for a good textbook that thoroughly covers euclidean, affine, projective and non-euclidean geometries. I will be starting graduate school in algebraic geometry next year and I would like ...
3
votes
1answer
140 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
126 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
83 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
324 views

Prove that for every point in one-sheeted hyperboloid, there exists at least one line which is full contained in it

Please help me with the task: Prove that for every point in one-sheeted hyperboloid, there exist at least one line, which is full contained in it. Firstly, I've noticed that I can transform the ...
3
votes
0answers
161 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
740 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
106 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 $ax+by=...
2
votes
1answer
42 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
3answers
1k views

Origin in vector space?

In the wikipedia article about vector space I do not understand this sentence Roughly, affine spaces are vector spaces whose origin is not specified. A vector space does not need an origin. When ...
2
votes
2answers
109 views

Finding the defining equations for a simple quotient variety

First of all let me note that I have no experience at all with modern algebraic geometry so if at all possible I would appreciate an answer not involving the concept of a scheme. I have however some ...
2
votes
1answer
37 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
142 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 $...