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

learn more… | top users | synonyms (1)

0
votes
0answers
15 views

Intersection Matrix of a resolution

Probably this is a very easy question. Let $f:X\rightarrow S$ be a resolution of a projective surface such that $$K_X = f^{*}K_S+\sum_ia_iE_i$$ with $a_i>0$. By Grauert-Mumford theorem the ...
0
votes
0answers
70 views

p-divisibility of the connected component of the Picard group

Let $X$ to be a smooth projective variety over a field of positive characteristic $p>0$, then can one claim $Pic^0(X)$ is p-divisible.
1
vote
0answers
64 views

Hilbert vs Chow in nice cases

I'm trying to understand the relationship between the Hilbert schemes and Chow varieties in situations where everything is simple. Suppose that $X$ is a smooth projective variety over $\mathbb C$, ...
2
votes
0answers
68 views

Number of common solutions of polynomial system

Let $ \mathbb{F}_p$ be a finite field and $\{f_j\}_{j=1}^{j=r} \subseteq \mathbb{F}_p[X_1,...,X_n]$ be a set of polynomials. Let consider the system of equations: $f_j(x_1,...,x_n)=0$ for $j = ...
2
votes
1answer
112 views

line bundle descents?

Let the permutation group $S_4$ act on $\mathbb C^4$ by permuting the coordinates. Consider the categorical quotient $\mathbb P(\mathbb C^4)/S_4$. It is a projective variety by a theorem of Mumford. ...
1
vote
0answers
130 views

Explicit examples of Hasse--Weil zeta-function calculations for curves

The problem of calculating Hasse--Weil zeta-function for a given curve $C/\mathbb{F}_p$ over a finite field is far from being easy, especially for large genus (as discussed by Wouter Castryck at ...
2
votes
0answers
107 views

Reference request for the relation of Ext groups and bar construction

I need a reference for the description of Ext groups in mixed categories (i.e. abelian categories with a weight filtration and semisimple graded quotients) by using the bar complex, as mentioned in ...
2
votes
0answers
127 views

A morphism of elliptic schemes that preserves the identity is a homomorphism

I am trying to understand the proof of the fact that any morphism $f \colon E_1 \rightarrow E_2$ of elliptic curves over an arbitrary base scheme $S$ satisfying $f(0) = 0$ must respect the group ...
2
votes
0answers
109 views

Inversion, Koszul duality, combinatorics and geometry

According to this MO answer Koszul duality is related to operations on generating series; 1) multiplicative inversion for quadratic algebras, 2) compositional inversion for quadratic operads, 3) ...
15
votes
2answers
306 views

Can all unit-distance graphs have their vertices at algebraic integers?

A graph $G$ is described as a unit-distance graph if there exists a function $f:G \rightarrow \mathbb{C}$ such that for every edge $(u,v) \in E(G)$, we have $|f(u) - f(v)| = 1$. Obviously, we can ...
4
votes
0answers
81 views

Does a semistable curve descend to a regular base?

Let $f\colon X \rightarrow S$ be a semistable curve of genus $g \ge 0$. Being a semistable curve means that $f$ is a morphism of schemes such that $f$ is proper, flat, and of finite presentation; ...
0
votes
0answers
87 views

When does a hyperelliptic Riemann surface admit a map of degree 3

Let $X$ be a hyperelliptic curve of genus $g>1$. For which $g$ does $X$ admit a map $X\to \mathbb P^1$ of degree $3$? I think a genus two curve $X$ admits a map of degree $3$. Proof: Pick $P$ ...
9
votes
0answers
170 views

Do canonical stacks exist over Spec(Z)?

Suppose a scheme $X$ has tame quotient singularities. Does there exist a smooth DM stack $\mathcal X$ with coarse space $X$ so that the coarse space morphism $\mathcal X\to X$ is an isomorphism ...
2
votes
0answers
102 views

Invariant generalized sections of dual vector bundles

Assume X is a real smooth manifold with an action of the real Lie group G. Let E be a G-vector bundle over X. Consider the spaces of generalized sections over X of E, and of E^* (fiberwise dual). My ...
0
votes
0answers
83 views

Coefficients of Hilbert polynomials

Recall that we can define the Hilbert series of a graded commutative algebra $$\displaystyle S = \bigoplus_{n \geq 0} S_n$$ over a field $K$ by $$\displaystyle \mathcal{H}_S(t) = \sum_{n=0}^\infty ...
0
votes
0answers
44 views

Extending a model to a given compactification of its generic fiber

Let $R$ be a discrete valuation ring and $K$ its field of fraction. Let $X$ be a proper $K$-variety, $U$ a dense open and consider an $R$-model $\mathcal{U}$ of $U$. Can we embed $\mathcal{U}$ in a ...
3
votes
1answer
133 views

References for general Hasse-Weil zeta function

