Questions tagged [ag.algebraic-geometry]

for questions on algebraic geometry, including algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.

Filter by
Sorted by
Tagged with
9
votes
5answers
2k views

Rational maps with all critical points fixed

What can be said about rational self-maps of $\mathbb P^1$ for which all critical points are also fixed points ? If all but one of the fixed points are critical, there is a characterization in http://...
5
votes
1answer
487 views

a general theory of configurations?

Once I found by accident an article by MacPherson: "Classical projective geometry and modular varieties", in "Algebraic analysis, geometry, and number theory" (Baltimore, MD, 1988), whose introduction ...
7
votes
3answers
2k views

Why is the Euler characteristic of powers of a line bundle a polynomial in the power?

Mumford's book Abelian Varieties asserts that for a line bundle L on a projective variety (if necessary, you can assume it is as nice as possible), the Euler characteristic $\chi(L^k)$ of tensor ...
5
votes
2answers
973 views

Higher vanishing cycles

The generalisation of the vanishing cycle formalism in SGA 7 is apparently since the 1970's an issue, Morava mentioned a connection with Bousfield localization. I find the Morava's remarks un-...
25
votes
7answers
4k views

Etale covers of the affine line

In characteristic p there are nontrivial etale covers of the affine line, such as those obtained by adjoining solutions to x^2 + x + f(t) = 0 for f(t) in k[t]. Using an etale cohomology computation ...
39
votes
1answer
16k views

What is inter-universal geometry?

I wonder what Mochizuki's inter-universal geometry and his generalisation of anabelian geometry is, e.g. why the ABC-conjecture involves nested inclusions of sets as hinted in the slides, or why such ...
5
votes
2answers
400 views

Algorithms for semistable reduction of families of curves

This is a somewhat vague question which came up MSRI a few days ago: Suppose I have a family of curves over a one dimensional base, given in a computationally explicit way. For example, maybe I have a ...
7
votes
2answers
678 views

Is there a version of the valuative criteria for separateness/properness for varieties?

What I had in mind was something like the following: X is separated/proper iff for all curves C and all maps f : C \ c -> X, f extends to C in at most/exactly one way. Is there a good reason why ...
13
votes
2answers
1k views

Bad Categorical Quotients

Let $G$ be an algebraic group acting on a scheme $X$. Then $f: X \to Y$ is called a categorical quotient if it is constant on $G$-orbits and every $X \to Z$ constant on $G$-orbits factors through it ...
14
votes
7answers
2k views

Examples of rational families of abelian varieties.

I'd like to know examples of non-trivial families of abelian varieties over rational bases (e.g. open subschemes of the projective line P^1). One can generate many examples as Jacobians of rational ...
10
votes
4answers
1k views

References for syntomic cohomology

Could anyone point to good readable references for learning about syntomic cohomology?
4
votes
4answers
1k views

When is a map given by a word surjective?

