A cube with vertices $(\pm 1, \pm 1, \pm 1)$ gets projected into the plane perpendicular to vector $\mathbf{n}\in S^2$. The projection is a hexagon, how do I find the area? http://biochemistry.utoronto.ca/steipe/abc/images/2/2b/CubeBasic.jpg I think I can just compute $\mathbf{n}\cdot e_{\mathbf{x}},\mathbf{n}\cdot e_{\mathbf{y}}$ and $\mathbf{n}\cdot e_{\mathbf{z}}$ and the area would just be the some of the 3 […]

Given an ellipsoid equation of the form \begin{equation}\label{eq_1}x’Ax=1\end{equation} where $A\in\mathbb{R}^{n\times n}$ is positive definite and non-diagonal and $x\in\mathbb{R}^n$. So, how can I obtain the projection or shadow of the ellipsoid into a 2D plane? In these links: How to prove the parallel projection of an ellipsoid is an ellipse? and Projection of ellipsoid part of […]

From the Wikipedia article on geodesics: In Riemannian geometry geodesics are not the same as “shortest curves” between two points, though the two concepts are closely related. The difference is that geodesics are only locally the shortest distance between points […]. Going the “long way round” on a great circle between two points on a […]

I’m trying to either associate a manifold with a finite field, or, ideally find a way of considering finite fields as manifolds, in a non-trivial manner. I hope to be able to use this to extend topological methods to finite projective planes.

The following exercise is taken from ravi vakil’s notes on algebraic geometry. Suppose $X$ is a closed subset of $\mathbb{P}^n_k$ of dimension at least $1$, and $H$ is a nonempty hypersurface in $\mathbb{P}^n_k$. Show that $H\cap X \ne \emptyset$. The clue suggests to consider the cone over $X$. I’m stuck on this and I realized […]

I have a doubt on the classification of non-degenerate conics (parabola, ellipse, hyperbola) in projective geometry (my textbook is “Multiple View Geometry in Computer Vision”, which, as the title implies, is not specifically targeted at projective geometry). As far as I understand, we can classify conics from a projective and from an affine point of […]

Let $k$ be a field and let $V$ and $W$ be finite-dimensional $k$-vector spaces, where $\dim(V)\ge1$ and $\dim(W)\ge1$. Let $q:V\to\mathbb{P}(V)$, $u\to[u]$ be the quotient map. By my teacher, a map $f:\mathbb{P}(V)\to\mathbb{P}(W)$ is defined to be a projective map if there exists an injective linear map $L:V\to W$ such that for all $[p]\in\mathbb{P}(V)$ we have that […]

Let $\phi:\mathbb{P}^n\rightarrow \mathbb{P}^m$, $n\leq m$. I want to demonstrate that if dim $\phi(\mathbb{P}^n)<n$ then $\phi(\mathbb{P}^n)=pt$ (ex. 7.3(a), ch.II from Hartshorne). It’s well known that $Pic(\mathbb{P}^n)\simeq\mathbb{Z}$, with generator $O_{\mathbb{P}^n}(1)$. First question : it is right that if I show that $\phi^*O_{\mathbb{P}^m}(1)$ is generated by less than n+1 global sections, then must be $\phi^*O_{\mathbb{P}^m}(1)\simeq O_{\mathbb{P}^n}$ and so […]

I tried solving the following question, could you have a look at my answer and tell me whether it’s right or wrong? All input is appreciated. Question: Let $ABCD$ be the vertexs of a parallelogram in the affine plane immersed in its projective closure. Find the equation of the line at infinity in the projective […]

I know about the antipodal mapping. What I want to know is what the most significant differences between the sphere and projective space are, and how to think of each of them and their relationship to one another. I come at this from a coding theory/vector quantization perspective; I’m trying to understand the difference between […]

Intereting Posts

Divisibility test for $4$
Testing Zeros Of The Riemann Hypothesis
Compute $\sum_{k=0}^{\infty}\frac{1}{2^{k!}}$
Derive the centroid of an area from a limiting procedure
Why the integral $\int_0^3 \frac{1}{x^2-6x+5}dx$ doesn't exist?
Evaluating $\prod\limits_{n=2}^{\infty}\left(1-\frac{1}{n^3}\right)$
Special case of the Hodge decomposition theorem
$3^{n+1}$ divides $2^{3^n}+1$
Prove that $\sqrt{3}+ \sqrt{5}+ \sqrt{7}$ is irrational
Find the infinite sum $\sum_{n=1}^{\infty}\frac{1}{2^n-1}$
Why doesn't this work imply that there are countably many subsets of the naturals?
About the series $\sum_{n\geq 0}\frac{1}{(2n+1)^2+k}$ and the digamma function
Is there a $k$ for which $k\cdot n\ln n$ takes only prime values?
PDF of area of convex hull of four random points in square
Series RLC Circuit Step Response