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

learn more… | top users | synonyms (1)

2
votes
0answers
71 views

motivic integration and jacobian ideal

When we consider the change of variables in motivic integration, we have a birational map $f:Y\rightarrow X$ with Y smooth and we have to consider two invariants the order of the Jacobian ideal of $X$ ...
5
votes
0answers
92 views

Can the hyperbolic core of a curve over $\mathbb Q$ be defined over $\mathbb Q$ as an algebraic stack

Here is a question I've been wondering about for a while. Currently it is mere curiosity and I do not have any direct applications in mind. Let $X$ be a smooth quasi-projective geometrically ...
0
votes
1answer
132 views

The linear projection of projective spaces

Let $\pi:X=\mathbb{P}_n\smallsetminus p\rightarrow \mathbb{P}_{n-1}$ be the linear projection. What is the cokernel of the morphism $$ 0\rightarrow \mathcal{O}_{\mathbb{P}_{n-1}}\rightarrow ...
2
votes
0answers
146 views

When is the proper transform of a subscheme equal to the total transform?

Say that $X \subset Y \subset \mathbb{P}^n$ are closed subschemes and let $\pi: \tilde{Y} \rightarrow Y$ be the blowup along $X$. If $H$ is a hyperplane section of $Y$, under what conditions (on ...
0
votes
0answers
18 views

Derivative of a projective transformation [migrated]

Assume $A$ is a matrix from $R^{n\times n}$, $A:R^n\rightarrow R^n$. Then $A$ induces a projective transformation $f:RP^{n-1}\rightarrow RP^{n-1}$. For example, $\\$ $$\begin{pmatrix} 4 & 0 ...
4
votes
0answers
121 views

Moduli interpretation of Hecke operators on Shimura curves

In his book on Automorphic Forms, Shimura gives (chapter 9) definitions of the the Hecke operators for Shimura curves. One can give definitions of the Hecke and Atkin-Lehner operators in terms of the ...
6
votes
1answer
115 views

For a Sum-of-Squares cost functions J(x) is it true that J(x)-j* is also SOS?

For polynomial optimization problems the sum-of-squares theory and Lasserre relaxation hierarchy provides a theoretically handy way of getting the solution. There are also results saying that finite ...
11
votes
2answers
499 views

The quotient stack $[\mathbb{A}^n / \mathrm{GL}_n]$

Consider the affine space $\mathbb{A}^n$ (over some base scheme) with the usual $\mathrm{GL}_n$-action. What does the quotient stack $[\mathbb{A}^n / \mathrm{GL}_n]$ classify? If $n=1$, then we get ...
2
votes
2answers
243 views

Compact elements in $G(K)$ for a reductive group $G$ over a nonarchimedean local field $K$

Let $K$ be a nonarchimedean local field and $G$ a (connected) reductive group over $K$, so that $G(K)$ carries a natural topology. An element $g \in G(K)$ is compact if it is contained in a compact ...
0
votes
1answer
95 views

Is pushforward of an ample divisor under small birational map nef?

Let $X, Y$ be $\mathbb{Q}$-factorial, projective, normal varieties. Let $f: X --> Y$ be a small birational map. I have two related questions about pushforward of an ample divisor: (1) Let $H_X$ be ...
3
votes
2answers
504 views

Two basic questions on derived categories

Let $\mathcal{A}, \mathcal{B}$ be two abelian categories with sufficiently many injective objects (in my case these are categories of sheaves of vector spaces on a manifold). Let $f_*\colon ...
0
votes
0answers
78 views

Books which defines higher differentials in algebraic curves context [migrated]

I'm reading an article which mentions a lot about higher differentials: I don't know what is $\Omega^n(F)$, my background is just Fulton's Algebraic curves book which defines just $\Omega(F)$. I ...
8
votes
1answer
407 views

Are there noncommutative extensions of $\alpha_p$ by $\mathbb{G}_m$?

Let $k$ be a field of characteristic $p > 0$ (algebraically closed, if you want; that doesn't make a difference). Consider a finite type $k$-group scheme $E$ that is a (central) extension of ...
0
votes
0answers
62 views

on lifting elements in a tangent space

Let X a normal integral scheme over a base field scheme, assumedd to be singular and an integer $n$ Let $\mathcal{O}=k[[t]]$, we consider the arc space $X(\mathcal{O})$ which is a $k$- pro-scheme and ...
0
votes
1answer
75 views

Vector bundle on ruled surface $X\times \mathbb{P}^{1}$

let $E$ be a vector bundle of rank $r$ on $X\times \mathbb{P}^{1}$ where $X$ is a smooth projective curve. Assume now that $E|_{F_{p}} \cong \mathcal{O}_{\mathbb{P}^{1}}^{r}$ for any p-fiber where $p: ...
1
vote
1answer
107 views

Some questions about ruled surfaces defined over $\overline{\mathbb Q}$

definitions: A non-singular complex projective surface $S$ is a ruled surface if it is birationally equivalent to $C\times_{\text{Spec} \mathbb C}\mathbb P^1_{\mathbb C}$ where $C$ is a non-singular ...
0
votes
0answers
73 views

Sufficient conditions to get complete intersection curves

Let $H_1,H_2\cdots,H_{d-1}$ be hypersurfaces in $\mathbb{P}^d$, if the intersection $B:=H_1\cap H_2\cap \cdots \cap H_{d-1}$ is $1$-dimensional then it is called a complete intersection curve. What ...
0
votes
1answer
194 views

Line on a hyper surface

Assume $X$ is a hyper surface in $\mathbb{P}^n$, can one always find a closed immersion $i:\mathbb{P}^1 \rightarrow X$?
2
votes
1answer
167 views

Number of minimal models of a surface

I would like to know if the following statement is true or false: Given a non-singular complex projective surface $S$, it has at most a countable number of minimal models (up to isomorphism). ...
2
votes
1answer
227 views

When is the Hodge diamond concentrated in $H^{n,n}$'s?

Let $X$ be a smooth projective complex algebraic variety. The Hodge decomposition tells us that $H^n(X, \mathbf C) = \oplus H^{p,q}$. Here is my question: For what kind of $X$ is $H^{2n}(X) = ...
0
votes
2answers
129 views

Decompose a big divisor as nef big divisor and effective divisor

Let $W_n$ be a set of a log pair having the following property: For any $(X, D) \in W_n$ (1)$X$ has dimensional $n$ with tirvial canonical divisor (i.e.$K_X = 0$). Moreover, $X$ is a ...
1
vote
2answers
216 views

When the contraction is a morphism defined over $\overline{\mathbb Q}$

Suppose that $S$ is a complex projective surface defined over $\overline{\mathbb Q}$, namely there exists a surface $S_{\overline{\mathbb Q}}$ over $\overline{\mathbb Q}$ such that: ...
2
votes
1answer
151 views

About $\mathbb P^1_\mathbb C$ contained in a surface

Suppose that $X$ is a non-singular projective surface over $\mathbb {\overline Q}$ ( $X$ is a $\mathbb {\overline Q}$-scheme...) and suppose that there is an embedding: $$j:\mathbb P^1_{\mathbb ...
5
votes
0answers
142 views

Lower semicontinuity of naive fiber size

I would like to present the following result in my algebraic geometry class, but it is seeming much harder than I would expect. Since my class is working with closed points over an algebraically ...
2
votes
0answers
95 views

Do all full exceptional sequences of a triangulated category have the same length?

Let $\mathcal{D}$ be a $k$-linear triangulated category and $\langle E_n,E_{n-1},\ldots, E_0\rangle$ be a sequence of objects of $\mathcal{D}$. We call $\langle E_n,E_{n-1},\ldots, E_0\rangle$ an ...
0
votes
1answer
250 views

Is there a Gröbner basis analogue that exists for vector spaces?

Suppose I have a coordinate system $t_1,\ldots t_N$ with a lexicographical ordering. Let LT denote choosing the lowest term of a polynomial with respect to this ordering. e.g. LT$(t_1 + t_2)=t_2$. ...
0
votes
0answers
84 views

Reciprocity laws in different dimensions

Let $M/L/Qp$ be a finite galois abelian extension of local fields and define $\mathcal{M}=M\{\{T\}\}=\{\sum_{i\in \mathbb{Z}}a_iT^i:a_i\in M,\min_{i\in \mathbb{Z}}, v(a_i)>−\infty , \lim_{i\to ...
1
vote
0answers
58 views

Relation between 1-dimensional and 2-dimensional reciprocity maps

Let $M/L/\mathbb{Q}_p$ be a finite galois abelian extension of local fields and define $\mathcal{M}=M\{\{T\}\}=\{\sum_{i\in \mathcal{Z}}a_iT^i : a_i\in M, \min_{i\in \mathcal{Z}} v(a_i)>-\infty, ...
4
votes
0answers
94 views

On the cohomology ring of the Hilbert scheme of points on k3 or abelian surfaces

There are many results on the cohomology of the Hilbert scheme of points of a surface. Gottsche calcaluted the Betti numbers and Nakajima got the generators of the cohomology. Also there are results ...
0
votes
1answer
151 views

Improving Newton's Inequalities using the Taylor Theorem

Newton's inequalities say that if $f(x) = \sum \binom{n}{k} a_k x^k$ is a polynomial with all real roots then $ a_k^2 > a_{k-1}a_{k+1}$. The proof this result uses that if $f(x)$ has all real ...
2
votes
1answer
181 views

Minimal model of a non-singular complex projective surface defined over $\overline{\mathbb Q}$

Suppose that $S$ is a non-singular complex projective surface that is defined over $\overline{\mathbb Q}$, namely $S\cong\text{Proj}\frac{\mathbb C[T_1,T_2,\ldots,T_n]}{(f_1,\ldots,f_n)}$ where $f_i$ ...
10
votes
4answers
629 views

Soft question: beginners reference to moduli spaces

What is a geometrically intuitive yet reasonably general first introduction to the theory of Moduli spaces? (Possibly introducing stacks also)? I'm looking for something which really gets the pictures ...
1
vote
1answer
208 views

Does every hypersurface in the projective plane contain a projective line?

Consider $P^{2}(\mathbb{C})$, the space of all lines through the origin in $\mathbb{C}^{3}$ (or $\mathbb{R}^3$ if that works better). Let $X\subset P^{2}(\mathbb{C})$ be a (nonempty) hypersurface ...
4
votes
1answer
495 views

An Intriguing Tapestry: Number triangles, polytopes, Grassmannians, and scattering amplitudes

$$Prelude \;\;on \;\;Two\;\; Threads$$ Last month the workshop New Geometric Structures in Scatering Amplitudes was hosted by CMI with the following partial overview: Recently, remarkable ...
3
votes
1answer
79 views

simplex in hyperbolic space and quadrics in projective space

I am trying to understand Goncharov's paper "Volumes of hyperbolic manifolds and mixed Tate motives", http://www.ams.org/journals/jams/1999-12-02/S0894-0347-99-00293-3/S0894-0347-99-00293-3.pdf In ...
9
votes
0answers
176 views

How tight is the Weil bound for this exponential sum?

Let $f$ be a nonconstant polynomial of degree $d$. Let $\psi$ be a character of the additive group of $\mathbb F_p$. By Weil, we have: $$ \left| \sum_{x\in \mathbb F_p} \psi ( f(x)) \right| \leq ...
0
votes
0answers
84 views

What can one say about zero-cycle groups for products of Chow motives

What can one say about the Chow group of zero-cycles (up to rational equivalence) for a product of smooth projective varieties and Chow motives (so, I am interested in the kernel $Chow_0(P)\otimes ...
0
votes
0answers
76 views

G-equivariant coherent sheaves on Bott-Samelson Resolutions

Let $G$ be a Lie group, $B$ be a Borel subgroup. $G/B$ is the corresponding flag variety. Let $w$ be an element of the Weyl group $W$ with a reduced expression $w = s_1 \cdots s_n$. Let $X_w$ be ...
5
votes
1answer
154 views

Intermediate Jacobians of intersections of two quadrics

Let $$X: \quad Q_1(x)=Q_2(x) = 0 \quad \subset \mathbb{P}^{2n+1},$$ be a smooth complete intersection of two quadrics of odd dimension over a field $k$, not of characteristic $2$. Let $J(X)$ denote ...
0
votes
0answers
52 views

Toroidal embeddings over a DVR

I'm starting to study toroidal embeddings over a Discrete Valuation Ring $R$. In particular i refer to Mumford's section in the book "Toroidal embeddings I". Let $I=(\pi)$ be the maximal ideal, ...
1
vote
1answer
93 views

Zariski closure of the boundary of a closed convex subset of ${\mathbb R}^n$

Let $\eta$ be a closed convex subset of ${\mathbb R}^n$ of convex dimension $n$ (not necessarily compact) with nonempty boundary $\partial \eta$. Then $\eta$ is an $n$-dimensional topological ...
1
vote
1answer
138 views

How to understand a rooting of a dessin d'enfant?

As I understand it, rooted maps on surfaces were first introduced in enumerative combinatorics because they are easier to count than unrooted maps, which can have non-trivial symmetries. A map is a ...
1
vote
0answers
104 views

Thickness of the category of perfect complexes with finite length homology

Let $R$ be a commutative Noetherian local ring and let $D(R)$ be the derived category of $R$-modules. Recall that a chain complex $C_\bullet$ of modules over $R$ is called perfect if it is isomorphic ...
0
votes
0answers
72 views

How can information about morphisms between modular curves be read from the morphism of their corresponding stacks?

$\newcommand{\yY}{\mathcal{Y}}$ $\newcommand{\PSL}{\text{PSL}}$ $\newcommand{\SL}{\text{SL}}$ $\newcommand{\ZZ}{\mathbb{Z}}$ $\newcommand{\CC}{\mathbb{C}}$ $\newcommand{\mM}{\mathcal{M}}$ Let $Y(1)$ ...
0
votes
1answer
107 views

Is the cokernel of a map of sheaves a seperated presheaf?

The cokernel of a map of sheaves is not necessarily a sheaf until you sheafify. In every example I have seen of the cokernel failing to be a sheaf it is the glueability axiom that fails while the ...
2
votes
1answer
131 views

On the generating series of degree $d>1$ Gromov-Witten invariants of the local $\mathbb P^1$

Let $N$ be the total space of the vector bundle $\mathscr O_{\mathbb P^1}(-1)\oplus \mathscr O_{\mathbb P^1}(-1)$ over $\mathbb P^1$, and let $C_0\subset N$ be the zero section. Then $N$ is a ...
-1
votes
0answers
75 views

Comparing two definitions of determinant of coherent sheaves [migrated]

Let $f:X \to S$ be a smooth, projective morphism of $k$-schemes for some field $k$. Let $\mathcal{F}$ be a coherent sheaf on $X$ flat over $S$. We know (by Proposition $2.1.10$ of Huybrechts-Lehn, ...
6
votes
1answer
245 views

Can we normalize a complex analytic space in a covering of an open subset?

Let $X$ be a normal connected complex analytic space, $x\in X$ a point, $f$ a nonzero holomorphic function vanishing at $x$. Denote by $U\subseteq X$ the locus where $f$ is nonzero. Suppose that ...
1
vote
0answers
56 views

Uniform bounds of number of integral points on affine varieties

In Duke-Rudnick-Sarnak 93, Density of integer points on affine homogeneous varieties, one of the consequences is the following, Consider the variety $V_{n,k} = \{A \in Mat_n(\mathbb{Z}): det(A) = ...
3
votes
1answer
120 views

Flatness of Normaliztion of regular schemes

I have a followup to the followig question: Flatness of normalization Suppose that $X$ is a regular scheme (of finite type over a $\mathbb{C}$ if one wants) and $X'$ is the normalization of $X$ in a ...