# Tagged Questions

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

**-2**

votes

**0**answers

40 views

### Moebius linear fractional transformation in higher dimensions [on hold]

A linear fractional transformation is a function of the form $f(z)=\frac{az+b}{cz+d}$ where $a,b,c,d \in\mathbb{C}$. If $ad-bc\neq0$ then $f$ is called Möbius transformation. The question is if there ...

**-2**

votes

**1**answer

84 views

### Invariance of the fiber-dimension of a finite map

Let $A\subseteq B$ be commutative Noetherian rings such that $A$ is a regular ring, i.e., $A_{\mathfrak{m}}$ is a regular local ring for all maximal ideals $\mathfrak{m}$ of $A$ and $B$ is a finite ...

**4**

votes

**1**answer

180 views

### What are Motivic homotopy types?

There are suggestions that says that Grothendieck developed (in some sense) a theory of Motivic homotopy types or at least named it.
I would like to know the reference in which Grothendieck did it, ...

**6**

votes

**4**answers

658 views

### Clarification on the weak BSD conjecture

It is usually told that Birch and Swinnerton-Dyer developped their famous conjecture after studying the growth of the function
$$
f_E(x) = \prod_{p \le x}\frac{|E(\mathbb{F}_p)|}{p}
$$
as $x$ tends to ...

**3**

votes

**0**answers

45 views

### Psi-classes on moduli spaces of weighted curves

Let $\overline{\mathcal{M}}_{g,A[n]}$ be the stack of weighted genus $g$ curves with weights $A[n]=(a_1,...,a_n)$, and let $\pi:\mathcal{C}\rightarrow \overline{\mathcal{M}}_{g,A[n]}$ be the universal ...

**3**

votes

**1**answer

141 views

### Extending a prime divisor to a principal divisor

Let $X$ be a noetherian,integral,separated scheme which is nonsingular in codimension $1$. Let $Z_1, \ldots, Z_k$ be a fixed set of prime divisors. Now given a prime divisor $Y$, does there exist ...

**4**

votes

**1**answer

107 views

### Minimal Nagata-like compactification

Working over a field $k$, Nagata's compactification theorem implies that any separated scheme $X$ of finite type over $k$ admits a compactification (a dense open immersion $i \colon ...

**2**

votes

**0**answers

104 views

### Abstract VFC vs. what people actually use for Quintic 3-fold

Moduli space of genus $0$ degree $d$ maps in a quintic Calabi-Yau threefold $X$, written as $\overline{\mathcal{M}}_{0,0}(X,[d])$, can be embedded in the corresponding moduli space of $\mathbb{P}^4$, ...

**5**

votes

**1**answer

325 views

### Holomorphic vector bundles over $\mathbb{C}^{n}\setminus 0$

Is it true that every holomorphic vector bundle over $\mathbb{C}^{n}\setminus 0$ is trivial? If not true, how can one construct a counterexample?
And just a small note here (wrong):
For $n\leq 2$, ...

**5**

votes

**1**answer

208 views

### Algebro-geometric version of {vector fields} $\longleftrightarrow$ {flows} correspondence?

Main Question: What Is the correpondence between flows and vector
fields in algebraic geometry?
Here is a more precise statement could be an answer If it was true (I have no idea it is):
...

**8**

votes

**1**answer

296 views

### Noetherian Rings in Constructive Mathematics

These definitions are largely from pages 92-93 of Ingo's notes. All rings are commutative with 1. I'm interested in understanding the extent to which discussion of Noetherian rings can be carried over ...

**7**

votes

**1**answer

235 views

### Cohomology of tangent sheaf of a singular hypersurface

Let $X\subset\mathbb{P}^n$ be a hypersurface singular at finitely many points $p_i\in X$. We may assume that $X$ has ordinary singularities at the $p_i$'s.
Does there exists a formula, perhaps in ...

**3**

votes

**1**answer

218 views

