# Tagged Questions

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

**0**

votes

**0**answers

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

**2**answers

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

**1**answer

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

**0**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**3**answers

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

**1**answer

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

**1**answer

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 ...