Questions tagged [ag.algebraic-geometry]

for questions on algebraic geometry, including algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.

Filter by
Sorted by
Tagged with
1
vote
1answer
28 views

Polynomial constraints on the values of continuous functions $\mathbb{R}\to\mathbb{R}$

Denote by $S$ the set of closed points in $X=\mathrm{Spec}\:\mathbb{R}[x_\alpha]$ ($\alpha \in \mathbb{Q}$) that have $\mathbb{R}$ as their residue field. There is an injective map from the set of ...
1
vote
1answer
72 views

Density of integral points on affine cubic surfaces of a certain type

Let $Q(x,y,z)$ be a cubic polynomial with integer coefficients, such that the terms $x^3, y^3, z^3$ do not appear. That is, it is at most quadratic in each of the variables $x,y,z$. Is there a general ...
23
votes
7answers
2k views

Applications of Microlocal Analysis?

What examples are there of striking applications of the ideas of Microlocal Analysis? Ideally i'm looking for specific results in any of the relevant fields (PDE, algebraic/differential geometry/...
4
votes
0answers
77 views

Questions related to compact complex curves, symmetric products and linear independence

Let $X$ be a compact complex curve and let $L$ be a very ample line bundle over $X$. Denote by $C_n( X )$ the configuration space of $n$ (ordered) distinct points on $X$. Given distinct points $z_1$, ....
4
votes
2answers
483 views

Motivating the coefficient field of $\ell$-adic cohomology

It was already known to Weil that a sufficiently reasonable cohomology theory for algebraic varieties over $\mathbb{F}_p$ would allow for a possible solution to the Weil conjectures. It was also ...
0
votes
0answers
35 views

Understanding a step in proof of how the localization of an additive category by a subclass of morphism satisfies Ore is also additive

I started to study localization in additive and triangulated categories via a subclass of morphism which satisfies the Ore conditions by my own. Right now, Im studying how for an additive category $C$...
11
votes
0answers
145 views

Varieties isomorphic $\mathrm{mod}\:p$ are diffeomorphic

If two smooth proper varieties over $\mathbb{Q}$ have isomorphic smooth reductions modulo some prime (for some choice of integral models) are they diffeomorphic after tensoring with $\mathbb{C}$?
1
vote
0answers
68 views

When every localization of the polynomial ring over a ring has finitely many idempotents

Let $R$ be a commutative ring such that every localization ring $R_r$ has finitely many idempotents for each non nilpotent element $r\in R$. Why dose every localization ring $R[x]_{f(x)}$ have ...
14
votes
7answers
2k views

Different definitions of the dimension of an algebra

I know of three ways to define the dimension of a finitely-generated commutative algebra A over a field F: The Gelfand-Kirillov (GK) dimension, based on the growth of the Hilbert function. The Krull ...
7
votes
2answers
576 views

Is the big cell a principal open set?

Let $G$ be a complex affine reductive algebraic group, $B\subseteq G$ a Borel with maximal torus $T$ and unipotent radical $U$. Let $w\in\operatorname N_G(T)$ be a representative of the longest Weyl ...
1
vote
0answers
64 views

Slope stability using the Riemann-Roch theorem

I am studying about the (Stability on a curve). Suppose $C$ is a smooth curve of genus g. The Riemann-Roch theorem asserts that if $E$ is a coherent sheaf on $C$ then the Euler characteristic of $E $ ...
1
vote
0answers
44 views

Special fiber of a reflexive sheaf over DVR

Let $f:X \to \mbox{Spec}(R)$ be a flat, projective morphism with $R$ a discrete valuation ring and the special and generic fibers of $f$ are normal and integral. I am looking for examples of rank $1$, ...
10
votes
0answers
140 views

Homotopy type of the affine Grassmannian and of the Beilinson-Drinfeld Grassmannian

The affine Grassmannian of a complex reductive group $G$ (for simplicity one can assume $G=GL_n$) admits the structure of a complex topological space. More precisely, the functor $$X\mapsto |X^{an}|$$ ...
14
votes
1answer
369 views

