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

learn more… | top users | synonyms (1)

0
votes
0answers
14 views

On the Picard group of a product of projective varieties

Let $K$ be a field of characteristic zero, $X$ a smooth projective curve on $K$ and $Y$ a Fano variety over $K$. Consider the natural projection morphism $\mbox{pr}_1$ (resp. $\mbox{pr}_2$) from $X ...
2
votes
0answers
27 views

Groups and pregeometries

Definition. For an infinite structure $\mathcal{A}$ and $cl : P(dom(\mathcal{A})) \longrightarrow P(dom(\mathcal{A}))$ , we say that $(\mathcal{A}, cl)$ is a structure carrying an $\omega$-homogeneous ...
6
votes
0answers
141 views

Is it easy to prove that $\sum_n |X(\mathbb{F}_{q^n})| t^n$ is rational?

Background: Let $X$ be an algebraic variety over a finite field $\mathbb{F}_q$. One of the successes of Etale cohomology - previously achieved by Dwork- was proving the rationality of the Zeta ...
0
votes
0answers
74 views

When is there a polynomial transformation?

First part: given $$\frac{P_1(x_1,x_2,\dots,x_n)}{P_2(x_1,x_2,\dots,x_n)}=\frac{P_3(f(x_1,x_2,\dots,x_n))}{P_4(f(x_1,x_2,\dots,x_n))}|\det (J(f(x_1,x_2,\dots,x_n)))|$$ where $P_i$ is polynomial ( that ...
1
vote
0answers
141 views

Are these two “FUNCTORS” adjoint?

I am considering the following correspondence: Let $X$ be quasi compact quasi separated schemes.Consider a pseudo functor \begin{equation}Sch\rightarrow CAT :U\mapsto Qcoh(U),f:U\rightarrow V\mapsto ...
2
votes
0answers
66 views

If the direct image of f preserves coherent sheaves on notherian schemes,how to show f is proper?

The other direction is well known I think it is true and I was told by several other guys doing algebraic geometry that it is indeed true but they did not know how to prove.I am also wondering whether ...
1
vote
1answer
158 views

Blow-ups and cohomology

I'm trying to understand how to compute the Chow ring of a blow-up. Let $W\subset \mathbb P^4$ be a smooth surface and let $X$ be the blow-up of $\mathbb P^4$ along $W$ with exceptional divisor $E$. ...
7
votes
1answer
181 views

What are the exact holomorphic Lagrangians in complex 2-space?

In an exact symplectic manifold, i.e. where the symplectic form can be written $\omega = d \lambda$, it's natural to look for exact Lagrangians, i.e. $L$ on which $\lambda_L = df$. One reason is ...
4
votes
0answers
145 views

Tannaka categories and reductive groups

The group associated to a Tannaka category $T$ over a field is pro-reductive if and only if $T$ is semi-simple. Pro-reductive groups make sense over any scheme. Is there an extension of the theory ...
3
votes
1answer
97 views

Categorical characterization of closed imbeddings

Let $f\colon X\to Y$ be a morphism of schemes. Let $F_X$ and $F_Y$ be the contravariant functors from the category $Sch$ of schemes to the category of sets defined via the Yoneda construction, i.e. ...
2
votes
0answers
82 views

Universal covering space of a Zariski open subset of projective space

Let $U$ be a Zariski open subset of $\mathbb P^n_{\mathbb C}$. Assume $U$ is the complement of some divisors. Have the possible universal covering spaces of $U$ been classified? Do we know when the ...
1
vote
0answers
99 views

Is there such thing as the Gorensteinification of a one-dimensional local ring?

That is, given $A$ local, reduced and one-dimensional, is there a finite extension $A\to B$ where $B$ is Gorenstein?
4
votes
1answer
218 views

The space of varieties between two given varieties

Let $\mathbf{P} = \mathbf{P}^n(k)$ be the $n$-dimensional projective space over a field $k$, let $A, B$ be projective varieties in $\mathbf{P}$ such that $A \subset B$. Now define $V(A,B)$ to be the ...
3
votes
0answers
174 views

Reference request: Beilinson-Bernstein for finite-dimensional reps and category O

I think I’ve once been told that under the Beilinson-Bernstein correspondence, finite-dimensional representations of a semisimple Lie algebra $\mathfrak{g}$ correspond to (twisted) D-modules on $G/B$ ...
1
vote
0answers
108 views

which sections of elliptic curves are conjugate?

Suppose you have a relative elliptic curves $f : E\rightarrow S$ (say $S$ is connected). Then suppose you have two sections $g,g' : S\rightarrow E$, corresponding to two sections $g_*,g'_*$ to the map ...
4
votes
1answer
126 views

Pulling back quasi-coherent sheaves from a quotient stack

In a problem I am trying to solve, the following situation occurs. $X$ is a smooth variety and $G$ is a reductive group acting transitively on $X$. We have the stack $X/G$ and a morphism $\pi : X \to ...
0
votes
0answers
57 views

stability notion of nets of quadrics

A net of quadrics in $\mathbb{P}^n$ is a plane in $\mathbb{P}^N$, where $N=\frac{n(n+3)}{2}$. So the space of net of quadrics is the Grassmannian $Gr(3,N+1)$. The group $SL_{n+1}(\mathbb{C})$ acts on ...
2
votes
0answers
101 views

infinite dimensional germs of schemes and tangent spaces

(The question of the type "how to define?") Let $(R,\mathfrak{m})$ be a local ring over a field $k$ of zero characteristic. Consider the matrices over this ring, $Mat(m,R)$. I think of $Mat(m,R)$ as ...
7
votes
1answer
252 views

Does there exist a Fano variety with torsion in $H^3$?

Let $X$ be a (smooth) Fano variety over $\mathbb{C}$. If $\dim(X)=3$, inspection of the Iskovskikh-Mori-Mukai lists seems to indicate that $H^3(X,\mathbb{Z})$ is torsion free. Is there a theoretical ...
0
votes
1answer
126 views

Hasse principle and twists of $\mathbb{P}^n$ [on hold]

Let $X$ be a twist of the $n$-th projective space, seen as a $K$-variety for some number field $K$. For $n = 1$, the Hasse principle holds for $X$. My question is: for which $n >1$ does the ...
1
vote
0answers
81 views

The meaning of induced sheaf $\mathscr F_y$ in Hartshorne's Corollary III.9.4

I do not quite understand Corollary III.9.4 on page 255 of Hartshorne's Algebraic geometry. I quote the corollary here before I post my questions: Let $f:\, X \to Y$ be a separated morphism of ...
2
votes
1answer
134 views

curve through a point avoiding an hypersurface, II

Inspired by this question: Suppose given an algebraic curve $C \subset \mathbb{A}^2$, and a point $x \in C$. Can you find another (closed) curve $D \subset \mathbb{A}^2$ such that $C \cap D = x$? ...
0
votes
0answers
65 views

A question about dimension of fibers for a flat morphism

Let $f: X → Y$ be a morphism of schemes which is locally of finite type. Define the relative dimension of $f$ at $x$, denoted by $\text{dim}_x f$ to be the dimension of the topological space ...
0
votes
1answer
90 views

curve through a point avoiding an hypersurface

Let $H$ be a closed hypersurface in $\mathbb{A}^{n}$, $n$ big enough over $\mathbb{C}$. Let $U$ be the complementary open subset. Let $x\in H$, Is it possible to find an curve ...
3
votes
1answer
92 views

A question on klt pairs

Let $D$ be a $\mathbb{Q}$-divisor in a smooth variety $X$. In Lazarsfeld book "Positivity in Algebraic Geometry 2" I found Proposition 9.5.13 saying that if for any $x\in D$ we have $mult_xD < 1$ ...
1
vote
3answers
229 views

are K3 surfaces complete intersections in their polarization?

I cannot seem to find stated the following fact, which is surely well known to experts. Let (S,L) be a polarized K3 surface. Then $M = L^{\otimes 3}$ is very ample and we can consider the embedding ...
4
votes
1answer
78 views

odd degree $0$-cycles and rational points on a quadric hypersurface

Is it true that a smooth quadric hypersurface has a rational point if and only if it has an odd degree $0$-cycle? I think this is true. If so, can someone give a (geometric) proof?
0
votes
0answers
77 views

General and generic forms in a vector space

Suppose $V$ is a vector space on $\mathbb{C}$. What is the definition of general linear form $h\in V $ and generic form $g\in V$?
1
vote
0answers
68 views

Blowing up along birational equivalent subvarieties

Let $X$ be an algebraic variety (not necessarily projective) over $\mathbb{C}$, and $V_1,V_2\subset X$ two projective subvarieties of $X$, with $\textrm{codim}(V_1)=\textrm{codim}(V_2)=2$. Suppose ...
1
vote
1answer
102 views

The locus of rational/elliptic curves on a special surface in $\mathbb{P}^3$

Let $P$ and $Q$ be two general polynomials of the same degree $d>5$. Consider the surface $S: z^2=P(x)Q(y)$ in $\mathbb{P}^3$ (after homogenization by the variable $w$). One can show that these ...
0
votes
0answers
98 views

How to convert the formulas in definition of period numbers into their continued fraction expansion, and what will the transformation will be [closed]

As we know,there is an interpretation or correspondence of/between continued fraction expansion of numbers in/and algebraic geometry how to convert the formulas in definition of period(for reference ...
5
votes
2answers
255 views

Singular points of algebraic varieties and parametrization by Puiseux series

Let $V\subset \mathbb{R}^n$ (or $\mathbb{C}^n$ if that makes anything easier) be an algebraic variety and $p\in V$ a possibly singular point. Let $U\subset V$ be a sufficiently small neighborhood of ...
-4
votes
0answers
109 views

how to show a curve embeds into its Jacobian [closed]

Recently I have been reading Milne's note on Jacobian of curves, and he showed that the curve C embeds into its Jacobian. But his arguments actually depend on the a commutative diagram and it's not ...
2
votes
0answers
77 views

Is the cotangent complexes of groupoids bounded above by degree $1$?

Let $\mathcal{X}$ be a stack given by a groupoid $X_1\rightrightarrows X_0$, where $X_0$ and $X_1$ are smooth $k$-varieties. Let $\mathbb{L}_{\mathcal{X}/k}$ be the cotangent complex of ...
3
votes
1answer
224 views

Decomposition vs filtration vs stratification

Are there accepted/standard definitions of "decomposition", "filtration", and "stratification" of a topological space (or of a manifold, or of an algebraic variety) $X$? I tend to understand ...
3
votes
1answer
99 views

Embedded resolution of curves on smooth varieties

As far as I understand, embedded resolution of singularities means the following: given a variety $X$ over an algebraically closed field, and a closed subvariety $Y$, there exists a birational map ...
5
votes
2answers
178 views

Why is the supersingular locus the zero locus of a modular form?

This question is related to my other question here: Examples of subspaces singled out by modular forms. Here I am wondering if there is a philosophical explanation about why the supersingular locus ...
1
vote
1answer
86 views

Multiplicity of a variety along a subvariety

Let $X\subset\mathbb{P}^n$ be an hypersurface given by the vanishing of a polynomial $F\in k[x_0,...,x_n]_d$. Let $Y\subset X$ be a subvariety. Then $X$ has multiplicity $m$ along $Y$ if all the ...
-5
votes
0answers
112 views

Computing the Length of a finite length module [closed]

How we can compute the length (length of a coposition series ) of the Artinian local ring $R=K[x,y]/(x^3,y^3)$? Does the following chain is a saturated chain of ideals of $K[x,y]$? ...
0
votes
1answer
149 views

Degree of an affine variety

The definition of degree is given for projective varieties, is there a definition also for affine varieties? If an affine variety has dimension $k$, is it possible to find at least an upper and a ...
0
votes
0answers
73 views

Is the Nisnevich topology quasi compact?

We only consider schemes that are smooth and separated over a field $K$. Let $\{X_i\longrightarrow X\}_{i\in I}$ be a Nisnevich covering of a scheme $X$ (all $X_i$ and $X$ are smooth and separated). ...
1
vote
2answers
105 views

Jacobian of a curve and field extension

Let $K$ be a field of characteristic zero and $X_K$ a smooth projective curve on $K$. Denote by $\bar{K}$ the algebraic closure of $K$ and $X_{\bar{K}}$ the base change of $X_K$ to $\bar{K}$. Under ...
3
votes
0answers
111 views

Flat Connections on the Cotangent Complex

I'm trying to find a reference which defines and discusses some properties of connections and flat connections on the cotangent complex in a homotopical setting. That is to say, a connection or flat ...
7
votes
1answer
261 views

Rational distance from vertices of an equilateral triangle

A colleague in my department posed the following question... Let $A=(0,0)$, $B=(1,0)$, and $C=(1/2,\sqrt{3}/2)$. Then $\Delta ABC$ is an equilateral triangle with sides of length 1. Let ...
3
votes
2answers
109 views

Injectivity under flat base change of the Picard group on smooth projective curves

Let $K$ be a field of characteristic $0$, $X_K$ a smooth projective curve over $K$. Denote by $\bar{K}$ the algebraic closure of $K$. The base change morphism $X_{\bar{K}} \to X_K$, induces via the ...
6
votes
1answer
265 views

$\ell$-adic monodromy theorems (over $\mathbb{C}$)

This question is about $\ell$-adic monodromy theorems for families over a number field. ($\ell$-adic analogues of Corollaries 6.2.8 and 6.2.9 in [BBD].) Notation $H$ denotes étale cohomology. Let ...
2
votes
2answers
170 views

Openness of finite index subgroups of $\mathrm{GL}_n(\prod O_v)$

Let $K$ be a global field and set $O := \prod_{v\nmid \infty} O_v$ where $v$ runs over the finite places of $K$. Equip $\mathrm{GL}_n(O) = \prod_v \mathrm{GL}_n(O_v)$ with the product of the $v$-adic ...
0
votes
2answers
224 views

Sheaf isomorphism $\mathcal{F}\rightarrow f_{\ast}f^{\ast}(\mathcal{F})$?

Let $f:X\rightarrow Y$ be a morphism of schemes and let $\mathcal{F}$ be a sheaf on $Y$. Then there is a natural map $$\Psi:\mathcal{F} \rightarrow f_{\ast}f^{\ast}(\mathcal{F})$$ and localizing ...
4
votes
0answers
102 views

Algebraic fundamental group without regularity at infinity

Suppose $X$ is a smooth (connected) variety over $\mathbb{C}$. Let $\mathscr{C}$ be the category of finite rank vector bundles on $X$ equipped with an integrable connection, and let $\mathscr{C}'$ be ...
39
votes
2answers
1k views

What are reasons to believe that e is not a period?

I hope this rather soft question is suitable for MO, otherwise please migrate it to MSE. In their paper defining periods [1], Kontsevich and Zagier without further comment state that $e$ is ...