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

**8**

votes

**1**answer

420 views

### Cohomology theory “from” Grothendieck's six operations?

How, precisely, (as suggested by grothendieck) cohomology theory naturally follows from the Grothendieck's six operations associated to the category derived from the topos?
I would like some ...

**2**

votes

**0**answers

95 views

### Dimension of a sheaf cohomology group on a genus 1 curve

Let $\mathcal{M}_{g,1}$ be the moduli space of genus 1 curves with 1 puncture. For simplicity let's take $g > 1$. As usual, there is a natural fibration $C \rightarrow \mathcal{M}_{g,1} \rightarrow ...

**6**

votes

**0**answers

164 views

### Semi-continuity of intersection numbers

I always trusted the following quite vague statement:
If you have a family of effective divisors $D_1(t),\dots , D_k(t)$ on a $k$-dimensional projective variety $X_t$, where $t$ is a paramater say ...

**2**

votes

**1**answer

225 views

### Field of definition of an algebraic set

I find this definition in Silverman's book, The Arithmetic of Elliptic Curves:
an algebraic set(in $A^n(\bar{K})$) is called defined over $K$ if its ideal can be generated by polynomials in ...

**1**

vote

**0**answers

118 views

### globally well-defined holomorphic vector field on a curve $y^N = x^2 - z^2$

Let us start with a multiple cover $C$ of the $x$-plane branched at $z$ and $-z$, and so described by an equation $y^N = x^2 - z^2$.
For $N=2$, it is known that there are globally-defined ...

**3**

votes

**0**answers

74 views

### Bott-type vanishing results for the weighted Grassmannian wGr(2,5)

If $G=Gr(k,n)$ denotes the Grassmannian of k-dimensional subspaces in $V= \mathbb C^n$, representation theory gives us a Bott-type result for the cohomology groups $H^q(G, \Omega^p(k))$ of the twisted ...

**1**

vote

**2**answers

328 views

### Perverse sheaves and tensor product

If $X$ is a connected algebraic variety of finite type over $k$ (with $k$ a field of positive characteristic) of dimension $d$, and if $\mathcal{F}$ and $\mathcal{G}$ are perverse sheaves on $X$ so ...

**7**

votes

**4**answers

444 views

### Picard groups of quartic K3 surfaces

Does anyone know where I can find examples of quartic K3 surfaces for which the Picard group is known? I'm really interested in examples where there are explicit constructions of the divisors ...

**1**

vote

**0**answers

87 views

### Does the link of a hypersurface singularity determine its analytic type?

