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

**1**

vote

**1**answer

276 views

### When flatness of a morphism implies smoothness?

EDIT: Let $f\colon X\to C$ be a flat proper morphism of complex algebraic (or analytic) varieties. Assume the special fiber over a point $p\in C$ is smooth.
Is it true that there exists a ...

**1**

vote

**0**answers

82 views

### Calculating the Betti numbers of the Hilbert scheme of points on a surface

Let $S$ be a smooth (algebraic) surface over $\mathbb{C}$. Then the Hilbert schemes of points on $S$, denoted by $S^{[n]}$, are smooth. A formula for the Poincaré polynomials of $S^{[n]}$ was first ...

**1**

vote

**1**answer

59 views

### Semicontinuity of degree of fibers for a proper map

Let $f:X \rightarrow T$ be a proper morphism from a projective scheme $X$ to a smooth projective curve $T$ over $\mathbb{C}$. I know that fiber dimension is upper-semicontinuous, but is the degree of ...

**2**

votes

**0**answers

137 views

### Blow-up and tangent cone

Let
$$ f\colon X \rightarrow Y$$
be a (possibly non-dominant) morphism of complex varieties which is birational with its image. Assume $f$ contracts a sub-variety $E$ of $X$ to a point $p$ of $Y$; ...

**0**

votes

**0**answers

41 views

### Complex Phase Problem Relating to Binary Quadratic Forms [on hold]

Let $S$ be a linear subspace of $\mathbb{F}_2^n$, and $Q:\mathbb{F}_2^n\to\mathbb{F}_2$ a quadratic function. Assume that there exist complex phases $\{c_i\}$ such that for every $x\in S$:
...

**11**

votes

**0**answers

166 views

### What is the lowest-weight non-cyclotomic Galois representation in $\overline{\mathcal M}_{g,n}$?

I want to know about low-weight Galois representations in $H^i(\overline{\mathcal M}_{g,n}, \overline{\mathbb Q}_\ell)$ that aren't cyclotomic. This should be equivalent to finding $p,q$ such that ...

**1**

vote

**1**answer

132 views

### Classification (and automorphisms) of torsion-free modules/sheaves

I would like to know what can be said about the classification of torsion-free modules.
For my purposes, we can assume that $R$ is the function ring of a smooth affine variety over a field. How does ...

**5**

votes

**0**answers

117 views

### Strengthening of Suslin's rigidity argument?

To fix the situation, let $k$ be an algebraically closed field, and let $C$ be a smooth projective curve over $k$. Suslin's rigidity argument implies in particular that any class in ...

**5**

votes

**1**answer

269 views

### Connection of Galois representation and arithmetic geometry

This is might be a dumb question. There are lots of Galois representations which arise naturally from geometric objects, for example, Galois representations attached to elliptic curves. I know that ...

**3**

votes

**0**answers

49 views

### Transfers on Bloch groups and scissors congruence groups

I have a couple of questions concerning existence and description of
transfers for Bloch groups and scissors congruence groups/pre-Bloch
groups.
To fix notation and recall definitions:
From the ...

**0**

votes

**1**answer

147 views

### is grassmannian rational connected or not [closed]

I wan to know if Grassmannians are rational connected? Any reference describe how to tell if a variety is rational connected or not?

**12**

votes

**1**answer

333 views

### Maps to projective space == line bundles; what do maps to weighted projective space correspond to?

A map from an algebraic variety $X$ to a projective space is the same thing as a globally generated line bundle on $X$. What geometric object on $X$ corresponds to a map to a weighted projective ...

**2**

votes

**0**answers

69 views

### singularities preserved by integral closure

Let $X$ be an affine variety. Let $A$ be the coordinate ring of $X$ and let $K$ be the fraction field of $A$. Given a Galois extension $K\subset L$, let $B$ be the integral closure of $A$ in $L$. Let ...

**2**

votes

**1**answer

117 views

### Can someone tell me properties of Douady space?

I want to know the parallel properties of Douady space with respect to Hilbert scheme. For example I want to know what is the irreducible component of Douady space, what if I consider a family of ...

**0**

votes

**1**answer

191 views

### Articles about Weil cohomology theory by Grothendieck and Artin

In "The Standard Conjectures" Kleiman says that the following properties of Weil cohomology theory were proved in 1963 for étale cohomology by Artin and Grothendieck, except for the last one that it ...

**2**

votes

**1**answer

251 views

### Is there any publication of “Beilinson’s dream” on motivic (complexes of) sheaves?

In "Standard conjectures of algebraic cycles" nLab says:
"... They were also followed by “Beilinson’s dream” on motivic (complexes of) sheaves which comprise so called standard conjectures of ...

**2**

votes

**1**answer

89 views

### Sabbah b-functions factoring

Sabbah defined a version of b-functions for multiple functions in his 1987 paper here: http://archive.numdam.org/ARCHIVE/CM/CM_1987__62_3/CM_1987__62_3_283_0/CM_1987__62_3_283_0.pdf
According to ...