Most research on the Hasse-Weil zeta function focuses on some particular type of algebraic variety, and general surveys usually deal mostly with the better understood elliptic curve case. I am ...
-1
votes
0answers
43 views

Complementary polynomials

Denote $S=\{0,1\}^n$. $\mathsf{MLP}_{d,n}=\{p\in\Bbb R[x_1,\dots,x_n]:p\mathsf{\mbox{ is mutilinear with total degree}}(p)=d\}$. Is there an $n\geq d^2+1$ such that there exists distinct polynomials ...
0
votes
1answer
92 views

Schematic image of a relative Cartier divisor of a fiberwise dense open

Let $S$ be a scheme and $A$ an abelian $S$-scheme, i.e., $A \rightarrow S$ is a proper smooth $S$-group scheme whose fibers are $g$-dimensional abelian varieties. Suppose that one has a fiberwise ...
5
votes
0answers
92 views

Groupoid cardinality of DM stack and point counting on coarse moduli spaces

Let $X$ be a finite type DM stack over a finite field $k$ with a coarse moduli space $X_c$. (We only assume $X_c$ is an algebraic space and $X$ might have infinite inertia stack.) Under which ...
0
votes
0answers
72 views

Moduli space of points - Gorenstein ideal

I've been working on algebraic covers, $\varphi\colon X\rightarrow Y$, ($\varphi_*\mathcal{O}_X$ is a locally free $\mathcal{O}_Y$-algebra of rank d). I'm more interested in the algebraic point of ...
2
votes
1answer
155 views

Difference between Frobenii on Tate modules of special and generic fibre

Let $E$ be elliptic curve over $\mathbb Q$ and $p$ a prime of good reduction for $E$. Fix $\ell \neq p$. If $E_p$ is ordinary then we have Frobenius $F_p$ on $E_p$. Assume $F_p$ lifts to ...
11
votes
1answer
402 views

Elliptic curves and connected components

Are there elliptic curves of positive rank with two real connected components in which all the rational points lie only on one component? Concrete examples are really appreciated.
0
votes
0answers
67 views

What does the equation $\tau \tau^* = \sigma^* \sigma$ represent in the ADHM construction of vector bundles?

I'm looking at the explicit construction of vector bundles with Anti-Self-Dual (ASD) connections on them via the ADHM construction of instantons. At the heart of this is the complex $$ V ...
-2
votes
0answers
84 views

Exercise from Geometry of algebraic curves by Arbarello, Cornalba, Griffiths, Harris [on hold]

Let π:C′→C an unramified double cover of a complex Riemann surface C of genus g. With the symbol Nmπ we mean the norm application that takes a meromorphic function on C′ named h and produce a ...
-2
votes
0answers
67 views

involution of a riemann surface [on hold]

I've have found in the book GEOMETRY OF ALGEBRAIC CURVES by Arbarello, Cornalba, Griffiths that if π:C′→C it's a double unramified cover of a complex riemann surface named C that we can define the ...
0
votes
0answers
57 views

Circle squarer and solution of polynomial equations [on hold]

Given a circle squarer, i.e. something that gives a length of $\pi$ given an unit length and vice versa, and a straightedge and compass, is it possible to solve any polynomial equation with rational ...
4
votes
0answers
95 views

Global Affine Flag Variety and Affine Flag Variety

There is a construction of a global affine flag variety over $\mathbb{A}^1$ (or another curve) $Fl_{\mathbb{A}_1}$ such that each fiber above $\epsilon \neq 0$ is isomorphic to a direct product of the ...
2
votes
0answers
54 views

Does the invariant from resolution of singularities provide a Whitney stratification?

The topic of Whitney stratifications came up in a lecture, and the general procedure in the examples was to decompose the singular locus of the variety into the strata starting with the "worst" ones. ...
0
votes
0answers
141 views

What is a Beilinson spectral sequence?

I'm writing to ask just a question. I would like to understand better what is the Beilinson's spectral sequence and how it can be used. Is there any useful and clear reference you advice to someone ...
1
vote
1answer
284 views

Isomorphism between a mapping class group and the fundamental group of a moduli space

For some fixed integer $d \geq 3$, let $M(0, d)$ be the mapping class group of self-homeomorphisms of the Riemann sphere which fix each of the $d$ points $0, 1, ... , d-2, \infty$. Let $X$ be the ...
4
votes
1answer
148 views

Verlinde Formula and Theta Function Identities

The paper Fusion rules and modular transformations in 2D conformal field theory by Erik Verlinde mentions a simple case of rational conformal field theory, where the fusion algebra is just ...
1
vote
1answer
140 views

rational point of a curve [on hold]

