All Questions
8,187 questions with no upvoted or accepted answers
15
votes
0
answers
455
views
Grothendieck dessins d'enfants - current surveys or text you can recommend?
I was recommended this forum to be the leading site for algebraic geometry, so I would like to ask you a question about Grothendieck dessins d´enfants. My background is in maps on surfaces (graph ...
15
votes
0
answers
542
views
Applications of character sheaves
There are many important recent works (for example, by Lusztig, Bezrukavnikov-Finkelberg-Ostrik, Ben-Zvi-Nadler, Boyarchenko-Drinfeld, Lusztig-Yun, Vilonen-Xue) on character sheaves (which are certain ...
- 2,964
15
votes
0
answers
777
views
Fundamental group of formal punctured disc and punctured affine line
On a course that ended some time ago, I was handed the following problem:
Problem: Compute $\pi_1^{ét} (\mathbb{A}^1_{\mathbb C} \setminus \{ 0 \}, \overline x)$.
Hint: Find all finite ...
- 421
15
votes
0
answers
722
views
If a polynomial ring is a finite flat module over some subring, is that subring itself a polynomial ring?
A question motivated by If a polynomial ring is a free module over some subring, is that subring itself a polynomial ring? and If a polynomial ring is finite free over a subring, is the subring ...
- 6,622
15
votes
0
answers
666
views
Étale cohomology of varieties in positive characteristic via singular cohomology
Suppose $X$ is a smooth scheme, not necessarily projective, over $\mathbb{Z}[1/N]$ for some integer $N\neq 0$. I would like to understand the cohomology groups $H^i_{ét}(X_{\overline{\mathbb{F}}_p}, \...
- 666
15
votes
0
answers
500
views
Do we expect abelian varieties (and “Artin motives”) to generate the Grothendieck ring of varieties over a finite field?
The Tate conjecture implies that the category of motives over a finite field is generated (as tensor category) by the motives of abelian varieties and Artin motives. See [1] for details.
Let $K(\...
- 5,504
15
votes
0
answers
3k
views
What to expect from spectral algebraic geometry
So I've been trying to learn some derived algebraic geometry, and I've chosen to approach the subject from the perspective of spectral or "brave new" algebraic geometry. Without having to go through ...
- 3,019
15
votes
0
answers
1k
views
Topological description of a blow up of a manifold along a submanifold
There's a very nice topological description of blow ups of complex manifolds at a point as connected sum with projective space. The following is an attmept to understand whether there's a higher ...
- 7,799
15
votes
0
answers
370
views
Cohomology with compact support for determinant varieties
I wonder if anyone knows anything about the cohomology with compact supports for determinantal varieties, such as the varieties of $m \times n$ matrices of full rank.
- 151
15
votes
0
answers
2k
views
Inter-Universal Teichmuller Theory and the Field with One Element
The idea of the "field with one element", or $\mathbb{F}_{1}$, is supposed to allow us to do for number fields what we can do for function fields. Hence this idea often comes up regarding problems ...
- 3,309
15
votes
0
answers
404
views
Extending Kahler metric from a neighborhood of a divisor to the whole manifold
Let $X$ be a smooth complex projective variety with an ample line bundle $L$, and let $D\subset X$ be a smooth divisor. Suppose in an analytic neighborhood $U$ of $D$ there is a Kahler form $\omega$ ...
- 14.3k
15
votes
0
answers
599
views
Open conjectures on the Fukaya category coming from physics
This is a slightly vague question (for which I apologize in advance): can somebody give examples to open conjectures on the behavior of the $Fuk(M,\omega)$ that come from string theory and can be ...
- 1,981
15
votes
0
answers
1k
views
reference - Grothendieck on Thurston's work
In his 'dernières' years Grothendieck gets "interested" in Thurston's work.
"[...] je me suis intéressé ces dernières années - la géométrie hyperbolique à la Thurston et ses relations au groupe de ...
- 1,720
15
votes
0
answers
517
views
Zariski vs etale torsors over abelian varieties
Question. Let $A$ be an abelian variety (say, over the complex numbers), $G$ an algebraic group, $c$ a class in $H^1_{\rm et}(A, G)$. Denote the multiplication by $N$ map on A by $m_N:A\to A$. Does ...
- 16.2k
15
votes
0
answers
723
views
Solving polynomial systems with homotopy. Where is the bottleneck?
I have a polynomial system with $n+k$ unknowns ($n+k$ can be greater than 8), that is known to have a limited number of isolated solutions.
I want to solve this system numerically, but if I plug it ...
15
votes
0
answers
430
views
Counting abelian varieties over finite fields in a given isogeny class
Let $f(x) \in \mathbb Z[x]$ be a monic polynomial of degree $g$ with all roots having absolute value $\sqrt{q}$. How many principally polarized abelian varieties over $\mathbb F_q$ have $f(x)$ as the ...
- 149k
15
votes
0
answers
877
views
Chiral categories versus braided monoidal categories
Let $X$ be a curve over $\mathbf{C}$. As I understand from the 2008 Talbot notes, a chiral category on $X$ consists of a crystal of categories on the Ran space $\mathrm{Ran}(X)$ (see these notes of ...
- 25.6k
15
votes
0
answers
669
views
Is it possible to prove Mordell's conjecture geometrically?
Let $X/k$ be a smooth curve of genus $g>1$ over a number field $k$.
By the Faltings theorem (nee Mordell's conjecture), the set of $k$ - rational points
$X(k)$ is finite. Due to the Mordell-Weil ...
- 6,891
15
votes
0
answers
2k
views
Why was it so difficult to define the relative de Rham-Witt complex?
In Illusie's original article, the de Rham-Witt complex is defined for a smooth scheme over a perfect characteristic $p$ base $S$, without reference to $S$. Some 25 years later, Langer and Zink ...
- 16.2k
15
votes
0
answers
591
views
For how many primes does an elliptic curve over a totally imaginary field have supersingular reduction?
An elliptic curve over a finite field, $k$, of characteristic p is called supersingular if it has no $p$-torsion over $k^{\mathrm{alg}}$, or equivalently, if $\mathrm{End}(E)$ is an order in a ...
- 605
15
votes
0
answers
403
views
Does every Abelian variety have a finite resolution by Jacobians?
One knows that every Abelian variety is a quotient of a Jacobian. Does every Abelian variety have a finite resolution by Jacobians?
user19475
15
votes
0
answers
648
views
Are "fpqc algebraic spaces" algebraic spaces?
Suppose $F:Sch^\text{op}\to Set$ is a sheaf in the fpqc topology, has quasi-compact representable diagonal, and has an fpqc cover by a scheme. Must $F$ be an algebraic space? That is, must $F$ have an ...
- 24.1k
15
votes
0
answers
779
views
Lifting varieties from char. $p$ to char. 0 after alterations
The question is related to this MO question:
Lifting varieties to characteristic zero.
Let $X$ be a projective smooth variety over $k$ alg. closed field of char. $p.$ Does there always exist an ...
- 4,265
15
votes
0
answers
3k
views
Relative canonical divisors
Suppose that $X$ is a Gorenstein variety and that $\pi : Y \to X$ is a birational map of varieties with normal $Y$.
In this case the relative canonical divisor is defined to be $K_Y - \pi^*K_X$ (if ...
- 20.5k
15
votes
0
answers
885
views
How much has been written down about Deligne's geometric approach to the order formula for a finite group of Lie type?
This is a follow-up to a recent mathoverflow question
34387
about computing the orders of finite unitary groups and the comments made there.
Between 1955 (Chevalley's Tohoku paper) and 1968 (...
- 52.9k
14
votes
0
answers
603
views
Is the Zariski density proof of Cayley-Hamilton circular?
This old MO thread and its comments contains a discussion of the Zariski density proof of Cayley-Hamilton (I have also asked a separate question about the proof Victor gives in the comments here). ...
- 118k
14
votes
0
answers
362
views
Comparing algebraic and analytic spaces through the universal property of classifying topoi
$\newcommand\kAlg{k\mathrm{Alg}}\DeclareMathOperator\Zar{Zar}\newcommand\Mnf{\mathrm{Mnf}}$I apologize beforehand if my question is naïve. I must admit that I do not know much about analytic/smooth ...
- 775
14
votes
0
answers
434
views
Surprisingly only real points on intersection of certains quadrics
Let $G$ be a finite group and let $X_g$ be variables indexed by $G$. Consider the complex algebraic set defined by
\begin{align}
X_e &= 0\\
X_g &= X_{g^{-1}}\;\;\text{ for all }g\in G,\\
X_g &...
- 22.5k
14
votes
0
answers
821
views
What goes wrong with this alternate proof of Dirichlet's Theorem?
I had an idea for an alternate proof of Dirichlet's theorem, but something goes wrong. Dirichlet's theorem on primes in arithmetic progression says that for $ m,a \in \mathbb{N} $ which are ...
- 782
14
votes
0
answers
358
views
How do we deduce the Jacquet-Langlands correspondence from Fargues' two towers?
In trying to understand the geometric proof of the local-Langlands and Jacquet-Langlands correspondence which uses Fargues's two tower theorem, I am having trouble finding a nice source on this, and I ...
- 3,539
14
votes
0
answers
343
views
Do connected algebraic stacks have a smooth cover by a connected scheme?
An algebraic stack $X$ has an induced topological space $|X|$ given by equivalence classes of fields mapping to $X$ as outlined in the stacks project. If $|X|$ is connected, does that imply there ...
- 1,104
14
votes
0
answers
1k
views
Is there a slick proof of the fundamental theorem of dimension theory?
The fundamental theorem of dimension theory in commutative algebra states that given a module $M$ over a noetherian local ring $A$, we have $s(M)=\text{dim}(M)=d(M)$ (where $s(M)$ is the infimum of ...
- 1,514
14
votes
0
answers
884
views
On mixed $p$-adic Hodge theory
Does mixed $p$-adic Hodge theory exist? Can we extend the scope of comparison theorems using simplicial resolutions a la Deligne? Do we get 3 opposite filtrations as in classical mixed Hodge theory, ...
- 141
14
votes
0
answers
378
views
When is a map of topological spaces homotopy equivalent to an algebraic map?
My question is simple, but I don't expect there are any simple answers.
Let $X$ and $Y$ be a pair of schemes, and let $X(\mathbb{C})$ and $Y(\mathbb{C})$ denote their respective spaces complex points....
- 1,635
14
votes
0
answers
988
views
Witten zeta function v.s. Riemann zeta function
From a talk, we learned that
The symplectic volume of the space $M$ of gauge equivalence classes of flat G connections is given by the “Witten zeta function”:
where we sum over irreducible ...
- 10.5k
14
votes
0
answers
932
views
Relation between Igusa tower and $p$-adic modular forms
As the title suggests, my question is devoted to understand (and maybe get some good references) the relation between the Igusa tower for a modular curves and $p$, or maybe $T$-adic modular forms. I ...
- 445
14
votes
0
answers
1k
views
A slick proof (?) of Zariski-Nagata purity in characteristic $p$
I am trying to understand the MathSciNet review written by Mark Kisin of the paper "Almost etale extensions" of Faltings. There Kisin illustrates Faltings' approach to the almost purity theorem with ...
- 2,663
14
votes
0
answers
764
views
Gromov's quick "proof" of Lefchetz Hyperplane Theorem
I'd say I'm fairly comfortable with standard proofs of the Lefschetz Hyperplane theorem (e.g. lefschetz pencils, morse theory, etc.). However, in the first chapter of Gromov's Partial Differential ...
- 363
14
votes
0
answers
664
views
$\zeta(2n)$ and amoebas
Mikael Passare showed how to compute $\zeta(2)$ (How to compute $\sum 1/n^2$ by solving triangles) using the amoeba of $1 + z + w = 0$. Has this ever been generalized to higher zeta-values? How ...
- 22.8k
14
votes
0
answers
1k
views
Status of the "anabelian dream" ($\mathrm{dim} \leq 1$)
The anabelian conjectures for small dimensions have been known for quite some time. In full generality the results are:
Dimension 0. Finitely generated fields are anabelian (Pop)
Dimension 1. ...
- 17.6k
14
votes
0
answers
892
views
Local proof of Grothendieck-Riemann-Roch theorem
There is a theorem by Feigin and Tsygan(Theorem 1.3.3 here) which they call "Riemann-Roch" theorem.
Given a smooth morphism $f:S\to N$ of relative dimension $n$ and a vector bundle $E/S$ of ...
- 7,377
14
votes
0
answers
555
views
Vanishing of rigid cohomology for affine varieties
Let $k$ be a perfect field of positive characteristic and denote by $K$ the field of fractions of the ring of Witt vectors over $k$.
Question: If $X$ is an affine variety over $k$, do the rigid ...
- 141
14
votes
0
answers
581
views
If the anticanonical bundle is nef, must it have an effective multiple?
Let $X$ be a smooth projective variety and $K_X$ the canonical line bundle. If $K_X$ is nef, then the abundance conjecture predicts that it is semiample, so in particular a multiple $mK_X$ has many ...
- 2,976
14
votes
0
answers
556
views
Map of the Klein quartic from $CP^2$ to $R^3$
The Klein quartic $\mathcal{Q}$ is cut out of $\mathbb{CP}^2$ by the homogeneous equation $$x^3 y + y^3 z + z^3 x = 0.$$ It has 168 orientation preserving automorphisms and includes several copies of ...
- 1,916
14
votes
0
answers
562
views
Am I missing something about this notion of Mirror Symmetry for abelian varieties?
This is a continuation of my recent question: Mirror symmetry for polarized abelian surfaces and Shioda-Inose K3s.
In the comments of the question, I was directed to the paper http://arxiv.org/abs/...
- 6,290
14
votes
0
answers
709
views
Is Hironaka's example the only known deformation of Kähler manifolds with non-Kähler central fibre?
A well-known example in the deformation theory of compact complex manifolds is the one given by Hironaka in his 1962 paper An Example of a Non-Kählerian Complex-Analytic Deformation of Kählerian ...
- 19.3k
14
votes
0
answers
936
views
Degrees of maps from curves to $\mathbb P^1$
Let $a$ and $b$ be two relatively prime natural numbers. What is the largest number $c$ such that there is a curve with maps to $\mathbb P^1$ of degree $a$ and $b$ but no map to $\mathbb P^1$ of ...
- 149k
14
votes
0
answers
568
views
(When) is isomorphism on differentials enough to guarantee that a map is étale?
I'm sorry if this is too easy for MO.
Let $S$ be a locally noetherian scheme, flat over $\mathrm{Spec}\,\mathbb{Z}$, $X$ and $Y$ be flat $S$-schemes locally of finite presentation, and let $f:X\to Y$ ...
- 16.2k
14
votes
0
answers
577
views
State of the art of BPS and Donaldson-Thomas invariants for toric Calabi-Yau threefolds
I am trying to understand what has been done with regards to computing BPS invariants and Donaldson-Thomas type invariants of Calabi-Yau threefolds. To make the question more focused, let's say that I ...
- 509
14
votes
0
answers
1k
views
Lifting Abelian Varieties to p-adic fields
Assume I have an abelian variety $A$ over a finite field $k$ of characteristic $p$. Work of Norman and Oort (1980) says I can lift $A$ to an abelian variety $\mathscr{A}$ over some characteristic ...
- 1,453