**0**

votes

**1**answer

91 views

### Cohomology of a fibered surface

Let $R$ be a complete Henselian discrete valuation ring, $\pi:X \to \mathrm{Spec} (R)$ be a smooth, proper, integral, flat $\mathrm{Spec} (R)$-scheme of dimension $2$. Assume that the genus of the ...

**2**

votes

**1**answer

162 views

### Moduli of curves in characteristic zero

Let $K$ be a field of characteristic zero, and let $\overline{K}$ be its algebraic closure. Let $\overline{M}_{g,n}(K)$ and $\overline{M}_{g,n}(\overline{K})$ be the coarse moduli spaces parametrizing ...

**3**

votes

**0**answers

205 views

### Does the following object has a name in algebraic geometry?

Suppose $X$ is a projective variety and $D$ is a smooth divisor and let $L = \mathcal{O}(D)$ be the line bundle corresponding to $D$. Consider $X \times \mathbb{P}^1$ with the line bundle ...

**2**

votes

**2**answers

200 views

### Lifting to char 0, references and questions

Suppose that I have a surface $S$, smooth proper over an algebraically closed (perfect?)field $k$ that lifts algebraically to some $S_W$ defined over a field of char 0. I am interested in properties ...

**0**

votes

**0**answers

63 views

### A question related to the Grauert semi-continuity theorem

Let $f\colon X\to Y$ be a proper holomorphic map of complex analytic manifolds. Assume $f$ to be submersive for simplicity, but probably it is not important. Let $\mathcal{F}$ be a coherent sheaf on ...

**1**

vote

**1**answer

101 views

### Fibers of the Bott-Samelson Resolution of Schubert Varieties

Is there an explicit (perhaps visual) description of the fibers of the Bott-Samelson Resolutions of Schubert Varieties? Let's fix $G$ to be $GL_n(\mathbb{C})$.
Also, how would the answer to the ...

**4**

votes

**0**answers

84 views

### Symmetric function of residues

Let $X$ be a smooth projective irreducible curve over an algebraically closed field $k$, and let $\omega$ be a rational 1-form on $X$, so $\sum_x {\rm{res}}_x(\omega) = 0$ (sum over $x \in X(k)$). For ...

**1**

vote

**0**answers

151 views

### Number of Orbits of symmetric group acting on $(\mathbb{Z}/n)^{l}$ [migrated]

I have encountered a problem that I suspect has been thoroughly studied but I have not been able to find references. Can anyone point me to a published reference dealing with this or a closely related ...

**2**

votes

**0**answers

89 views

### Bloch Kato Exponential as formal lie group exponential

Let $K$ be a $p$-adic field and $V$ a $p$-adic representation. In their paper on tamagawa numbers of motives, Bloch and Kato define an exponential map as the connecting homomorphism
$$DR(V) ...

**14**

votes

**0**answers

586 views

### New(?) reciprocity law

Consider three functions $f, g$ and $h$ on a smooth curve $X$ over $\mathbb{C}$.
I have found the following equality:
$$\sum (res(f\frac{dg}{g})\frac{dh}{h}-res(f\frac{dh}{h})\frac{dg}{g})=0.$$
Here ...

**1**

vote

**1**answer

142 views

### how do you define the sheaf of Teichmuller level structures when a section does not exist?

In section 5.5 of Deligne + Mumford's paper "Irreducibility of the Moduli Space of Curves", they introduce the notion of Teichmuller level structures.
You can find the paper here: ...

**4**

votes

**2**answers

144 views

### First cohomological support locus of a fibration

I have a fibration $f \colon S \longrightarrow E$, where $S$ is a compact, complex surface of general type belonging to a special class I'm studying and $E$ is an elliptic curve.
I computed the ...

**0**

votes

**0**answers

35 views

### quotient singularities and direct images of resolution map

We are working in the complex case, so over $\mathbb{C}$ :
$W\rightarrow W_{1} \rightarrow Z \rightarrow Y$,
map $g$ between $Y$ and $Z$ is a semistable family (normal crosings and reduced fibers) ...

**2**

votes

**1**answer

116 views

### Minimum length path touching $n$ circles

Given $n$ non-overlapping circles of radius $1$ (i.e., the distance between the centers of any two circles is greater than $2$), how to find the minimum length path (the path can be of any form) that ...

**2**

votes

**1**answer

200 views

### Generalizations of de Franchis and function field Mordell

The classical de Franchis theorem, as generalized by S. Kobayashi and T. Ochiai ("Meromorphic mappings onto compact complex spaces of general type," Inventiones, 1975), states that if $X$ is a complex ...

**1**

vote

**1**answer

174 views

### smooth quotient out of a singular variety?

If $X$ is a smooth quasi-projective variety over $\mathbb{C}$ and $G$ is a finite group acting faithfully on $X$, then the Shepard-Todd theorem gives us some criterion for $X/G$ to be smooth.
My ...

**3**

votes

