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

learn more… | top users | synonyms (1)

11
votes
1answer
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
1answer
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
0answers
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
0answers
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
3answers
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
1answer
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
4answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
3answers
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
1answer
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
0answers
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
1answer
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
2answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
1answer
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
2answers
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
2answers
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
1answer
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
3answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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 ...