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

4
votes
0answers
99 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 ...
0
votes
1answer
36 views

Affine coordinates of a line

Can you help me figuring out how to solve the next problem? If the points M and N have affine coordinates $(m_1,m_2,m_3)$ and $(n_1,n_2,n_3)$ with respect to some points A,B,C, then the points X of ...
3
votes
1answer
123 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 $$ ...
0
votes
1answer
35 views

Effect of Moving within the Feasible Region

$f:\mathbb{R}^n\rightarrow\mathbb{R}$ is a concave function with local maximum at $\mathbf{x}^*$ in a convex, closed feasible set $\mathcal{F}\subset\mathbb{R}^n$. Now consider a suboptimal point ...
1
vote
0answers
40 views

affine translation in direction of a vector

Suppose I have a line segment in 3D-space, having end-points $(a,b)$. I want to translate this segment by $w$ units in the direction specified by 3 angles $\alpha,\beta,\gamma$ with respect to ...
1
vote
1answer
67 views

The graph of a regular function is an algebraic set, and intersection of hypersurfaces is finite?

i have some problems with these exercises, can you give me a hint? Let $f:\mathbb A^n_k\rightarrow\mathbb A^m_k$ be a regular function. If $X\subset\mathbb A^n_k$ is an algebraic set, show that the ...
4
votes
0answers
89 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 ...
2
votes
1answer
216 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 ...
1
vote
0answers
102 views

Number of vector and affine subspaces of dimension $ k$ of $E$ over $\mathbb{F_q}$

Problem (comments after): Let $\mathbb{F_q}$ be a finite field of cardinal $q$ and $\mathcal{E}$ an affine espace of dimension $n$ directed by the vector space $E$. Show that: ...
1
vote
1answer
181 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 ...
0
votes
0answers
106 views

Intersection of two affine varieties

I'm trying to determine the points where two affine varieties defined over $\mathbb{R}$ intersect. Obviously I can just plot them and see what they look like, but I'd have to just look and guess where ...
2
votes
1answer
85 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 ...
1
vote
1answer
139 views

Using absolute coordinates in 2D affine transformation matrix

In my 2D animation program I have a sprite which transformation is described by a 2D affine transformation matrix (SVGMatrix): $$ \begin{bmatrix} a & c & e \\ b & ...
2
votes
0answers
60 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
96 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
149 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
96 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
80 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
69 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
69 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
61 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
49 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 ...
0
votes
0answers
68 views

Multi-affine function

Suppose i have a three-variable function f(x1,x2,x3), f:R^3 -> R. If it is linear for x1,x2 and x3 we can say it has the form f(x1,x2,x3) = c1x1 + c2x2 + c3x3 where c1,c2,c3 in R. We can ...
1
vote
1answer
645 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
149 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
43 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
142 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
67 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
85 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
80 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
234 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
50 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
283 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
56 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
143 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
32 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
53 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
111 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
76 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 ...
5
votes
0answers
131 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
213 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
82 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
52 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
87 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
90 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
63 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
157 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
69 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
481 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
155 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 ...