Non-algebraic holomorphic maps between algebraic curves

Let $V$ be a connected smooth complex projective curve of negative Euler characteristic. Can there exist a connected smooth complex algebraic curve $U$ such that there is a non-constant holomorphic ...
2
votes
0answers
79 views

A normal proper model of an abelian variety with geometrically integral special fiber smooth at the reduction of the origin

Let $A$ be an abelian variety over $\mathbb{Q}_p$. Does there exist a proper flat morphism $X\to \mathrm{Spec}\:\mathbb{Z}_p$ such that the generic fiber is isomorphic to $A$, the special fiber is ...
2
votes
0answers
119 views

Holomorphic map from a punctured affine line to $M_g$ with Zariski-dense image

Denote by $M_g$ the coarse moduli space of connected smooth projective complex curves of genus $g$. Is there a holomorphic map $U\to M_g$ with Zariski-dense image where $U$ is the affine line with ...
4
votes
1answer
158 views

An explicit negative solution to the Lüroth problem for non-algebraically closed fields

Let $\mathsf{k}$ be a field of characteristic $0$, and consider $\mathsf{k}(x,y)$. If $\mathsf{k}$ is algebraically closed, then every field $L$ such that the inclusion $\mathsf{k} \subset L \subset \...
4
votes
1answer
203 views

Can Hodge symmetry fail if there is a lift to $W_2$ and the crystalline cohomology is torsion-free?

Let $f:X\to \mathrm{Spec}\:\mathbb{F}_p$ be a smooth proper morphism with $p>\mathrm{dim}\:X$. Assume that $H^i_{\mathrm{crys}}(X/\mathbb{Z}_p)$ is torsion-free for all $i\geq 0$ and that there is ...
1
vote
0answers
93 views

Cohomology of a family of twisted cubic curves (Hartshorne III, 12.9.2)

I'm trying to understand following Example in Hartshorne (Chapter III, Example 9.8.2 & Example 12.9.2): Let $X_1 \subset \mathbb{P}^{3}$ be a twisted cubic curve not containing the point $(0:...:1)...
3
votes
0answers
44 views

Algebras Morita equivalent with the Weyl Algebra and its smash products with a finite group

