# Tagged Questions

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

**2**

votes

**0**answers

126 views

### local description of $\mathbb{P}^2$-fibrations over $\mathbb{P}^1$

Let $X$ be a rational threefold (over the field of complex numbers) with terminal singularities. It is well-known that $X$ has only finitely many singular points $x_1,x_2, \ldots,x_n$.
To be more ...

**0**

votes

**0**answers

69 views

### Do closed points have “locally maximal” codimensions?

Let $S$ be a Noetherian excellent irreducible scheme of finite Krull dimension; since the question is local it may also be assumed to be affine. Let $s$ be a closed point of $S$. My question is: does ...

**1**

vote

**1**answer

101 views

### “Smooth” rationally connectivity

Let's say that a variety (projective, over $\mathbb{C}$) is smooth rationally connected if, for every couple of points in it, we can connect those points with a smooth rational curve.
What do we know ...

**3**

votes

**0**answers

103 views

### Rational normal curves on quadrics

Given a quadric $Q\subseteq\mathbb{P}^r$ and points $p_1,\dots,p_{r+2}\in Q$ in linear general position, a naive dimension count suggests that one should expect finitely many rational normal curves ...

**21**

votes

**1**answer

650 views

### Big list - Equivalent descriptions of Hodge conjecture?

I would like to know equivalent descriptions of the Hodge conjecture (with references).
Dan Freed's Version:
Consider a topological cycle (boundary less chains that are free to deform) on a ...

**6**

votes

**1**answer

188 views

### Self-intersection of a Cartier divisor

Let $X$ be a smooth projective variety, and $D$ a Cartier divisor on $X$ inducing a surjective morphism $f\colon X\rightarrow C$, where $C$ is a curve.
May we conclude that $D^{2}=0$?

**1**

vote

**0**answers

67 views

### when a prime ideal is maximal differential ideal in a UFD

Is the prime ideal $\langle X^{2}+Y^{2}-1\rangle$ a maximal differential ideal in differential ring $\mathbb{Q}[X,Y]$ with
derivatives $D(X)=Y, D(Y)= -X$?
I know there are maximal ideals like ...

**1**

vote

**0**answers

77 views

### Are there only finitely many fixed degree nontrivial polynomial parametrizations of the surface $x^4+y^4=z^4+t^4$?

Consider the surface over the rationals
$$ x^4+y^4=z^4+t^4 \qquad (1)$$
Consider parametrizations of form:
$$ f_1(u)^4+f_2(u)^4=f_3(u)^4+f_4(u)^4 \qquad(2) $$
where $f_i$ are polynomials with integer ...

**15**

votes

**1**answer

421 views

### What do Hecke eigensheaves actually look like?

Let $\mathbb F_q$ be a finite field, $C$ a curve over $\mathbb F_q$ of genus $g\geq 2$, $\rho: \pi_1(C) \to GL_2(\overline{\mathbb Q}_\ell)$ an irreducible local system. The geometric Langlands ...

**1**

vote

**0**answers

209 views

### How to check that an ideal of $\mathbb{C}[GL_n]$ is a coideal or not?

Let $I$ be an ideal of $\mathbb{C}[GL_n]$. Are there effective methods or software to check whether $I$ is a coideal or not? Thank you very much.
For example, let I be the ideal of $\mathbb{C}[GL_3]$ ...

**9**

votes

**0**answers

148 views

### Is there any notion of “smoothification” from $\mathbb{R}$-schemes to generalized smooth spaces?

I will write $\operatorname{Diff}$ to denote a category of generalized smooth spaces e.g. $Sh(\mathsf{CartSp})$. Is there a version of $\operatorname{Diff}$ for which there exists a functor ...

**7**

votes

**0**answers

176 views

### A Hartogs-type criterion for flatness

Let $U$ be a smooth affine connected variety over $\mathbb C$ and let $V\subset U$ be an open whose complement is of codimension at least two.
Now, let $Y$ be a smooth quasi-affine connected variety ...