Consider a hypersurface $V(f) \subseteq \mathbb{C}^{n+1}$ with an isolated singularity at the origin. If $L := V(f) \cap S^{2n+1}_\epsilon$ is the link of $V(f)$ (with $S^{2n+1}_\epsilon$ a ...

**1**

vote

**0**answers

69 views

### connectedness of semi algebraic sets

We know the inequalities $x_ix_j >\theta_{ij}$ or $x_ix_j<\theta_{ij}$ for some $\theta_{ij}$>0, some $i,j\in\{1,\cdots,n\}$, $i\neq j$ defines the easiest semi algebraic set in $R^n_{\geq 0}$, ...

**2**

votes

**1**answer

146 views

### Does $\omega_C\simeq N_{C/S}$ always happen on Enriques surfaces?

Let $S$ be an Enriques surface and $C\subset S$ a smooth irreducible curve of genus $g$.
Consider the condition $$\omega_C\simeq N_{C/S}$$
For example, when $g=1$ then $\omega_C=\mathcal{O}_C$ and ...

**5**

votes

**2**answers

595 views

### Langlands program vs Shimura-Taniyama-Weil conjecture

Edward Frenkel said that "we can see Langlands program as a generalization of Shimura-Taniyama-Weil conjecture in the case of elliptic curves"
I hope I'm not distorting his phrase, can someone ...

**30**

votes

**2**answers

922 views

### Complex manifold with subvarieties but no submanifolds

I previously asked this question on MSE and offered a bounty but received no responses.
There are examples of compact complex manifolds with no positive-dimensional compact complex submanifolds. ...

**3**

votes

**0**answers

245 views

### Is this Grothendieck trace map an isomorphism?

Let $A$ be a commutative ring and let $S := \operatorname{Spec}(A)$. Let
$$ g : Y \to X $$
be a proper, birational morphism of separated schemes of finite type over $S$, where $X$ is affine and ...

**9**

votes

**0**answers

199 views

### Rationality of a certain real algebraic variety

Let $A_n$ denote the vector space of $n\times n$ antisymmetric matrices over ${\mathbb{Q}}$, where $n$ is even.
Let $A_n^*\subset A_n$ denote the affine ${\mathbb{Q}}$-subvariety of invertible ...

**0**

votes

**0**answers

168 views

### Milnor numbers and mixed multiplicities

section 6 of the link
Teissier showed that Milnor numbers of a hypersurface $(X,0)$ with isolated singulraity at 0 is same as mixed multiplicities of the Hilbert polynomial of the filtration ...

**0**

votes

**0**answers

99 views

### $z^n-t^m=x^3+y^3$ and Vojta's more general abc conjecture

In A more general abc conjecture, p. 7 Paul Vojta conjectures:
If $x_0,\ldots x_{n-1}$ are nonzero coprime integers satisfing $x_0 + \cdots x_{n-1}=0$
$$ \max\{|x_0|,\ldots |x_{n-1}|\} \le C ...

**1**

vote

**0**answers

124 views

### Base change and geometrically generic reduced fiber

Let $k$ be an algebraically closed field of characteristic $p>0$ and $f:X \to Y$ be a quasi-projective morphism between noetherian $k$-schemes. Assume that $Y$ is regular and the geometric generic ...

**0**

votes

**1**answer

183 views

### Field extension and nilpotent element

Let $k$ be an algebraically closed field of characteristic $p>0$, $A$ a regular local noetherian $k$-algebra, $B$ another local noetherian $k$-algebra, $f:A \to B$ an injective ring homomorphism of ...

**5**

votes

**1**answer

322 views

### A criterion for orbits of complex reductive group to be closed

I am having some trouble understanding Nakajima's proof of the Kempf-Ness theorem in [1]. At the end (proof of Proposition 3.9(6)), his argument is basically the following:
Let $G=K_{\Bbb C}$ be a ...

**8**

votes

**0**answers

161 views

### Are there genera for algebraic cobordism?

For real and complex manifolds, we can form the (oriented) cobordism ring $\Omega$, and a genus is defined to be a ring homomorphism
$$\varphi:\Omega\otimes\mathbb{Q}\to R$$
where $R$ is any ...

**4**

votes

**1**answer

150 views

### Schwartz-Zippel lemma for an algebraic variety

Let $X $ be a smooth affine subvariety of $(\overline{\mathbb{F}_q})^n$ defined by a prime ideal $I$. Let $f$ $\in \mathbb{F}_q[x_1,\ldots,x_n]$ be a polynomial such that $f \notin I$.
Let $r_1, ...

**2**

votes

**0**answers

135 views

### Smoothness of a (given) global section of a vector bundle over G(2,6)

Let $G=Gr(2,6)$ the Grassmannian of two planes in $V=\mathbb C^6$, and let $\mathcal Q(1)$ the rank four quotient bundle on it twisted with $\mathcal O_G(1) \cong $ det$(S^*)$, $S$ being the ...

**5**

votes

**3**answers

342 views

### Families of abelian varieties on the line (or more generally simply connected varieties)

I'm curious whether the following is true:
Question 1: Let $V/\mathbb{C}$ be a smooth connected variety such that $V^\text{an}$ is simply connected. Then, is every abelian scheme $f:\mathscr{A}\to ...

**6**

votes

**2**answers

169 views

### $G$-invariant holomorphic vs. polynomial functions

Let $X\subseteq\Bbb C^n$ be a smooth affine variety and $G$ a complex reductive group acting algebraically on $X$.
Let $x_0\in X$. If there is a non-constant $G$-invariant holomorphic function ...

**0**

votes

**0**answers

43 views

### Finding functions on curves with given multiplicity at a point

just migrated these questions from SE, I hope is ok.
Let $C/k$ be a smooth curve over a field (not necessarily perfect) , $P\in C(k)$ and $n\in \mathbb{Z}^{+}$ such that $n>1$
I want to find a ...

**0**

votes

**2**answers

188 views

### Does there exist an Affinization or Projectivization process for Varieties?

Let us consider the classical isomorphism of real manifolds between $S^2$ and ${\mathbb CP}^1$. First strange thing we have here is that both are varieties, but $S^2$ is an affine and ${\mathbb CP}^1$ ...

**2**

votes

**1**answer

160 views

### Which varieties are flat degenerations of projective space?

Let $V$ be a vector space over a field with discrete valuation and let $R$ be its ring of integers.
Which varieties can be reached as the special fiber of a flat degeneration over $R$, when the ...

**1**

vote

**1**answer

175 views

### Monodromy theorem of degeneration of smooth projective varieties to non-reduced central fiber

Given a family $\pi: \mathcal{X}\rightarrow\Delta$ smooth away from $0\in\Delta$, Where $\mathcal{X}$ is a smooth complex manifold, $\Delta$ is a small disk, the general fiber of $\pi$ is smooth ...

**7**

votes

**1**answer

412 views

### what is the universal cover of GL(2,R)?

In the theory of Bridgeland stability conditions one has an action of the universal cover $G'$ of $G = GL^+(2,\mathbb R)$.
What is G'?
I know there is concrete description in terms of pairs ...

**5**

votes

**0**answers

258 views

### Deligne's theorem on the characterisation of Tannakian categories

I am trying to understand the proof of the Theorem 7.1 from Catégories Tannakiennes by Pierre Deligne https://publications.ias.edu/sites/default/files/60_categoriestanna.pdf.
Essentially, it is ...

**3**

votes

**1**answer

89 views

### Sections of a linear system splitting as a product of degree one polynomials

Let $X\subset\mathbb{P}^n$ be a hypersurface of degree $d$ and with multiplicities $m_1,...,m_k$ at $p_1,...,p_k\in\mathbb{P}^n$ general points.
Let $S\subseteq |\mathcal{O}_{\mathbb{P}^n}(d)|$ be ...

**7**

votes

**1**answer

245 views

### Morphisms for good reduction are maps respecting filtration

Please see edits below!
So, let $A,A'/K$ be abelian varieties where $K$ is a $p$-adic local field with residue field $k$. Suppose further that they have good reduction with models ...

**1**

vote

**1**answer

263 views

### Automorphisms of rings fixing all prime ideals

Let $f,g:A \to B$ be two ring homomorphisms of noetherian rings satisfying that for any prime ideal $\mathfrak{q} \subset B$, $f^{-1}(\mathfrak{q})=g^{-1}(\mathfrak{q})=:\mathfrak{p}$ and the induced ...

**1**

vote

**0**answers

67 views

### Need a reference/proof for computing the regularity of ideal of points in $\mathbb P^d$?

In a lecture notes on 'Cohomology modules' i read the following remark:
Given a set $X$ of points in $\mathbb P^d$,using the Local Cohomology modules one can easily compute the reg$(S_X)$ where ...

**2**

votes

**1**answer

94 views

### On some curves of real values of a rational function

For given parameters $a_{1},\dots,a_{k}\in\mathbb{R}$, define the rational function $\phi:\mathbb{C}\to\mathbb{C}$ as
$$\phi(z)=\frac{1}{z}-a_{1}z-a_{2}z^{2}-\dots-a_{k}z^{k}.$$
The domain of its real ...

**3**

votes

**1**answer

246 views

### Euler characteristic - reference question

Let $X$ be an algebraic variety over $\mathbb C$ and let $\mathcal F$ be a constructible sheaf on $X$. It is well-known that the Euler characteristic of the cohomology of $\mathcal F$ is equal to the ...

**1**

vote

**0**answers

134 views

### Rationally connected spaces over non-algebraically-closed fields

The definition I most often see for what it means for a projective variety $X$ over a field $k$ to be rationally connected is that there exists a variety $M$ and a dominant morphism ...

**1**

vote

**1**answer

164 views

### General Reference for surface singularities

Is there any "standard" reference for (rational) singularities on algebraic surfaces? I'm aware of Artin's papers and the one of Brieskorn (Rationale Singularitäten komplexer Flächen), but they seem ...

**8**

votes

**1**answer

1k views

### How much of modern algebraic geometry is there in modern complex(algebraic, analytic, differential) geometry?

Good day to you, people of mathoverflow. I'll get to the point. I wonder how much of modern abstract algebraic geometry is there in modern complex geometry?
What do I mean by complex geometry? ...

**4**

votes

**0**answers

178 views

### A suspected typo, and Deligne's image of the general fiber swallowing the special

In SGA 4.5 (Arcata V.1) Deligne writes:
Let $X$ be a complex analytic variety and $f:X\rightarrow D$ map $X$ into the
disk. Write $[0,t]$ for closed line segment with extremities 0 and $t$ in
...

**0**

votes

**0**answers

206 views

### On the coherence of formal power series ring

Let $A = {\Bbb F}_p[[X_1,X_2,...]]$
be the ring of formal power series with infinitely many variables over the finite field ${\Bbb F}_p.$
$A$ consists of such formal sum elements as $\sum ...

**1**

vote

**0**answers

76 views

### Rank diagrams of permutations $w \in S_{m}$ in the study of complete flag varieties [closed]

I'm looking for some good references that may either prove or help to prove the following statement: Show that a matrix $r=(r_{pq})_{1 \leq p,q \leq m}$ defines a rank diagram for some pair of ...

**3**

votes

**0**answers

50 views

### Efficient CW structures on squarefree semi-algebraic set

General Setup
Given a collection of $k$ polynomials (with real coefficients) in $n$ real variables, say $f_i(x_1,\ldots,x_n)$, let $V \subset \mathbb{R}^n$ correspond to those $x$-values for which ...

**5**

votes

**0**answers

134 views

### Symplectic invariance of Hodge numbers?

Let $(X,\omega)$ be a compact symplectic manifold. If $J$ is a $\omega$-compatible complex structure on $X$ then $(X,\omega,J)$ is a compact Kähler manifold and so has Hodge numbers $h^{p,q}$.
My ...

**2**

votes

**2**answers

295 views

### Irreducible algebraic sets via irreducible polynomials

There are many results about irreducible polynomials over finite fields:
we know a cardinality of all irreducible polynomials with given degree, we know explicit examples of irreducible polynomials, ...

**4**

votes

**1**answer

292 views

### an algebraic variety for a boolean circuit

There is a polynomial reduction from a $3-CNF$ $SAT$ problem to some system of polynomial equations over $\mathbb{F}_2$.
I mean there is polynomial reduction $F$ such that for every boolean ...

**2**

votes

**1**answer

188 views

### Number of rational points in a non-smooth variety

Let $X$ be an algebraic variety over $\mathbb{F}_q$ with dimensional $n$. We know that if $X$ is smooth than $X$ has about $q^{nk}$ rational points over $\mathbb{F}_{q^k}$ (Weil hypothesis). Is there ...

**2**

votes

**1**answer

235 views

### Using Lefschetz duality in algebraic geometry

I am reading the paper of Fulton and Lazarsfeld on the connectivity of degeneracy loci of morphisms of vector bundles, but there is a comment in the article that I don't quite understand.
Let $G$ be ...

**0**

votes

**0**answers

164 views

### Exact sequence of vector bundles

Consider the short exact sequences below;
\begin{equation}
0\longrightarrow H^0(\mathbb{P}^4,\mathcal{O}_{\mathbb{P}^4}(d-1)^{\oplus 4})\longrightarrow ...