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

learn more… | top users | synonyms (1)

1
vote
0answers
27 views

Generators of the algebra of invariant polynomials on a Lie algebra and the root-space decomposition

Let $G$ be a connected, simply-connected complex semisimple group with Lie algebra $\mathfrak{g}$. Fix a pair $T\subseteq B\subseteq G$ of a maximal torus and Borel subgroup, and let $\mathfrak{t}$ ...
4
votes
0answers
93 views

Is there a simple proof that Milnor $K_2$ of a number field is torsion?

This is a theorem of Garland. I had a look at the original paper which looks pretty complicated. I was wondering if the proof has been simplified over the years or if a different approach is nowadays ...
1
vote
0answers
52 views

Certain algebraic variete defining by multiplicative functional equation

In this question $B(M_{n}(\mathbb{C}))$ and $B^{2}(M_{n}(\mathbb{C}))$ are the linear space of all linear and 2-linear $M_{n}(\mathbb{C})$-valued maps on $M_{n}(\mathbb{C})$, respectively. ...
3
votes
1answer
113 views

Fano varieties of cubic threefolds

Let $X$ be a smooth cubic threefold over $\mathbb{C}$. Let $F(X)$ denote the Fano variety of lines in $X$, which is a smooth surface of general type. Is this class of surfaces distingushed ...
3
votes
1answer
174 views

Question on effective Mordell conjecture

Suppose $F(x,y,z)$ is a homogeneous polynomial over $\mathbb{Q}$, where $C:F(x,y,z)=0$ is a curve of genus $g\geq 2$. Question: Faltings proved that $C$ has finite many rational points. Suppose that ...
2
votes
1answer
78 views

Resolving nodes of a quintic CY 3-fold

Let's consider the following quintic 3-fold $X$: \begin{equation} \{(x_i) \in \mathbb{P}^4 \ | \ x_1f(x)-x_2g(x)=0\} \end{equation} for generic homogeneous polynomials $f(x),g(x)$ of degree four. It ...
-4
votes
0answers
32 views

Compare time it takes to travel a curve and a line [on hold]

First posted in Math Stack Exchange: http://math.stackexchange.com/questions/989690/compare-time-it-takes-to-travel-a-curve-and-a-line?noredirect=1#comment2025799_989690 Suppose you have a right ...
3
votes
1answer
118 views

Is the fundamental group of an open arithmetic Riemann surface contained in $\Gamma(2)$

Let $X$ be a non-compact Riemann surface with universal covering $\mathbb H$ and suppose that the fundamental group of $X$ is an arithmetic subgroup of $\mathrm{Aut}(\mathbb H) = ...
2
votes
0answers
42 views

Finite extension of K(x) with extra structure: definable over field of invariants?

Let $K$ be an algebraically closed field, and let $\sigma$ be an automorphism on $K$. Set $k=K^\sigma$. Consider the rational function field $K(x)$ and extend $\sigma$ to $K(x)$ by $\sigma(x)=x$, ...
4
votes
0answers
166 views

Any counterexamples known for the Generalized Tate conjecture?

One can state the generalized Tate conjecture over arbitrary finitely generated fields; to this end one should just define Galois representation to be effective if the eignevalues of the actions of ...
5
votes
2answers
244 views

$j$-invariants of elliptic curves over finite fields

Let $K$ be a finite field, and $\overline{K}$ its algebraic closure. It is well known that two curves are isomorphic over $\overline{K}$ if and only if they have the same $j$-invariant. If two such ...
2
votes
0answers
66 views

Lattice model for Affine Grassmannians of non type A

There is a Lattice model for affine Grassmannians of type A, due to Lusztig. It describes affine Grassmannians of type A as the moduli space of certain subspaces in an infinite-dimensional ...
0
votes
0answers
69 views

Solving matrix equation (AX)^2+(BY)^2=D [on hold]

Is there any method that can solve the matrix equation in such a form (AX)^2+(BY)^2=D? A and B are matrix, X, Y and D are column vectors. (Solve for X and Y) I originally have two equations such as ...
2
votes
0answers
59 views

Computing Euler Charactistics of Line bundles on Hilbert Schemes of points on Surfaces

Let $S^{[2]}$ be the Hilbert scheme of two points on a smooth projective surface (actually, right now I am particularly interested in del Pezzo surfaces). Let $B$ be the exceptional divisor of the ...
5
votes
0answers
109 views

Hyperbolicity of Deligne-Mumford stacks

Let $X$ be a smooth finite type separated connected Deligne-Mumford stack over $\mathbb C$ (with trivial generic stabilizer if necessary). This question is about "hyperbolicity" and it is motivated ...
24
votes
0answers
445 views

Does every smooth, projective morphism to $\mathbb{C}P^1$ admit a section?

Possibly this has already been asked, but it came up again in this question of Daniel Litt. Does every smooth, projective morphism $f:Y\to \mathbb{C}P^1$ admit a section, i.e., a morphism ...
0
votes
0answers
87 views

Is holomorphic 2-form on Moduli of Higgs bundle in Biswas' paper is non-degenerate

