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

**9**

votes

**1**answer

259 views

### Non-algebraic Hecke characters

Algebraic Hecke characters are ubiquitous in modern number theory. They are in 1-1 correspondence with one dimensional complex Galois representations, and in some precise sense they are the building ...

**4**

votes

**0**answers

107 views

### Cohomology of $Sym^m Q \otimes Sym^k Q \otimes L^p$

Let $V$ be a complex vector space. Let $L=\mathcal{O}(-1)$ and $Q=V/L$ be the quotient bundle over $\mathbb{P}V$.
I'm trying to compute the cohomologies with coefficients in $Sym^m Q \otimes Sym^k Q ...

**2**

votes

**0**answers

114 views

### Canonical and Minimal model for Sasakian Varieties

Let $X$ and $Y$ be two Sasakian varieties, what is the definition of holomorphic fiber space between $ X$ and $Y$ and also holomorphic submersion.
If $X$ bea projective Variery then we have ...

**6**

votes

**1**answer

315 views

### what are the finite etale covers of $\mathbb{Z}_p((x))$?

Let $R$ be the ring of integers of some $p$-adic field $K$ (finite over $\mathbb{Q}_p$) with uniformizer $\pi$ and residue field $k$. I'd like to understand the finite etale extensions of $R((x)) := ...

**28**

votes

**3**answers

1k views

### irreducibility of discriminant

This must be well-known to everyone but me, but here goes: take a general (monic) polynomial $p(x) = x^d + a_{d-1} x^{d-1} + \dotsc + a_0.$ The discriminant is a polynomial $D(a_0, \dotsc, a_{d-1}).$ ...

**5**

votes

**1**answer

225 views

### A question on young persons guide to canonical singularities

In the Corollary at pag 407 of Young persons guide to canonical singularities there is a formula to compute the contributions $c_q(D)$ to Riemann-Roch of a divisor $D$ passing through a point $q\in ...

**3**

votes

**1**answer

227 views

### Stratification of complex algebraic varieties

Let $V$ be a complex quasi-projective variety, we know from H. Whitney's and B Teissier works on stratifications of algebraic varieties that $V$ has an intrinsic stratification
$$X_0\subset ...

**11**

votes

**0**answers

313 views

### Is there a Galois theory for $\mathbb R_{\geq 0}$?

The broadest version of my question is the following:
Where can I find algebrogeometric abstract nonsense that handles "rings" and "fields" like $\mathbb R_{\geq 0}$ in which there is no ...

**17**

votes

**0**answers

246 views

### Topological loops vs. algebro-geometric suspension in Hochschild homology

Let $k$ be a base commutative ring, and let $A$ be a (unital but not necessarily commutative) $k$-algebra. The cone on $A$ is the ring $CA$ of infinite matrices $(a_{ij})_{i,j \geq 1}$ that are ...

**3**

votes

**0**answers

89 views

### line bundle on affine grassmannian and central extension

Let $G$ be a connected reductive group over $\mathbb{C}$, let $Gr$ be the affine grassmannian of $G$. On $Gr$, we know that there is a canonical line bundle $L$ (the generator of $Pic(Gr)$).
Now ...

**5**

votes

**1**answer

74 views

### Reference for restriction formula in terms of double Schubert polynomials

Everyone (that is, everyone who cares) knows that double Schubert polynomials represent Schubert classes in equivariant cohomology in type $A$. We also know that we can restrict Schubert classes to ...

**4**

votes

**1**answer

171 views

### When is the flatness locus non-empty

Let $k$ be an algebraically closed field, $f:X \to Y$ be a surjective proper $k$-morphism locally of finite presentation between irreducible noetherian schemes. Assume that $Y$ is reduced. Under what ...

**5**

votes

**1**answer

137 views

### Is the Quot-scheme over non-singular curve reduced

Let $k$ be an algebraically closed field, $C$ a non-singular projective curve over $k$ of genus at least $2$ and $\mathcal{F}$ a locally free sheaf on $C$. Let $r,d$ be two integers satisfying ...

