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
2answers
98 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 ...
2
votes
1answer
323 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

Why only one $\infty $ point for each parallel class of lines in $\mathbb{R}^2$?

I heard of projective geometry since high school. But I never managed to understand it in a systematic way. It is said that the projective plane $\mathbb{P^2}(\mathbb{R})$ over the real numbers ...
2
votes
1answer
51 views

Cohomology of sheaves of abelian groups on affine space

Is it true that $$\mathrm{H}^p_\mathrm{Zar}(\mathbb{A}^n_\mathbb{K}, \mathcal{F})=0$$ for any $p>1$ and $\mathcal{F}$ (non constant) sheaf of abelian groups? If not, is it true for some ...
2
votes
1answer
67 views

Why does isomorphism follow from the natural bijection of Hom sets

If X and Y are varieties, and Y is affine, there is a natural bijective mapping of sets $$\operatorname{Hom}(X,Y)\xrightarrow{\sim}\operatorname{Hom}(A(Y),\mathscr O(X))$$ where the left are ...
2
votes
1answer
76 views

Affine subspace of $\Bbb{R}^{27}$

I have affine subspace $K$, $K \subset \mathbb R^{27}$. It's elements are solutions of system of linear equations $Ax=b, b \in R^{16}$. What are maximum and minimum dimensions of said subspace, if I ...
2
votes
1answer
66 views

Is there a characterization of contractible hypersurfaces in $\mathbb{C}^2$.

Let $V$ be an irreducible, algebraic hypersurface in $\mathbb{C}^2$ which is contractible as a topological space. I would like to know the algebraic characterization of such objects. For example, ...
2
votes
1answer
73 views

Why is $f(X)$ open or closed if $f:X\to\mathbb{A}^1(k)$ is regular?

I have a question about a certain property of regular maps into $\mathbb{A}^1(k)$. This is my notation for the affine space over $k$, algebraically closed. Suppose $f:X\to \mathbb{A}^n(k)$ is a ...
2
votes
1answer
93 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
720 views

Finding an affine combination of a point on a triangle

I have a problem involving affine combinations that I can't figure out how to solve. Given the above picture, write q as an affine combination of u and w. Now, I understand how to write the ...
2
votes
1answer
214 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
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 ...
2
votes
1answer
117 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
617 views

Affine subspace iff statement

I cannot find a proof for the following statement, though the statement itself seems common enough: $X$ is an affine subspace of $\mathbb{R}^n \iff \forall a\in X: X - \{a\}$ is a linear subspace. ...
2
votes
2answers
4k views

Definition of an affine subspace

I am reading this introduction to Mechanics and the definition it gives (just after Proposition 1.1.2) for an affine subspace puzzles me. I cite: A subset $B$ of a $\mathbb{R}$-affine space $A$ ...
2
votes
1answer
115 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
75 views

Characterizing affine subspaces order-theoretically

Let $V$ denote a real vectorspace and $\mathrm{Con}(V)$ denote the poset of convex subsets of $V$. The goal is to identify those elements of $\mathrm{Con}(V)$ that happen to be affine subspaces of $V$ ...
2
votes
1answer
62 views

All polynomial parametric curves in $k^2$ are contained in affine algebraic varieties

I have started working through the textbook Ideals, Varieties, and Algorithms by Cox, Little, and O'Shea and I am stuck on one part of an introductory question. The question begins by getting one to ...
2
votes
1answer
138 views

Surface area of transformed sphere

So if I have a sphere with center C and radius R and then apply one or more affine transformations (so any combination of rotating, scaling and translating), how would I go about finding the surface ...
2
votes
1answer
124 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
113 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
284 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
50 views

$\alpha$ affine iff graph is affine subspace

I am just checking different analogous of $\alpha:V \longrightarrow W$ being affine. I have problems with this one: $\alpha:V \longrightarrow W$ affine $\iff$ $G_\alpha=\{(v,\alpha(v): v\in V)\}$ is ...
2
votes
1answer
596 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
133 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
118 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
443 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
23 views

Alternative to affine space

I've been reading up on affine geometry. An affine space (correct me if I'm wrong) is a set of "points" along with a set of translations on those points such that for any two points $P, Q$ there ...
2
votes
1answer
28 views