In Biswas' paper, Geometry of moduli of Higgs bundles, he defined a holomorphic 2-form on moduli of stable Higgs bundles, using Kodaira-Spencer map and Petersson-Weil metric. I want to know whether ...
0
votes
1answer
199 views

Is there any algorithm to decide whether a series with integral coefficiens is a algebraic function? [on hold]

Given a series with integral coefficiens as following: $$F(x)=\sum_0^i a_i x^i,\text{where }a_i\in \mathbb{N}\bigcup 0 $$$$\text{and there is a computable function $\psi$ such that } \forall i ...
5
votes
1answer
246 views

Dimension of Hilbert scheme?

I have a subvariety $V \subset X$, and I want to compute the dimension of the connected component of $\textrm{Hilb}(X)$ containing $[V]$. I can give explicit deformations of $V$ showing that the ...
2
votes
2answers
213 views

What is the difference between the moduli space of curves and the moduli space of orbi-curves?

Edit: In my original framing of this question it was not so clear what I was looking for, so this is basically a re-write. I feel that I should already know the answer to this, but it never sits ...
5
votes
1answer
189 views

Meaning of $g_d^r$ in algebraic geometry

As an editor I often encounter the symbol $g_d^r$ as a noun. I tried googling but I only get papers where the symbol is used without a definition. Can someone supply a reference to a definition? ...
4
votes
1answer
108 views

“Inverse problem” for the zeta function [duplicate]

Let $C$ be a smooth, projective, geometrically irreducible curve, of genus $g$, over a finite field $\mathbb{F}_q$. By the Weil conjectures, the zeta function has the shape $$ ...
22
votes
1answer
560 views

Making $\mathbb{Q}$-cohomology integral

Let $X$ be an algebraic variety (say, smooth and projective) over $\mathbb{C}$, and fix $$\alpha\in H^i(X^{\text{an}}, \mathbb{Q})$$ with $i>0$. Does there always exist a variety $Y$ and a ...
1
vote
1answer
157 views

Quotients and radicals

Let $I, J$ be ideals in a commutative ring with identity $R$. Define the quotient ideal $(I : J)$ by $$(I : J)=\{x\in R : xJ\subseteq I\}.$$ Define the radical $r(A)$, of an ideal $A$ of $R$ by ...
2
votes
1answer
122 views

Various definitions of the Bruhat decomposition of the affine Grassmannian

Let $G$ be a connected, simply connected, complex, semi-simple group with affine Grassmannian $\mathcal Gr \cong G(\mathbb C[t,t^{-1}])/G(\mathbb C[t])$. Fix a choice of maximal torus $T \subset G$ ...
-2
votes
0answers
90 views

The field of rational functions on a smooth projective absolutely irreducible curve over a finite field [on hold]

We mean a variety (over "k") of dimension 1 by the curve in the expression "The field of rational functions on a smooth projective absolutely irreducible curve over a finite field k", don't we?
2
votes
1answer
118 views

A question about running MMP with scaling

Let $\pi:X \to U$ be a projective morphism, and $(X, \Delta = A + B)$ be a KLT pair, where $A$ is a general ample divisor and $B$ is effective. Suppose $K_X + \Delta$ is not nef (over $U$) and there ...
3
votes
1answer
122 views

Real points of zero-dimensional real algebraic varieties

There have been a number of discussions of zeros of random polynomials here (the most recent being: Why do roots of polynomials tend to have absolute value close to 1?). Here is a closely related ...
8
votes
0answers
146 views

Mixed Hodge structure on configuration spaces

Let $X$ be a smooth complex projective variety. Let $F(X,n)$ be the configuration space parametrizing $n$ distinct ordered points in $X$. The cohomology groups $H^k(F(X,n),\mathbf Q)$ carry a mixed ...
5
votes
0answers
73 views

Picard scheme of varieties over imperfect fields

Let $k$ be a field and $X$ a proper $k$-scheme. It is a theorem of Murre and Oort that the Picard functor is representable by a $k$-group scheme $\operatorname{Pic}_{X/k}$ which is locally of finite ...
2
votes
0answers
93 views

Invariant Theory over finite adeles

Classical invariant theory, among the other things, classifies polynomial functions over a vector space $V$ endowed with a quadratic form $Q$ which are invariant under the action of $SO(V,Q)$. I am ...
-2
votes
0answers
84 views

toledo's lecture on cartwirght-steger surface [on hold]

I am interested in Toledo's lecture given in IAS workshop. I want to find some related reference about his lecture. While actually i am not able to find much. Is someone also interested in this and ...
6
votes
0answers
132 views

scheme of commuting matrices

Let $k$ be any field. Let $r$ and $n$ be two positive integers. Consider the functor $F$ from the category of $k$-schemes to the category of sets which sends a $k$-scheme $T$ to the set of matrices ...
4
votes
2answers
150 views

Map between stacks and automorphism groups

I know that the Torelli morphism $t_g:\mathcal{M}_g\rightarrow \mathcal{A}_g$ between the stacks of smooth curves of genus $g$ and principally polarized abelian varieties of dimension $g$ is of order ...
2
votes
0answers
69 views