Let $X$ be a smooth projective curve over $\mathbb{Q}$. I heard (if I did not misunderstood) that the geometry of the complex points $X(\mathbb{C})$ (flat, hyperbolic case) dicts the shape (group ...
2
votes
2answers
193 views

Rigid curves, and the “richness” of their homology class

Let $X$ be a complex smooth projective variety, and $C\subset X$ a smooth curve. Then $C$ defines a cycle $$\beta=[C]\in H_2(X,\mathbb Z).$$ I have a very vague question about this situation: Q. ...
3
votes
1answer
176 views

Abelian varieties as analytic manifolds

Assume we have an Abelian varieties over the p-adic numbers, namely $ k=\mathbb{Q}_p$. Then the question is whether $A(k)$, the rational points over $k$, will form a p-adic analytic manifold. I am ...
-2
votes
0answers
63 views

Existence of general element in module case [closed]

Let $(R,m)$ be a noetherian local ring. Let $a_1,a_2,a_3\in R\oplus R$ and $S=R[X_1,X_2,X_3].$ Then is it true that if $z=a_1X_1+a_2X_2+a_3X_3\in S\oplus S$ then $\frac{S}{zS}\cong S[Y].$
10
votes
1answer
191 views

Is there a solvable point on any variety over the field of complex rational functions?

Let $K = \mathbb{C}(T)$ be the field of complex rational functions in one variable, and let $V$ be a variety defined over $K$. Must $V$ have a solvable point? The variety $V$ is assumed ...
6
votes
1answer
294 views

Étale cohomology versus classical cohomology

Let $X$ be an algebraic variety over $\mathbb{C}$. If $X$ is smooth, the étale cohomology $H^p_{\textrm{ét}}(X,\mathbb{Z}/n)$ is isomorphic to the singular cohomology ...
2
votes
1answer
110 views

Flatness of a morphism of complex analytic spaces

Let $f\colon X\to D$ be a morphism of a complex analytic space $X$ into the 1-dimensional disk $D$. Assume for simplicity that $X$ has a single irreducible component which may not be reduced. ...
2
votes
1answer
98 views

Intersection of two real polynomial surfaces

Consider two real polynomials in three variables, defined on the 3-sphere, $S^3$. Is there some Bezout-type theorem, relating the intersection of two closed surfaces defined by these polynomials and ...
4
votes
0answers
127 views

Characterization of closed immersions at the level of perfect complexes

Let $f : X \to Y$ be a morphism of quasi-compact quasi-separated schemes. Is there a necessary and sufficient condition on the inverse image functor $\DeclareMathOperator{Perf}{\mathrm{Perf}} f^* : ...
2
votes
1answer
130 views

A weak analytic version of the valuative criterion of properness

EDIT: Let $f\colon X\to Y$ be a morphism of complex analytic spaces (not necessarily smooth or reduced). Assume that (a) $f$ is injective on points; (b) $f$ is local imbedding near each point $x\in ...
-4
votes
0answers
61 views

The coordinate algebra of $F^*$ as an algebraic variety [closed]

How do you regard $F^*$ as an algebraic variety. How can we show that its coordinate algebra is the Laurent polynomial ring.
3
votes
1answer
222 views

What if the base change of an algebraic space is representable

Let $k\subset L$ be an extension of fields of characteristic zero. Suppose that $X/k$ is an algebraic space such that $X\otimes_k L$ is representable by a finite type $L$-scheme. I am sure there are ...
0
votes
0answers
102 views

Finite resolution by sums of line bundles on toric varieties

I hope I wasn't searching wrong keywords or overlooking some easy arguments to prove/disprove it. What I'm asking is the following: Let $X$ be a smooth complete toric variety. $\mathcal F$ a coherent ...
6
votes
2answers
530 views

Is being reduced a generic property of schemes?

(Naive formulation:) Let $X$ be an (irreducible) affine variety (over an algebraically closed field $k$) and $I$ be an ideal of the coordinate ring $R$ of $X$. Assume $Y = V(I)$ is equidimensional. ...
2
votes
0answers
72 views

Are quaternion algebras from Witt's theorem endomorphism rings of vector bundles?

Let $k$ be a field with char $k \neq 2$. For $a,b \in k^{\times}$, let $(a,b)$ denote the quaternion algebra with $i^2=a$ and $j^{2}=b$, and let $C(a,b)$ denote the projective plane conic given by ...
1
vote
0answers
85 views

Stack of curves and universal deformations

I've just started studying algebraic stacks and I have a very basic question. I've learned the notion of Deligne Mumford stack and I've seen as the stack of stable curves $\overline{\mathcal{M}_g}$ ...
1
vote
2answers
132 views

there exists a hypersurface H ⊂ X such that X \ H is Stein and L is trivial over X \ H

"Suppose that X is a compact projective manifold equipped with a K¨ahler metric ω. Let L be a holomorphic line bundle In general, there exists a hypersurface H ⊂ X such that X \ H is Stein and L is ...
0
votes
0answers
92 views

moduli space of meromorphic $G$-Higgs bundles

I want to clarify with some topics in moduli space of semistable $G$-Higgs bundles on curve $X$ (genus $g$ is large enough) of fixing topological type $d \in \pi_1(G)$. Simpson's construction gives us ...