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

learn more… | top users | synonyms (1)

3
votes
1answer
226 views

What if the base change of an algebraic space is representable

Let $k\subset L$ be an extension of fields of characteristic zero. Suppose that $X/k$ is an algebraic space such that $X\otimes_k L$ is representable by a finite type $L$-scheme. I am sure there are ...
0
votes
0answers
112 views

Finite resolution by sums of line bundles on toric varieties

I hope I wasn't searching wrong keywords or overlooking some easy arguments to prove/disprove it. What I'm asking is the following: Let $X$ be a smooth complete toric variety. $\mathcal F$ a coherent ...
6
votes
2answers
550 views

Is being reduced a generic property of schemes?

(Naive formulation:) Let $X$ be an (irreducible) affine variety (over an algebraically closed field $k$) and $I$ be an ideal of the coordinate ring $R$ of $X$. Assume $Y = V(I)$ is equidimensional. ...
4
votes
1answer
137 views

Are quaternion algebras from Witt's theorem endomorphism rings of vector bundles?

Let $k$ be a field with char $k \neq 2$. For $a,b \in k^{\times}$, let $(a,b)$ denote the quaternion algebra with $i^2=a$ and $j^{2}=b$, and let $C(a,b)$ denote the projective plane conic given by ...
1
vote
0answers
93 views

Stack of curves and universal deformations

I've just started studying algebraic stacks and I have a very basic question. I've learned the notion of Deligne Mumford stack and I've seen as the stack of stable curves $\overline{\mathcal{M}_g}$ ...
1
vote
2answers
138 views

there exists a hypersurface H ⊂ X such that X \ H is Stein and L is trivial over X \ H

"Suppose that X is a compact projective manifold equipped with a K¨ahler metric ω. Let L be a holomorphic line bundle In general, there exists a hypersurface H ⊂ X such that X \ H is Stein and L is ...
0
votes
0answers
103 views

moduli space of meromorphic $G$-Higgs bundles

I want to clarify with some topics in moduli space of semistable $G$-Higgs bundles on curve $X$ (genus $g$ is large enough) of fixing topological type $d \in \pi_1(G)$. Simpson's construction gives us ...
7
votes
1answer
346 views

Is the functor of points of a scheme cofinally small?

Background: In functorial algebraic geometry one would like to consider the category of all functors $\mathsf{CRing} \to \mathsf{Set}$ and define/characterize the category of schemes as a full ...
3
votes
0answers
200 views

Symmetric power of an etale map of curves

Let $k$ be an algebraically closed field and $f\colon X \rightarrow Y$ an etale morphism of smooth curves over $k$. Let $f^{[n]}\colon X^{[n]} \rightarrow Y^{[n]}$ be the induced morphism on $n$-th ...
7
votes
1answer
320 views

periods of Mixed Hodge Structures

Two Questions: First. As I know the notion of periods comes when one has two vector spaces over a subfield $k$ of $\mathbb{C}$ (usually given by two cohomology theories) and an isomorphism between ...
3
votes
1answer
225 views

Abelian varieties over $p$-adic fields

Theorem : Let $A$ be an abelian varieties of dimension $d$ over a field $k$, non-archimedian valued complete, i.e. $\mathbb{Q}_p$, then $A(k)$ contains a subgroup of finite index analytically ...
3
votes
1answer
364 views

on the local structure of schemes

Let $X$ be an integral finite type scheme over $\mathbb{C}$. Let $x\in X$, such that there exists a neighborhood $U$ of $x$, such that the sheaf of differentials $\Omega^{1}_{U}$ decomposes into: ...
4
votes
1answer
254 views

Excellent schemes

I noticed that many results in positive characteristic assumes that the object of the theorem is excellent. I have looked up the definition of excellent and have tried to get a feeling for it, but all ...
0
votes
0answers
117 views

How to find critical points of the following polynomial?

I am trying to find critical points of the following equation in $\mathbb{R}^n$: $$F(x)=d-\sum_i a_{i}x_i^2+H(x).$$ Here, $a_{i}$ are positive real numbers, and $H(x)$ is a $\mathbf{harmonic}$ ...
6
votes
1answer
351 views

Some questions about the ring Z((x))

$\newcommand{\ZZ}{\mathbb{Z}}$ $\newcommand{\dim}{\text{dim }}$ Let me begin by apologizing for the length of this question, but I thought this might be interesting to some of you. This ring isn't ...
4
votes
1answer
171 views

Jacobian of a semistable curve

My question is about the proof of Example 8 in section 9.2 of the book "Neron models." There we have a semistable curve $X$ over an algebraically closed field $K$ and we let $\pi\colon \widetilde{X} ...
8
votes
1answer
284 views

Why do we need localization by Leftschetz motive?

Definition of the Grothendieck group and Leftschetz motive. The Grothendieck group of varieties is a free abelian group generated by classes of algebraic varieties with the following relation: $$ ...
2
votes
1answer
193 views

