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
1answer
166 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
39 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
43 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
69 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
104 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
38 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
96 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
97 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
70 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
332 views

Affine sets and affine hull

Mathematically an affine hull can be expressed as $ Aff[C] = \{\theta_1x_1 + \theta_2x_2 .... \theta_nx_n| x_i \in C \ \ \sum_{i=1}^{n}\theta_i = 1 \}$ Intuitively can anyone explain what this ...
2
votes
1answer
190 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
61 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
127 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
418 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
82 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
102 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
311 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
66 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
27 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
31 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
49 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
29 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
209 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
2answers
104 views

Prove that $\text{(BE)}\|\text{(JF)}$ using vectors.

Problem Let $\text{ABC}$ be a triangle and let $\text{I}$ , $\text{J}$ and $\text{K}$ be points such that: $\vec{\text{BI}}=\frac{1}{2}\vec{\text{IC}}$, $\vec{\text{AJ}}=2\vec{\text{JB}}$ and ...
2
votes
0answers
156 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
56 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
1answer
135 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
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 ...
2
votes
0answers
50 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
139 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 ...
2
votes
1answer
186 views

Finding the singularities of affine and projective varieties

I'm having trouble calculating singularities of varieties: when my professor covered it it was the last lecture of the course and a shade rushed. I'm not sure if the definition I've been given is ...
2
votes
1answer
87 views

Domain rotations in the Mellin integral transform

Let's consider the following form of the Mellin integral transform: $$m_{pq} =\iint\limits_{D_R} \! x^p y^q f(x,y) \, dx\; dy, \, D_R={\{(x,y)\,|\,x^2 + y^2 \le R^2\}}$$ If we scale the domain of the ...
1
vote
1answer
67 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 ...
1
vote
2answers
292 views

n-dimensional affine space that is not isomorphic with the n-dimensional real space

I'm looking for an example of $n$-dimensional affine space that is isomorphic with $\mathbb{R}^n$ as affine space but not with respect to other properties (for example it has different ordering etc.) ...
1
vote
4answers
89 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
1answer
115 views

Affine group, semi-direct product and linear transformations

According to wikipedia the Affine group is the semi-direct product of a vector space $V$ and the general linear group $GL(V)$. Here is the definition of the semi-direct product in terms of matrices ...
1
vote
1answer
549 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 ...
1
vote
1answer
19 views

Prove that this affinity is the identity mapping

Let $\phi : K^n \to K^n$ be an affinity, such that all lines are parallel to their image under $\phi$. Prove that if $\phi$ has two fixed points, then $\phi$ is the identity mapping. My attempt: I ...
1
vote
1answer
77 views

Find intersection multiplicities

Let curves $A$ and $B$ be defined by $x^2-3x+y^2=0$ and $x^2-6x+10y^2=0$. Find the intersection multiplicities of all points of intersection of $A$ and $B$. If we let $f=x^2-3x+y^2$ and ...
1
vote
1answer
60 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 ...
1
vote
2answers
153 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 ...
1
vote
1answer
65 views

Motion in affine geometry

$V$ is a finite euclidean vectorspace and $\sigma:V->V$ is a motion, this means that $d(\sigma(a_i),\sigma(a_j))=d(a_i,a_j)$ for an affine coordinate system $a_0,...,a_n$ I know the following two ...
1
vote
1answer
97 views

Detecting the type of singularity with the Jacobian

Say we have a plane curve $\mathcal{C} = V(f(x,y)) \subset \mathbb{A}^2_{\mathbb{C}}$. The partial derivatives tell us about the singularities: if they all vanish at a point $p \in\mathcal{C}$ then ...
1
vote
5answers
178 views

How to precisely distinguish vectors and points? [duplicate]

Possible Duplicate: Distinction between vectors and points I have a doubt about the distinction between points and vectors. I know there's already a topic about that here in the web site, ...
1
vote
1answer
343 views

What is the relation between complex numbers and transformation matrices?

I read addition and multiplication with complex numbers can be represented as translation and rotation in a 2D plane. I am using this to move around objects on the screen. I have an offset number, ...
1
vote
1answer
216 views

This is the most difficult question I could get without using mass point geometry

In triangle ABC, points D and E are on sides BC and CA respectively, and points F and G are on side AB with G between F and B. BE intersects CF at point O_1 and BE intersects DG at point O_2. If FG ...
1
vote
1answer
228 views

Affine Transformation matrix for mapping a triangle to another

I'm trying to write a function in Matlab that will give me a matrix T that can be used to multiply points in homogeneous coordinates. This is achieved my mapping a ...
1
vote
1answer
22 views

How do we define affine combinations in affine spaces?

Suppose we're given a field $A$ and a vector space $X$ over it. Then an affine space over that is a set $P$ (of "points") equipped with an action $$+ : X \times P \rightarrow P$$ such that $0_X+p ...