Let $w(x,y)$ be a word in $x$ and $y$. Let $x$ and $y$ now vary in $SL_n(K)$, where $K$ is a field. (Assume, if you wish, that $K$ is an algebraically complete field of characteristic bigger than a ...
31
votes
6answers
4k views

“Points” in algebraic geometry: Why shift from m-Spec to Spec?

Why were algebraic geometers in the 19th Century thinking of m-Spec as the set of points of an affine variety associated to the ring whereas, sometime in the middle of the 20 Century, people started ...
21
votes
4answers
2k views

algebraic group G vs. algebraic stack BG

I've gathered that it's "common knowledge" (at least among people who think about such things) that studying a (smooth) algebraic group G, as an algebraic group, is in some sense the same as studying ...
21
votes
6answers
2k views

Formal consequences of Riemann-Roch (multiple answers welcome)

This question aims to pin down what Riemann-Roch can tell us about a divisor on a curve, without any "geometric thinking". It can be annoying to wonder if there is some clever trick you're missing ...
7
votes
1answer
1k views

Mirror symmetry for noncompact Calabi-Yau manifolds

In analogy with the Hodge diagram for ordinary de Rham cohomology, we should have some kind of diagram for Alexander-Spanier cohomology. Doing all the relevant duality stuff and assuming that now our ...
10
votes
2answers
1k views

Finiteness conditions on simplicial sheaves/presheaves

Could someone give an overview, or just some examples, of "finiteness conditions" for simplicial sheaves/presheaves and/or simplicial schemes? Any answer or comment about this would be interesting, ...
9
votes
8answers
3k views

Are good introductory/pedagogical problems in algebraic geometry rare?

I have just started reading Elementary Algebraic Geometry by Hulek. It is a nice book but I find that it doesn't give many problems (about 10 to 15 per chapter), and that the exercises present are a ...
8
votes
3answers
2k views

Stalks of sheaf-hom

Let $F$ and $G$ be sheaves on $X$. Under what conditions is the natural map from the stalk at $p$ of $SheafHom(F,G)$ to $Hom(F_p, G_p)$ an isomorphism?
12
votes
2answers
533 views

A complex manifold which is quasiprojective in two different ways

Does there exist a complex manifold M which is a quasiprojective variety in two "essentially" different ways? Let me be more specific. I'm looking for a complex manifold M together with two ...
15
votes
2answers
1k views

“synthetic” reasoning applied to algebraic geometry

A hyperlinked and more detailed version of this question is at nLab:synthetic differential geometry applied to algebraic geometry. Repliers are kindly encouraged to copy-and-paste relevant bits of ...
8
votes
2answers
799 views

Logarithmic structures on moduli of elliptic curves over Z

I've heard it stated that if you take the moduli of elliptic curves with some level structure imposed (as a moduli scheme over Spec(Z)), there is a logarithmic structure that you can impose at the ...
27
votes
5answers
3k views

Deformation theory of representations of an algebraic group

For an algebraic group G and a representation V, I think it's a standard result (but I don't have a reference) that the obstruction to deforming V as a representation of G is an element of H2(G,V&...
8
votes
2answers
576 views

What is the affinization of M_g?

This question is inspired by What is an example of a function on M_g? . Consider Mg, the moduli space of genus g curves, NOT compactified. When g is 3 or greater, this is not affine. Does anyone know ...
6
votes
1answer
656 views

Limit Linear Series

A linear series on a curve C is a line bundle L together with a subspace V of the global sections of L. Eisenbud and Harris develeoped a theory of limit linear series which explans how (L, V) ...
8
votes
1answer
736 views

what is the connection between D-modules and coordinate bundles?

Fix $n$ and a field $k$ of characteristic zero. Let $G$ be the pro-algebraic group of automorphims of $k[[x_1,...x_n]]$. Let $G_0$ be the subgroup of automorphisms preserving the closed point (note ...
6
votes
3answers
578 views

Generic Noether Normalisation

Suppose that $M$ is a finitely generated module over $A=k[X_1,\ldots,X_n]$ of Krull dimension $m$ with $k$ an infinite field. Then one version of Noether normalisation says there is an $m$-dimensional ...
2
votes
1answer
769 views

Theta Functions and Cousins

So I am (barely) familiar with the construction of the theta function of an integral lattice $L$. The theta function, as I understand it, is defined as the function which takes a variable $z$ and ...
5
votes
2answers
811 views

Can the valuative criteria be checked “on a dense open”?

The valuative criterion for separatedness (resp. properness) says that a noetherian scheme X is separated (resp. proper) if and only if for any DVR R, with fraction field K, any map Spec(K)→...
6
votes
8answers
651 views

What is an example of a function on M_g?

It feels bad talking about a space without knowing a single function on it, hah? So what is a function on the moduli space of curves, from the geometric point of view? From the functorial point of ...
4
votes
4answers
496 views

E_\infty spectrum corresponding to Z_p

First of the questions about derived algebraic geometry from a noobie. The way I understand it, every discrete ring R corresponds to some ring spectrum whose ...
7
votes
2answers
1k views

What is an example of a smooth variety over a finite field F_p which does not lift to Z_p?

Somebody answered this question instead of the question here, so I am asking this with the hope that they will cut and paste their solution.
12
votes
5answers
2k views

Existence of (smooth) models

Hi everyone, let X be a variety over a field k, S an integral scheme such that the function field K of S is contained in k. An S-scheme X is called model of X/k if X x_S k = X, i.e. if the generic ...
12
votes
3answers
1k views

What is an example of a smooth variety over a finite field F_p which does not embed into a smooth scheme over Z_p?

Such an example of course could not be projective and would not itself lift to Z_p. The context is that one can compute p-adic cohomology of a variety X over a finite field F_p via the cohomology of ...
33
votes
4answers
2k views

Does a scheme have a “separification”?

Background: (1) If C and D are categories and there is a forgetful functor U:C→D, then a C-ification functor F:D→C is an adjoint to U. For example, the (left) adjoint to the forgetful ...
2
votes
3answers
1k views

What is the base change in number theory?

I'm somewhat familiar with base change in scheme theory: sometimes a property of a morphism X \to Y survives a base change ...
7
votes
1answer
788 views

Why are torsion points dense in an abelian variety?

Hi everyone, let $A$ be an abelian variety of dimension $g$ over an algebraically closed field $k$ of characteristic $p\geqslant 0$. I'm trying to prove that the subgroup $A'$ which is the union of ...
29
votes
4answers
2k views

Spectrum of the Grothendieck ring of varieties

Here's a problem that may ultimately require just simple algebraic-geometry skills to be solved, or perhaps it's very deep and will never be solved at all. From the comments, some literature and my ...
7
votes
1answer
1k views

Dualizing sheaf on singular curves

I am trying to understand the stabilization map, which takes a prestable curve (a curve with some marked points, and at worst nodal singularities) and returns a stable curve (a curve with some marked ...
7
votes
3answers
2k views

What is the Theorem of the Cube?

What is the "theorem of the cube" for abelian varieties? What is the statement and how should I think about it?
4
votes
2answers
974 views

Non-zero sheaf cohomology

Let $\mathbb{R}$ denote the real line with its usual topology. Does there exist a sheaf $F$ of abelian groups on $\mathbb{R}$ whose second cohomology group $H^{2}\left(\mathbb{R},F\right)$ is non-zero?...
17
votes
2answers
6k views

does a line bundle always have a degree

For curves there is a very simple notion of degree of a line bundle or equivalently of a Weil or Cartier divisor. Even in any projective space $\mathbb P(V)$ divisors are cut out by hypersurfaces ...
11
votes
5answers
2k views

When are Hilbert schemes smooth?

I know that Hilbert schemes can be very singular. But are there any interesting and nontrivial Hilbert schemes that are smooth? Are there any necessary conditions or sufficient conditions for a ...
8
votes
5answers
1k views

Compact Kaehler manifolds that are isomorphic as symplectic manifolds but not as complex manifolds (and vice-versa)

What are some examples of compact Kaehler manifolds (or smooth complex projective varieties) that are not isomorphic as complex manifolds (or as varieties), but are isomorphic as symplectic manifolds (...
13
votes
6answers
3k views

Why and how are moduli spaces of (semi)stable vector bundles well-behaved?

The slope of a vector bundle $E$ is defined as $\mu(E) = \deg(E)/\mathrm{rank}(E)$. Then a vector bundle $E$ is called semistable if $\mu(E') \leqslant \mu(E)$ for all proper sub-bundles $E'$. It is ...
11
votes
5answers
2k views

Equivalent Statements of Riemann Hypothesis in the Weil Conjectures

In the cohomological incarnation, the Riemann hypothesis part of the Weil conjectures for a smooth proper scheme of finite type over a finite field with $q$ elements says that: the eigenvalues of ...
8
votes
3answers
863 views

How to topologize X(R) when R is a topological ring?

Given a topological ring $R$, under what conditions and in what way, can one induce a topology on the $R$-points of a scheme $X$? For example, if $X$ is $P^n$ or $A^n$, one has natural topology on ...
21
votes
5answers
6k views

Can a quotient ring R/J ever be flat over R?

If R is a ring and J⊂R is an ideal, can R/J ever be a flat R-module? For algebraic geometers, the question is "can a closed immersion ever be flat?" The answer is yes: take J=0. For a less ...
15
votes
3answers
1k views

Is there an example of a variety over the complex numbers with no embedding into a smooth variety?

Is there an example of a variety over the complex numbers with no embedding into a smooth variety?
23
votes
2answers
5k views

When is fiber dimension upper semi-continuous?

Suppose $f\colon X \to Y $ is a morphism of schemes. We can define a function on the topological space $Y$ by sending $y\in Y$ to the dimension of the fiber of $f$ over $y$. When is this function ...