Coordinate-free expression of a rotation

I'm interested in coordinate free (non-matrix based) approaches to geometry. What I'd like to do is to show that every Galilean transformation can be written uniquely as the composition of a ...
2
votes
1answer
14 views

Invariant affine subspaces: It's possible that $\dim(f(V))\neq\dim(V)$?

I'm studying geometry right now. I saw that an affine subspace $V$ is invariant under $\ f\ $ if $\ f(V)\subset V$. After reading that, I wondered this: Is it possible that $\dim(f(V))\neq\dim(V)$? ...
2
votes
0answers
29 views

Geometry book for the university with solved exercises (affine space, euclidean space, etc…)

I'm looking for a book with solved exercises of affine space, affine transformations, etc... I found a lot of books and pdf's with theory, but none of them contained solved exercises, and I'm having ...
2
votes
0answers
59 views

Three lines are concurrent (or parallel) $\iff$ the determinant of its coordinates vanishes.

I'm trying to prove the concurrency condition for three lines lying on a plane. This condition says that: Let \begin{cases} ax + by + cz=0 \\ a'x – b'y + c'z=0 \\ a''x + b''y + c''z=0 ...
2
votes
0answers
41 views

Three points of an affine space are collinear $\iff \det(A)=0$, with $A$ the matrix of the barycentric coordinates.

I'm doing this exercise: Let $3$ different points of an affine plane, with barycentric coordinates $X=(x_0,x_1,x_2), Y=(y_0,y_1,y_2), Z=(z_0,z_1,z_2)$ respect to a fixed reference frame. Prove ...
2
votes
0answers
37 views

Affine geometry textbook

What's a good recommendation for a book on affine geometry at the undergrad level? I ask because I skimmed through the first bit of Vladimir Arnold's Mathematical Methods of Classical Mechanics and ...
2
votes
0answers
47 views

Automorphism of $\mathbb{A}^2$ which maps the finite set of points to the finite set of points

Let $\mathrm{k}$ be infinite field. $P_1,\dots,P_n, Q_1,\dots,Q_n \in \mathbb{A}^2$ and $P_i \neq P_j, Q_i \neq Q_j$. I want to find automorphism(in a.g. sense) which maps $P_i$ to $Q_i$. I have tried ...
2
votes
0answers
34 views

Dependence of linear algebra theorems of the commutativity of the field.

In the linear algebra course I took vector spaces where introduced with a (commutative) field. The classical theorems are proven under this assumption. However, I was wondering what implications it ...
2
votes
1answer
95 views

Affine Transformations: Book to Study over the Summer

I've briefly heard of affine transformations in both linear algebra and calculus and I'd like to find a good book on the subject to study over the summer. So what's a good undergrad-level book on ...
2
votes
0answers
19 views

Does $\dim (A_1\otimes A_2)=\dim(V_1\otimes V_2)$ for all affine spaces $A_{1,2}$, their vector spaces $V_{1,2}$ and the operations $\cap,+$?

Let $A_1=P_1+V_1,A_2=P_2+V_2$ be affine spaces. My teacher uses $\dim$ on affine spaces and the embedded vector spaces interchangeably, which is correct by definition for $\dim A_1=\dim V_1$, but ...
2
votes
0answers
104 views

Decomposition of 4x4 or larger affine transformation matrix to individual variables per degree of freedom.

There are a couple of problems and solutions where affine matrices are decomposed into their seperate tranformations. However they are all for the 2D case and I`m finding it difficult to generalise it ...
2
votes
1answer
248 views

Decomposition of shear matrix into rotation & scaling

How can I decompose the affine transformation: $$ \begin{bmatrix}1&\text{shear}_x\\\text{shear}_y&1\end{bmatrix}$$ into rotation and scaling primitives? $$ ...
2
votes
1answer
36 views

How to orthogonalize a set of 2x2 matrices?

I have set of 2D affine transformations of images and I need to modify the transformations such way that they become as close to rotations as possible to minimize distortions of images. Let the ...
2
votes
0answers
81 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
70 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
42 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
65 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
46 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
45 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
2answers
116 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
191 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
129 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 ...