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

**3**

votes

**1**answer

86 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

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

**5**

votes

**0**answers

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

**4**

votes

**1**answer

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

**-1**

votes

**0**answers

65 views

### Neighborhoods of a point in fppf topology [on hold]

Does every point of a scheme (say over a dvr) have an irreducible neighborhood for fppf topology?

**0**

votes

**1**answer

83 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

210 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, ...

**2**

votes

**0**answers

95 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

69 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

307 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

198 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

81 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

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

**2**

votes

**2**answers

183 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

85 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

27 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

134 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

41 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

82 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

121 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

380 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 + ...

**0**

votes

**1**answer

119 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

373 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

105 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

111 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

58 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

382 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

118 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

**0**answers

47 views

### Geometric interpretation of cubic curve? [migrated]

Lines and conics have clear geometric meanings that are coordinate-free, but cubics seem to rely entirely on cubic equations and coordinate systems. Are there ways to define cubic curves without cubic ...

**0**

votes

**1**answer

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

**-3**

votes

**0**answers

57 views

### The Zariski closure of subset connected [closed]

Let $R$ be a commutative ring and $\{P_i\}_{i\in I}$ be an arbitrary subset of $Spec(R)$ (where $Spec(R)$ is the set of all prime ideals of $R$) such that $\dfrac{R}{\bigcap_\limits{i\in I}{P_i}}$ is ...

**11**

votes

**2**answers

303 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

168 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

162 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

1k 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

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

**0**

votes

**0**answers

73 views

### I want an example of a monomial curve [closed]

Example of a monomial curve and its defining ideal.
I am looking for precise definition of a monomial curve and its defining ideal. If possible please tell the minimal generator of this ideal

**7**

votes

**1**answer

351 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

56 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

125 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

99 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

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

**2**

votes

**1**answer

178 views

### pull back of an ample line bundle under a blow up

Suppose $\mu:X\rightarrow Y$ is a blow up of a smooth irreducible subvariety $Z$ of $Y$. Let $L$ be an ample line bundle on $Y$. Let $E$ be the exceptional divisor of $f$. Is it true that there ...

**8**

votes

**1**answer

164 views

### Automorphisms of del Pezzo surfaces

Let $S$ be a del Pezzo surface of degree six over $\mathbb{C}$. Then $S$ is the blow-up of $\mathbb{P}^2$ in three general points $p_1,p_2,p_3$.
Is it true that its automorphism group is ...

**0**

votes

**1**answer

75 views

### Irreducible components of a cone

Suppose $B=A\oplus S^1\oplus S^2\dots$ is a graded ring, $B$ is generated by $S^1$, $C=\textrm{Spec}B$ is called a cone over $X=\textrm{Spec}A$. We have natural projection $\pi\colon C\to X$. ...

**0**

votes

**1**answer

102 views

### Example of indecomposable self injective ring

Is there any example of an indecomposable self-injective commutativr ring with 4 or more maximal ideals?

**8**

votes

**1**answer

557 views

### Remark 4.23.4 in Hartshorne

Crosspost from math.stackexchange, since it's quite possible I might not get a response there.
Remark 4.23.4 in Chapter IV of Hartshorne's Algebraic Geometry references a paper by Elkies that ...

**7**

votes

**2**answers

284 views

### Field of definition of dominant morphisms

Let $k$ be an algebraically closed field and $k_0$ a sub-field. Let $X,Y$ be two projective varieties defined over $k_0$. Suppose that that there exists a dominant morphism $f$ between $X_k=X\otimes ...

**2**

votes

**0**answers

94 views

### Stratification of Grassmanian by coordinate hyperplanes

I'm interested in what is known about the stratification of the Grassmanian induced by the coordinate hyperplanes in the Plucker embedding. More specifically, if we view the projective space as a ...

**1**

vote

**0**answers

367 views

### Are there connections between Homotopy type theory and Grothendieck's theory of motives? [closed]

Are there any "visions" (maybe "dreams"), future plans or connections between Homotopy type theory and Grothendieck's theory of motives (or at least "connections" with universal cohomology theory)?