**1**

vote

**2**answers

116 views

### Smooth, irreducible surface with real part containing two projective planes

Let $X$ be a smooth and irreducible projective variety over $\mathbb{R}$ of dimension two. I am looking for an instance of such a variety where two distinct connected components of $X(\mathbb{R})$ are ...

**1**

vote

**2**answers

147 views

### Is there a notion of pure dimension for Berkovich analytic space?

For affinoid spaces the definition is similar to algebraic geometry, what about general analytic spaces? I can't find a reference about it. If yes then is the analytification of a variety of pure ...

**3**

votes

**0**answers

109 views

### “Parameterising” extensions $0\to E\to W\to F\to 0$ by $\mathbb P(H^1(E\otimes F^*))$?

Let $X$ be a complex projective manifold and $E$ and $F$ be holomorphic vector bundles on $X$. The extensions of $F$ by $E$ are classified by elements $e\in H^1(E\otimes F^*)$. On the other hand, for ...

**4**

votes

**0**answers

202 views

### Equations for Elliptic Curves

An elliptic curve $C$ over a field $k$ is a smooth, genus 1 curve defined over $k$ with an associated $k$-rational point. If char$(k) \ne 2$, we can show that $C$ has a model of the form $y^2 = f(x)$ ...

**0**

votes

**0**answers

92 views

### Noetherian almost Dedekind domain

A Dedekind domain is an integral domain in which every nonzero proper ideal factors into a product of prime ideals, and an integral domain $R$ is called almost Dedekind whenever $R_m$ is Dedekind ...

**1**

vote

**0**answers

70 views

### A family of rank two bundles on $\mathbb CP^1$ parameterized by $H^1(O(-2n))$

Let $n$ be a positive integer. Consider the family of extensions
$$0\to O(-n)\to E\to O(n)\to 0,$$
parameterized by $H^1(O(-2n))$. For each element $e\in H^1(O(-2n))$ we get a rank two bundle $E$ ...

**4**

votes

**1**answer

274 views

### How to compute the tangent space of a quotient by a finite group

Let $I\subseteq R:=\mathbb C[x_0,\ldots,x_n]$ be a homogeneous ideal defining a subscheme $X\subseteq\Bbb P^n$. As in my previous question, the permutation group $\mathfrak S_{n+1}$ acts on $R$ by ...

**1**

vote

**0**answers

65 views

### Existence of Nonnegative Solutions of Linear Systems of Equations and Inequalities with particular constraints

Suppose we have an n by m nonnegative matrix A, where each row sums to 1. I wonder whether there exists an m by n nonnegative matrix X that satisfies the following constraints: each row of X sums to ...

**3**

votes

**1**answer

138 views

### Measuring similarity between curves or varieties

Recently, I have been caught in the question: What kind of algebraic curves in $\mathbb{R}^2$ can one get?
For instance, how do I know that there is no polynomial $P(x, y) \in \mathbb{R}[x, y]$ whose ...

**2**

votes

**0**answers

144 views

### Comparison of algebraic and analytic q-expansion

I would like to check that algebraic and analytic q-expansion of a modular form coincide.
I'm thinking about modular forms as global sections of some sheaf on modular curves. If $X$ is a modular ...

**9**

votes

**2**answers

282 views

### Lower central series quotients in terms of (co)homology

Let $G$ be a group. It is well-known that $H_1(G,\mathbb{Z})=G/[G,G]$. Also (at least up to torsion) $[G,G]/[G,[G,G]]=\Lambda^2H^1(G,\mathbb{Z})/H_2(G,\mathbb{Z})$ as explained, for example, in this ...

**1**

vote

**0**answers

118 views

### A subset of a Grassmanian [closed]

Let $G = G(4, 7)$ denote the Grassmanian of $4$-dimensional linear spaces in $\mathbb{P}^7$. Let $F$ be a fixed primitive, non-singular, and geometrically irreducible homogeneous polynomial in $8$ ...

**4**

votes

