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

8
votes
0answers
155 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
444 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]$. ...
4
votes
0answers
104 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
91 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 ...
3
votes
0answers
102 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
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 ...
3
votes
0answers
123 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
510 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
25 views

Linearizable reductive group action.

Let $k$ be a 0 characteristic field, and $G$ a reductive group in $GA_2(k)$. How is it possible to deduce that $G$ is conjugated to a subgroup of $GL_2(k)$ ?
2
votes
0answers
70 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
31 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
0answers
51 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
33 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
32 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
238 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
161 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
61 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
51 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
51 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
59 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
20 views

A confusion regarding Affine spaces

Take an Affine space $\Bbb{A}$ over the field $K$. How would you determine the points satisfying any polynomial $f(x)$? If there is no fixed origin, points can be given names with reference to ANY ...
1
vote
0answers
140 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
51 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
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
0answers
112 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
81 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
85 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
64 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
352 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
16 views

What are sliding vectors mathematically?

What is the mathematical definition of sliding vectors and their operations, as used in mechanics? What kind of mathematical structure do they form? Does the operation of constructing the "space" of ...
0
votes
0answers
18 views

When the sum of coefficients of two linear combinations are equal.

I recently was looking a set of polynomials (the Legendre polynomials up to degree $n$) that form a basis for the space of polynomials $\{a_{0} + a_{1}x + \dots + a_{n}x^{n}: a_{i} \in \mathbb{R}\}$ ...
0
votes
0answers
11 views

Is the below formula equivalent?

$K$ is a simplicial complex: Is $\{\sigma \in K | \sigma \cap conv(\{a, b\}) = \emptyset\}$ equivalent to $\{ \sigma \in K | \sigma \cap \{ a \} = \emptyset \} \cap \{ \sigma \in K | \sigma \cap \{ ...
0
votes
0answers
9 views

Affine transformation step by step

So I have the before and after 3d coordinates of an object that has been translated and rotated. I need to calculate the matrix to return the object to it's original position. I've been reading ...
0
votes
0answers
14 views

V is an affine subspace iff for any two distinct points V contains the line dtermined by these points

Since it can be shown that the barycenter of n weighted points can be obtained by repeated computations of barycenters of two weighted points, a nonempty subset V of E is an affine subspace iff for ...
0
votes
0answers
8 views

the set $V$ of barycenters ${\Sigma}_{i\in I}{\lambda}_ia_i$ is the smallest affine subspace containing $(a_i)_{i\in I}$

Given an affine space $(E,E^{\to})$, for any family ${(a_i)}_{i\in I}$ of points in E, the set V of barycenters ${\Sigma}_{i\in I}{\lambda}_ia_i$ is the smallest affine subspace containing ...
0
votes
0answers
29 views

An easy definition of an $n$-dimensional affine cube

In a few weeks I'm giving a presentation on the History of Ramsey Theory and I want to start off with Hilbert's cube lemma. The only problem is that the pre-requisites for this course is only ...
0
votes
0answers
29 views

Dumb question regarding affine transformations

So, we can write an affinity $\phi$ as $$\phi(x) = Ax + b$$ for some linear transformation $A$ and vector $b$. What exactly does it mean for an affinity to be a "scaling"? Is this a mapping of the ...
0
votes
0answers
15 views

Interesting observation WRT 1,2,3-dimensional convex polytopes and higher dimensional ones as counterpart

When I experimenting with qhull utility and Quickhull Algorithm, I found that in $\mathbb{R}^d, d \in \{1,2,3\}$ space the number $F$ of convex hull's $(d - ...
0
votes
0answers
18 views

Adjacency of convex hull facets

Let $C$ be a $d$-dimensional convex polytope and $p$ is a point outside of it. $C=\{f_c\}$ defined by set of facets $f_c=\{p_c,A_c\}$ where $p_c$ is a tuple of vertices and $A_c$ is a set of ...
0
votes
0answers
68 views

Why are affine subspaces also sometimes called linear manifolds?

According to Wikipedia, an affine subspace is a subset of a vector space closed under affine linear combinations. That is, linear combinations whose scalar coefficients sum to 1. It's not clear to ...
0
votes
0answers
26 views

equiaffine arc length, moving frame, and affine curvature

I am trying to learn affine geometry, and I'm having some trouble getting started with the following problem. Compute (a) the equiaffine arc length, (b) the moving frame, and (c) the affine ...
0
votes
0answers
12 views

Dual representations of affine span of a set of affine transformers.

I am not well versed in the literature of affine transformers or Farkas' Lemma. I just know the basics of the two concepts. Are there any dual representation of affine span of a set of affine ...
0
votes
0answers
72 views

5 Parameter Affine Transformation

I am working on computing affine transformation using Gradient Ascent Method, so the Inverse compositional algorithm. However, I am stuck in one probably simple step but I fail to understand them. ...
0
votes
0answers
17 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
98 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
14 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
24 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
173 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
37 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
120 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 ...