**1**answer

147 views

### Regular singularities and the infinitesimal site

Suppose I have a smooth non-proper algebraic variety $X/\mathbb{C}$.
A vector bundle with flat connection (``differential equation'') on $X$ extends, as was noted by Grothendieck, to a coherent ...

**6**

votes

**0**answers

124 views

### Coherent sheaves and Mitchell's embedding theorem

Let $S$ be a scheme. By Freyd-Mitchell's theorem the category of (quasi)coherent sheaves of $\mathcal{O}_S$-modules is equivalent to a full subcategory of the category of left $R$-modules for some ...

**1**

vote

**0**answers

81 views

### Quotient singularities and higher direct images

$W\rightarrow W_{1} \rightarrow Z \rightarrow Y$,
map $g$ between $Y$ and $Z$ is a semistable family (normal crosings and reduced fibers) of n-folds over a smooth curve Y, then the
map between ...

**12**

votes

**0**answers

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

**3**

votes

**2**answers

165 views

### Minimal fields of isomorphism for varieties

Let $V$ be an algebraic variety over a field $K$. Is there a constant $d = d(V) \in \mathbb{N}$ such that for any variety $W$ defined over $K$ and isomorphic to $V$ over the algebraic closure of $K$, ...

**0**

votes

**1**answer

89 views

### rank of Abelian schemes under ample hypersurface section

Let $k$ be an algebraic closure of a finite field, $\ell \neq \mathrm{Char}(k)$ be prime, $S/k$ a smooth projective geometrically connected surface and $C/k$ a smooth ample connected hypersurface ...

**0**

votes

**0**answers

129 views

### Reference: A nowhere vanishing section of a vector bundle is locally split

Well-known fact:
If $(A, \mathfrak{m})$ is a local Noetherian ring, $E$ is a finitely generated free $A$-module, and $e\in E$ is an element not contained in $\mathfrak{m}E$, then $E/eA$ is also a ...

**3**

votes

**1**answer

152 views

### Sheaves with the same Hilbert polynomial

Let $\mathcal{F}$ and $\mathcal{G}$ be semistable sheaves with the same Hilbert polynomial, i.e. $P(\mathcal{F})=P(\mathcal{G})$ (pay attention that these are Hilbert polynomial and not reduced ...

**3**

votes

**0**answers

186 views

### Topological fundamental group of a variety

I have an explicit question. I have a complex projective variety defined by 2X2 minors of a matrix. The entries are polynomials from a weighted projective space. In fact its a singular 3-fold, with ...

**5**

votes

**2**answers

246 views

### When is/isn't the monoidal unit compact projective?

I am interested in developing intuition for when the monoidal unit in a closed monoidal abelian category is or isn't compact projective. As such, my question is not looking for a yes/no answer, but ...

**1**

vote

**2**answers

281 views

### Non-hyperelliptic curves of genus at least two

A hyperelliptic curve can be understood as the set of points satisfying an equation of the form
$$\displaystyle z^2 = f(x,y),$$
where $f(x,y)$ is a binary form of degree $d = 2g+2$. In this case, $g$ ...

**1**

vote

**1**answer

173 views

### Cremona transformations

Let $f:\mathbb{P}^n_1\dashrightarrow\mathbb{P}^n_2$ be the standard Cremona transformation based on $p_1,...,p_{n+1}\in\mathbb{P}^n_1$ and $q_1,...,q_{n+1}\in\mathbb{P}^n_2$. That is, $f$ is the ...

**0**

votes

**0**answers

70 views

### the CM type of a CM abelian variety

Let $(A, F, i)$ be a CM abelian variety, by which I mean an abelian variety $A$ defined over $\overline{\mathbb{Q}}$, say of dimension $n$, a CM number field $K$ of degree $2n$ and an embedding $i: F ...

**1**

vote

**0**answers

114 views

### Uniqueness of lifting of very ample line bundle on smooth proper surfaces over DVR

Let $R$ be a complete Henselian discrete valuation ring of characteristic 0, $X_R$ be a surface smooth, proper and flat over $R$. Assume that the residue field $k$ of $R$ is algebraically closed of ...

**6**

votes

**1**answer

238 views

### Picard group generated by effective divisors: counterexample?

Let $X$ be an integral variety defined over an algebraically closed field $k$ of characteristic 0 with finitely generated Picard group $Pic(X)$ and such that $k[X]^\times=k^\times$ (i.e. the only ...

**1**

vote

**0**answers

67 views

### A construction of the Hilbert-Chow morphism

I'm studying the Hilbert scheme of points on a surface and I've just defined the set-theoretic Hilbert-Chow morphism. I would like to know if someone knows a reference to study the scheme-theoretic ...

**3**

votes

**0**answers

105 views

### Integral cohomology of the hilbert scheme of points on a k3

i'm reading the famous article "Varietes kahleriennes dont la premiere classe de chern est nulle" by Beauville, in particular proposition 6, which characterizes the second cohomology group for the ...