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
12 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 ...
1
vote
0answers
6 views

Representation of Affine Maps

I'm just looking for a reference or the proof that every affine map $f:V\rightarrow W$ between two possible different linear spaces $V$ and $W$: $$ f[\lambda x+ (1-\lambda) y]=\lambda ...
0
votes
0answers
20 views

Finding all the invariant subspaces of a certain linear transformation.

Assuming I have given affine transformation $ \mathbb{R}^3\to \mathbb{R}^3 $ which has matrix representation $$ \left[\begin{array}{cccc} 3&2&-3&-10\\ 4&10&-12&-29\\ ...
1
vote
1answer
38 views

Vector bundles on $\mathbb{A}^1_k$ with doubled origin?

One of the most common examples of gluing affine lines is the affine line $\mathbb{A}^1_k$ with doubled origin. Out of curiousity, is there a known classfication of the vector bundles on this space?
1
vote
2answers
36 views

Affine transformation that sends a conic to itself but does not preserve the focci or the axes [closed]

So I'm trying to find an affine transformation that sends a conic to itself but does not preserve the foci or the axes. I don't know if this can be done. I'm pretty sure that if it is possible then I ...
3
votes
0answers
74 views

When does a homogeneous morphism have only finite fibers?

Suppose that we have a map ${\bf f}:=(f_1,f_2,\cdots ,f_n):\mathbb{C}^n\rightarrow \mathbb{C}^n$ given by $$ \mathbb{C}^n\ni {\bf z}:=(z_1,z_1,\cdots,z_n)\rightarrow \big(f_1({\bf z}),f_2({\bf ...
1
vote
1answer
26 views

Dense basic open set contained in dense open subset

For an affine variety $X$ with coordinate ring $A$ it is not hard to see that for $g\in A$ the basic open set (or distinguished open set) $$D(g):=\{ P\in X | g(P)\neq 0\}$$ is dense in $X$ if and only ...
4
votes
1answer
68 views

About the ramification locus of a morphism with zero dimensional fibers

This question arises from my somewhat frustrating attempts to understand what etale means (in the world of algebraic varieties for now) and marry the more advanced algebraic geometry references and ...
0
votes
1answer
13 views

how to find affine formula

I'm struggling with finding formula of affine transformation where we have: $(1,3) \to (3,5)$ $(2,1) \to (0,6)$ $(4,0) \to (0,11)$ I know in affine transformation we have ...
2
votes
0answers
27 views
+50

Relationships between affine closures and convex closures

Let $V$ denote a vector space. Then the following concepts make sense: affine subset of $V$ affine closure (affine "hull") of a subset of $V$ Suppose $V$ is in fact a real vector space. Then the ...
1
vote
0answers
11 views

Non-affinely parametrized geodesics

Consider a non-affinely parameterised geodesic, i.e., a geodesic whose tangent vector field obeys $\nabla_X X = fX$ for some function $f$. Prove that one may reparameterise the geodesic so the tangent ...
0
votes
0answers
14 views

Is an affine transformation s graph always a plane (or hyperplane)?

Say I have an affine map, f: R2 --> R. Will the graph of f be a plane in R3? What about for the general case of F:Rn-->Rq? Will the graph of F be a hyperplane?
0
votes
1answer
17 views

Distance from affine vector space?

I've got an affine vector space $W$ defined by a collection of vectors $\{v_1, v_2, ... v_n\}$. Each vector in that space could be represented as a sum of the form $\sum_{i=1}^n w_i * v_i$, where ...
0
votes
0answers
14 views

Prove that if a transformation sends centroids to centroids then it is affine.

I have to prove that if a transformation sends centroids to centroids then it is affine. I sort of have the second part of the proof: assuming that I know that a transformation that preserves ...
0
votes
1answer
9 views

Calculate original coordinate after changing the transformation matrix

I am working with HTML5 canvas : I apply 2 transformations : Translate my canvas to (x,y) Rotate it with an angle a. Then I draw a circle at the position (x1,y1) I calculated my transformation ...
1
vote
0answers
18 views

Vanishing points from three collinear points

I would like to find the 2D vanishing point from a three collinear points as is shown in "Multiple View Geometry in Computer Vision" Example 2.19 (see here). What I did so far: 1 - I've extracted ...
3
votes
1answer
41 views

Product of affine varieties is the product of topological spaces

Let $k$ be an algebraically closed field, and $A, B$ affine $k$-algebras. We can define a functor $\mathfrak F$ from the category of affine $k$-algebras to that of affine algebraic varieties, by ...
1
vote
0answers
20 views

Do affine spaces have coordinate transformations?

I asked a question on Physics SE and there seemed to be some confusion as to whether affine spaces could have coordinate transformations. Specifically, the particular space I was working with was ...
0
votes
0answers
15 views

Error metric from affine transformation

I have an affine transformation matrix consisting of a translation and a rotation of a 3D object. I'm developing an algorithm where such a translation should ideally converge to identity, i.e. any ...
5
votes
4answers
114 views

Term for similarity transformation which is not a translation

What's the best (i.e. most concise) term to refer to an orientation-preserving similarity transformation which is not a translation? Here are some descriptions I could think of, but all of them feel ...
3
votes
2answers
104 views

Theory and problems book in euclidean, affine, and projective geometry

Could you recommend a rich, clear, and complete theory book on euclidean, affine and projective spaces (i.e., "geometry"); and an interesting exercise book full of non-trivial problems and exercises?
0
votes
0answers
19 views

Find a normal for an affine hull

How do I find a normal for the affine hull of {[3,1,4], [5,2,6], [2,3,5]}? Thanks
1
vote
0answers
23 views

Determining if a set is projective or not

In $\mathbb{P}^3$ define the following sets: $$X=\{w_0w_1^2=w_2^2w_3-w_3^3\}\\Y_1=\{y_3=0\}\\Y_2=\{\sum_{i=0}^3 w_i=0\}\\Y_3=\{w_0+w_1+w_2+2w_3=0\}$$ Does the set $Z=X\cap Y_3\setminus((X\cap ...
3
votes
0answers
32 views

Calculate the singular points of affine curve

I want to calculate the singular points of the affine curve $$f(X,Y)=(1+X^2)^2-XY^2 \in \mathbb{C}[X,Y]$$ The point $P=(x,y)$ is singular $\Leftrightarrow$ If $x=0$ we find $y=0$ and then from the ...
0
votes
0answers
37 views

$Ax = b$ & $Ax + b$

Ask a dumb question but confuse me long time. The following is what I know: 1st case $Ax = b$ is an affine set in $x$,i.e. $\{x | Ax = b\}$, and it is linear in $x$. 2nd case $ f(x) = Ax + b$ ...
0
votes
0answers
12 views

Explain how lines and points in the 2D plane form an affine plane?

I think I understand the affine transformation, but I just have trouble describing how lines and points in the 2D plane form an affine plane.
0
votes
0answers
39 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 ...
0
votes
1answer
22 views

Two discrete lines always intersect at a point

In my lecture notes we have the following: $K$ field Extension of the affine space. Relation between points and lines: Two discrete points define an unique line and two discrete lines always ...
1
vote
1answer
34 views

Showing affinity of a function - proof help

Let $V$ be the set of sequences whose terms are contained in $\mathbb{R}^n . V$ is the set of functions $x(·) : N → \mathbb{R}^n $ which we denote as $\{x_n\}_n \subset \mathbb{R}^n$. $V$ is a vector ...
0
votes
1answer
60 views

Is $\mathbb{A}^1\times\mathbb{P}^1\cong\mathbb{P}^1\times\mathbb{P}^1$?

Just curious, is it true that $\mathbb{A}^1\times\mathbb{P}^1\cong\mathbb{P}^1\times\mathbb{P}^1$? Here I'm writing $\mathbb{A}^1$ is affine space, and $\mathbb{P}^1$ projective space, both over an ...
1
vote
1answer
37 views

Affine transformation invariants and lie groups

Is it possible to generate geometric properties which are invariant under affine transformations? I'm trying to learn about lie groups and lie algebras with the example of the lie group of affine ...
0
votes
1answer
28 views

Is it possible, to create a affine transformation matrix, from a function?

I have a function, which maps every point in the 3D space, to an other. How is it possible, to find a matrix, which works the same, as the function, if I multiply 3D vectors with it? It's sure, the ...
1
vote
0answers
25 views

Intersections of convex hulls

Given a set of $n$ points $\{A_1, \ldots , A_n\}$ of the plane and every possible triangle formed with $3$ points $A$, I would like to describe the intersections fo theses triangles. By intersection, ...
0
votes
2answers
50 views

How to define an affine transformation using 2 triangles?

I have $2$ triangles ($6$ dots) is a $2D$ plane. The points of the triangles are: a, b, c and x, y, z I would like to find a ...
2
votes
3answers
70 views

Every reflection is an isometry proof

The theorem is that every reflection $R_{S}$ in an affine subspace $S$ of $\mathbb{E}^{n}$ is an isometry: $R_S:\ \mathbb{E}^{n} \rightarrow \mathbb{E}^{n}:\ x \mapsto R_{S}(x) = x + 2 ...
0
votes
1answer
28 views

transformation of a ball to an other by homothety

While reading a proof in which they have defined the following homothety $$\begin{align*} h \colon C &\to C\\ x &\mapsto a+t(x-a) \end{align*}$$ where $a\in C$, C is a convex set of a ...
2
votes
1answer
69 views

What does it mean to fix a point in an affine space?

In their book Metric Affine Geometry, Snapper and Troyer state on page 59: It cannot be stressed enough that the affine space $X$ is not a vector space. Its points cannot be added and there is no ...
3
votes
1answer
117 views

What is an affine space?

I am having trouble understanding what an affine space is. I am reading Metric Affine Geometry by Snapper and Troyer. On page 5, they say: "The upshot is that, even in the affine plane, one can ...
2
votes
1answer
58 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, ...
0
votes
1answer
29 views

Question on Logic in translation

let $P,P'$ two affine subspace of $R^{3}$ have we equality between this two statement $$\exists\ u_{0}\in R^{3}\ \mbox{such that } t_{u_0}(P)=P'$$ $$\exists B,A\in PP' \mbox{such that } ...
0
votes
0answers
20 views

help me to check the following argument on a linear transformation

all, Just want to confirm the following argument: Assumption: we know that $S:=\{(x_1,x_2,x_3) : \|(x_1,x_2)\|_2 \leq (1+k)x_3\}$, for a given value $k$. By linear transformation: ...
0
votes
1answer
76 views

Dimension of the intersection of affine subspaces

Let $\alpha,\beta,a,b,c \in \mathbb{R}.$ Consider three affine planes in the affine space $\mathbb{R}^{3}$: $P_{1}$ of equation $x+2y+\beta z=a$, $P_2$ of equation $2x+y=b$, $P_{3}$ of equation ...
4
votes
0answers
71 views

Is the cone over Grassmannian manifold $Gr_2(\mathbb{C}^n)$ an open set of a determinantal variety?

Let $Gr_2(\mathbb{C}^n)$ the Grassmann manifold of the planes in $\mathbb{C}^n$. It is, via Plucker embedding, a projective variety. If we consider the cone $C$ over $Gr_2(\mathbb{C}^n)$, is it ...
3
votes
1answer
58 views

Is the $n$-sphere $x_1^2+\cdots+x_n^2-1=0$ a rational variety in $\mathbb{A}^n$?

I asked a question a few days ago about where the function field $k(x,\sqrt{1-x^2})$ was purely transcendental over $k$, for $k$ algebraically closed. It turned out to be true, so I know this proves ...
0
votes
0answers
28 views

$P+Q:=\varphi_{O}^{-1}\left(\varphi_{O}(P)+\varphi_{O}(Q)\right)$

let X is affine space and $\overrightarrow{X}$ is vector space associted to X $$\begin{array}{ccccc} & \varphi_{O} : & X & \longrightarrow & \overrightarrow{X}\\ & & ...
0
votes
2answers
46 views

fixed points of an affine transformation is unique iff $1 \notin SP(\vec{f} )$

Let $f$ be Affine transformation from $E$ to $E$ (always we assume it finite dimensional ) and $\overrightarrow{f}$ is the linear mapping associated to $f$. Then the map $f$ has a unique fixed ...
1
vote
1answer
54 views

The affine line with two points removed

To which affine variety $V$ is $\mathbb{A}^1 \setminus \{0, 1\}$ isomorphic to? What would be the isomorphism in this case? Any help would be appreciated.
0
votes
0answers
34 views

Determine the expression for a continuous affine transformation

In this problem I'm doing, I'm being asked To determine the affine transformation matrix which maps triangle V to triangle W. I'm also being asked to determine this matrix's continuous ...
3
votes
1answer
43 views

Domain of definition of $(1-y)/x$ on $x^2+y^2=1$?

I'm self-teaching myself some basic algebraic geometry, and I wanted to double check something that seems too easy. An exercise sheet I found asks to compute the domain of definition of the rational ...
0
votes
0answers
21 views

Two affine subspaces parallel

Theorem: Two affine subspaces $V,V'$ of $(X,\overrightarrow{X})$ are said to be parallel $(V\parallel V')$ if there is a translation such that $t_{\vec{u}}(V)=V'$ $V\parallel V' ...