### How to tell if it's a Moishezon morphism

Suppose that $f \colon X\rightarrow S$ is a proper morphism of reduced and irreducible complex spaces and $f$ is a smooth deformation in the sense of Kodaira and Spencer. If we know each fiber $X_s$, ...

**11**

votes

**1**answer

406 views

### Elements of arbitrary large order in the first Galois cohomology of an elliptic curve

Let $E$ be an elliptic curve over $k=\mathbb{Q}$. Consider $H^1(k,E)$.
In this answer Daniel Loughran writes: "I'm pretty sure that this cohomology group has elements of arbitrarily large order". I ...

**2**

votes

**1**answer

153 views

### The compatibility of the Gysin sequence with mixed Hodge structures

Let $X$ be a compact complex $n$-manifold and $D$ be a smooth comdimension $1$ submanifold. Also let $U:= X\setminus D$ and $j$ be the inclusion of $U$ in $X$.
Then it is well known that the ...

**3**

votes

**1**answer

116 views

### A question on surjectivity of a bilinear quadratic map

Let $a=(a_0, a_1, ..., a_n )$, $b=(b_0, b_1, ..., b_n )$ that belong to ${\mathbb R}^{n+1}$. Define polynomials $f_a (t)=a_0 +a_1 t+ ... + a_n t^n$ and $f_b (t)=b_0 +b_1 t+ ... + b_n t^n$ and let ...

**8**

votes

**0**answers

362 views

+100

### Local proof of Grothendieck-Riemann-Roch theorem

There is a theorem by Feigin and Tsygan(Theorem 1.3.3 here) which they call "Riemann-Roch" theorem.
Given a smooth morphism $f:S\to N$ of relative dimension $n$ and a vector bundle $E/S$ of rank $k$ ...

**3**

votes

**0**answers

65 views

### Open Period Integrals of Elliptically Fibered K3 surfaces