**1**answer

213 views

### Finite group action on quasi-projective varieties

Let $X$ be a smooth, quasi-projective variety, $G$ be a finite group which acts freely and properly on $X$. Denote by $\alpha:X \to X/G$ the quotient. Is $\alpha$ generically etale?
Also, as I am ...

**1**

vote

**0**answers

90 views

### Example of non-locally finite stability condition

I am trying to work out example 5.6 in Bridgeland's paper "Stability conditions on triangulated categories".
http://annals.math.princeton.edu/wp-content/uploads/annals-v166-n2-p01.pdf
A standard ...

**3**

votes

**2**answers

188 views

### Checking smoothness of the components of a highly symmetric scheme via quotient?

Setting
Let $I\subseteq\mathbb C[x_0,\ldots,x_n]=:S$ be a homogeneous ideal and $X\subseteq\mathbb P^n$ the scheme defined by $I$. Consider the action of the symmetric group $\mathfrak S_{n+1}$ on ...

**3**

votes

**1**answer

214 views

### Confusion surrounding the Koszul-Malgrange theorem

I recently had the need to appeal to some complex geometry in my research and have been trying to unravel the various relationships surrounding the Koszul-Malgrange theorem.
According to nlab, the ...

**2**

votes

**1**answer

316 views

### Grothendieck class and Normalization

Does the Grothendieck class behave well under normalization? Here by Grothendieck class, I mean the class of a variety in $K_0(\mathcal{var/\mathbb{C}})$

**8**

votes

**0**answers

137 views

### Two transfers for ramified or branched covers

Let $\pi: X \rightarrow Y$ be a 2-fold branched cover of complex varieties. I know of (at least) two types of pushforwards associated to this situation:
If I'm not mistaken, there is a pushforward ...

**8**

votes

**0**answers

283 views

### Are all formal schemes *really* Ind-schemes?

I'm trying to understand whether there's a fully faithful functor $LRS \supset FormalSch \to IndSch$ and in what sense. Here's my progress so far:
Let $\mathsf{A}$ be the category of adic rings. The ...

**3**

votes

**0**answers

84 views

### Reference for Superelliptic Curves

A curve is called superelliptic if $y^n = (x-\alpha_1)^{d_1}...(x-\alpha_s)^{d_s}$ where $n \ge 2$ and $d_i > 0$.
From googling around, I found several papers which talk about these curves and ...

**3**

votes

**0**answers

115 views

### Average nastiness of a Newton polytope

