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

2
votes
0answers
98 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 ...
3
votes
1answer
119 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
192 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
0answers
114 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 ...
2
votes
1answer
115 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 ...
1
vote
1answer
73 views

who found that translation in N space is the same as shearing in N+1 space?

According to the wikipedia, Although a translation is a non-linear transformation in a 2-D or 3-D Euclidean space described by Cartesian coordinates, it becomes, in a 3-D or 4-D projective ...
3
votes
0answers
74 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 ...
1
vote
1answer
86 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 ...
2
votes
0answers
55 views

$\varphi$ affine if with $V = \{V_{i}\}_{i=1, .., m}$ affine covering such that $\varphi^{-1}(V_{i})$ affine

I found an exercise of mine, that I solved, but now I am not sure anymore about the details, and some parts of what I wanted to say there. I have the affine open sets $V_{1}, ..., V_{m}$ and ...
1
vote
0answers
182 views

Multi-affine function

Suppose I have a three-variable function $f(x_1, x_2, x_3)$, $f : \mathbb{R}^3 \to \mathbb{R}$. If it is linear for $x_1$, $x_2$ and $x_3$ we can say it has the form $f(x_1, x_2, x_3) = c_1x_1 + ...
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 ...
8
votes
0answers
195 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 ...
0
votes
1answer
49 views

Affine transformation, if $L_1, L_2 - $ skew lines, $f(L_1), \ f(L_2) $ are parallel, then $f$ is not injective

Could you tell me how to prove that if $f$ is affine transformation, $L_1, L_2 $ are skew lines, $f(L_1), \ f(L_2) $ are parallel, then $f$ is not injective?
2
votes
1answer
221 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 ...
2
votes
1answer
95 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 ...
0
votes
1answer
114 views

Why in the affine space can not we use Grassmann formula?

For example, in space three-dimensional affine space generated by two skew lines is all the space three-dimensional, since they are not coplanar. For this reason it is not worth the Grassmann ...
1
vote
0answers
98 views

Distance between two affine lines using determinant of Gramian matrix.

I've a task to find the distance in $E^4$ between: $L = [1,2,-1,4] + \text{lin}((1,2,-1,0))$ and $M = [2,3,1,5] + \text{lin}((2,1,0,2))$ My efforts to find the correct solution: Let ...
3
votes
3answers
418 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 ...
2
votes
0answers
52 views

$f: E^3 \rightarrow E^3$ is an isometry, and $\det f = 1$ and $f'\neq id$

Suppose, that $f: E^3 \rightarrow E^3$ is an isometry, and $\det f = 1$ and $f'\neq id$ Please help me prove, that $f$ is a composition of rotation about an axis and moving along this axis. I don't ...
10
votes
3answers
351 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?
2
votes
0answers
89 views

Affine set and linear equation

Prove or disprove the following statement. For any affine set C in R^n, there exists a solution set of linear equation that express C.
2
votes
1answer
244 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 ...
1
vote
1answer
33 views

affine variety of infinitely many polynomials can be represented as an affine variety of its finite subset

Let $f_1,f_2,\cdots$ be an infinite sequence of polynomials in $k[x_1,\cdots,x_n]$ and let $V(f_1,f_2,\cdots)=\{(a_1,\cdots,a_n)\in k^n:f_i(a_1,\cdots,a_n)=0$ for $i=0,1,\cdots\}$. Show that there is ...
0
votes
1answer
61 views

Invariants of point sets in an affine space

A distance between a pair of points in an affine space is invariant under translation, rotation and reflection. An angle in a triangle whose corners are tree points is also invariant under scaling. ...
2
votes
1answer
163 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 ...
0
votes
1answer
131 views

Intersection of affine subspaces of finite codimension in Hilbert space

I'm wondering whether the following assertion is true: Any two affine subspaces of the same finite codimension in a ($\infty$-dimensional) Hilbert space either are parallel or have nonempty ...
6
votes
1answer
159 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$ ...
7
votes
1answer
257 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 ...
1
vote
0answers
100 views

Prove something is affine?

For any subspace $K$ and any point $u$, prove $K+u$ is affine. Or if you have an affine set $V$ and point $u$, then prove $V-u$ is a subspace.
2
votes
1answer
98 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
93 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 ...
1
vote
4answers
99 views

Find the equation of plane containing line described by

Please help me in this really easy task Find the equation of plane containing line described by $x+3y-2z=1$, $2x-y+2z=3$, containing point $(1,1,3)$
1
vote
0answers
66 views

Separation of Euclidean Space

Consider a finite collection $\mathcal{H}$ of hyperplanes of $\mathbb{R}^n$ that have a common line. Given some $A \subseteq \mathbb{R}^n$ that is homeomorphic to a subset of $\bigcup\mathcal{H}$, ...
1
vote
2answers
185 views

Equation of plane — point/vector pedagogy

Suppose we have a point $\mathbf P$ and a vector $\mathbf n$ in plain ordinary 3D space. Here I am deliberately using upper-case letters for points, and lower-case points for vectors, since they are ...
0
votes
1answer
70 views

Variety Affine Space

I have the following question which i'm not sure how to work out... $For\ f=6x^2y-xy^2-2y^3+1\ and\ \ h=3x-2y\ \in \mathbb{C}[x,y]$ Show that V(f,h) is empty. What can you say about the ideal ...
5
votes
3answers
663 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}$, ...
3
votes
4answers
198 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 ...
5
votes
1answer
975 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 ...
1
vote
1answer
465 views

Intersection of affine subspaces is affine

So if I have two affine subspaces, each is a translate ( or coset) of some linear subspace. I want to show that the intersection of such affine subspaces is again affine, particularly in ...
5
votes
3answers
459 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) ...
0
votes
3answers
350 views

Equation of a line in homogenous coordinates given 2 points in affine coordinates

So if I have 2 points $A$ and $B$ such that $F(A) = (1; a, a^3)$, and $F(B) = (1; b, b^3)$. how do I find the equation of this line in homogeneous coordinates? So I know how to get a line the ...
0
votes
2answers
77 views

Affine geometry about parallelogram

If ABCD is a parallelogram and M,N,P,Q are points on it sides then MNPQ is a paralellogram iff the diagonals intersect at a common point (i.e the diagonals of MNPQ and ABCD intersect at the same ...
1
vote
0answers
652 views

Convexity of affine function.

Can someone help me with a proof that affine function preserves convexity? Given that $f$ is convex, $A$ is in $\mathbb{R}^{M\times N}$ and $b$ is in $\mathbb{R}^m$ then show that $g(x) = f(Ax+b)$ is ...
1
vote
1answer
157 views

affine set convex set

How to show the following: Let $C$ be a convex subset of $\mathbb R^d$. Then $\operatorname{int} C \neq \emptyset$ if and only if $\operatorname{aff} C = \mathbb R^d$ where $\operatorname{aff} C$ is ...
3
votes
1answer
349 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 ...
5
votes
1answer
152 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 ...
0
votes
1answer
131 views

Cross-ratio projective geometry

I have 4 points $P_0=[1:2], P_1=[3:4], P_2=[5:6], P_3=[7,8]$ in $\mathbb KP^1$ and would like to evaluate the cross-ratio. It is given by the following: $\pi:\mathbb KP^1\rightarrow G$ is the unique ...
1
vote
1answer
217 views

Lines projective space

I have a question concerning the answer of Georges Elencwajg in Lines in projective space There he states that the line $\overline {AB}=\mathbb P(\Lambda)\subset \mathbb P^n$ has its points of the ...
2
votes
1answer
42 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 ...
17
votes
2answers
19k 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