twists of algebraic groups

If $k$ is some field - for convenience, of characteristic 0 -, $\bar{k}$ is an alg. closure of $k$, and $G$ is some $k$-algebraic group, one can define a twist of $G$ to be some $k$-algebraic group ...
0
votes
1answer
177 views

Hilbert polynomial for any invertible sheaf

Let $X$ be a projective scheme over algebraically closed field $k$, $L$ is invertible sheaf on $X$ and $\mathcal F \in \operatorname{Coh}(X)$ , we define Hilbert polynomial $P_{\mathcal ...
0
votes
0answers
107 views

Is the natural map $Pic A[M] \rightarrow Pic A[N]$ injective?

Let $A$ be a commutative ring. Let $M\subseteq N$ be an extension of positive seminormal monoids. Is the natural map $Pic A[M] \rightarrow Pic A[N]$ injective?
2
votes
0answers
148 views

Stable Lefschetz fibrations

Let $S$ be a non-singular complex projective surface, then construct the Lefschetz fibration $\pi:\widetilde S\longrightarrow\mathbb P^1$ associated to $S$ (we have a birational morphism ...
0
votes
2answers
339 views

Chow stability and K-stability

Let $(M,L) $ be a polarized projective variety and is Chow stable, then under which condition it is K-stable in sense of Donaldson's definition? Here is a good referrence for the definitions of Chow ...
5
votes
0answers
177 views

Beyond Bloch-Kato conjecture [repost from math.stackexchange]

I have just asked this question on math.stackexchange, and would like to repost it here: The norm residue isomorphism theorem establishes that the norm residue map between Milnor K-theory of a field ...
5
votes
1answer
189 views

Intersections of $B$ and $B^-$ orbits in the flag variety $G/B$

Let $G = SL_n(\mathbb{C})$, $B$ be a Borel subgroup, and $B^-$ be the opposite Borel. Both the $B$ and $B^-$ orbits on the flag variety $G/B$ are indexed by the Weyl group $W$. Let $S_{w_1}$ and ...
1
vote
1answer
159 views

Isotriviality: two definitions

Consider a proper flat morphism of $k$-schemes ($k$ is an algebraically closed field) $ f:X\longrightarrow\mathbb P^1_k$ such that every fiber $X_p$ for $p\in\mathbb P^1_{\mathbb C}$ is a reduced ...
1
vote
1answer
116 views

Relation between Milnor fiber and its restriction via vanishing cycles

I am reading these notes on nearby and vanishing cycles, where an initial assumption is made: the author talks about a complex analytic function $f:X\to \mathbb C$, assuming $X$ is closed in an open ...
1
vote
2answers
203 views

A question on triangulated category of matrix factorizations

Let $X$ be an algebraic variety and $W:X\rightarrow\mathbb{A}^1$ a regular map, then the triangulated category of matrix factorizations $D^b(X,W)$ is defined to be ...
0
votes
2answers
175 views

A specific polynomial triplet question

Notation $P_k[n]=\{$multilinear polynomials in $\Bbb R[x_1,x_2,\dots,x_{n-1},x_n]$ of total degree exactly $k\}$. $k=1$ is just linear polynomials. QUESTION Is there a triplet $(p,f,g)\in ...
0
votes
0answers
112 views

Universal property of categorical quotients

I'm approaching the arguments in Mumford's book Geometric Invariant Theory and i have a question which i hope is not too naive.. I've read that, given a group scheme $G/S$ acting on $X/S$, we say ...
21
votes
1answer
597 views

Which properties of a variety are detected by its derived category of coherent sheaves?

Context: I'm giving an informal seminar/reading group collection of talks on derived categories, following on from earlier talks giving the abstract definition. I am starting to talk about ...
0
votes
0answers
118 views

Opportunistic idea about constructing curves with many rational points

This is just an opportunistic idea about constructing curves with many rational points using rational surfaces. Working over the rationals. Take a rational surface given by parametrization ...
1
vote
0answers
84 views

Need information about particular kind of quotients of semisimple algebraic groups by free abelian discrete subgroups

Let me start with the simplest version of the question since already there I don't know anything. For a complex number $q$, consider the quotient space $X_q:=\mathrm{SL}_2(\mathbb ...
1
vote
1answer
174 views

Moving a divisor on a (reducible, non-reduced) curve

I am trying to understand the first sentence of the proof of 9.1/5 in "Neron models." There we have a proper curve $X$ over a field $K$ and a line bundle $\mathscr{L}$ on $X$. Our ultimate goal is to ...
4
votes
1answer
220 views

Valuation of an ideal in a two-dimensional regular local ring

Let $f,g$ be two coprime elements in the ring $K[[x,y]]$, with $K$ a field. What is the smallest integer $n$ such that the inclusion of ideals $$(x^n)\subset (f,g)$$ holds in $K[[x,y]]$? Can we ...
4
votes
1answer
250 views

Leray's theorem up to some degree

I am interested in the proof of Leray's theorem that relates Čech cohomology and sheaf cohomology. The theorem states that if we have a space $X$, a sheaf $\mathcal{F}$ and a covering of $X$ such ...
5
votes
1answer
306 views

The function algebra $C^{\infty}(M\#N)$ of the connected sum of two spaces

Operations such as taking union or Cartesian products of spaces have direct analogues in term of algebra of functions on them (direct sum and tensor product, respectively), my question is: Is there ...
2
votes
1answer
165 views

When do we get free modules from Noether normalization

Let $X \subseteq \mathbb{P}_{\mathbb{C}}^n$ be an irreducible, projective, Cohen-Macaulay variety of dimension $k$. Let $L \subseteq \mathbb{P}_{\mathbb{C}}^n$ be a linear space of dimension $n-k-1$ ...
0
votes
0answers
79 views

Why is the set of geometrically irreducible curves of degree d in P^2 open in P^((d+2 2)-1)?

Let $X$ be a $k$-scheme. We say that $X$ is geometrically irreducible if $X\times_k \mathrm{spec}{K}$ is irreducible for all algebraically closed extensions $K$ of $k$. Ravi Vakil states in his ...
8
votes
1answer
275 views

What invariants distinguish these three-folds?

Let $a,b$ be two positive integers and everything is over $\mathbb C$. Let's denote by $S_{a,b}$ the hypersurface $$\{x^ay+z^bt=1\}\subset \mathbb A^4.$$ Can we distinguish the $S_{a,b}$'s up to ...
3
votes
1answer
152 views

Discriminant of a singular conic bundle

In the context of the Minimal Model Program it can arise that we need to deal with contractions of extremal rays that are conic bundles $\pi:X\to Y$ with relative Picard number 1 (with possibly ...
3
votes
0answers
314 views

A Step in the Proof of the Drinfeld-Simpson theorem

I hope that this is the appropriate place for asking about a step I don't understand in a proof which I think is due to a lack of knowledge. This is a step in Drinfeld-Simpson's paper: ``$B$ ...
2
votes
1answer
542 views

Fiberwise vanishing of $H^2$ and formal smoothness of the Picard functor

My question is about the proof of 8.4/2 in "Neron models." The claim is that if $f\colon X \rightarrow S$ is a proper flat morphism of finite presentation such that $H^2(X_s, \mathscr{O}_{X_s}) = 0$ ...
5
votes
1answer
278 views

automorphisms of local rings vs local change of coordinates

Let $R$ be a local (commutative, associative) ring over a field of zero characteristic. (My typical examples are $k[[x_1,..,x_p]]/I$, $k\{x_1,.,x_p\}/I$, $C^\infty(\Bbb{R}^p,0)$. If it helps one can ...
5
votes
0answers
256 views

is the modular curve X(N) defined over Q?

In most sources, the field of definition of the modular curve $X(n)_\mathbb{C}$ (quotient of the upper half plane by the subgroup $\Gamma(n)$ of $SL_2(\mathbb{Z})$ congruent to $I\mod n$) is ...
2
votes
0answers
59 views

conic structure at infinity for non-closed unbounded semi-algebraic sets

Let $X\subseteq\mathbb{R}^k$ be a non-closed, unbounded semi-algebraic subset. Then it seems to me that Proposition 5.49 on p. 189 of the book Algorithms in Real Algebraic Geometry still holds true ...
2
votes
3answers
286 views

Movable Divisors

Let $X$ be a projective variety. Does anyone know an example of a movable reducible divisor $D\in Mov(X)$ such that any element in the linear system $|D|$ of $D$ is reducible?
-2
votes
1answer
305 views

What is the meaning of non-Hausdorff spaces in algebraic geometry [closed]

At the beginning I think that I should warn everybody reading this post: I don't know much about algebraic geometry so most of specialists in this subject may seen my question as ignorant. To be ...
1
vote
1answer
106 views

Stable base locus of a divisor and negative intersection with curves

Let $X$ be a smooth projective variety over $\mathbb{C}$. Let $D$ be a Cartier divisor on $X$. If $C$ is a curve on $X$ such that the intersection $C\cdot D <0$, we have $C \subseteq ...
0
votes
1answer
172 views

Relative form of Kodaira's lemma?

If $X$ is a smooth projective variety, Kodaira's lemma states that a big line bundle $D$ can be decomposed (as $\mathbb Q$-divisors) as $A+E$, with $A$ ample and $E$ effective. I am wondering what ...
3
votes
2answers
131 views

Solubility of an algebraic group and Weil restriction

For $\ell/k$ a finite separable extension of fields and an affine variety $X_{/\ell}$, the Weil restriction of scalars $R_{\ell/k}(X_{/\ell})$ represents the functor $R_{\ell/k}(X_{/\ell})(S) := ...