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
1answer
121 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
1answer
196 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
1answer
56 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 ...
2
votes
1answer
26 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
1answer
128 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
116 views

Affine Transformation ― correct direction of scale

due to the fact that I am not mathematician I hope the question wont be ejected cause of triviality. But here we go: what is given: In an svg graphic, I have an element on which several are ...
1
vote
1answer
53 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 ...
1
vote
1answer
112 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 & ...
8
votes
0answers
141 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 ...
5
votes
0answers
125 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$ ...
4
votes
0answers
84 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 ...
4
votes
0answers
87 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 ...
4
votes
0answers
386 views

Is every convex-linear map an affine map?

Let's say that a map $f: V \rightarrow W$ between finite-dimensional real vector spaces is convex-linear if $f(\lambda x + (1-\lambda)y) = \lambda f(x) + (1-\lambda)f(y)$ for all $\lambda \in [0,1]$. ...
3
votes
0answers
88 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
59 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
0answers
103 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
444 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
0answers
43 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
25 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
27 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
168 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 ...
2
votes
0answers
142 views

categorical description of the Minkowski sum of polytopes

Consider the category $\textbf{Poly}$ of polytopes, where the objects are convex hulls of finite subsets of $\mathbb{R}^d$ for arbitrary $d \in \mathbb{N}$ and where the morphisms are affine maps ...
2
votes
0answers
49 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 ...
2
votes
0answers
48 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 ...
2
votes
0answers
49 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 ...
2
votes
0answers
47 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.
1
vote
0answers
48 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 ...
1
vote
0answers
16 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 ...
1
vote
0answers
62 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, ...
1
vote
0answers
44 views

Linear algebra, affine space, and floor function

My question is mostly: is there a name for this kind of things. I am mostly interested by finding book or articles about what follows, but without even a word or a name, it is quite hard to search for ...
1
vote
0answers
35 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
0answers
81 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
0answers
76 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 ...
1
vote
0answers
79 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.
1
vote
0answers
62 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
0answers
247 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 ...
0
votes
0answers
15 views

Preservation of aligned points

If a mapping transforms aligned points into aligned points is necessarily an affine application? In other words, are there any mapping with that property without preserve the ratios between aligned ...
0
votes
0answers
29 views

books to read for affine geometry

I need a good affine geometry book that starts from the very basics and teaches up to the IMO level. This book should have a good theory to start with , it should be supported with a lot of problems ...
0
votes
0answers
85 views

$3$D transformation matrix to $2$D matrix

I have a $3$D affine transformation $4\times 4$ matrix. I need to convert it (project) to a $2$D affine transformation $3\times 3$ matrix, which looks like this: $3$D rotations are irrelevant and ...
0
votes
0answers
12 views

How is affine space analogue for lattices called?

Lattices are so like vector spaces that it seems natural to have an affine space construction for them. Unfortunately I could not find how such a construction is called. Could you please help me? ...
0
votes
0answers
18 views

Expressing plane and line as affine subspaces

I need to express the following plane, line and the intersection of the two as affine subspaces with a vector $v \in \mathbb{R}^3$ and a subspace $W \subseteq \mathbb{R}^3$. $$P = \{(x_1, x_2, x_3) ...
0
votes
0answers
146 views

Prove, using vectors, that this quadrilateral is a rhombus

Consider the following quadrilateral $ABCD$, with $E, F, G, H$ as the midpoint of $AD, DC, CB, BA$ respectively such that $\Delta ECH$ and $\Delta AGF$ are equilateral. Prove that $ABCD$ is a ...
0
votes
0answers
32 views

Proving results about successive reflections of a point in vector geometry

If $Z$ is an arbitrary point in the plane and $$H_A:Z \mapsto 2A-Z$$ ie: $H_A$ denotes the reflection of a point $Z$ at $A$ Prove that for some point $Z$, $$H_A\circ H_B(Z) = 2 \vec{AB}$$ And ...
0
votes
0answers
31 views

Set of all affine maps as affine space

Given a two vector spaces, the set of all linear maps between them can easily be turned into a vector space again. The same if true for affine maps: Given two affine space $X$ and $Y$, the set ...
0
votes
0answers
74 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 ...
0
votes
0answers
51 views

approximation of affine function by linear functional

In A. W. Wickstead's note "Affine functions on compact convex sets", at line 3 and line 4 in page 148 he wrote: $$\cdots +\|\varphi(d)-\sigma(d)\|\leq 2\epsilon$$ Why is the claimed inequality true? ...
0
votes
0answers
66 views

Affine transformation question

As a followup question to this question, I'm trying to figure out how to plug in my numbers to get my corrected value. So say I have a point on a line $A1=(10,12)$ which is my original point, and a ...
0
votes
0answers
44 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 ...
0
votes
0answers
37 views

Affine subspaces in characteristic 2

Let $K$ be a field and $E$ an affine space over $K$. A subset $V$ of $E$ is an affine subspace (i.e. affine combinations of points of $V$ are in $V$) iff for any pair of distinct points of $V$ the ...
0
votes
0answers
93 views

distance of an affine subspace to a polytope

I wonder how to prove the following statement. Let $V$ be a $d$-dimensional normed space with $d \geq 3$, let $P \subset V$ be a $(d-2)$-dimensional polytope. Then there is an $\epsilon > 0$ such ...