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

**1**

vote

**1**answer

69 views

### On Severi's definition of the complementary correspondence

In Weil's short note entitled "On the Riemann hypothesis in function-fields"
he mentions the notion of the complementary correspondence associated to a given correspondence $T:C\rightarrow C$ where ...

**4**

votes

**2**answers

633 views

### Salvaging Leibnizian formalism?

Can one justify Leibniz's formalism in a suitable algebraic or topological context?
We have published some papers recently where we argue that Leibniz's formalism for the calculus wasn't ...

**2**

votes

**0**answers

101 views

### Is there a smooth rationally connected, proper variety $M$ over $\mathbb{C}$ such that c_1(L)([A]) = 1 which is not projective space?

Is there a smooth, rationally connected, projective variety $M$, which is not a projective space and is equipped with an ample line bundle $L$, such that the homology class of the curves $[A]$ which ...

**0**

votes

**0**answers

64 views

### support of embedded points in a curve

Let $C \subset \mathbb{P}^n$ be an one dimensional scheme. Suppose that $C$ decomposes as the union of a Cohen Macaulay reduced curve $\tilde{C}$ (in particular $\tilde{C}$ does not have embedded ...

**4**

votes

**0**answers

131 views

### Is a semiabelian algebraic space a scheme?

Let $S$ be a scheme and let $A$ be a commutative separated smooth $S$-group algebraic space of finite presentation each of whose geometric fibers is an extension of an abelian variety by a torus. Is ...

**1**

vote

**0**answers

95 views

### right adjoint functor for closed immersion of topoi

Let $i\colon (X,A)\rightarrow (Y,B)$ be a closed immersion of ringed topoi. Does functor $i_*\colon Mod(A)\rightarrow Mod(B)$ have a right adjoint?

**1**

vote

**1**answer

131 views

### Divisors on an abelian surface

Let $A$ be an abelian surface given by the quotient of a product of two generic elliptic curves $E_1 \times E_2$ by the product $T_1 \times T_2$ of two translations by $2$-torsion points. Then $A$ ...

**4**

votes

**1**answer

147 views

### Which singularities of log pairs do not depend on the resolution?

Let $(X,\Delta)$ be a log pair (we assume the coefficients of $\Delta\leq 1$, but could be negative rationals), and I use the definitions in the book of "Birational Geometry of Algbebraic varieties" ...

**2**

votes

**1**answer

156 views

### Effective cone of C x C where C is a Fermat curve

A search of the literature reveals that for a curve $C$ of genus $\geq 2$, determining the effective cone of $C \times C$ is hard. My question is this: do we know a single example of a curve $C$ of ...

**2**

votes

**0**answers

73 views

### The target of a finite morphism $f$ is a dense open in $S$, can you extend $f$ to have target $S$?

Let $U$ be a quasi-compact open dense subscheme of a scheme $S$ and let $X \rightarrow U$ be a finite surjective morphism. Does there exist a finite morphism $Y \rightarrow S$ such that the $U$-scheme ...

**2**

votes

**0**answers

102 views

### G.W. invariants $<[pt],[pt]>_{0,[A]} \neq 0$ such that there exists ample L with $c_1(L)([A])=1$

Do there exist interesting examples of projective algebraic varieties such that the two-point genus 0 Gromov Witten invariants in homology class $[A]$, $GW<pt,pt>_{0,[A]}$, is non-zero, and ...

**0**

votes

**0**answers

78 views

### Research of a reference about $G$-linearizations of line bundles on quasi-projective schemes

I am looking for some references for the following statement:
Let $G$ be a linearly reductive algebraic group acting on a quasi-projective scheme $X$, over an algebraically closed field $K$. Let $L$ ...

**7**

votes

**1**answer

298 views

### Quotients by the additive group $\mathbb G_a$

Geometric invariant theory doesn't work so well for non-reductive groups, since invariant rings are not generally finitely generated. However, in many cases the action of a non-reductive group has a ...

**7**

votes

**2**answers

377 views

### modular forms, invertible sheaves, and quotients

I'm very confused about some contradicatory statements, and I hope someone can help me clarify this.
Let $\Gamma$ be a congruence subgroup. It is well known that modular forms of weight $k$ for ...

**0**

votes

**0**answers

87 views

### $\Gamma_Z(\widetilde M)\cong\widetilde{ \Gamma_Z(M)}$

Let $R$ be a Noetherian ring and let $M$ is an $R$-module. Consider the associated affine scheme $(\text{Spec R},\mathcal{O}_{\text{Spec R}})$ and Suppose $Z\subset X$ is a closed subset of ...

**2**

votes

**0**answers

90 views

### $X$-points of reductive group schemes, if $X$ is a proper smooth curve over a finite field

Let $X$ be a connected proper smooth curve over a finite field (so the generic point of $X$ is the spectrum of a global field $K$), and let $G \rightarrow X$ be an affine $X$-group scheme of finite ...

**0**

votes

**0**answers

185 views

### On Bott's Formula on projective Spaces

I'm following the book of Okonek, Schneider and Spindler, Vector Bundles on Complex Projective Spaces, and they say that is a useful exercise try to prove Bott's Formula that calculates the cohomology ...

**3**

votes

**1**answer

149 views

### Deforming curves on Calabi-Yaus

What I'm looking for is some sort of 'Bertini-theorem' for curves. Let $X$ be a Calabi-Yau manifold and let $C$ be a union of rational curves on $X$. Are there any techniques or results that would ...

**3**

votes

**0**answers

68 views

### Finding a divisor on a curve in a given linear equivalence class made with points over a “small” field

Suppose I have a curve $C$ defined over $\mathbb Q$ and a line bundle $\mathcal L$ on it,
also defined over $\mathbb Q$. I am interested in trying to find a (non-effective) divisor $D=\sum_i a_ip_i$ ...

**1**

vote

**1**answer

99 views

### Invertibility of random Vandermonde matrix

Let $\kappa, d \in\mathbb{N}$ and $f$ is a uniform probability measure on $\mathcal{D} = \left[-1,1\right]^{\kappa}$. In addition, let
\begin{equation*}
p = p\left(\kappa,d\right) := ...

**3**

votes

**1**answer

213 views

### If $T$ is an $S$ scheme, and $X,Y$ are $T$-schemes, then do the $S$-valued points of $\mathcal{Hom}_T(X,Y)$ have an interpretation?

Let $X,Y$ be finite etale $T$ schemes for some scheme $T$ (assume the maps $X\rightarrow T,Y\rightarrow T$ are surjective). Then the sheaf $\mathcal{Hom}_T(X,Y)$ on $\text{Sch}/T$ (with the etale ...

**6**

votes

**1**answer

221 views

### Surjective morphism from $X$ to itself is finite

Let $X$ be a projective variety. Why is any surjective morphism from $X$ to itself finite?

**2**

votes

**2**answers

197 views

### Components of a Fiber Product

Suppose $X$, $Y$, and $Z$ are smooth irreducible schemes [EDIT: of finite type over an algebraically closed field of characteristic zero], and $X \to Z$ and $Y \to Z$ are dominant maps.
I have a ...

**4**

votes

**1**answer

157 views

### Explicit formula for the Poincare dual of a CM endomorphism of an elliptic curve

Let $E/\mathbf{C}$ be an elliptic curve with CM by the maximal order $\mathcal{O}_K$ of $K=\mathbf{Q}(\sqrt{-D})$ where $D$ is positive and square-free integer. To make it even more precise, let us ...

**2**

votes

**0**answers

148 views

### Two functorial definitions of schemes

I have been reading a bit about the "functor of points" theory for schemes. There seem to be two ways of going about defining schemes this way:
Equip the category $\textbf ...

**2**

votes

**1**answer

89 views

### Deformation of Canonical singularities

Let $p: X \rightarrow T$ be a flat family of normal projective varieties over a variety $T$. Assume that $X_{t_{0}}=p^{-1}(t_{0})$, for a $t_{0}\in T$, has only canonical singularities of index $1$. ...

**2**

votes

**0**answers

144 views

### Does GKZ's reflexivity theorem imply the Plucker formula?

Let $S\subset\mathbb{P}^n$, Gelfand-Kapranov-Zelevinsky defined its dual variety $S^\vee\subset\mathbb{P}^{n^\ast}$. In this paper (http://arxiv.org/pdf/math/0111179v1.pdf), the author obtained the ...

**0**

votes

**1**answer

165 views

### Reference request: Deligne's conjecture (cycles)

In "The work of Tate" Milne says:
"The relation between the two conjectures has been greatly clarified by the work
of Deligne. He defines the notion of an absolute Hodge class on a (complete ...

**2**

votes

**1**answer

236 views

### Reference request: Grothendieck´s period conjecture?

I would like to know if Grothendieck published something about this conjecture?
Is there some book (or expository article) about this conjecture?
Is there any connection between this conjecture and ...

**1**

vote

**2**answers

214 views

### Finding an algebraic equation given divisors

I'm trying to find an algebraic curve that represents a specific Riemann surface and my question goes like this:
Given divisors
$(\omega_1) = P_1 + 5 P_2 + 2 P_3,$
$(\omega_2) = 5 P_1 + P_2 + 2 P_3,$
...

**2**

votes

**0**answers

127 views

### Rewrite sum of radicals equation as polynomial equation

My question is about a method described in Dr.Math forum for simplifying equations involving sums of radical functions.
(The following is a transcription of the example given by Dr. Vogler):
--- ...

**4**

votes

**1**answer

136 views

### Examples of hyperelliptic curves with hyperelliptic quotients that have more automorphisms

Does there exist a hyperelliptic curve $X$ of genus $g\geq 2$ over the complex numbers such that $X$ has a hyperelliptic quotient $X\to Y$ (in the sense that $Y$ is hyperelliptic and the morphism ...

**0**

votes

**1**answer

174 views

### About Weil's proof of “Weil conjectures for curves and abelian varieties”

I know that the Weil's proof of the Weil conjectures for curves and abelian varieties is made under the lenguage of his "Foundation of algebraic geometry", however in "Polarizations and Grothendieck's ...

**1**

vote

**0**answers

88 views

### Differences and relationships between Motivic cohomology and Universal cohomology theory? [duplicate]

Differences and relationships between Motivic cohomology (Beilinson, Lichtenbaum and Voevodsky) and Universal cohomology theory (Grothendieck)?

**4**

votes

**1**answer

229 views

### Comparison of etale and singular cohomology for varieties over number fields

Whilst reading Hartshorne's appendix C I came across the comparison theorem for etale cohomology and singular cohomology:
Let $X$ be a smooth projective variety over a number field $K$ and $\ell$ a ...

**2**

votes

**1**answer

399 views

### Base change through a field automorphism

Note:For a correct comprehension of the question see the "important edit" at the end.
Consider a projective variety over $\mathbb C$, $X=\textrm{Proj}\frac{\mathbb ...

**3**

votes

**2**answers

237 views

### Derived categories of curves equivalent then the curves are isomorphic

I am a beginner at derived categories and I'm looking for a proof of the following fact:
If $X$ and $Y$ are smooth projective curves such that $D^b(Coh\,X)$ is equivalent to $D^b(Coh\,Y)$ then $X$ ...

**9**

votes

**1**answer

292 views

### Easiest example where field of definition is not field of moduli

There are many examples of varieties over $\overline{\mathbb Q}$ whose field of moduli is $\mathbb Q$ but which can't be defined over $\mathbb Q$. What is the easiest such example? It should be a ...

**2**

votes

**1**answer

220 views

### Hilbert function of points in $\mathrm{P}^2$

Let $\Gamma$ be a collection of $d$ points in $\mathrm{P}^2$, and $I$ the graded ideal of $\Gamma$.If
$$
...

**0**

votes

**0**answers

84 views

### What is a “normal crossings divisor relative to S”?

I'm reading SGA 1 Expose XIII, as given here:
http://arxiv.org/pdf/math/0206203v2.pdf
and I'm trying to understand the given definition of a "diviseur a croisements normaux relativement a S" for some ...

**1**

vote

**1**answer

103 views

### Empty real conic containing two pairs of conjugate points in the projective plane?

Given two conjugate pairs of points in general position in $\mathbb{CP}^2$, there is a pencil of real conics containing these four points. Is there a real empty conic in this pencil?

**0**

votes

**1**answer

196 views

### Projection of a hypersurface from a point

Let $k$ be an algebraically closed field. We consider the projective space $\mathbb P_n$ over defined over $k$, the point $Q=(0:\dots:1)$, the hyperplane $H=\{X_n=0\}$ and a hypersurface $X$. We want ...

**2**

votes

**1**answer

198 views

### Which polynomials define extensions of $k(t)$ unramified at the finite places

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $L$ be the extension
of $k(t)$ obtained by attaching a root of an irreducible polynomial $f\in k(t)[x]$.
Is there a way to tell ...

**5**

votes

**1**answer

136 views

### Linear systems on bielliptic surfaces

A bielliptic surface is a surface of type $S=E_1 \times E_2/G$ where $E_1, E_2$ are elliptic curves and $G$ is a finite group of translations of $E_1$ acting on $E_2$ such that $E_2/G=\mathbf{P}^1$.
...

**2**

votes

**0**answers

107 views

### Are open immersions in analytic geometry transverse?

lately I have been interested in functional analysis, especially with a view towards its applications in the world of (complex) analytic geometry. I have been using R. Taylor's book Several complex ...

**10**

votes

**1**answer

282 views

### K3 surfaces that correspond to rational points of elliptic curves

In his work on mirror symmetry (http://arxiv.org/pdf/alg-geom/9502005v2.pdf) Igor Dolgachev has considered families of K3 surfaces of Picard rank at least 19 with the base given by $X_0(n)^+$, the ...

**2**

votes

**0**answers

96 views

### $\delta$-functor and commutativity of pull-back with right derivation

Let $f:X \to Y$ be a faithfully flat projective morphism of noetherial $\mathbb{C}$-schemes. Assume that $Y$ is affine, smooth over $\mathbb{C}$. Let $y \in Y$ be a closed point with residue field, ...

**3**

votes

**1**answer

184 views

### Hypersurfaces with rational self-maps

I'm looking for interesting examples of hypersurfaces $X\subset \mathbb P^n$ with a rational self-map $X\dashrightarrow X$?
Are there such examples for cubic hypersurfaces?

**15**

votes

**3**answers

697 views

### Is there an algorithm to write down the 27 lines of a cubic surface?

Let $S$ be a smooth cubic surface defined by $f\in \mathbb Q[x,y,z,w]$. Is there an algorithm to write down the 27 lines on $S$? Or at least find a field extension of $\mathbb Q$ over which these ...

**5**

votes

**1**answer

342 views

### Whats the prime-to-$p$ Etale fundamental group of the affine line minus two points over $\mathbb{F}_p$?

Background:
I've often heard that the fundamental group of $\mathbb{P}^1/\mathbb{Q}-\{0,1,\infty\}$ is extremely hard to understand. First of all, it has a surjective map to the galois group
...