Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 88133

Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.

6 votes
1 answer
1k views

If some powers of polynomials are linearly independent, does it imply higher powers are also...

Let $P_1,\dotsc,P_k$ be polynomials. Assume they are pairwise non-proportional (i.e., any two of them are linearly independent). Suppose $N$ is a power such that $P_1^N,\dotsc,P_k^N$ are linearly inde …
7 votes
Accepted

Classification of curves whose tangent spaces are large

If $Z$ is a pure one-dimensional closed subscheme of degree $d$ in projective space, with $d$-dimensional tangent space at every closed point, then $Z$ is supported on a line. To see this, let $H$ be …
Zach Teitler's user avatar
  • 6,237
5 votes
Accepted

Ideals: If $\langle f_1,f_2 \rangle = \langle g_1,g_2 \rangle$, then $\langle f_1-\lambda,f_...

The answer to your questions is no. The ideals $\langle x, y(1-xy) \rangle$ and $\langle x, y \rangle$ are equal, and maximal; but $$ \langle x-\lambda, y(1-xy)\rangle \neq \langle x-\delta, y-\epsilo …
Zach Teitler's user avatar
  • 6,237
2 votes
Accepted

When a sum of the ideals is radical

(Adapting earlier comment into an answer.) Assume for simplicity that $X$ and $Y$ are irreducible, or in general take an irreducible component of each. Let $Z$ be an irreducible component of the inter …
Zach Teitler's user avatar
  • 6,237
7 votes
Accepted

Waring rank of monomials, and how it depends on the ground field

The answer to question 1 is affirmative. There are several lower bounds in various papers. I'll take the idea from https://arxiv.org/abs/1503.08253 (Buczyński and myself, "Some examples of forms of hi …
Zach Teitler's user avatar
  • 6,237
3 votes

There is a nice theory of quadratic forms. How about cubic forms, quartic forms, quintic for...

Here is an additional comment. Every homogeneous polynomial can be regarded as a symmetric tensor. Quadrics correspond to symmetric matrices; cubics correspond to order $3$ tensors; in general, a homo …
Zach Teitler's user avatar
  • 6,237
5 votes

Are "transverse" hyperplane sections of nondegenerate irreducible projectice varieties alway...

This is a bit of a folk theorem. Harris (Algebraic Geometry, Proposition 18.10 and Exercise 18.11) states it for general hyperplane sections, but actually proves it for all generically transverse hype …
Zach Teitler's user avatar
  • 6,237
2 votes
Accepted

Secant variety to a zero-dimensional projective variety

I believe this would be a dual arrangement of a star arrangement. A star arrangement is a union of subspaces defined as follows. Let $H_1,\dotsc,H_d$ be a collection of hyperplanes and fix an integer …
Zach Teitler's user avatar
  • 6,237
3 votes
Accepted

Is the pre-closure of the join of two projective varieties quasi-projective?

No. The pre-closure of the join of two irreducible projective varieties is NOT necessarily quasi-projective. Let $X$ be a smooth plane conic and let $Y$ be a single point of $X$. The pre-closure of th …
Zach Teitler's user avatar
  • 6,237
2 votes

supporting facts to fujita conjecture

The basepoint freeness part has been proved in dimension $5$ by Fei Ye and Zhixian Zhu, On Fujita's freeness conjecture in dimension $5$, Adv. Math., 2020 DOI:10.1016/j.aim.2020.107210, arXiv:1511.091 …
Zach Teitler's user avatar
  • 6,237
4 votes
Accepted

Configuration of points on a plane curve

A set of points in the plane is called a star configuration of type $\ell$ if it is the set of pairwise intersections of some $\ell$ lines, no three concurrent. If the lines are defined by $L_1,\dotsc …
Zach Teitler's user avatar
  • 6,237
8 votes
Accepted

Linear spaces secant to Veronese varieties

Here is an answer in terms of power sum decompositions of polynomials. A point $p \in \mathbb{P}^9$ corresponds to a homogeneous polynomial $P$ of degree $3$ in $3$ variable, defining a plane cubic. P …
Zach Teitler's user avatar
  • 6,237
6 votes
Accepted

Very general quartic hypersurface in $\mathbb{P}^3$ has Picard group $\mathbb{Z}$

That is the Noether-Lefschetz theorem. Searching online should find plenty of results in web pages and lecture notes. If you want a published source, how about: Mark Green, A new proof of the explicit …
Zach Teitler's user avatar
  • 6,237
9 votes
Accepted

A different notion of a decomposable symmetric tensor (besides Veronese)

Your $\vee$ is essentially multiplication of polynomials. The variety of tensors $x_1 \vee \dotsb \vee x_m$ corresponds to polynomials that factor as products of linear factors. Points of the (project …
Zach Teitler's user avatar
  • 6,237
4 votes
Accepted

Can the degree of an affine variety increase after intersecting with a hyperplane?

Yes, it is possible for the degree to increase. Say $V \subset \mathbb{C}^3$ is reducible: a union of a curve of degree $d$ plus one more point that doesn't lie on the curve. Then $V$ has degree $d$. …
Zach Teitler's user avatar
  • 6,237

15 30 50 per page