**4**

votes

**0**answers

85 views

### Norm variety for n=5, p=2 not isomorphic to a quadric

In the paper "Motivic construction of cohomological invariants", the author displays a list of known norm varieties for several $n,p$ on page $11$. For $p=2, n=5$ it says that a norm variety is given ...

**5**

votes

**0**answers

93 views

### How to realize the descent data of Qcoh as a (pseudo)-limit in Cat?

It is well-know that $Qcoh$ is a fibered category on $Sch$. In more details let $\mathcal{C}$ be the category $(Sch/S)$ of schemes over a fixed base scheme S. For each scheme $U$ we define $Qcoh(U)$ ...

**2**

votes

**1**answer

104 views

### Is the given set an open subset of the $\mathcal{G}^r_d(|L|)$

Let $X$ be a smooth projective surface over $\mathbb{C}$. Let $L$ be a very ample line bundle on $X$. We have a variety $\mathcal{G}^r_d(|L|_s)$ associated to the linear system of curves $|L|$. The ...

**8**

votes

**1**answer

286 views

### Automorphisms of curves in positive characteristic

It is well known that over an algebraically closed field of characteristic zero a general curve (for an open subset of $M_g$) of genus $g\geq 3$ is automorphism-free.
Is this result still true over ...

**1**

vote

**0**answers

47 views

### stratification of a smooth Poisson scheme

How to stratify a smooth Poisson scheme by symplectic subschemes? Can any one give me a reference to this question. Thanks a lot.

**11**

votes

**0**answers

181 views

### Do all simple factors of jacobians of curves come from correspondences?

For this question I will let the overly ambiguous word curve mean: smooth projective and connected curve over $\mathbb C$ (or equivalently a smooth compact Riemann-Surface).
Let $C$ be a curve over ...

**-1**

votes

**1**answer

210 views

### Representable functors and direct limits

Let $\mathcal{F}:\mathrm{Sch}/S \to \{\mathrm{Sets}\}$ be a representable functor. Denote by $X$ the scheme representing $\mathcal{F}$. The question is whether the natural tranformation ...

**2**

votes

**1**answer

129 views

### Zariski closure of hypersurfaces with $k$ singularities

Let $d>1, n>1$ and consider the vector space $V=\mathbb{C}[x_0,\ldots,x_n]_d$. Let $\mathscr A \subseteq \mathbb{P}(V)$ be the set of all forms with the property that their zero locus in ...

**6**

votes

**1**answer

160 views

### Is there a canonical split signature metric on $\mathbb{P}^n\times\mathbb{P}^{n\,\ast}$?

Let
$$
M:=\{(P,\pi)\mid P\not\in\pi\}\subset\mathbb{P}^n\times\mathbb{P}^{n\,\ast}
$$
be the open and dense (and as such $2n$-dimensional) subset of non-incident point-hyperplane pairs. If ...

**3**

votes

**0**answers

82 views

### What subdomains of $\mathbb{R}^2$ are diffeomorphic to $\mathbb{R}^2_+$ via rational functions?