Let M be the period domain for elliptic K3 surfaces $(X,\Omega)$ with a holomorphic two-form. Denote the fiber class $f$. Then $$M=\{\Omega\in f^\perp\otimes \mathbb{C}\,:\, \Omega\cdot \Omega=0, ...

**9**

votes

**1**answer

666 views

### What is a field [Körper] really?

The notion of a field (a commutative ring $R$ with $0\neq 1$ and $R^\times=R-\{0\}$) seems to fit uncomfortably into modern algebra. To see what I mean, consider the following statements:
The ...

**4**

votes

**1**answer

154 views

### Hyper-Kaehler Strucutre for Compact Lie Groups?

We know from the classy work of Joyce that "any compact Lie group becomes hypercomplex after it is multiplied by a sufficiently big torus". The quote comes from the Wikipedia page.
I am asking if it ...

**8**

votes

**1**answer

190 views

### Algebraic points of uniformly bounded degree on an algebraic variety

Let $k$ be a perfect field, and let $\bar k$ be a fixed algebraic closure of $k$.
Let $\overline{X}$ be a nonempty smooth algebraic variety over $\bar k$.
Does there exist a natural number ...

**2**

votes

**1**answer

168 views

### Deformation of $\mathbb{P}^1 \times \mathbb{P}^1$

I learnt that $\mathbb{P}^1 \times \mathbb{P}^1$ is rigid, but can be deformed to a non-rigid Hirzebruch surface $S$. Suppose $\pi: M \to B$ is such deformation such that $\mathbb{P}^1 \times ...

**2**

votes

**0**answers

150 views

### K theory and derived categories

Some months ago I studied Beilinson's paper about generators for the derived category of $\mathbb{P}^n$, "Coherent Sheaves on $\mathbb{P}^n$ and problems of linear algebra".
As next step, I moved to ...

**15**

votes

**1**answer

382 views

### Pop's proof that $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})=\mathrm{Aut}\underline\pi^{alg}_{\overline{\mathbb{Q}}}$

I've heard of this result in a paper on which Yves André proves the p-adic analogue (that is, $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)=\mathrm{Aut}\underline\pi^{temp}_{{\mathbb{C}}_p}$), ...

**1**

vote

**1**answer

67 views

### Find the Picard Fuchs operator of a four parameter fundamental period

In my research, we have constructed a Calabi-Yau as a hypersurface of a toric variety and we could compute the fundamental period of the complex moduli, which is a series in four parameters. Say
...

**1**

vote

**0**answers

101 views

### Finding the Chern Class of a the pushfoward of a invertible sheaf

I am trying to understand what happens to the Chern Classes of an invertible sheaf $F$ over a complete intersection reduced curve of genus $g$ and degree $d$, when viewed as a invertible sheaf of ...

**2**

votes

**0**answers

148 views

### Normal bundle to fibers of a rational morphism

Let $f:X\dashrightarrow C$ be a rational fibration from a 3-dimensional variety $X$ to a curve $C$ such that generic fiber is smooth and different fibers intrsect in smooth curves. Take $S$ to be a ...

**1**

vote

**0**answers

127 views

### Stronger version of Bertini's theorem

In char 0, is there a generalised version of Bertini's theorem that will ensure that for a proper map $f: Y\rightarrow X$ between smooth projective varieties and for every point $x\in X$ we can find ...

**7**

votes

**1**answer

189 views

### Characters of simply connected semsimple algebraic groups over local fields

Let $G$ be a semisimple algebraic group over $\mathbb{Q}_p$. Then by definition $G$ admits no non-trivial algebraic characters, i.e. homomorphisms $G \to \mathbb{G}_m$.
However, it is quite possible ...

**2**

votes

**0**answers

113 views

### Uniform bound on the Mordell-Weil rank of elliptic curves

I want to know that if there is an uniform upper bound for the rank of elliptic curves over $\mathbb{C}(t)$, the rational function field over complex numbers, and generaly over the function field of ...

**5**

votes

**1**answer

216 views

### j-invariants for isogenous elliptic curves

Let $E$ be a smooth complex elliptic curve, and $\sigma$ translation of $E$ given by a point $p$ on $E$ of finite order, with respect to some fixed origin.
What are the $j$-invariants related with ...

**1**

vote

**1**answer

139 views

### Methods of showing a variety is stably rational

As anyone who follows the algebraic geometry tag on arXiv will probably know, there has been a lot of papers recently showing various varieties are non-stably rational. What I am interested in however ...

**7**

votes

**2**answers

248 views

### Group cohomology of fundamental group of a curve

The question should be an elementary result in the theory of etale cohomology, but I failed to understand it because I am a complete beginner of the theory. So, I should apologise in advance for this ...

**4**

votes

**0**answers

197 views

### Construction of Dualizing sheaf

I was going through the construction of dualizing sheaf given in Hartshorne [III, 7, Lemma 7.4]. The proof apparently omits lots of details. In particular it does not mention any of the $i^* , i_*, ...

**1**

vote

**0**answers

64 views

### “Algebrazing” canonical subgroups of elliptic curves

I'm puzzled by a part of the construction of the canonical subgroup of a "not too supersingular" elliptic curve. In Katz's paper, one produces a subgroup of the formal group of the elliptic curve but ...

**4**

votes

**0**answers

88 views

### Polynomially countable varieties and virtual mixed Tate motives

Let $K_0(Var_k)$ be the Grothendieck ring of $k$-varieties for a field $k$. Let $\mathbb{L}$ denote the class of the affine line over $k$. Let $S$ be a $k$-variety and $[S] \in ...

**2**

votes

**1**answer

78 views

### Linear systems and 2-torsion shifts on hyperelliptic curves

Let $C$ be a hyperelliptic curve of genus $g$ and let $D$ be a divisor on $C$ of degree $g+1$. Assume that the linear system $|D|$ is base-point-free. Now add a $2$-torsion point $[E]$ to $D$. I would ...

**1**

vote

**0**answers

55 views

### On convex hull of algebraic curve

For any given tuple of quadratic functions $(f_1(x,y,z),f_2(x,y,z),f_3(x,y,z))$, the following set forms a algebraic curves
$$
...

**-1**

votes

**0**answers

51 views

### Infinite Equation While Solving For Remainder [closed]

I tried making an equation to solve mod functions, Y mod X, which in other words solves for the remainder in a division equation. For example, 7 mod 5 = 2 because 7/5 = 1 with a remainder of 2. I ...

**-6**

votes

**0**answers

96 views

### how would you solve this quadratic equation? [closed]

i don't know whether I should do completing the square or use the quadratic formula for this problem.
x^2+5x-20/x+3

**2**

votes

**1**answer

157 views

### Regarding a conjecture Fogarty proposed

In a paper by Fogarty titled "Algebraic Family On An Algebraic Surface,"
he conjectured that $\bf Hilb^n(\mathbb P^N)$ is always variety-- reduced and irreducible.
Is this still a conjecture; any ...

**4**

votes

**1**answer

222 views

### Algebraicity and non-algebraicity of leaves of the characteristic foliation

Let $X$ be a compact complex manifold equipped with a holomorphic symplectic form $\omega$. Let $D$ be a smooth divisor on $X$. At each point of
$D$, the restriction of $\omega$ to $D$ has ...

**4**

votes

**2**answers

224 views

### Adjoint semi-simple algebraic groups over non-algebraically closed fields

Let $k$ be a field of characteristic zero and let $G$ be an adjoint semi-simple algebraic group over $k$.
On p34 of the paper "Sansuc - Groupe de Brauer et arithmétique des groupes
algébriques ...

**1**

vote

**0**answers

109 views

### Relating a fiber of a sheaf and its cohomology

Reading the proof of lemma 4.4.4 in Huybrechts and Lehn Geometry of Moduli Spaces of sheaves I come across an isomorphism relating a fibre of an invertible sheaf and its cohomology, and I really don't ...

**4**

votes

**1**answer

152 views

### Triple covers of $\mathbb{P}^2$ with fixed branch locus

Let us consider a smooth (complex) cubic surface $X \subset \mathbb{P}^3$ and a general point $p \notin X$. Then it is classically well-known that linear the projection $$\pi_p \colon X ...

**5**

votes

**0**answers

152 views

### Where can I find Andre's “Cinq exposés sur la désingularisation”?

Many expositions of Popescu's desingularization theorem indicate that an other proof of this theorem can be found in
"Cinq exposés sur la désingularisation" by M. Andre, Ecole Polytechnique ...

**3**

votes

**0**answers

114 views

### Reference for the Hodge polynomial or the Hodge Characteristic

What is the first work that studies, refers to, or mentions the Hodge characteristic?
The Hodge polynomial is the unique ring homomorphism
$$
P_{hdg}:K_0(\mathbf{Var}/\mathbb{C)}\to ...

**3**

votes

**2**answers

208 views

### Chern classes and singular hermitian metrics on vector bundles

Let $L$ be a holomorphic line bundle on a complex manifold $X$, and assume it is equipped with a singular hermitian metric $h$ with local weight $\varphi$. Then, one can show that the de Rham class of ...

**4**

votes

**0**answers

117 views

### On non-vanishing of Milnor K-groups for infinite fields

It is well-known that for $n \geq 2$ and a finite field $k$, the Milnor $K$-group $K_n ^M (k)$ vanishes. I don't know who proved this first, but if curious, you may look at somewhere in Srinivas's ...

**0**

votes

**0**answers

88 views

### local analyticity of volumes of slices of semi-algebraic sets

I would like a reference and/or a simple proof using well-known results of the following, which I think is true. (If it's false, I'd like to know that as well of course -- and ideally a way to modify ...