quotient a scheme by a stratified vector bundle

Let $k$ be a field. Let $X$ be a $k$-scheme of finite type, normal and integral. We consider $f,g:R\rightarrow X$ an equivalence relation, surjective and such that it is a stratified vector bundle, ...
7
votes
2answers
277 views

Guises of the Stasheff polytopes, associahedra for the Coxeter $A_n$ root system?

Richard Stanley keeps a famous running compilation of different guises of the celebrated Catalan numbers. The number of vertices of the associahedron is one instantiation among the multitude, and the ...
1
vote
0answers
86 views

Clarifications on twisted forms

Suppose $F = F(\bar{k})$ is a finite algebraic group over a number field $k$. The absolute Galois group $\Gamma_k$ of $k$ acts on $F$ by group automorphisms via a homomorphism $\rho: \Gamma_k \to ...
0
votes
0answers
65 views

About freeness of modules over the coordinate ring of an affine variety [migrated]

Let $X$ be an irreducible affine variety, $A$ be its coordinate ring, $M$ be an $A$-module. Suppose that for any maximal ideal $m$ of $A$, the localization $M_m$ is a free module of rank $n$ (finite ...
0
votes
1answer
201 views

A functorial isomorphism in derived category

This question is a direct continuation of Question 1 in this post: Two basic questions on derived categories Let $f\colon \mathcal{A}\to\mathcal{B}$ be a left exact functor between two abelian ...
-2
votes
0answers
34 views

triangular inequality [closed]

If $|a_n-L|\leq \epsilon$ and $|a_n-L'|\leq \epsilon$, then by the triangular inequality $|L-L'|\leq 2\epsilon$ I know that the triangular inequality says if $|a-b| \leq |a|+|b|$. However, I could ...
3
votes
1answer
155 views

Is $G \rightarrow G/P$ surjective on $K$-points over a local field?

Let $K$ be a local field, $G$ a (connected) reductive $K$-group, and $P \le G$ a parabolic subgroup. Is the map $G(K) \rightarrow (G/P)(K)$ necessarily surjective, and, if so, then why?
1
vote
0answers
196 views

Is the upper half plane an algebraic stack?

Here by algebraic stack I mean an algebraic stack over the etale site $\textbf{Sch}/\mathbb{C}$. So I've read from various nonrigorous sources that the upper half plane $\mathcal{H}$ is a fine moduli ...
-2
votes
0answers
61 views

Stable curves and degenerations of smooth ones [closed]

i'm approaching the study of Deligne-Mumford compactification for the moduli space of smooth curves of genus $g$. I'm trying to understand the geometrial meaning of stable curves: i know they have a ...
0
votes
2answers
154 views

Equidistribution of rational points on an algebraic variety

Suppose that we have a variety $X \subset \mathbb{P}^{n}$ defined over $\mathbb{Q}$. Suppose we have $S$ many rational points on $X$ inside the box defined by $|x_i| \leq B_i$ for $i = 0, \cdots, n$, ...
0
votes
1answer
134 views

Discriminant of a polynomial in two variables

I want to compute the discriminant of the following polynomial $$ F(X,Y)=X^mY^n+\sum_{i=0}^{m-1}\sum_{j=0}^{n-1}c_{ij}X^iY^j. $$ Here the discriminate means the equation $D(c_{i,j})$ in the variables ...
2
votes
0answers
131 views

Tate's conjecture and symmetry of Hodge-Tate weights

I'm reading Bellaiche's notes on the Block-Kato conjecture (Hawaii summer school). Here is the link http://people.brandeis.edu/~jbellaic/BKHawaii5.pdf At page 10 he claims that an indirect ...
4
votes
1answer
89 views

Euler characteristic of open varieties as degree of Chern class of logarithmic differentials

Let $U$ be a smooth variety over a subfield $k$ of $\mathbb{C}$. Let $X$ be a smooth projective variety containing $U$ as the complement of a normal crossings divisor $D$. Denote by $\chi(U)$ the ...
0
votes
0answers
90 views

Can I find a resolution of singularities that is both smooth and projective? [closed]

Let $X$ be a scheme of finite type over a field $k$. Can I find $X'$ that is both smooth and projective along with a birational, surjective, proper morphism $p:X'\longrightarrow X$? I have been ...
3
votes
1answer
70 views

Singularities induced by the toric ambient spaces

Let $\Delta \subset \mathbb{R}^4$ be a (reflexive) polytope and $X$ be the hypersurfacedefined by a generic section of the any-canonical bundle of the toric variety $\mathbb{P}_{\Delta}$. Are there ...
0
votes
0answers
105 views

Composition of multilinear forms agreeing on a subset of points

Let $n$ be a perfect square. Consider multiaffine polynomials $p(x_1,x_2,\dots,x_n),q(x_1,x_2,\dots,x_n),r(x_1,x_2,\dots,x_n),$$\{s_j(x_1,x_2,\dots,x_n)\}_{j=1}^{n}$$\in\mathbb R[x_1,x_2,\dots,x_n]$. ...