My question os motivated, naturally, by the problem of classifying symplectic reflection algebras up to Morita equivalence (a classical reference for rational Cherednik algebras is Y. Berest, P. ...
2
votes
0answers
96 views

Kan liftings and projective varieties

Regard the following two bicategories: $\operatorname{dg-\mathcal{B}imod}$, with objects dg categories, and morphisms categories from $C$ to $D$ being the categories of $C$-$D$-bimodules. Composition ...
5
votes
0answers
48 views

Is the cohomology of Hilbert modular surfaces spanned by special cycles?

We consider the Hilbert modular surface $X$ that parametrize abelian surface with real multiplication by $\mathcal{O}_F$ and $\mathfrak{a}$-polarization, where $F$ is a real quadratic field with ...
2
votes
0answers
96 views

An analogue of Noether's Problem for non-rational varieties

For the sake of simplicity, let $\mathsf{k}$ be algebraically closed and of zero characteristic. Varieties are irreducible. The (linear) Noether's Problem (which goes back to the early 1910's in ...
0
votes
1answer
472 views

Relative flatness

Can someone me say if this (perhaps obvious!) claim is true: let $f:X\rightarrow S$ be an open, surjective morphism of complex spaces reduced or without embedded components and with $n$-pure ...
1
vote
1answer
138 views

Can $h^{1, 0}$ and $h^{1, 1}$ jump for smooth projective surfaces over $\mathbb{Z}[1/N]$?

Let $N$ be a positive integer. Let $f:X\to S=\mathrm{Spec}\:\mathbb{Z}[1/N]$ be a smooth projective morphism of relative dimension 2 such that $R^1f_*\mathcal{O}_X$ and $R^2f_*\mathcal{O}_X$ are both ...
2
votes
1answer
135 views

Is there an algorithm on an infinite time Turing machine to compute a dense subset of $M_g$ for large $g$?

Denote by $M_g$ the coarse moduli space of connected smooth projective complex curves of genus $g$. If $g$ is a random large integer (e.g. $g=100$) does there exist an algorithm on an infinite time ...
3
votes
1answer
113 views

Mean square estimate for the Kloosterman sums

For $m,n\in \mathbb{N}$, denote the Kloosterman sum $$S(m,n;c)=\sum_{a\bmod c}e\left( \frac{ma+n \overline{a}}{c}\right),$$where $\overline{a}$ denotes the multiplicative inverse of $a\bmod c$. Does ...
9
votes
1answer
598 views

Nodal curve in a smooth variety with injective map on fundamental groups

Let $C$ be the nodal curve obtained by gluing together the points $0$ and $1$ of $\mathbb{A}^1_{\mathbb{C}}$. The topological fundamental group of $C$ is isomorphic to $\mathbb{Z}$. One can find an ...
-2
votes
0answers
36 views

Find Angle in Triangle [closed]

In triangle ABC, angle a = 56 degrees and angle B = 50 degrees. The altitude from B to AC is extended until it intersects the line through A that is parallel to BC; that intersection is called point K....
1
vote
0answers
53 views

Determining the irreducible invariant subspaces of a permutation action by computing eigenspaces of a matrix

Let $\Sigma\subseteq\mathrm{Sym}(n)$ be a permutation group on $N:=\{1,...,n\}$. My goal is to determine the irreducible invariant subspaces of the permutation action of $\Sigma$ on $\Bbb R^n$, and I ...
3
votes
1answer
102 views

Are “strongly finite dimensional” homotopy invariant sheaves with transfers (locally) constant?

Let $k$ be an algebraically closed field. Let $S$ be a homotopy invariant $\mathbb{Q}$-linear sheaf with transfers in the sense of Voevodsky–Suslin, and assume that the dimension of $S(U)$ (over $\...
5
votes
1answer
171 views

Dimension of Prym variety of cover

I am reading the article by Lawrence and Venkatesh on diophantine problems and $p-$adic period mappings. At page $35$ they say that the dimension of the Prym variety of an (unramified) cover of curves ...
2
votes
1answer
152 views

Question about automorphism functor in Sernesi's “Deformations of algebraic schemes”

Let $X$ denote an algebraic scheme over $\operatorname{Spec} k$ such that its deformation functor $\operatorname{Def}_X$ has a semi-universal couple $(R,u)$, where $R$ is an Artinian $k$-algebra and $...
2
votes
0answers
89 views

Variation of Euler characteristic when the sheaf is not flat

Let $f:X \to Y$ be a flat, projective morphism with $Y$ integral and every fiber of $f$ normal and integral. Let $F$ be a torsion-free, coherent sheaf on $X$ (not necessarily flat over $Y$). Then, is ...
7
votes
0answers
97 views

Log Calabi-Yau variety diffeomorphic to an algebraic torus

Let $U$ be a complex affine log Calabi-Yau variety, which I take to mean a smooth affine variety which admits a compactification in a smooth projective variety $X$ with an snc anti-canonical ...
1
vote
0answers
80 views

Local freeness of $\pi_*F(r)$ from flatness of $F$

In 'Fundamental Algebraic Geometry' by Fantechi there is a lemma in section 5.3.2, page 119: LEMMA 5.5 Let $S$ be a noetherian scheme and let $F$ be a coherent sheaf on $\mathbb{P}^n_S$. Suppose there ...
4
votes
2answers
237 views

Sheaf cohomology commutes with colimits of sheaves

Let $X$ be a Noetherian scheme over a Noetherian ring $R$ and $(F_{\alpha})_{\alpha \in I}$ a direct system of $O_X$-module sheaves on $X$. I'm looking for source literature where I can find a proof ...
1
vote
0answers
72 views

versal deformation ring of a p-divisible group with some tensors

I'm trying to read Kisin's paper about the Integral model of Shimura varieties. In section five he discusses versal deformation ring of a p-divisible group. Assume that $K$ is a number field with ...
4
votes
0answers
84 views

Holomorphic tubular neighborhood of divisors at infinity

For the discussion of holomorphic tubular neighborhoods and some criteria for their existence see this question. Let $X$ be a smooth quasi-projective variety over $\mathbb{C}$. Hironaka tells us that ...
0
votes
0answers
68 views

Toric ideals are generated by binomials. $V(x)$ gives affine $n-1$ space in affine $n$-space. $x$ is not a binomial, yet affine $n-1$ space is toric?

Proposition 1.1.11 of Cox-Little-Schenk's Toric Varieties states that an ideal $I \subseteq \mathbb{C}[x_1, \dots, x_n]$ is toric iff it is prime and generated by binomials. Setting $I = (x_1) \subset ...
5
votes
0answers
89 views

Pseudoreflection groups in affine varieties

Suppose $\mathsf{k}$ is an algebraically closed field of zero characteristic. Chevalley-Shephard-Todd (C-S-T) Theorem in one of its equivalent versions is the following result: (C-S-T): Let $G$ be a ...
5
votes
1answer
206 views

On a quasi-separated assumption in a lemma for the homotopy exact sequence of the etale fundamental group

Background: I've seen two versions of the homotopy exact sequence for etale fundamental groups. One from Stacks: Stacks 0BTX: Let $k$ be a field with algebraic closure $\overline{k}$. Let $X$ be a ...
4
votes
1answer
346 views

Can we move curves which are members of very ample systems?

Let us take the second degree Hirzebruch surface F_2 which is a holomorphic CP^1 bundle over CP^1 having sections of self intersections +2 and -2. Let me denote the class of the -2 section by C and ...
5
votes
0answers
198 views

Galois action on torsion in homotopy groups not induced by homotopy equivalences

Let $V$ be a simply connected smooth projective complex variety defined over the rationals. Then for any integer $n\geq 2$ the group $\pi_n(V)$ is finitely generated abelian so profinite completion ...
3
votes
0answers
169 views
+100

A density criterion and a submersion map of a Hodge bundle

In Voisin's excellent book 《Hodge theory and complex algebraic geometry II》5.3.4 - a density criterion, there is a important theorem: Let $X$ be a compact Kähler manifold, $\pi:\mathcal X \rightarrow ...
0
votes
0answers
75 views

Counting quadratic curves in $\mathbb P^1 \times \mathbb P^1$ passing through seven points in general position

Let $p_1,\dots,p_7 \in \mathbb P^1 \times \mathbb P^1$ be 7 points in general position. What is the number of maps $F=(F_0,F_1):\mathbb P^1 \to \mathbb P^1 \times \mathbb P^1$ modulo domain ...
0
votes
0answers
60 views

When the sum of two ideals is indecomposable

I am looking for a commutative ring $R$ and two ideals $I$ and $J$ of $R$ and two different maximal ideals $m_1$ and $m_2$ of $R$ such that $ann(I)=m_1$ and $ann(J)=m_2$ and $I+J$ is an ...
1
vote
1answer
356 views

Restriction of a Cartier divisor

Let $X$ be a surface (so $2$-dimensional proper $k$-scheme) $D \subset X$ an effective Cartier divisor of $X$ which corresponding to an invertible sheaf $\mathcal{L}=O_X(D)$ and $C \subset X$ a closed ...
1
vote
0answers
100 views

Pushforward of the structure sheaf for smooth morphisms

Let $\pi:X\to S=\mathbb{P}^1_{\mathbb{Z}}$ be a smooth morphism. Is there a smooth separated morphism $\pi':X'\to S$ such that $\pi_*\mathcal{O}_X\approx \pi'_*\mathcal{O}_{X'}$ as $\mathcal{O}_S$-...
19
votes
3answers
920 views

Clifford algebras as deformations of exterior algebras

$\def\Cl{\mathcal C\ell} \def\CL{\boldsymbol{\mathscr{C\kern-.1eml}}(\mathbb R)}$ I'm not an expert in neither of the fields I'm touching, so don't be too rude with me :-) here's my question. A well ...

1
2 3 4 5
334