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
0answers
31 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
58 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
0answers
180 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
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
112 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
335 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
131 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
577 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
36 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
82 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
68 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
36 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
48 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
58 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
102 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
103 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
89 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
232 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
58 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
330 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
147 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
110 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
104 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
55 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
105 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
82 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
215 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
491 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
107 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
111 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
386 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
12 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 ...
2
votes
1answer
80 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? $$ ...
2
votes
1answer
27 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 ...
2
votes
0answers
29 views

Linearizable reductive group action.

Let $k$ be a 0 characteristic field, and $G$ a reductive group in $GA_2(k)$. How is it possible to deduce that $G$ is conjugated to a subgroup of $GL_2(k)$ ?
2
votes
0answers
73 views

What if segments are not infinitely divisible?

I almost got myself mixed up I a philosophical discussion again. Somebody was talking about the Planck time and length which are, according to him, the minimal possible time and distance, and how ...
2
votes
0answers
45 views

A question for epigraph and affine function

I'm working with a problem the epigraph of a real-valued function $f$ is a halfspace $\iff$ $f$ is a real-valued affine fuction. First, I quickly recall some definitions: A (closed) halfspace is a ...
2
votes
1answer
39 views

Find any affine transformation that swaps affine lines

The task is to find any affine transformation that will swap the following two lines: $$L_1:(1,1,1) + span((1,0,2))$$ $$L_2:(1,0,1) + span((1,0,-1))$$ From what I understand there is a number of ...
2
votes
0answers
55 views

How to describe the variety for lines through the origin

Let $I(x)$ be an ideal generated by the affine variety $X$. $I(X)=\langle xy,yz,zx\rangle$ gives the three coordinate axes through the origin (because it is the intersection of the $3$ planes $xy=0$, ...
2
votes
0answers
41 views

Semisimple part of a nilpotent connected affine algebraic group

These notes on affine algebraic groups mention the following theorem. Let $G$ be a connected nilpotent affine algebraic group (over an algebraically closed field $k$), and denote $G_s$ and $G_u$ ...
2
votes
0answers
35 views

Monotononically Increasing Water Filling Solution?

$\mathbf{I}$ is the $K\times K$ identity matrix. $\mathbf{h}_i\in\mathbb{C}^{M\times1}\quad\forall1\leq i\leq K$ are column vectors. Consider the solution of the convex optimisation problem over ...
2
votes
0answers
291 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 ...