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

**1**

vote

**0**answers

41 views

### Rational map induced by a big divisor

Let $X$ be a smooth projective rational variety and $D$ an integral big divisor on $X$. Then the rational map $f_{|mD|}:X\dashrightarrow Y$ is birational for $m\gg 0$.
Is it true that then the ...

**1**

vote

**0**answers

29 views

### On the maximal powers of $q$ which arise in a quantum product

Let $X=G/P$ be a generalized flag variety (where $G$ denotes a connected, simply connected, semisimple complex linear algebraic group and $P$ a parabolic subgroup). In this paper by Fulton and ...

**3**

votes

**0**answers

118 views

### $p$-adic Bott periodicity?

The Bott periodicity theorem can be formulated as the existence of homotopy equivalences $\Omega^2(BU)\equiv BU$ and $\Omega^8(BO)=BO$. I always wondered whether this theorem could also be transferred ...

**3**

votes

**0**answers

77 views

### Passing motivic decompositions from rational to algebraic equivalence

It is well known that there are several adequate equivalence relations for algebraic cycles (see https://en.wikipedia.org/wiki/Adequate_equivalence_relation for a list including definitions).
The ...

**2**

votes

**0**answers

49 views

### Effective divisor in $\overline{\cal{M}}_{g,n}$ with negative $\psi$-classes

Does anybody knows an effective class in $\overline{\cal{M}}_{g,n}$ with negative $\psi$-coefficients? The standard references; Logan, Farkas or Brill-Noether divisors have all non-negative ...

**1**

vote

**0**answers

45 views

### A question on uniformly corepresented functor

Let $\mathcal{F}$ be a functor from the category of $k$-schemes to sets, uniformly corepresented by $M$. Suppose $U$ is an open subscheme of $M$. I could not find a good reference for uniformly ...

**4**

votes

**1**answer

90 views

### How to write the map $ℂ[G/U]↪ℂ[B]$ explicitly?

Let $G$ be a reductive algebraic group and $B$ a Borel subgroup of $G$. Let $T$ be a maximal torus of $G$ contained in $B$. The $B=UT=TU$ for some unipotent subgroup $U$ of $G$. We have Bruhat ...

**7**

votes

**1**answer

313 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

81 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

142 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

212 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

109 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

69 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

306 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

**0**answers

82 views

### Golden Ratio & Fibonacci - Two-Beamed problem by Charles de Gaulle (13 unit squares) [on hold]

I don't even know where to begin...
Here is the question: http://i.imgur.com/hxtDXst.jpg
You are required to find the lengths of PB and BQ.
I have already discussed a little over at; ...

**7**

votes

**4**answers

406 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

76 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

63 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}$, ...

**-9**

votes

**0**answers

142 views

### Polynomial expansion for $\frac {\sin x}{x}$ and roots [on hold]

Consider the polynomial expansion for $$\frac {\sin x}{x} = p(x)= 1-\frac {x^2}{3!}+\frac {x^4}{5!}–\frac {x^6}{7!} + \cdots$$
$p(x) = \prod(x-a_i)$ for $i = 1 →∞$ where the $a_i$ are the roots of ...

**2**

votes

**1**answer

129 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

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

**24**

votes

**1**answer

690 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

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

**8**

votes

**0**answers

185 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

61 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

94 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

117 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

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

**4**

votes

**1**answer

248 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

157 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

144 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

131 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

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

**0**

votes

**0**answers

42 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

**0**answers

92 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

157 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

164 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

395 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

224 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

82 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

240 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

255 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

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

**0**

votes

**0**answers

68 views

### Question regarding Geometric meaning of Noether normalization theorem for projective varieties [migrated]

In Ernst Kunz's ''commutative algebra and algebraic geometry'' book, ch.2, proposition 4.5 the author states:
The Noether Normalization Theorem admits the following application in projective ...

**-2**

votes

**0**answers

135 views

### Reference for algebraic manipulation of sheaves [closed]

I am currently playing with sheaves over families of algebraic varieties ($O_x$-modules) their torsion sub-sheaf, higher direct images and tensor products, I am looking for a good reference to learn ...

**2**

votes

**1**answer

87 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

234 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

131 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

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

**7**

votes

**1**answer

994 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? ...