The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
86 views

Independent Generic Curves in the Projective Plane

I'm trying to read M. Nagata's paper On the Fourteenth Problem of Hilbert and I've run into some trouble understanding the definitions he's using. The setup is as follows: let $\pi$ be a prime field ...
-2
votes
0answers
20 views

projection of point, Coordinates [closed]

Please see the link below http://mathworld.wolfram.com/Point-LineDistance3-Dimensional.html I can get 'd' from the above link How about getting the intersection point? Do we have any relation for ...
1
vote
1answer
134 views

Morphisms contracting a family of curves

Let $f:X\rightarrow Y$ be a morphism of normal projective varieties. Let $S\subseteq X$ be a surface admitting a morphism $g:S\rightarrow C$ to a curve $C$ such that any fiber of $g$ is a curve. ...
4
votes
3answers
785 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 ...
5
votes
1answer
251 views

What criteria are 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 ...
1
vote
0answers
74 views

dimension of singular locus and complete intersection of a hypersurface

Let $X$ be a reduced projective hypersurface over a field $k$, which is defined by the homogeneous equation $f(T_0,\ldots,T_n)=0$. If the dimension of the singular locus of $X$ is $s$, $0\leq s\leq ...
4
votes
0answers
100 views

Infinitesimal deformations of a singular projective surface

Let $X$ be a normal projective surface with just two singular points $x_1,x_2\in X$, where $X$ has rational quotient singularities. Assume that both the singularities in $x_1$ and in $x_2$ admit a ...
1
vote
1answer
190 views

A $d$-form on ${\mathbb R}^n$ that vanishes on $\binom{d+n-1}{n-1}$ general points, vanishes identically

I'm looking for a reference for the fact that a $d$-form on ${\mathbb R}^n$ that vanishes on $p_1,..,p_{\binom{d+n-1}{n-1}}$ general points, vanishes identically. A specific construction of a set of ...
2
votes
1answer
196 views

Rational curves in projective spaces

Let $X\subset(\mathbb{P}^{N})^n$ be the variety defined as follows: $(p_1,...,p_n)\in (\mathbb{P}^{N})^n$ such that there exists a rational curve $C$ of degree $d$ with $p_1,...,p_n\in C$. Is there a ...
1
vote
1answer
102 views

Schubert Polynomials for Complex Projective Space

The Borel picture of the cohomology ring of a flag variety gives a description as a coset space, without identifying any representatives for the classes. Lascoux and Schützenberger gave specific ...
2
votes
0answers
68 views

Rational curves through a fixed number of points

Let us fix two positive integers $d$, and $N$. Can we determine a third integer $n$ such that given $n$ general points $p_1,...,p_n\in\mathbb{P}^N$ there exists a unique rational curve of degree $d$ ...
6
votes
2answers
178 views

Singularities of Pfaffian hypersurfaces

Let $X\subset\mathbb{P}^4$ be an hypersurface of degree six given by the Pfaffian of a $6\times 6$ matrix $M$ whose entries are quadratic forms in the homogeneous coordinates of $\mathbb{P}^4$. I am ...
4
votes
2answers
199 views

Secant varieties of curves in $\mathbb{P}^4$

My question is motivated by the following simple observations. By a standard dimensions count in $\mathbb{P}^4$ there should not exist neither an hypersurface of degree $3$ with multiplicity $2$ in ...
5
votes
1answer
220 views

Looking for reference or proof to some facts stated on Anand Pillay's book

In my current work I am using facts 2.1.11 and 2.1.12 from Anand Pillay's book Geometric Stability Theory. The facts are stated as follows: Fact 2.1.11. Let $(S,\mbox{cl})$ be a locally ...
4
votes
2answers
307 views

Reference on the Veblen-Young characterization of projective spaces

