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

learn more… | top users | synonyms (1)

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