Given a Newton polytope $P$ inside the $d$-scaled simplex ( i.e $\alpha \in P \implies | \alpha |=d $ ), then we define the following quantity:
$$ P(x)= \left( \sum_{\alpha \in P} ...

**1**

vote

**0**answers

105 views

### A strong form of Bezout theorem

Let $X$ be a smooth projective variety of dimension $n$, $U \subset X$, non-empty open set. For any integer $k>0$, does there exist $n$-hypersurface sections $Z_1,...,Z_n \in |\mathcal{O}_X(k)|$ ...

**4**

votes

**1**answer

171 views

### Special fibre of the modular curve $X(N)$

Let $N$ be an integer $\geq 3$ and $X(N)\rightarrow \mathrm{Spec } \mathbb{Z}[1/N]$ is the projective smooth modular curve defined in Deligne-Rappoport. Is there an exemple of $N$ for which the ...

**3**

votes

**0**answers

119 views

### Equivalent definitions of the Hasse invariant

As probably many others before me, I got stuck in verifying all the nice properties of the Hasse invariant.
Let me start by recalling one definition:
Let $E\to S$ be an elliptic curve in ...

**-1**

votes

**1**answer

67 views

### Zariski open set in orthogonal grassmanian [closed]

I am confused about the following question.
Consider $\mathbb C^4$ endowed with nondegenerate symmetric bilinear form ...

**3**

votes

**1**answer

118 views

### How to embed $S^2\mathbb{C}^2$ into $S^2S^3\mathbb{C}^2$ and get the ideal of the twisted cubic?

Let $X:=x^3$, $Y:=x^2y$, $Z:=xy^2$ and $W:=y^3$ be the 4 independent generators of $S^3\mathbb{C}^2$, and observe that the kernel of the natural epimorphism (total symmetrisation)
$$
...

**0**

votes

**0**answers

135 views

### A question about invariance of plurigenera

Choose $m$ large enough so that $mK_F$ has a non-zero global section for some fibre $F$. For any fibre $F$, we have $K_F = K_{X/D}~_{|F}$. So deformation invariance of plurigenera says that the ...

**1**

vote

**1**answer

86 views

### Existence of curve nodal at given set of points

I am reading this (https://webusers.imj-prg.fr/~claire.voisin/Articlesweb/Univcodim2invent.pdf) paper of Voisin, but I am having some trouble with the proof of Sublemma 2.8 (it might be something very ...

**3**

votes

**1**answer

137 views

### Schubert varieties and Young diagrams

In his book Young Tableaux, Fulton asserts, in Exercise 9.4.18 on p. 152, that the Schubert variety $\Omega_{\lambda}$ is defined by the conditions $\text{dim}(V \cap F_{n+i- \lambda_{i}}) \geq i$ for ...

**4**

votes

**1**answer

96 views

### The volume around a singular isolated root when equalities are loosened

Suppose I have a system of polynomial equations in $n$ real variables $f_i(x_1,\ldots,x_n)=0$, $i=1,\ldots,m$, such that $0$ is an isolated solution. Now I replace each of the equations with a ...

**4**

votes

**0**answers

180 views

### Kähler quotients of affine varieties and GIT

Let $X\subseteq \Bbb C^n$ be a smooth affine variety and $G=K_{\Bbb C}$ a complex reductive group acting linearly on $\Bbb C^n$ preserving $X$ (where $K$ is a maximal compact subgroup of $G$). Suppose ...

**3**

votes

**1**answer

132 views

### Uniqueness of smooth compactification upto a smooth morphism

By a $k$-variety, we will mean a separated scheme of finte type over a field $k$. Let $k$ be of characteristic 0. Given a smooth quasi-projective $k$-variety $X$, there is a projective $k$-variety ...

**5**

votes

**1**answer

174 views

### Spin structures on schemes

This is a very naive question, but I have been wondering about the role of spin geometry and spinor structures in the context of algebraic geometry. I know the definition of spin structures and ...

**1**

vote

**0**answers

98 views

### Monodromy of Geometric Variation of Hodge Structures over punctured disc

We know that the monodromy action $T$ is a morphism of limiting MHS on cohomology of nearby fiber $H^n(X_{\infty})$ derived from the Geometric variation of hodge structure $\pi: \mathcal{X}\rightarrow ...

**5**

votes

**0**answers

98 views

### Is this method of finding a “dual curve” correct?

I have a very limited exposure to projective geometry, but I'm having fun exploring the concept of duality. In particular I'd like to know if this naive method of finding a "dual" curve to a given ...

**11**

votes

**0**answers

165 views

### Canonical scheme structure on the singular locus of a variety

I first asked this question on Math StackExchange but no answers were given.
Let $X$ be subvariety of affine space $\mathbb{A}_{k}^n$, where $k$ is a field, and suppose $X$ is given by equations
...

**3**

votes

**0**answers

98 views

### Number of free summands of finite local extensions

Suppose that $(R, m) \subseteq (S,n)$ is a finite extension of normal local domains that is:
etale on the punctured spectrum
not flat / etale at the origin
and such that the residue fields $R/m = ...

**3**

votes

**0**answers

106 views

### Zeros of Hilbert series of affine toric varieties

Consider a convex rational polyhedral cone $C\subset\mathbb R^m$ with vertex at the origin. Let $X$ be the corresponding affine toric variety, i.e. $\mathbb C[X]=\mathbb C[\mathbb Z^m\cap C^\circ]$. ...