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

learn more… | top users | synonyms (1)

6
votes
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
2answers
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
2answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
2answers
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
0answers
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
1answer
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
0answers
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
2answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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 ...