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

**6**

votes

**1**answer

155 views

### If a faithfully flat extension of dg/A_$\infty$-algebra is formal, is the original algebra formal (over positive characteristic)?

Proposition 6.2 of Formality of DG algebras (after Kaledin) by Lunts reads (with a few additions to clarify notation):
Let $k$ be a field of characteristic 0. Let $A$ be an $A_\infty$ algebra ...

**6**

votes

**1**answer

124 views

### Conditions for a smooth scheme of finite type with trivial class group to be quasi-affine

Let $X$ be a smooth scheme of finite type over an algebraically closed field of characteristic zero and with a trivial class group $Cl(X)=0$. Let $Y$ be a dense open subscheme of $X$ such that:
1) ...

**2**

votes

**0**answers

96 views

### Quantizable vs. integral Kahler form

Let $(M,\omega)$ be a (not necessarily compact) Kahler manifold. Then the form $\omega$ is integral if and only if $\omega \in c_1 (L) $ for some holomorphic line bundle $L$.
A Hermitian holomorphic ...

**3**

votes

**0**answers

343 views

### Finding the number of rational points effectively

Consider $\# P$ and $\oplus P$.
There is a $\# P$-hard problem: to find number of rational solutions of a system of polynomial equations over $\mathbb{F}_2$. The corresponding $\oplus P$-hard ...

**2**

votes

**0**answers

101 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

67 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

100 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

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

**22**

votes

**1**answer

621 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

184 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

65 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

76 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

379 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

204 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

146 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

174 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

107 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

143 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

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

**0**

votes

**0**answers

81 views

### Reflexive sheaf and torsion free sheaf [on hold]

Let $X$ be a smooth normal projective variety over $\mathbb{C}$. If $E$ is a torsion-free coherent sheaf on $X$, then the singularity set of $E$, that is the closed set where $E$ fails to be locally ...

**4**

votes

**0**answers

196 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)$ ...

**8**

votes

**1**answer

212 views

### Gauss-Manin connection via crystals

Let $f \colon X \to S$ be a proper smooth morphism between smooth varieties over $\mathbb{C}$. Then each relative de Rham cohomology group $R^if_*(\Omega_{X/S}^\bullet)$ is a vector bundle equipped ...

**0**

votes

**0**answers

86 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

69 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

197 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

51 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

100 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

141 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

270 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

116 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

202 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

71 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

186 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

204 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

304 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}})$

**7**

votes

**0**answers

132 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

277 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

83 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

113 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

104 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)|$ ...

**3**

votes

**1**answer

165 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

94 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

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

**4**

votes

**0**answers

141 views

### Do I understand the Chevalley Restriction Theorem correctly? [migrated]

Let $G$ be a complex semisimple Lie group with Lie algebra $\frak g$, and let $\frak h$ be a Cartan subalgebra with Weyl group $W$. The Chevalley Restriction Theorem states that the restriction map ...

**3**

votes

**1**answer

115 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

134 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

85 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

**0**answers

155 views

### positivity of semicanonical basis

Given a quiver $Q$, there is an algebra isomorphism from $U\frak{n}$ to $\mathcal{M}\subset \sum_{v}\text{Const}(\Lambda_v)^{G_v}$ by Lusztig's construction.
Fro each $Z\in \text{Irr}(\Lambda_v)$. ...

**4**

votes

**1**answer

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