All Questions
8,187 questions with no upvoted or accepted answers
18
votes
0
answers
864
views
Are these local systems on $\mathscr{M}_{g,1}$ motivic?
Let $(\Sigma_g, x)$ be a pointed topological surface of genus $g$, and let $MCG(g,1)$ be the mapping class group of this pointed surface. Then $MCG(g,1)$ has a natural action on $\pi_1(\Sigma_g, x)$ $$...
- 23k
18
votes
0
answers
549
views
Donaldson-Thomas Theory and "Quantum Foam" for Mathematicians
Let $X$ be a smooth, projective Calabi-Yau threefold. From an algebro-geometric perspective, the Donaldson-Thomas invariants $\text{DT}_{\beta, n}(X)$ are virtual counts of ideal sheaves on $X$ with ...
- 1,701
18
votes
0
answers
740
views
Infinite extensions such that every elliptic curve has finite rank
The comments to this answer seem to make the following claim.
Claim. Let $K$ be the maximal abelian extension of $\mathbf Q$ that is unramified away from $p$ (more generally, away from a finite set $S$...
- 28.7k
18
votes
0
answers
496
views
What is the logical complexity of the Hodge conjecture?
The Hodge conjecture seems to me the most mysterious among the Millennium problems
(and many others). In particular, I am not sure about its logical complexity. It is not difficult to see that the ...
- 6,891
18
votes
0
answers
579
views
What is the geometric intuition behind Wilf-Zeilberger theory?
This problem is somehow inspired by a bunch of impressive posts of combinatorial identities by T. Amdeberhan. Earlier this month I learnt from computer scientists that they have a generic algorithmic ...
- 8,071
18
votes
0
answers
511
views
Does the "holomorphic spheres-to-continuous spheres" forgetful function respect the mixed Hodge structures on homotopy groups?
For each smooth, projective, complex variety $X$ that is simply connected, John Morgan constructed a natural mixed Hodge structure on the homotopy group $\pi_k(X,x)\otimes \mathbb{Q}$. This was ...
- 4,111
18
votes
0
answers
2k
views
History of the functor of points
Until now, I thought the functor of points approach was introduced by Grothendieck at the 1973 Buffalo seminar.
However, in this note by Lawvere the author writes:
"I myself had learned the ...
- 10.5k
18
votes
0
answers
2k
views
Etale Slice Theorem
I found the Luna's Slice Theorem very Technical. It will be helpful if someone illustrates the geometry involved in the theorem. Also why this theorem so useful?
This is Luna's Slice theorem from a ...
- 290
18
votes
0
answers
684
views
Smooth curves on smooth varieties
Let $X$ be a smooth, proper algebraic variety over a field $k$, of positive dimension.
Is it true that $X$ contains a smooth Zariski-closed curve?
If it is projective, this is true by Bertini. But ...
- 1,584
18
votes
0
answers
832
views
Horrible sets and blowups in Hubbard's Teichmuller theory
Edit: I can rephrase this question this way: When blowing up every point in the $x$-axis in $\mathbb{C}^2$ by means of an inverse limit of finite blowups, how can anything be 'left over'? The horrible ...
- 3,359
17
votes
0
answers
402
views
Number of $F_p$-matrices ac=ca, bd = db , ad - da = cb - bc is polynomial in p ? ("Manin matrix variety" - normal ? Cohen–Macaulay ? )
Consider four $n\times n$ matrices $a,b,c,d$ over finite field $F_q$ (or $F_p$ for simplicity), such that they satisfy three equations: $ac=ca,bd=db, ad-da=cb-bc $. Thus an affine algebraic manifold ...
- 24.9k
17
votes
0
answers
1k
views
Symmetries of local systems on the punctured sphere
Let $X=S^2\setminus D$, for $D\subset S^2$ some finite set of points, say with $|D|=n\geq 1$. The category of locally constant sheaves of $\mathbb{C}$-vector spaces on $X$ (equivalently, complex ...
- 23k
17
votes
0
answers
626
views
Which rings are cohomology rings?
Which rings can arise as cohomology rings of algebraic varieties?
To be more specific, take a Weil cohomology theory $H^*$ with coefficients in a field $K$ of characteristic 0 defined for smooth ...
- 171
17
votes
0
answers
770
views
What are hyperkähler metrics used for?
It seems that a lot of effort has been devoted to endow holomorphic-symplectic manifolds with hyperkähler metrics. It started with Calabi [4] with $T^*\mathbb{CP}^n$. Other examples include coadjoint ...
- 179
17
votes
0
answers
705
views
When is the determinant an $8$-th power?
I am working over $\mathbb{R}$ (though most of the story goes over any field). I am looking for linear spaces of matrices such that the restriction of the determinant to this spaces can be written (...
- 7,300
17
votes
0
answers
604
views
Trying to reconcile two facts about the Appell-Lerch sum learned from Polishchuk and Zwegers
One of the key characters in the thesis of Zwegers is the modular correction $\tilde\mu(u,v;\tau)=\mu(u,v;\tau)+\frac i2R(u-v;\tau)$ of the Lerch sum $\mu(u,v;\tau)=\frac{e^{\pi i u}}{\vartheta(v;\tau)...
- 18.4k
17
votes
0
answers
674
views
The topos for forcing in computability theory
My understanding is that forcing (such as Cohen forcing) can be described via a topos. For example this nlab article on forcing describes forcing as a "the topos of sheaves on a suitable site."
My ...
- 6,287
17
votes
0
answers
1k
views
What is the expected dimension of the Zariski closure of the rational points on the moduli space of curves?
For each genus $g$, there are many curves of genus $g$ defined over $\mathbb Q$. How many? We might study this question by considering the rational points of the Deligne-Mumford moduli space of curves ...
- 149k
17
votes
0
answers
1k
views
Katz--Mazur for abelian varieties
Over $\mathbb Z$, there is a smooth DM stack $A_g$ classifying abelian varieties.
Over $\mathbb Z[\frac 1N]$, there is finite etale cover $A_g(N)_{\mathbb Z[\frac 1N]}\to A_g\otimes\mathbb Z[\frac 1N]...
- 18.7k
17
votes
0
answers
553
views
Lie algebras vs. graph complexes
A ribbon graph is a graph in which every vertex has valence at least three and is equipped with a cyclic ordering of its adjacent half edges. The ribbon graph complex $\mathcal{G}_*$ is the chain ...
- 2,035
17
votes
0
answers
953
views
A functor of points approach to Berkovich analytic spaces
Is it possible to define a Berkovich analytic space via its functor of points?
Let $k$ be a complete non-Archimedean field, possibly the trivial one. I am tempted to define a Berkovich analytic space ...
- 171
17
votes
0
answers
612
views
The Grothendieck Ring of Higher Stacks
The Grothendieck ring of varieties is defined to be the free abelian group spanned by isomorphism classes of varieties modulo the cut & paste (or scissor) relations, which say that $[X] = [U] + [Y]...
- 1,273
17
votes
0
answers
1k
views
Vector Bundles on the Moduli Stack of Elliptic Curves
As is well known, there is classification of line bundles on the moduli stack of elliptic curves over a nearly arbitrary base scheme in the paper The Picard group of $M_{1,1}$ by Fulton and Olsson: ...
- 12.1k
16
votes
0
answers
519
views
Gabriel's theorem for complex analytic spaces
Let $X,Y$ be noetherian schemes over $\mathbb{C}$.
Then, it is known that
$$
\text{Coh}(X) \simeq \text{Coh}(Y) \Rightarrow X \simeq Y,
$$
by P. Gabriel(1962).
Are there some results in the case of ...
- 889
16
votes
0
answers
1k
views
Finiteness for motivic local systems
Let $X$ be a smooth proper algebraic curve over $\mathbb{C}$. Say a complex local system $\mathbb{V}$ on $X$ is motivic if there exists a dense Zariski-open subset $U\subset X$, and a smooth proper ...
- 23k
16
votes
0
answers
437
views
Can non-reduced fibers appear over a subset of codimension $\geq 2$?
I already asked this on math.stackexchange.com, but didn't receive an answer.
Suppose $f: X \to Y$ is a (possibly proper) morphism of complex manifolds (resp. smooth varieties) such that all fibers of ...
- 1,286
16
votes
0
answers
475
views
Progess on a Problem/Conjecture of Sullivan?
In Sullivan's postscript to his MIT notes https://www.maths.ed.ac.uk/~v1ranick/surgery/gtop.pdf he describes some problems and conjectures, where Problem 4 is: "Analyze the action of Gal($\...
- 3,799
16
votes
0
answers
274
views
Why should an abelian variety with few places of bad reduction and a lot of endomorphisms not have many points?
In the paper "Points of Order 13 on Elliptic Curves" by Mazur-Tate, they say in the introduction:
It seemed ... that if such an abelian variety $J$, which has bad reduction at only one ...
- 7,746
16
votes
0
answers
400
views
Quadratic non-residues in elliptic divisibility sequences
Let $E: y^2 = x^3 + ax + b$ be an elliptic curve over $\mathbb{Q}$ with $a,b \in \mathbb{Z}$. Recall that any rational point $P = (x,y)$ can be written uniquely as $P = (u/d^2, v/d^3)$ with $u,v,d \in ...
- 21.4k
16
votes
1
answer
688
views
Approximating zero sets of real polynomials with "less complicated" polynomials
Let $K \subset \mathbb{R}^n$ be a compact subset, and let $P(x_1,\dots,x_n)$ be a real multivariable polynomial of degree $d$, whose vanishing set we denote by $Z_P$. Is it plausible to approximate $...
- 1,407
16
votes
0
answers
315
views
A question on surfaces in $\mathbb{P}^4$
On surfaces in $\mathbb P^4$,Ellingsrud and Peskine has proved that
There exists an integer $d_0$ such that for any integer $d>d_0$,any smooth surface of degree $d$ in $\mathbb P^4$ is of ...
- 271
16
votes
0
answers
532
views
Are there smooth and proper schemes over $\mathbb Z$ whose cohomology is not of Tate type
Is there an example of smooth and proper scheme $X \to \mathrm{Spec}(\mathbb Z)$, and an integer $i$ such that $H^i(X, \mathbb Q)$ is not a Hodge structure of Tate type?
Alternatively: such that $H^...
- 171
16
votes
0
answers
591
views
Are there any examples of hyperbolic curves over finite fields such that the action of frobenius on its prime-to-$p$ fundamental group is known?
Let $X$ smooth curve over a finite field $\mathbb{F}_q$ of type $(g,n)$ - that is, $X$ is an open subscheme of its genus $g$ compactification obtained by removing $n$ points.
Any such curve ...
- 10.7k
16
votes
0
answers
591
views
Lifting DG-categories to characteristic zero
The question of lifting (smooth projective) varieties from an algebraically closed field $k$ of characteristic $p$ to characteristic zero (i.e., to the Witt vectors $W(k)$) is a classical one. It's ...
- 25.6k
16
votes
0
answers
664
views
real algebraic geometry software?
Does anyone have suggestions/experience for any software packages to study real algebraic varieties (for example, counting connected components of hypersurfaces, figuring out the topological type of ...
- 96.4k
16
votes
0
answers
878
views
What is the maximal Picard number of a surface in P^3?
Let $X$ be a nonsingular surface in $P^3$ of degree $d$. Then the Picard number does not exceed $h^{1,1}\approx 2/3 d^3$, whereas the maximal number attained that I know is that of a Fermat surface, ...
- 4,959
16
votes
0
answers
879
views
L-Functions of Varieties, Zeta Functions of Their Models
Let $k$ denote a number field, with algebraic closure $\bar{k}$. Take a smooth, projective variety $X$ over $k$. If $\mathfrak{p}$ is a prime of $k$, and $l$ is a rational prime different to the ...
- 643
16
votes
0
answers
2k
views
Grothendieck 's question - any update?
This question is migrated from math.stackexchange. I ask because it is still unclear to me and I did not receive an answer.
I was reading Barry Mazur's biography and come across this part:
...
- 6,259
16
votes
0
answers
546
views
What can be the dimension of a pointless smooth proper Z-scheme?
What is the smallest dimension $d$ such that there is a smooth proper morphism $X \to \operatorname{Spec} \mathbb Z$ of relative dimension $d$, with $X$ nonempty, without a section?
Of course, there ...
- 149k
16
votes
0
answers
1k
views
Homology classes of subvarieties of toric varieties
Let $X$ be a smooth proper toric variety, $Z\subseteq X$ a smooth subvariety.
Is the fundamental class $[Z] \in H_\ast(X) = A_\ast(X)$ nonzero?
Background
If $X$ is a Kaehler variety, this is of ...
- 16.2k
16
votes
0
answers
4k
views
Sheaf cohomology and inverse limits
In proving the formal function theorem, Grothendieck uses a rather technical lemma in EGA 0-III.13:
Lemma: Let $\mathcal{F}_n$ be an inverse system of sheaves on a space $X$ with surjective ...
- 25.6k
16
votes
0
answers
530
views
Comparing the Kazhdan-Lusztig and Steinberg pre-orders
Both Kazhdan-Lusztig and Steinberg have defined pairs of preorders on $S_n$. Kazhdan and Lusztig's preorders come from their basis:
We write $x\leq_L y$ if any left ideal spanned by K-L basis ...
- 44.7k
16
votes
0
answers
605
views
Division fields of abelian varieties over function fields
Let $k$ be a finitely generated field (for example a finite field or a number field) and $K/k$ a finitely generated regular extension with $trdeg(K/k)=1$. Let $A/K$ be a principally polarized abelian ...
- 1,673
16
votes
0
answers
2k
views
Can one compare integral structures on de Rham and crystalline cohomology?
Suppose $\mathfrak{X}$ is a smooth projective scheme of finite type over $\mathbb{Z}_p$, with generic fibre $X$. Then there are comparison theorems relating de Rham and crystalline cohomology,
$H^i_{\...
- 37k
16
votes
0
answers
3k
views
MNOP conjecture
Let $X$ be a smooth, projective, Calabi-Yau 3-fold (CY makes the exposition more elegant, I don't think it is necessary).
To define Gromov-Witten invariants, we consider moduli spaces of stable ...
- 2,218
15
votes
0
answers
2k
views
A question on Fargues-Scholze
As far as I understand it, the main goal of the recent work of Fargues and Scholze on the geometrization conjecture is to show that the local Langlands conjecture of a local field is equivalent to the ...
- 4,418
15
votes
0
answers
696
views
Full Exceptional Collection of Vector Bundles for Toric Varieties
Kawamata showed the derived category of coherent sheaves on a smooth projective toric variety has a full exceptional collection consisting of sheaves. I was wondering if it is know whether every ...
- 291
15
votes
0
answers
673
views
Exposition of Drinfeld's proof of function field Langlands for GL(2)
I know, or think I know, the vague outline of the proof: the Galois-to-automorphic direction is "classical," i.e. follows from converse theorems due to Grothendieck et al., and for the ...
- 311
15
votes
0
answers
284
views
Solution spaces of algebraic differential equations and derived geometry
We consider potentially non-linear differential equations on the formal one dimensional disc $\Delta$. Such equations are given by expressions $$P(z,f,f',f'',...)=0,$$ where $P$ is an element of the ...
user108998
15
votes
0
answers
439
views
Applications of the Weight Monodromy conjecture
I think of the Weight Monodromy conjecture as an analogue of the Weil conjectures in the case of bad reduction. The Weil conjectures of course have lots of applications, from point counting to ...
- 7,746