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 51424

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

5 votes
0 answers
326 views

Do very general hypersurfaces contain smooth surfaces with $c_1^2>2c_2?$

Let $X$ be a very general hypersurface of degree $d$ in $\mathbb{P}^n.$ Does $X$ contain a smooth surface $S$ with $c_1(T_S)^2>2c_2(T_S)$? For $d<<\sqrt{n}$ the answer is yes, as $X$ will contain a p …
dhy's user avatar
  • 5,958
4 votes
0 answers
164 views

Asymptotically, how many deformation classes of Fano varieties are there?

By a result of Mori, we know that there are only finitely many deformation classes of dimension $n$ smooth projective Fano varieties, for any $n$. For curves we only have $\mathbb{P}^1$, while for sur …
dhy's user avatar
  • 5,958
12 votes
0 answers
338 views

Is there an odd degree unirational parametrization of a cubic threefold?

A cubic threefold is a smooth degree $3$ hypersurface in $\mathbb{P}^4$. Is there a cubic threefold $X$ over any field $k$ (possibly of positive characteristic) and an odd degree rational map $\mathbb …
dhy's user avatar
  • 5,958
7 votes
0 answers
295 views

Motivic structures on cohomology of function spaces between algebraic varieties

Let $X$ and $Y$ be two algebraic varieties over $\mathbb{C}$. I am interested in the cohomology of $\operatorname{Hom}(X_{top},Y_{top}),$ where I am taking homomorphisms between the underlying topolog …
dhy's user avatar
  • 5,958
6 votes
Accepted

Relation between flatness and integrability of an algebraic connection

(In characteristic zero) Flatness implies the other two definitions; integrability and formal lifting are very weak conditions (in fact if I haven't made a mistake I think this notion of integrability …
dhy's user avatar
  • 5,958
14 votes
1 answer
586 views

Bounds on Betti numbers of subvarieties?

Let's say I have a smooth irreducible subvariety $X$ of $\mathbb{CP}^n$ with some fixed Hilbert polynomial. What are the best bounds known for the sum of the Betti numbers of $X$? That such a bound ex …
dhy's user avatar
  • 5,958
14 votes

Regarding the irreducibility of certain varieties

No, take $f=b^4-a^3c$ and $g=ac^3.$ Now the variety $V(b^4-a^3c,y^2-ac^3)$ being reducible is equivalent to the ideal $(b^4-a^3c,y^2-ac^3)$ being prime. But we have $(ya-b^2c)(ya+b^2c)=y^2a^2-b^4c^2=a …
dhy's user avatar
  • 5,958
5 votes

Thomason-Trobaugh Theorem

All perfect complexes on an open $U$ of a smooth variety $X$ extend to perfect complexes on $X$. In fact, I believe a much more general statement is true: For an open substack $U$ of a separated Noeth …
dhy's user avatar
  • 5,958
9 votes

What are advantages of chiral algebras over vertex algebras?

Some comments: It is not necessarily true that chiral algebras are essentially conformal vertex algebras, as chiral algebras are allowed to vary over the curve in a way that vertex algebras are not. …
dhy's user avatar
  • 5,958
6 votes
0 answers
461 views

Explicit computation of the cotangent complex in a non-lci case

Is there an example of a non-lci morphism $X\rightarrow Y$ for which the entire cotangent complex (or just Andre-Quillen cohomology) can be explicitly computed? I believe it is a theorem of Avramov th …
dhy's user avatar
  • 5,958
22 votes
Accepted

Which hypersurfaces in $\mathbb{P}^n$ are abelian varieties?

Really this is mostly just consolidating what has been (implicitly) said in the comments and cleaning it up a bit (e.g. using the Chow ring instead of singular cohomology), but might as well make it a …
dhy's user avatar
  • 5,958
7 votes
0 answers
289 views

Status of Haiman's conjectures on the Isospectral Hilbert Scheme for dim X>2?

Let $X$ be a variety of arbitrary dimension, let $H$ denote the main component of the Hilbert scheme of points of $X$ (i.e, the closure of locus of reduced subschemes), and let $Z$ be the reduced fibe …
dhy's user avatar
  • 5,958
11 votes

Beilinson-Drinfeld local geometric class field theory

As pointed out in the comments, this is Theorem 6.3.1.2 of Hilburn-Raskin. (It certainly was known much earlier, but I'm not sure what to give as a reference.) Their proof is stated quite elegantly, i …
dhy's user avatar
  • 5,958
35 votes
Accepted

IMO 2017/6 via arithmetic geometry

The set $S$ gives rise to a subscheme (which let's also denote by $S$) of $\mathbb{P}^1_{\mathbb{Z}},$ because relatively a prime pair $(x,y)$ corresponds to a section of $\mathbb{P}^1_{\mathbb{Z}}\ri …
dhy's user avatar
  • 5,958
12 votes
0 answers
282 views

Statistics for rational points on curves of genus $g$ over $\mathbb{F}_q$, $g\gg q$

Consider the distribution of the number of $\mathbb{F}_q$ points as I range over smooth projective curves of genus $g$ (defined over $\mathbb{F}_q$). If $q\gg g,$ the Hasse-Weil bounds give me a lot o …
dhy's user avatar
  • 5,958

15 30 50 per page