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

1
vote
0answers
23 views

Criterion for an affine isomorphism.

I am reading Don Taylor's book 'The Geometry of Classical Groups' and currently I am trying to understand the affine geometry section. There is a lemma which appears to be a criterion for a bijection ...
0
votes
0answers
49 views

(Reference Request) Proofs for basic facts about regular functions on algebraic sets.

I am writing an assignment about algebraic and analytic sets in $\mathbb{C}^n$ and, when searching for references, came across the book Algebraic Geometry III. The book is a bit out of my depth, yet ...
1
vote
0answers
15 views

Scaling in world space

In a hierarchical transformation system, where a node has one parent and children (Tree form) I want to scale an object with respect to world space axis. My transformation order is (Translate * Rotate ...
2
votes
1answer
23 views

matrix transformation of deformed rectangle

I am working on touch screen calibration, and have come across a problem. My area of touch screen input is a Trapezoid which looks like a square on one side and a triangle on the other. (the angle ...
1
vote
2answers
105 views

Proof verification affine curve not isomorphic to plane curve

I'm trying to prove that the affine curve $X\subset\mathbb{A}^3$ given by $\alpha:\mathbb{A}^1\to\mathbb{A}^3$, $t\mapsto(t^3,t^4,t^5)$, is not isomorphic to a plane curve. Here is what I've done: it ...
5
votes
0answers
67 views

Most general space on which we can do calculus

I have two somewhat related questions: Question 1: What is the most general space (set of objects) on which we can do calculus? Is it a normed space, or can we relax the conditions a bit further? ...
0
votes
1answer
15 views

Isomorphisms and orthogonality in projective space.

I've been studying projective space in algebraic geometry for a few days from Perrin's 'Algebraic Geometry: An introduction'. In the first page of chapter III it reads ...projective space $P^n$ ...
1
vote
3answers
33 views

How many convexly independent vectors there are in $\mathbb{R}^n$

I know there are n linearly independent and n + 1 affinely independent vectors in $\mathbb{R}^n$. But how many convexly independent there are? I think there are infinity number of them because if I ...
0
votes
2answers
51 views

Give an example of an affine space that is not a vector space

We know that any vector space is an affine space, but can you give an example of an affine space which is not a vector space? I don't know any such examples. This is an interview question, not ...
1
vote
1answer
48 views

Book(s) about Affine geometry.

A quick look on Stack Exchange enabled me to discover "Geometry" from Michele Audin which is very close from what I'm expecting but there isn't the correction of the exercices. To be more specific, I'...
0
votes
0answers
21 views

How to create a polygon on an affine space?

If I had an affine space with a basis $\{a_0, a_1, a_2\}$, I could use these points to either create a triangle or select other three points $\{c_0, c_1, c_2\}$ on the plane to create the triangle $\...
1
vote
1answer
53 views

Zariski closure of $T:= \{(t_1,t_2,t_3,t_1t_2t_3^{-1})|t_i\in \mathbb{C}^*\}\subseteq \mathbb{C}^4$?

Let $V= \mathcal{V}(\langle xy-zw\rangle)\subseteq \mathbb{C}^4$ be an affine variety. The set $T:= \{(t_1,t_2,t_3,t_1t_2t_3^{-1})|t_i\in \mathbb{C}^*\}$ is a torus contained in $V$. I am trying to ...
0
votes
1answer
7 views

finite partitions of the square that separate all equipotent sets of points

This question asked whether there exists a finite partition of $[0, 1]^2$ and a finite set of points in $[0, 1]^2$ that can't be affinely transformed to fall into one part of the partition. I would ...
4
votes
1answer
96 views

A combinatorial question

Let us look on a $p\times p$ board (the $(\mathbb{F}_p)^2$ plane) with a single piece on the down left corner $(0,0)$. This is a special piece that has $3$ legal moves: Moving one step up $\pmod p$ ...
6
votes
0answers
62 views

fitting points into partitions of a square

A friend of mine came up with the following problem: Let $\{X_1, X_2, ..., X_n\}$ be an arbitrary finite partition of the unit square $[0, 1]^2$. Let $\{P_1, P_2, ..., P_m\}$ be a finite set of ...
0
votes
0answers
22 views

Show that $E / \sim $ is an affine space over $V/U$

Let $E$ be an affine space over the vector space $V$, and let $U \subseteq V$ be a vector subspace. We define the equivalence relation $$P \sim Q := \exists v \in U \text{ such that } P = Q + v$$ on $...
0
votes
1answer
35 views

Dimension of product of affine varieties

Let $X\subset \mathbb{A}^n_K$ and $Y\subset \mathbb{A}^m_K$ be affine varieties. How can I prove that dimension of the product variety $X\times Y \subset \mathbb{A}^{m+n}_K$ is dim$X$+dim$Y$? Here I ...
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} & ,...
0
votes
2answers
50 views

Finding modular inverse of every number mod 26?

I am looking at cryptography, and need to find the inverse of every possible number mod 26. Is there a fast way of this, or am i headed to the algorithm every time?
0
votes
0answers
12 views

Affinities that transform lines in other lines

In $\mathbb C^2$ I have the following three lines: $r_1:3x-y+3=0, r_2:y=0, r_3:x-i=0$ I want to find all the affine transformations such that $f(r_1)=r_2, f(r_2)=r_3, f(r_3)=r_1$ I was thinking ...
0
votes
1answer
25 views

Closest point on Affine Line to Origin?

I have had two courses of linear algebra and was always aware that affine spaces were a thing. What I know about affine spaces are that they are similar to vector spaces but do not necessarily have to ...
0
votes
0answers
16 views

Affine transformations in the complex

In $\mathbb C^2$ I have the following three lines: $r_1:3x-y+3=0, r_2:y=0, r_3:x-i=0$ I want to find all the affine transformations such that $f(r_1)=r_2, f(r_2)=r_3, f(r_3)=r_1$ How can I do it? ...
0
votes
0answers
27 views

Examples of applications of the Theorems of Pappus and Ménélaüs.

I'm going to present an exposition about applications of the Theorems of Pappus and Ménélaüs. I need some simple examples of these two theorems. Any links, please?
0
votes
1answer
14 views

Does this map define a rational map?

$\phi(x,y)=\frac{y-x^2}{x^2}$ for $\phi:X\to\mathbb{A}^1(\mathbb{C})$ $X$ being a variety $X=V(\langle x^5-x^4+2x^2y-y^2\rangle) \subset \mathbb{A}^2(\mathbb{C})$
0
votes
1answer
13 views

Find an affine linear map given two vectors

Find an affine linear map $$\mathbb{Z}_2^5\to\mathbb{Z}_2^5$$ that sends $(0,1,0,0,1)$ to $(1,0,0,1,0)$. So I know that an affine linear map is one of the form $Az+b$ where $b,z\in\mathbb{Z}_2^5$ ...
0
votes
0answers
11 views

Image and preimage of projection onto affine space

I saw this task some time ago, but I still cannot do it without horrible many calculations. I will be grateful for any hint. Affine subspace $H$ of $\mathbb{R}^4$ given is by equations: $$ \begin{...
0
votes
1answer
22 views

Affine contractions from linear contractions?

Let $V$ be a linear space. Consider a contractive linear map $M:V\mapsto V$, $$ \|Mv\|\leq \|v\| \quad \text{for all vectors } v\in V. $$ Now, for some fixed vector $c\in V$, the question is to sort ...
0
votes
0answers
32 views

Prove this is an Affine Space

I have a poor knowledge about affine spaces but I know there are ways to prove an affine space using closed affine combinations theory. But this equestion is different. Which is; Let $L = \{(x,y)\in \...
0
votes
0answers
13 views

Order of parabolic subgroups of affine Weyl groups

I have a question about computing the order of an arbitrary parabolic subgroup of an affine Weyl group $W_a$. Given a proper subset $I \subset S_a$ associated with the reflections for the fundamental ...
0
votes
1answer
33 views

A Deeper Understanding / Interpretation of Homographies

I currently understand that a homography matrix, which allows for a mapping between planes in 3-dimensions, is a $3\times3$ matrix of the following general form: $$\begin{bmatrix} \vert & \vert &...
0
votes
1answer
20 views

Intersection of two circles in projective space

I have checked the existing question Intersection of two circles. and model for intersection of two circles in the complex projective plane - I do not think either of these answers my question. The ...
0
votes
1answer
39 views

Affine Subspace Proof

Question: Suppose that $V$ is an $m$-dimensional affine subspace of $\mathbb R^n$, with $m < n$. show that there exist linearly independent vectors $a_1, \dots, a_{n-m}$, and scalars $b_1, \dots ,...
0
votes
0answers
28 views

Show that in finite affine geometry all lines are on the same number of points step by step proof.

i'm wondering if someone could please give me a step by step proof of the following problem Show that in finite affine geometry all lines are on the same number of points
0
votes
1answer
29 views

Convert affine coordinates to projective coordinates?

For any rational map represented by $(\frac{x^4+3y}{x^2+1}, \frac{x+1}{y})$ in affine coordinates, write down the corresponding representation $[F_1(X, Y, Z) : F_2(X, Y, Z) : F_3(X, Y, Z)]$ in ...
1
vote
1answer
59 views

Every line in $\mathbb{R}^2$ can be described…

I came across such a statement: Let $A = \mathbb{R}^2$, $a,b,c \in A$ be points (we treat $\mathbb{R}^2$ as an affine space). Then any line $L \in A$ can be described as $$L = \lbrace s_1 a + ...
1
vote
1answer
49 views

affine variety/space vs. toric variety

I think I'm not quite clear on the meaning of a toric variety... Could someone explain the relation/difference between the affine variety/space and the toric variety? I know that affine ...
0
votes
2answers
38 views

Is the affine curve $y^2=x^4+y^4$ in $\mathbb A^2$ singular?

Is the affine curve $y^2=x^4+y^4$ in $\mathbb A^2$ singular or nonsingular? Find the singularities and show the types of the singularities if the curve is singular. Let $f(x,y)=x^4+y^4-y^2$. $...
0
votes
0answers
12 views

Affine application

Consider the affine space $\mathbb{C}^2$ on the field $\mathbb{C}$. How to show that the function $\mathbb{C}^2 \rightarrow \mathbb{C}^2 : (x,y) \mapsto (\bar x, \bar y)$ transforms lines into lines ...
0
votes
1answer
50 views

When does an affine manifold inherit a (quotient) group action?

By an affine manifold I mean a real $n$-dimensional manifold $M$ with charts whose transition functions are in the affine group $Aff(\Bbb R^n)$. There are several other equivalent definitions https://...
0
votes
1answer
11 views

Affine subspaces proposition

I try to prove that a subset of an affine space is an affine space iff it contains the line through every two distinct points of it.
0
votes
0answers
10 views

Number of points of an affin line

I want to show that every affin line of $A(V)$ , where $V$ is a vector space on $K$ and $A(V)$ its affin space, has $|K|$ points
0
votes
2answers
26 views

Show that some set is an algebraic set

Show that $\{(t,t^2,t^3):t\in k\}$ for a field $k$ is an algebraic set. Just by looking at the points, i see that they are zeros of $F_1(x,y,z)=xy-z$, $F_2(x,y,z)=xz-y^2$ and $F_3(x,y,z)=yz-x^5$. I ...
1
vote
2answers
51 views

Showing a Variety is Rational?

I'm trying to show that the following varieties are rational: $V_1=V(y^2z-x^3)$ and $V_2=V(xyz-x^3-y^3)$. But I can't think of how to show they are birationally equivalent to $\mathbb{A}^n$ or $\...
8
votes
4answers
193 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 ...
-1
votes
2answers
66 views

The composition of two homotheties is either a homothety or translation

Let $f$ and $g$ be two homotheties that don't have the same center. What kind of affine transformation is their transformation? I know it can be either a homothety or translation, but I don't know ...
1
vote
1answer
30 views

Affine variety as subset of another affine variety

I am trying to understand why the following statement is true: If $S$ and $S'$ are subsets of $\mathbb{K}[X_1,...,X_n]$ such that $S\subseteq S'$, then $\mathcal{V}(S') \subseteq \mathcal{V}(S)$....
1
vote
0answers
14 views

Existence of affine hull of set S

"Obviously, the intersection of an arbitrary collection of affine sets is again affine. Therefore, given any $S \subset R^{n}$ there exists a unique smallest affine set containing $S$ (namely, the ...
-1
votes
1answer
49 views

How to prove: Every affine set can be expressed as the solution set of a system of linear equations [closed]

How can I prove that every affine set can be expressed as the solution set of a system of linear equations? Please note that set $C \subseteq \textbf{R}^n$ is said to be affine if for any $x_1 , x_2 ...
0
votes
1answer
28 views

Counter example of Algebraic sets

Affine n - spaces over a field $K$ is the cartesian product of the field $K$ with itself $n$ time and it is denoted by $\mathbb A^n(K)$. $X$ is a subset of Afine n - spaces $\mathbb A^n(K)$ is called ...
0
votes
1answer
39 views

Check the following sets are algebraic or not?

Affine n - spaces over a field $K$ is the cartesian product of the field $K$ with itself $n$ time and it is denoted by $\mathbb A^n(K)$. $X$ is a subset of Afine n - spaces $\mathbb A^n(K)$ is called ...