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

**11**

votes

**1**answer

219 views

### When do partial derivatives $p_x$, $p_y$ of a polynomial over $\mathbb{C}$ not have any common factor?

When do partial derivatives $p_x$, $p_y$ of a polynomial over $\mathbb{C}$ not have any common factor? Is there a general approach for any number of variables, aka when is the variety defined by the ...

**3**

votes

**1**answer

98 views

### Approximation of Group Schemes over valuation rings

In his paper Approximation des schémas en groupes, quasi compacts sur un corps, Daniel Perrin shows that every quasi compact group scheme over a field then it is an inverse limit of group schemes of ...

**9**

votes

**0**answers

92 views

### Meromorphic functions on $U^2 = T^3 + 1$, cokernel of $O_S \to F_\infty/O_\infty$ [closed]

See here. Crossposted from math.stackexchange since there's no good answer despite $>$ 20 upvotes.
Let $k$ be a field of characteristic $\neq 2$, and consider the quadratic extension $F$ of ...

**0**

votes

**0**answers

39 views

### References on hyperinvariant

Reading Dubrovin & Novikov text: Modern Geometry, "hyperinvariant" is mentioned. Can someone give me references on the concepts and notations ?

**7**

votes

**3**answers

377 views

### Intuition behind basic facts about homogeneous ideals?

What is the intuition (hopefully, geometric) behind these basic facts about homogeneous ideals? An ideal $I$ in $S$ is homogeneous if an element $f = \sum_{n \ge 0} f_n$ of $S$ lies in $I$ if and only ...

**7**

votes

**1**answer

240 views

### Does there exist an algebraic space with large fundamental group but no finite etale covers by schemes

Does there exits a smooth proper algebraic space $X$ over $\mathbb C$ with "large" fundamental group such that no finite etale cover of $X$ is a scheme?
By "large" fundamental group I mean that $X$ ...

**11**

votes

**4**answers

418 views

### The conjugacy classes of diagonalizable $2 \times 2$ matrices can be identified with their eigenvalues, what about pairs?

For sake of simplicity, let's say that we live in $G = SL(2, \mathbb{C})$. Every conjugacy class of diagonalizable matrices $$[A] := \{gAg^{-1} \mid g \in G\}$$ can be identified with its set of ...

**7**

votes

**0**answers

199 views

### Is the compositum of all quadratic extensions of the rationals an ample field?

Let $K$ be the compositum of all quadratic extensions of $\mathbb{Q}$, that is $$K = \mathbb{Q}(\sqrt{d} \ : \ d \in \mathbb{Q}).$$
Is there a (geometrically irreducible) smooth variety ...

**7**

votes

**1**answer

301 views

### How algebraic is the holonomy map?

Let $G$ be either a compact, simple, simply-connected Lie group, or a simply-connected complex reductive group (so either $SU(n)$ or $SL(n,\mathbb{C})$, for instance), or even complex affine. I don't ...

**1**

vote

**1**answer

133 views

### Tor-amplitude [0, 1] in the setting of intersection theory on a regular surface?

The question is coming from Definition 1.5 in Deligne's Expose X in SGA 7 on intersection theory.
Let $X$ be a connected regular scheme of dimension $2$ and $Y \subset X$ a reduced divisor that ...

**1**

vote

**1**answer

200 views

### Is this kind of scheme integral?

