Questions tagged [projective-geometry]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
1 answer
430 views

Non-Symmetric Equivariant Riemannian Metrics on Homogeneous Spaces

For a homogeneous space $M = G/H$, the number of $H$-equivariant Riemannian metrics on $M$ is usually much smaller than the space of Riemannian metrics. I am wondering what happens when the symmetric ...
Noel Brown's user avatar
3 votes
0 answers
503 views

Global sections of a coherent sheaf in terms of a presentation

Let $A$ be a graded ring satisfying the usual finiteness conditions of EGA II (for example $A_0$ is noetherian, $A_1$ is finite over $A_0$ and $A$ is generated by finitely many elements of $A_1$ as an ...
Martin Brandenburg's user avatar
4 votes
1 answer
650 views

Projective planes that contain the Fano plane

I am interested in the following question: Given a projective plane of order $n=2^a$, is its incidence matrix must contain the incidence matrix of the Fano plane? If not, is it true that for any $n$ ...
MiF's user avatar
  • 43
10 votes
2 answers
2k views

Reference for Weighted Projective Stacks

For a sequence of positive integers $a_0, \ldots, a_n$ and a ring $R$, there is a graded ring $R[x_0,\ldots, x_n]$ where $x_i$ is in degree $a_i$. There is a corresponding $\mathbb{G}_m$-action on $...
Lennart Meier's user avatar
6 votes
3 answers
1k views

On well-formedness of weighted projective spaces and a Hurwitz theorem calculation

This question has two parts: A calculation that is giving me a lot of troubles, and a theoretical one on weighted projective spaces. 1) I want to find the genus of the curve $C_7 \subset \mathbb{P}(1,...
mathSt's user avatar
  • 115
3 votes
0 answers
157 views

On the Haar measure of Grassmanians

How can one write down the Haar measure of complex Grassmanians in terms of Plucker coordinates? Is there any way to define a Kahlarian measure like $d\mu\propto \det(g)dp_{ij}dp^{*}_{ij}$ where $g$ ...
Alireza Behtash's user avatar
1 vote
1 answer
242 views

Angles and projective metric

Unless I am very wrong, the following seems to be true: If the angle between two vectors in $\mathbb{R}^{n}_{++}$ is small, then the value of the Hilbert projective metric between them is also ...
Felix Goldberg's user avatar
5 votes
2 answers
1k views

What criteria are there to determine if two projective varieties are projectively equivalent?

A projective transformation is a morphism of $P^n$ to $P^n$, for some $n$, determined by an $(n + 1) \times (n + 1)$ invertible matrix $A$ in the obvious way. The sets $Q$, $R$ are projectively ...
Ale Tirabo's user avatar
5 votes
2 answers
3k views

Visualization of the real projective plane [closed]

Consider a closed (compact and without boundary) and non-orientable 2-manifold $M$. By Whitney embedding theorem, one can embed $M$ in $\mathbb{R}^4$. $M$ cannot be embeded in $\mathbb{R}^3$ and just ...
Sepideh Bakhoda's user avatar
4 votes
1 answer
160 views

A certain property of elliptic curves in a paper by Rees

In the paper "On a problem of Zariski", David Rees presents a counterexample to the following problem of Zariski. Let $F/k$ be a f.g. field extension, $S$ a f.g. normal integral domain over $k$ ...
InvisiblePanda's user avatar
12 votes
0 answers
557 views

Embedding of the product of two Grassmannians into a Grassmannian

Consider an embedding $$\Phi: G_{k_1}(R^{n_1})\times G_{k_2}(R^{n_2})\rightarrow G_k(R^n)$$ of the product of two Grassmannians $G_{k_1}(R^{n_1})\times G_{k_2}(R^{n_2})$ into $G_k(R^n)$, where $G_k(...
user81500's user avatar
  • 121
3 votes
1 answer
519 views

why is the homological projective dual of this Lefschetz decomposition non-commutative?

I am reading these notes of an excellent course by Kuznetsov on Homological Projective Duality. On page 10 there is Example 1''. One starts with projective space, endowed with the identity embedding ...
John Salvatierrez's user avatar
0 votes
1 answer
255 views

Koszul complex of a variety inside a product

Suppose $X$ is a smooth projective complete intersection contained in the product $\mathbb{P}^n \times \mathbb{P}^m$, and call $X_n$ and $X_m$ the images of $X$ inside $\mathbb{P}^n$ and $\mathbb{P}^m$...
IMeasy's user avatar
  • 3,717
22 votes
1 answer
2k views

Octonions and the Fano plane.

Does the Fano plane mnemonic for octonion multiplication have any deeper meaning? http://upload.wikimedia.org/wikipedia/commons/2/2d/FanoPlane.svg The symmetry group of the Fano plane is PSL(2,7), ...
Drew Armstrong's user avatar
16 votes
3 answers
1k views

Fano plane drawings: embedding PG(2,2) into the real plane

By a drawing of the Fano plane I mean a system of seven simple curves and seven points in the real plane such that every point lies on exactly three curves, and every curve contains exactly three ...
Seva's user avatar
  • 22.8k
2 votes
1 answer
140 views

How to visulize surface link in four dimension?

I am now facing a problem with "surface link" in four dimension. I have heard that three 2-torus can be linked in four dimension. And I have created a movie by cutting four dimensional space with ...
Shenghan Jiang's user avatar
4 votes
2 answers
473 views

Positively curved manifold with a codimension 1 totally geodesic submanifold.

Fact : Consider the inclusion $V^{n-1} \rightarrow M^n$ where $M$ is a closed orientable simply connected positively curved manifold. Then connectivity lemma implies that the inclusion is $(n-1)$-...
Hee Kwon Lee's user avatar
  • 1,070
1 vote
0 answers
382 views

canonical model of a reducible curve

Let $C$ be a stable reducible curve. Is there a natural way to define it's canonical model (I guess via the dualizing sheaf)? And does somehow the dualizing sheaf restrict to the (probably twisted) ...
IMeasy's user avatar
  • 3,717
4 votes
2 answers
321 views

Was Desargues more an Euclid or an Eudoxos?

In the course of preparing lessons on projective geometry I want to give an account on the historical development. It is easy to obtain an overview of the history starting with G. Desargues. And with ...
user avatar
8 votes
1 answer
320 views

Existence of different knots in $RP^3$ having the equivalent liftings in $S^3$

I'm looking for the answer to following question. Do exist different knots in $RP^3$ which have equivalent liftings in $S^3$ under covering $p:S^3\rightarrow RP^3$?
Dmitry Gorkovets's user avatar
3 votes
1 answer
504 views

A little question on certain parallel-lines-preserving maps

Let $\alpha:\mathbb{R}^n\to\mathbb{R}^n$, $n\geq 2$, be a $\mathbb{Q}$-linear bijection with the following properties: 1) $\alpha$ sends straight affine $\mathbb{R}$-lines to straight affine $\mathbb{...
Qfwfq's user avatar
  • 22.7k
4 votes
2 answers
311 views

Proper subgroups of $\rm{SU}(d)$ that act transitively on $\rm{CP}^{d-1}$?

The special unitary group $\rm{SU}(d)$ has a canonical action on the Hilbert space of dimension $d$, and this action induces a canonical action on the projective space $\rm{CP}^{d-1}$, which is ...
Huangjun Zhu's user avatar
1 vote
2 answers
136 views

Flatness of projective bundles

Suppose that $p \colon P \to X$ is a projective bundle. Is $p$ an open map ?
john's user avatar
  • 457
5 votes
4 answers
1k views

On duality on finite projective planes

In nearly all (if not all) projective geometry texts I have bumped into the following theorem: "Principle of duality: If in a theorem in $\mathfrak{P}$ one switches the word point for the word ...
Juan OS's user avatar
  • 947
0 votes
0 answers
119 views

sphere with projective structure

In " Geometric structures on low-dimensional manifolds " , section 2 , we have : given a projective tame 3-manifold with radial ends , each end surface has a projective structure since a developing ...
DAVID's user avatar
  • 165
5 votes
0 answers
421 views

Dual of a weighted projective space

I have a fairly good understanding of what the dual of a projective space is. I am currently interested in weighted projective space but I haven't found anything on the construction of its dual space ...
Kimra's user avatar
  • 131
4 votes
2 answers
717 views

A Problem about affine transformation

Problem: Suppose that $f:\;\mathbb{R}^2\to\mathbb{R}^2$ is an injective mapping from the 2-dimensional Euclidean plane into itself which maps lines into (instead of onto) lines and whose range ...
4 votes
1 answer
661 views

Independent generic/general points over some prime field

The first paragraph of this question shows the construction of the first counter example to Hilbert's 14th Problem. There, we start from a prime field $P$ of arbitrary characteristic, i.e., $P=\Bbb Q$ ...
InvisiblePanda's user avatar
3 votes
2 answers
462 views

What is the ideal corresponding to the Plücker embedding?

Let $S$ be a noetherian scheme, $\mathcal{E}$ a quasi-coherent sheaf on $S$ and let $d \in \mathbb{N}$. There is a Plücker embedding $\omega : \mathrm{Grass}_d(\mathcal{E}) \hookrightarrow \mathbb{P}(\...
Martin Brandenburg's user avatar
1 vote
1 answer
546 views

finite surjective morphism to the projective line

Let X a smooth projective curve over $\mathbb{C}$. We fix $d$ distinct closed points $x_{1},\dots,x_{d}$. Can we find a finite surjective morphism $\pi:X\rightarrow\mathbb{P}^{1}$ and local ...
prochet's user avatar
  • 3,432
12 votes
1 answer
934 views

Is Wikipedia correct about desarguesian projective planes being self-dual?

I stumbled over a statement on Wikipedia http://en.wikipedia.org/wiki/Duality_%28projective_geometry%29 and would like to ask how this could possibly be true. It states the following The projective ...
E. Vargas's user avatar
  • 188
4 votes
1 answer
425 views

(3,3) abelian surface and k3 surfaces

SOrry for the very specific question, but curiosity bites.... So here's the story: an idecomposable principally polarized abelian surface is embedded in $P^8=|3\Theta |^* $ as a deg 18 surface A. ...
IMeasy's user avatar
  • 3,717
3 votes
1 answer
403 views

octic K3s inside cubic 4-folds

From the Thesis of B.Hassett I seem to understand that a smooth cubic 4-fold $X$ containing a $\mathbb{P}^2$ should contain also a octic K3, but I cannot see a natural way by which this K3 octic could ...
IMeasy's user avatar
  • 3,717
22 votes
6 answers
2k views

Does every ellipse inside a tetrahedron inside a ball fit in a triangle inside the ball?

In three-dimensional euclidean space, consider the closed unit ball $B$. Let $T$ be a tetrahedron, and $E$ an ellipse, with $E \subset T \subset B$. Does there necessarily exist a triangle $T'$ with $...
Matt Pusey's user avatar
1 vote
0 answers
180 views

Fields over which cubic hypersurfaces are rational

All cubic hypersurfaces having at least one double point are birational to some $P^n$ over an algebraically closed field. How does the statement change as I pass to non alg closed fields? Does it hold ...
IMeasy's user avatar
  • 3,717
0 votes
1 answer
311 views

complement of a codimension-one projective subspace

The complement of a codimension-one projective subspace of $\mathbb{R}\mathbf{P}^{3}$ is identifiable in a geodesic structure preserving manner with an affine $3$-space so that the group of projective ...
DAVID's user avatar
  • 165
6 votes
0 answers
1k views

What is projective duality from modern point of view ? (correspondence ? Fourier on D-mod ? Aut of D(Coh) ?)

Consider vector space $V$ and its dual $V^*$ then to any line subspace in $V$ one can correspond its kernel in $V^*$ which is hyperplane. Projective duality states that this correspondence satisfies ...
Alexander Chervov's user avatar
0 votes
0 answers
195 views

lefschetz theorem for quadrics

Does there exist an analogue of Lefschetz Hyperplane Theorem for cohomology that holds for intersections with (smooth) quadrics?
IMeasy's user avatar
  • 3,717
4 votes
2 answers
920 views

How do I find the set of all lines lying on a general quadric in $\mathbb{CP}^3$?

I have heard that this set is the disjoint union of two conics in $Gr(2,4)$, but I do not have an original reference. Does anyone either have such a reference, or know a way of seeing this?
Kevin O'Neill's user avatar
7 votes
3 answers
1k views

When does a planar ternary ring uniquely coordinitise a projective plane?

From every projective plane a coordinitisation can be constructed on a planar ternary ring, and conversely from every planar ternary ring a projective plane can be constructed. (For background see ...
bearded_pard's user avatar
3 votes
0 answers
461 views

Galois group decomposition of non-cyclic covers

If $\pi: C \rightarrow \mathbb{P}^{1}$ is a cyclic cover of $\mathbb{P}^{1}$ with Galois group $\mathbb{Z}/m \mathbb{Z}$ and thus with the (affine) formula $y^{m}= (x_{1}-a_{1})^{t_{1}}....(x_{n}-a_{...
Jack's user avatar
  • 637
2 votes
3 answers
409 views

Equations for abelian coverings of $\mathbb{P^{1}}$

Cyclic coverings of $\mathbb{P^{1}}$ have a simple (affine) equation, namely the formula, $y^{m}= (x_{1}-a_{1})^{t_{1}}....(x_{n}-a_{n})^{t_{n}}$. Is there such a nice equation for abelian non-cyclic ...
Jack's user avatar
  • 637
0 votes
0 answers
514 views

Projective spaces with nonconstant regular functions

I can construct a scheme by patching that represents a projective space over an arbitrary ring. I can also prove that, if the ring is a Jacobson domain, the only regular functions on it are constants. ...
Justin Smith's user avatar
2 votes
0 answers
360 views

What is the Birkhoff norm of a Perron vector?

Let $A$ be a positive matrix. What is known about the Birkhoff norm of its Perron vector? By the Birkhoff norm of a vector $x$ I refer to the quantity $\frac{\max{x}}{\min{x}}$. P.S. This is ...
Felix Goldberg's user avatar
2 votes
2 answers
549 views

Mapping multivariate polynomial inequalities system to subspace

What I will ask, more than a solution, is better mathematical definition of my problem and directions to find the solution. I have a set of linear equations, e.g.: \begin{align} d_1 &= L_1 - 9\,...
Cristóvão D. Sousa's user avatar
6 votes
2 answers
3k views

Geometric interpretation of the exact sequence for the cotangent bundle of the projective space

Edit: As Dan Petersen pointed out, this question is a duplicate of a previous one. I would leave it for the moderators to decide if this should be closed. On the other hand, may be this should be ...
pinaki's user avatar
  • 5,064
1 vote
0 answers
94 views

invariant lines avoiding fixed subvarieties

Could anybody help me with the following question ? Assume we are given: (1) a finite order (linear) automorphism $g$ of the complex projective space $\mathbb{P}^r$, (2) a closed algebraic ...
reference's user avatar
5 votes
2 answers
586 views

Basics(?) about quasi-coherent modules on projective schemes

EDIT. (05-04-12) I have revised and improved the questions. Let $A$ be a commutative $\mathbb{N}$-graded $R$-algebra, which is finitely generated by $A_1$ as an $A_0$-algebra. You may also assume ...
Martin Brandenburg's user avatar
5 votes
3 answers
2k views

(Second) Chern class of projective space, blown up in a linear subvariety

I already asked the same question at stack exchange but got no response for quite a while, so I thought I'd ask here. I also know that this has a certain resemblance to this question, but I cannot ...
Jesko Hüttenhain's user avatar
1 vote
1 answer
315 views

In what sense is a generically submersive morphism of varieties subermersive over singular points?

Background/Motivation I'm currently interested in the duality theorem for projective varieties and more specifically in properties of the conormal variety over the dual variety. Let $V$ be a $k$-...
Rainer Sinn's user avatar

1
9 10
11
12 13