For what subdomains $D \subset \mathbb{R}^2$ does there exist a rational diffeomorphism $h:D \to \mathbb{R}^2_+$, such that its inverse is also a rational function? (By "rational function" I mean a ...

**6**

votes

**1**answer

232 views

### Reinterpreting Galois descent over finite fields

This question is indirectly related to my previous question Is an elliptic curve that is isomorphic to its Frobenius conjugate defined over $\mathbb{F}_p$?
Let $\mathbb{F}_{q^n}/\mathbb{F}_q$ be an ...

**3**

votes

**0**answers

107 views

### About the difference variety of a curve

What is known about the singularity of the difference variety of a smooth curve $C$ of genus g>2? The difference variety is $C-C :=\{\mathcal{O}(p-q)| p,q\in C\} \subset Pic^0C$.

**11**

votes

**2**answers

535 views

### First formulation of the Dedekind and Hasse-Weil conjectures

I'm looking for the original statement of two important conjectures in number theory concerning L-functions. I'm particularly interested in pinning down the year in which they were first formulated:
...

**5**

votes

**0**answers

208 views

### Computing quantum cohomology for total spaces of vector bundles over $\mathbb{P}^m$

Let $X$ be the total space of $\mathscr{O}(-1)^{\oplus{n}}\rightarrow\mathbb{P}^m$. I think there should be some general way to compute its quantum cohomology $QH^\ast(X)$.
However, since I'm not ...

**5**

votes

**1**answer

154 views

### Regular functions on nilpotent orbits and their covers

Let $G$ be a complex semisimple algebraic group with Lie algebra $\mathfrak{g}$.
In 1989 McGovern described the structure (as $G$-module) of the ring of regular functions on a finite cover of the ...

**1**

vote

**0**answers

97 views

### Relation of primary decomposition of two ideals

I have a simple question: Let $R=\mathbb{C} \lbrace t,u \rbrace$ be the ring of formal series in two variables. Let $I,J \subset R$ ideals of heigth one, and $I \subset J$. What is the relation of the ...

**0**

votes

**1**answer

151 views

### How to solve this system of equations? [closed]

I am trying to find a Poisson bracket on an algebra, and need to find a solution to a system of equations. The system of equations is very complicated, with more than 10000 equations and 60 variables.
...

**6**

votes

**2**answers

264 views

### Motivation for Hirzebruch-Jung Modified Euclidean Algorithm

Let $a,b \in \mathbb{N} \ \ s.t. \ \ a > b$ have $\gcd(a,b) =1$. We can define the Hirzebruch-Jung modified euclidean algorithm as follows:
Let $e_i \in \mathbb{N} >2$, and $ r_k \in ...

**13**

votes

**4**answers

457 views

### Synthetic projective lines

The classical synthetic notion of projective plane consists of a set of points, a set of lines, and a relation of incidence between the two, such that any two distinct points lie on a unique line and ...

**9**

votes

**0**answers

104 views

### Failure of surjectivity in Hotta-Springer specialization: examples for special unipotents?

Last weekend's workshop on Springer theory and its generalizations at UMass demonstrated how far the subject has expanded over four decades, but the original set-up for the Springer correspondence ...

**5**

votes

**2**answers

261 views

### In Gromov-Witten theory, why is the string coupling constant weighted by $2g-2$?

Let $X$ be a Calabi-Yau threefold and let us fix a homology class $\beta\in H_2(X,\mathbb Z)$, just for simplicity. The generating series of Gromov-Witten invariants of $X$ in class $\beta$, $$\mathsf ...

**4**

votes

**0**answers

77 views

### Asymptotically, how many deformation classes of Fano varieties are there?

By a result of Mori, we know that there are only finitely many deformation classes of dimension $n$ smooth projective Fano varieties, for any $n$. For curves we only have $\mathbb{P}^1$, while for ...

**3**

votes

**0**answers

124 views

### polynomial relations between modular functions

$\newcommand{\Qbar}{\overline{\mathbb{Q}}}$
We define a modular function to be a meromorphic modular form of weight 0 for some subgroup (not necessarily congruence) $\Gamma\le\text{SL}_2(\mathbb{Z})$ ...

**11**

votes

**1**answer

214 views

### Are coarse spaces of 1-dimensional smooth proper Artin stacks smooth?

Let $\mathcal{X}$ be a regular proper 1-dimensional Artin stack with finite diagonal, with coarse space morphism $\mathcal{X} \to X$.
Question: Is $X$ regular?
Some comments:
I'm happy to assume ...

**20**

votes

**1**answer

537 views

### Is the moduli of formal groups smooth?

There is a notion of smooth stack in "homotopical algebraic geometry 2" and a notion of a cotangent complex for certain kinds of stacks (including representable stacks). I have two questions.
Is ...

**6**

votes

**1**answer

213 views

### Higher-dimensional Artin L-functions

I begin by clarifying that the "higher-dimensional" in my question refers to analogues of Artin L-functions over higher dimensional base schemes than $\mathrm{Spec}(\mathbb{Z})$.
Now for the set-up. ...

**3**

votes

**1**answer

98 views

### Does a modular function primitive for $\Gamma$ generate the function field of $\mathcal{H}/\Gamma$?

Let $f$ be a modular function (that is, a meromorphic modular form of weight 0) holomorphic on $\mathcal{H}$ which is invariant under $\Gamma\le SL_2(\mathbb{Z})$ (not necessarily congruence!), and ...

**0**

votes

**0**answers

71 views

### Showing that closure of all lines through a projective variety $Y$ has degree strictly less than $Y$

Let $Y$ be a variety of dimension $r$ and degree $d>1$ in $\mathbf{P}^n$. Let $P\in Y$ be a nonsingular point. Define $X$ to be the closure of the union of all lines $PQ$, where $Q\in Y$, $Q\ne ...

**15**

votes

**1**answer

355 views

### Vector field on a K3 surface with 24 zeroes

In http://mathoverflow.net/a/44885/4177, Tilman points out that one can use a $K3$ surface minus the zeroes of a generic vector field to build a nullcobordism for $24[SU(2)]$. Given that a) this is a ...

**2**

votes

**2**answers

165 views

### Normalization of a Noetherian local domain and line bundles on the punctured spectrum

Let $A$ be a Noetherian local domain ($2$-dimensional if needed) such that its punctured spectrum $U$ is regular, and let $A'$ be the normalization of $A$.
1) Is it possible for $A'$ to have ...