Let $X\rightarrow Spec(R)$ an irreducible projective scheme over a dvr. Suppose the generic fiber $X_{\eta}$ is smooth (over the field $Frac(R)$) and irreducible. Is it true that $X$ is integral (i.e. ...

**5**

votes

**0**answers

174 views

### Product of a Schubert polynomial and a double Schubert polynomial

Let $S_u(x)$ be a Schubert polynomial and let $S_v(x;y)$ be a double Schubert polynomial. Then their product can be expressed in terms of the double Schubert polynomials as
...

**4**

votes

**1**answer

132 views

### Are automorphism groups of polarized varieties of finite type

It is "well-known" that the stack of polarized varieties is an algebraic stack with quasi-compact and separated diagonal.
In particular, if $(X,L)$ and $(Y,M)$ are polarized schemes over a scheme ...

**6**

votes

**1**answer

264 views

### From polynomial ideal over $\mathbb{Q}$ to polynomial ideal over $\mathbb{Z}$

Is there an algorithm to compute, given a polynomial ideal $I\subset \mathbb{Q}[x_1,\dotsc,x_n]$, the ideal $I\cap \mathbb{Z}[x_1,\dotsc,x_n]$ in $\mathbb{Z}[x_1,\dotsc,x_n]$?
The input and ...

**6**

votes

**0**answers

202 views

### Is the stack of varieties with a big line bundle algebraic

In Starr's paper https://www.math.stonybrook.edu/~jstarr/papers/moduli4.pdf the folk result that the fibred category of pairs $(X\to S, L)$, where $S$ is an affine scheme, $X\to S$ is flat proper ...

**6**

votes

**1**answer

244 views

### Isotrivial families with non-zero Kodaira spencer map

Let $S$ be a smooth quasi-projective curve over the complex numbers. Let $P$ be a closed point in $S$. Let $f:\mathcal X \to S$ be a polarized family of smooth projective connected varieties. To this ...

**0**

votes

**1**answer

97 views

### quasi-projective and separated as topological properties

Let $X$ be a non-reduced noetherian scheme over $\mathbb{Z}$ or $\mathbb{C}$. Assume that $X^{red}$ is quasi-projective and separated, does the same hold for $X$ ?
(By the way, projective implies a ...

**8**

votes

**0**answers

255 views

### Coherent cohomology of the moduli space of curves

Is $H^i\left(\overline{\mathcal M}_g, \mathcal O_{\overline{\mathcal M}_g}\right)$ nontrivial for any $i>0$ and any $g$?
I was not able to find literature on this after searching for a bit, ...

**3**

votes

**0**answers

118 views

### What's the relationship between the different versions of the BBD decomposition theorem?

I have a few questions relating to the BBD decomposition theorem.
I have come across the following two versions of the decomposition theorem.
Version 1. Let $f : X \to Y$ be a proper map of ...

**0**

votes

**0**answers

77 views

### Hilbert scheme of relative subschemes of lenght 2

Let $\mathfrak X \rightarrow S$ a smooth projective family over the spectrum of a dvr. We know that $(\mathfrak X _{\eta_R})^{[2]}$ and $(\mathfrak X _{p})^{[2]}$ are smooth, where $p$ is the closed ...

**3**

votes

**3**answers

329 views

### Genus of a plane curve of the form $\prod_{i=1}^n (a_iX+b_iY+Z) = Z^n$

Does anybody know the genus of the following (projective) plane curve?:
$$\prod_{i=1}^n (a_iX+b_iY+Z) = Z^n$$
where the $a_i$'s and the $b_i$'s are complex numbers with $a_j \ne a_i\ne b_i \ne b_j$ ...

**0**

votes

**1**answer

238 views

### Supplementary notes to Mumford's The Red Book of Varieties and Schemes

I am a graduate student with good mathematical maturity (I took advanced courses like category theory, commutative algebra...). I want to study algebraic geometry from Mumford's red book. I find it ...

**0**

votes

**0**answers

87 views

### Irreducible component of a scheme over a dvr

Let $\mathcal M$ be a (reduced) quasi-projective scheme over a dvr (of mixed caracteristics), $R$. Suppose that the generic fiber $\mathcal M_{\eta_R}$ is (nonempty) smooth and irreducible of ...

**3**

votes

**1**answer

128 views

### Polynomials with Unique Critical Value

My question is extremely simple to state: I am looking for a characterization of multivariate complex polynomials $f$ such that $f(Sing(f))=\{0\}$. My motivation is that I recently read somewhere that ...

**3**

votes

**2**answers

200 views

### Fibrations on blow-ups of $\mathbb{P}^2$

Let $X_n = Bl_{p_1,...,p_n}\mathbb{P}^2$ be the blow-up of $\mathbb{P}^2$ in $n$ general points $p_1,...,p_n\in\mathbb{P}^2$.
Let $f_i:\mathbb{P}^{2}\dashrightarrow\mathbb{P}^1$ be the linear ...

**1**

vote

**0**answers

92 views

### Set of smooth curves on the Hilbert scheme is open. H

Let $H = Hilb_{d,g,r}$ be the Hilbert scheme of genus $g$ curves of degree $d$ in proyective space $\mathbb{P}^r$, over an algebraically closed field $k$.
Is it true that the set of points of $H$ ...

**1**

vote

**0**answers

30 views

### Uniqueness of Riemann Constant Vector Solution

Let $X$ be a compact, genus $g$ Riemann surface (given as the desingularization and compactification of a plane algebraic curve), $J(X)$ its Jacobian, and $A : X \to J(X)$ the Abel map
$$A(P) = ...

**6**

votes

**0**answers

147 views

### Bundles over Grassmanian with given top Chern class

So, I have been working on Chern classes for my master thesis and apparently (My proofs could be wrong and a few things are still vague) I was able to give a construction method and exhibit, via ...

**1**

vote

**0**answers

59 views

### Calculations about the normal bundle of embedding of symmetric products

Suppose $C^{(d)}$ is the $d$-th symmetric product of a curve, embed it in $C^{(d+s)}$ by $E\to E+sP_0$ where $P_0$ is a fixed point. The normal bundle of this embedding is denoted by $N$.
Suppose ...

**0**

votes

**0**answers

88 views

### Universal property of complete linear systems

Let $X$ be a projective scheme over a field $k$ and $S$ a $k$-scheme. Fix a closed immersion $i:X \to \mathbb{P}^n$ for some $n$ and denote by $\mathcal{O}_X(1):=i^*\mathcal{O}_{\mathbb{P}^n}(1)$. Let ...

**1**

vote

**0**answers

161 views

### Flat cohomology of an ordinary liftable Calabi-Yau threefold

Let $k$ be a perfect field of characteristic $p>0$ and consider an ordinary liftable Calabi-Yau threefold $X_{0}/k$. By this I mean that $H^{i}(X_{0},B_{X_{0}/k}^{j})=0$ for all $i\geq 0$ and ...

**7**

votes

**1**answer

416 views

### Do modular forms show up in the cohomology of moduli spaces of unmarked curves?

Let $\overline{\mathcal M}_{g,n}$ be the compactified Deligne-Mumford moduli stack (although I don't think taking the coarse moduli space will make much of a difference here). If we decompose $g = 1 + ...

**1**

vote

**1**answer

126 views

### Stacks with representable morphisms to algebraic stacks

If $Y$ is an algebraic stack over a scheme $S$ and $X$ is a stack such that there exists an $S$-morphism $X\to Y$ representable by algebraic spaces, then is $X$ an algebraic stack (in the sense that ...

**6**

votes

**1**answer

398 views

### Pure motives and compatible systems of $\ell$-adic representations

I am trying to understand the statement of the conjectures of Deligne on special values of certain $L$-functions, from his article titled, "Valuers de Fonctions L et periodes d'integrales" which ...

**0**

votes

**0**answers

112 views

### Is any blow-up of smooth subvarieties always an extremal contraction?

Let $X$ be a smooth complex projective variety and $Z$ be a smooth subvariety of $X$.
Take the blow-up $\pi: Y \to X$ of $X$ along $Z$.
Then I want to know whether $\pi$ is the contraction of an ...

**0**

votes

**0**answers

114 views

### Existence of a map between curves

Given two algebraic curves defined over the rationals, is there a method for determining whether there exists a surjective map from one curve to the other? For instance, suppose X and Y are affine ...

**1**

vote

**0**answers

61 views

### Motivic Pfister type varieties and norm varieties

Due to results of Rost it is known that the Grothendieck-Chow motiv of a Pfister quadric $X$ belonging to a pure $\alpha \in H^n(k,\mu_2)$ is decomposable in the following way
$M(X) = ...

**11**

votes

**2**answers

407 views

### Relationship between étale and topological $K(\pi,1)$s

I was trying to find a proof, or a counterexample to the claim that if $X/\mathbb{C}$ is connected smooth projective, then $X$ is a $K(\pi^{\mathrm{\acute{e}t}},1)$ if and only if $X^\mathrm{an}$ is a ...

**0**

votes

**0**answers

129 views

### Is the complex structure on a del-Pezzo surface a regular complex structure?

Let $(X, \omega, J)$ be a compact symplectic manifold with an almost complex structure. Fix some homology class $\beta \in H_2(X, \mathbb{Z})$. An almost
complex structure $J$ is said to be ...

**0**

votes

**1**answer

96 views

### section of reduced structure map

Let $R$ be a commutative ring whose characteristic is either prime or $0$, such that $R/N$ is an integral domain, where $N$ is the nilradical, and $p: R \rightarrow R/N$ the canonical map. Is there a ...

**11**

votes

**2**answers

380 views

### Automorphisms of finite order in $Out(\widehat{F_2})$

Let $\widehat{F_2}$ be the pro-$\ell$ completion of the free group of rank 2, where $\ell$ is some prime.
Every outer automorphism of $F_2$ induces an outer automorphism of $\widehat{F_2}$, hence an ...

**5**

votes

**2**answers

177 views

### Invariants of the maximal unipotent subgroup of GL(n) acting on the space of n by n matrices

Let $G=GL(n,\mathbb{C})$ and let $U\subset G$ be a maximal unipotent subgroup. (For example,assume that U is the set of upper triangular matrices with ones in the diagonal.) Now let ...

**4**

votes

**1**answer

163 views

### Bézout's theorem for arcs in the plane

Consider two polynomials $p,q \in {\mathbb R}[x,y]$, both of degree $d$. Let $\gamma_p$ and $\gamma_q$ be the two curves in ${\mathbb R}^2$ that are defined by these polynomials, and assume that these ...

**13**

votes

**3**answers

2k views

### Intuition behind the Kodaira Vanishing Theorem?

As the question suggests, what is the intuition behind the Kodaira Vanishing Theorem? The Kodaira Vanishing Theorem says that the cohomology groups $H^q(M, L \otimes K_M)$ vanish for $q \ge 1$ when ...

**-3**

votes

**1**answer

237 views

### The scheme $y^n = x^{2n}$ for $n$ a rational number [closed]

Let $n\geq 1$ be an integer. If $A$ is a ring, then the spectrum of $A[x,y]/(y^n - x^{2n})$ is a well-defined (affine) scheme, say $X_n$. This scheme describes the "variety" given by the equation ...

**7**

votes

**1**answer

358 views

### What is the normal closure of $GL_2(\mathbb{Z})$ inside $GL_2(\mathbb{Z}_\ell)$?

This weird problem popped up in my research:
Let $\ell$ be a prime. Is there a description of the smallest normal subgroup of $GL_2(\mathbb{Z}_\ell)$ containing $GL_2(\mathbb{Z})$?
Is there a ...

**1**

vote

**0**answers

62 views

### local universal sheaf (moduli of stable sheaves)

I do not know much about moduli of sheaves and I wanted to shows that for a smooth (projective) family over a discrete valuation ring of mixed characteristics (relative dimension 3), the locally free ...

**5**

votes

**0**answers

137 views

### “Generalized theory of polynomials” for a given commutative Lawvere Theory

I am trying to understand
Nikolai Durov's "New Approach to Arakelov Geometry" right now and it got me thinking about a particular thing.
Let $R$ be a commutative, associative ring with unit. We can ...

**0**

votes

**0**answers

107 views

### Question about Castelnuovo-Mumford regularity

let $R$ be a Noetherian ring an $I$ an ideal of $R$.
If $n,m\in N$ and $reg(G(I))=n$, then what can we say about $reg(G(I^m))$?
Here $G(I)$ is the associated graded ring.

**7**

votes

**1**answer

192 views

### Can view the connected component of the Picard scheme $\text{Pic}^0(X)$ as a “kernel” of the first Chern class?

So on a curve, $\text{Pic}^0(X)$ is just the Jacobian variety, and just correspond to degree $0$ divisors. One way to extend the notion of divisors corresponding to a vector bundle is taking the first ...