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

learn more… | top users | synonyms (1)

0
votes
0answers
107 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
534 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. ...
2
votes
1answer
87 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
85 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
134 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
93 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
318 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
188 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
308 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
218 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 ...
2
votes
1answer
285 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
251 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
113 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}$ ...
-1
votes
0answers
91 views

Example of a fibration into singular curves?

Is there an example of a variety endowed with a fibration into curves which are generically singular ?
6
votes
1answer
335 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
165 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} ...
7
votes
1answer
242 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
0answers
174 views

A property P of morphisms of $S$-schemes $f : X \rightarrow Y$ is local on $X$, or $Y$, or $S$ or [migrated]

I have asked the same question on math.stackexhange here, but thought that is was a good idea to post it here also. I am learning schemes theory at school and I have for now only lectures notes that ...
2
votes
1answer
189 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
172 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
100 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?
1
vote
0answers
142 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
1answer
135 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
172 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
159 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
154 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
109 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
186 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
173 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
108 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
563 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
117 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
77 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
167 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
192 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
243 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
303 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
161 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
76 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 ...
7
votes
1answer
268 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
0answers
112 views

Valuative criterion for properness of DM stacks

It is stated that a morphism $f: T \to S$ between DM stack is proper if $f$ is seperated, and satisfies the following valuative criterion: For any DVR $V$ with field of fraction $K$ and any ...
3
votes
1answer
146 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
313 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
431 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
272 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
242 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
57 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
272 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
296 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
99 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 ...