**2**

votes

**0**answers

102 views

### Universal property of limits of invertible sheaves

Let $R$ be a discrete valuation ring, $m$ the maximal ideal and $f:X \to \mathrm{Spec}(R)$ be a flat, proper morphism of relative dimension $1$. Assume further that $X$ is regular. For any $n>0$, ...

**3**

votes

**1**answer

122 views

### Are holomorphic quasi-positive line bundles on a Kähler manifold positive?

Holomorphic quasi-positive line bundles on a complex manifold $M$ are line bundles whose chern class can be represented by a closed $(1,1)$-form which is quasi-positive, that is, non-negative at all ...

**1**

vote

**2**answers

49 views

### change of the residue of meromorphic differential by a covering map.

Let $C_1$ and $C_2$ denote complex algebraic curves, and let
$f : C_1 \rightarrow C_2$ be a non-constant map. Let $x$ be a point on $C_1$ and its ramification degree is $e_x$.
I want to compute the ...

**2**

votes

**1**answer

102 views

### Singularities of complete intersections of affine varieties with hypersurfaces

Let $k$ be a field of characteristic $0$ (not necessarily algebraically closed), and let $A=k[x^1,\ldots,x^m]/(f_1,\ldots,f_N)$ be an affine variety which is a complete intersection; i.e. ...

**11**

votes

**1**answer

215 views

### What is the chromatic number of the “conic hypergraph” on a non-singular plane cubic?

Can we color the points of a complex non-singular plane cubic curve with finitely many colors so that no conic intersects the curve at 6 distinct points of the same color?
If so, what is the smallest ...

**20**

votes

**2**answers

992 views

### Lemma 1 from Beilinson's “Coherent Sheaves on $\mathbb{P}^n$ and Problems of Linear Algebra”, intuition?

Consider Lemma 1 from Beilinson's paper "Coherent Sheaves on $\mathbb{P}^n$ and Problems of Linear Algebra", as follows.
Let $\mathcal{C}$ and $\mathcal{D}$ be triangulated categories, $F: ...

**6**

votes

**1**answer

255 views

### What are some examples of total derived functors that can't be computed from a functorial replacement?

(Or more generally, what are some examples of Kan extensions which are not pointwise?)
By a total derived functor of a functor $F: C \to D$, I simply mean a (left or right) Kan extension of $F$ along ...