Can someone point me to a modern treatment of the Veblen-Young characterization of projective spaces of dimension greater than $2$ as $P(V)$ for some vector space $V$? [Added: see here for a ...
3
votes
2answers
211 views

Upper bound on Betti numbers of an intersection of hypersurfaces (or quadrics)

I have a problem I have been stuck with since several weeks now, and yet I believe it should be easy to specialists. Let $k$ be an algebraically closed field, $m$ and $n$ two integers. Let ...
1
vote
1answer
109 views

When a collineation is a perspectivity?

Veblen & Young, in "projective geometry", vol. 1, section 105, use the following lemma: If a collineation between two intersecting planes in 3d projective space is such that any two corresponding ...
8
votes
1answer
298 views

Who first proved the fundamental theorem of projective geometry?

The following theorem is often called the fundamental theorem of projective geometry: Let $k$ be a field and let $n \geq 3$. Let $X$ be the partially ordered set of nonzero proper subspaces of ...
7
votes
1answer
252 views

A geometric construction of the complex projective plane?

The paper Kötter's synthetic geometry of algebraic curves, (N. Fraser, Proceedings of the Edinburgh Mathematical Society 7, 46–61, 1888) opens with a sketch of what appears to be a synthetic ...
6
votes
2answers
303 views

Will (general points + small number of arbitrary points) impose independent condtions on plane curves?

It is well known that imposing vanishing at general points of $\mathbb P^2$ gives independent conditions on curves of degree $d$. Also, it is known that a small number ($\le d+1$) points always impose ...
9
votes
2answers
222 views

Embedding $\mathrm{PGL}(n,q^h)$ in $\mathrm{PGL}(nh,q)$

It is not very hard to see that for each prime power $q$ and natural numbers $n,h$, we have an embedding $$\iota \colon \mathrm{GL}(n,q^h) \hookrightarrow \mathrm{GL}(nh, q),$$ obtained by choosing a ...
5
votes
1answer
140 views

Synthetic projective definition of cubic curves

In a synthetic (Pappian) projective plane, one can define a conic in various clever ways not referring to coordinates. For instance, if $f$ is a projectivity from the pencil of lines through a point ...
6
votes
0answers
92 views

The Maximum Number of Lines Contained in the Point Set of a Finite Projective Plane

Consider a finite projective plane of order $q$. Define $f(m)$ to be the maximum number of lines completely contained in any point set of size $m$, where $1 \leq m \leq q^2+q+1$. I would like to ...
3
votes
3answers
266 views

Reference request about the representations of the group $PSL_2(\mathbb{F}_q)$

Is there a review/exposition of the representation theory of $PSL_2(\mathbb{F}_q)$ ? Like an enumeration of its irreducible representations and their dimensions as a function of $q$?
4
votes
0answers
78 views

How many subspaces are generated by three or more subspaces in a Hilbert space?

In the book of G. D. Birkhoff "lattice theory", it is mentioned that there are 28 subspaces that can be obtained from three subspaces in general position in a Hilbert space (using intersections and ...
9
votes
2answers
273 views

Fibrations of projective varieties

Let $f:X\rightarrow Y$ be a flat morphism of normal projective varieties with fibers of positive dimension (in particular all the fibers are connected and of the same dimension). Let $g:X\rightarrow ...
9
votes
9answers
3k views

What is the exact statement of “there are 27 lines on a cubic”?

I think there was a theorem, like every cubic hypersurface in $\mathbb P^3$ has 27 lines on it. What is the exact statement and details?
0
votes
0answers
35 views

Pascal and Brianchon's theorems generalized for hyperbolic paraboloid

I know that giving a general version of these two theorems for quadrics can be quite tricky, but if we restrict ourselves to a verssion that holds for the hyperbolic paraboloid only it should be ...
2
votes
0answers
100 views

Blow-up of the diagonal

Let $\Delta$ be the small diagonal in $\mathbb{P}^1\times \mathbb{P}^1\times \mathbb{P}^1$, and let $X$ be the blow-up of $\mathbb{P}^1\times \mathbb{P}^1\times \mathbb{P}^1$ along $\Delta$ with ...
8
votes
1answer
328 views

Blowing-up a point in the singular locus

Let $X\subset\mathbb{P}^n$ be a variety singular along a smooth subvariety $Z\subset X$ of positive dimension. Let us assume that $X$ has ordinary singularities along $Z$. Now, let $\pi:Y\rightarrow ...
1
vote
1answer
178 views

Creating a Latin rectangle from a projective plane

Given a projective plane I'd like to form a latin rectangle from the lines. In particular, I'd like to take each line from the plane, order the elements in some way, and stick them into the matrix as ...
1
vote
1answer
152 views

Special linear sections of a hypersurface

We discuss on the field of complex numbers. Let $X$ be a smooth projective hypersurface of dimension $n \geq 4$ in $\mathbb{P}^{n+1}(\mathbb{C})$. Assume that for a general point $x \in X$, there ...
1
vote
0answers
103 views

Is there a projective metric on a projective space induced by a p-norm?

A projective metric on a projective space is a metric on the underlying set such that shortest path with respect to this metric are parts of entire projective straight lines. The 2-norm induces the ...
27
votes
2answers
2k views

Projective Plane of Order 12

I asked this question on the new Theoretical Computer Science "overflow" site, and commenters suggested I ask it here. That question is here, and it contains additional links, which I doubt I can ...
3
votes
2answers
219 views

A question on the effective cone

Let $X$ be a projective variety and $G$ a finite group acting on $X$. We consider the quotient $\pi:X\rightarrow Y :=X/G$. I'm interested in the relation between $Eff(X)$ and $Eff(Y)$. In ...
1
vote
0answers
66 views

Higher entry loci

Let $X\subset\mathbb{P}^n$ be a projective variety, and let $p\in\mathbb{P}^n$ be a general point. The secant cone $C_p(X)$ relative to $p$ is the union of all the secant line of $X$ through $p$. The ...
2
votes
1answer
321 views

A question about an intersection number

Let $\pi:Y\rightarrow \mathbb{P}^3$ be the blow-up of two points $p,q\in\mathbb{P}^3$, and then of the strict transform of the line $L$ spanned by them. Now, Let $E_p,E_q, E_{p,q}$ be respectively the ...
0
votes
0answers
167 views

projective map from $\overline{\mathcal{M}}_{0,n}$

Suppose I have a morphism $f:\overline{\mathcal{M}}_{0,n} \to \mathbb{P}^N$ birational onto its image, and I know exactly what $F$-curves are contracted (or "dually", what divisors are contracted). ...
2
votes
0answers
263 views

Enumerating certain types of permutation polynomials

Given a prime power $q$, I would like to enumerate (preferably up to isomorphism*) all the permutation polynomials $f(x)$ on $K = GF(q^3)$ satisfying the following conditions: $f(ax) = af(x)$ for ...
0
votes
0answers
88 views

Why is the set of geometrically irreducible curves of degree d in P^2 open in P^((d+2 2)-1)?

Let $X$ be a $k$-scheme. We say that $X$ is geometrically irreducible if $X\times_k \mathrm{spec}{K}$ is irreducible for all algebraically closed extensions $K$ of $k$. Ravi Vakil states in his ...
6
votes
1answer
112 views

Measuring how closely a missing projective plane can be approached by an equivalent structure

It is well known that for a number of structures, their existence is equivalent to the existence of a projective plane for a given order. Some of them depend on more than one parameters, which means ...
10
votes
2answers
369 views

Blow-ups of $\mathbb{P}^{n-3}$ and $(\mathbb{P}^1)^{n-3}$

Let us consider the points $$p_1=[1:0:...:0],p_2 = [0:1:...:0],...,p_{n-2} =[0:...:0:1],\\ p_{n-1}=[1:1:...:1]\in\mathbb{P}^{n-3}$$ and the blow-up $X = Bl_{p_1,...,p_{n-1}}\mathbb{P}^{n-3}$. ...
6
votes
1answer
531 views

Bertini's Theorem

Let $p_1,...,p_n\in\mathbb{P}^{N}$ be general points. Consider the linear system $|L|$ of hypersurfaces of degree $d$ in $\mathbb{P}^{N}$ with prescribed multiplicities $m_1,...,m_n$ at $p_1,...,p_n$. ...
5
votes
2answers
359 views

Generalization of Pascal's Theorem to Higher Dimensions

Pascal's celebrated theorem in classical geometry gives a necessary and sufficient condition for the existence of a conic through six given points in the plane. Does there exists a similar statement ...
3
votes
2answers
223 views

Standard plane Cremona transformation

Let us consider nine general points $p_1,...,p_9\in\mathbb{P}^2$ and the line $L = \left\langle p_1,p_2\right\rangle$. Take the standard Cremona $f_1$ centred in $p_3,p_4,p_5$, then $C_1 = f_1(L)$ is ...
1
vote
0answers
118 views

A question on the secondary fan

I am studying the secondary fan decomposition of the effective cone of a projective variety $X$. Let as assume that $X$ is a Mori Dream Space. As far as I understand passing from a cone of maximal ...
1
vote
1answer
88 views

Piercing of subspaces in a projective space?

The "piercing subspace" problem may be stated as follows: There are given several subspaces in a projective space, rather non-intersecting. Find an additional subspace of a prescribed dimension that ...
-1
votes
1answer
68 views

Equal-area projections of the hyperbolic plane [closed]

I'm aware of the projections of the hyperbolic plane at http://en.wikipedia.org/wiki/Hyperbolic_geometry#Models_of_the_hyperbolic_plane, but how would I project the hyperbolic plane onto a flat piece ...
11
votes
3answers
812 views

Natural examples of Reverse Mathematics outside classical analysis?

Harvey Friedman at the 1974 ICM motivated Reverse Mathematics by the following statement: When the theorem is proved from the right axioms, the axioms can be proved from the theorem. Reverse ...
1
vote
0answers
49 views

Projection from a polytope to an affine space

Let $P\subseteq \mathbf{R}^n$ be some polytope defined by an intersection of half spaces with corresponding hyperplanes $H_k$, and let $A\subseteq \mathbf{R}^n$ be some affine space, with $A\cap P ...