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

learn more… | top users | synonyms (1)

0
votes
0answers
24 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$, ...
3
votes
0answers
101 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
3answers
143 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
48 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
62 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
48 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
99 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 ...
18
votes
0answers
296 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
84 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
192 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
242 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
204 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
182 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
543 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
153 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
89 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
117 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
119 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
143 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
72 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
87 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
130 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
273 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
83 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
200 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
195 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
153 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
132 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
68 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
104 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]$. ...
1
vote
1answer
179 views

Is the Cassels-Tate pairing defined for elliptic curves over function fields?

The Cassels-Tate pairing is typically defined for elliptic curves (or abelian varieties) over number fields, but it seems like it should be defined for elliptic curves over function fields as well. ...
13
votes
1answer
280 views

Is the regularity of finitely generated rings decidable?

Q: Is there an algorithm to decide whether a given finitely generated (over $\mathbb{Z}$) commutative ring is regular? I mean by regular that the localization at every prime ideal is a regular local ...
1
vote
2answers
228 views

A question from the proof of affine algebraic group is a linear

In (some version of) the proof of the fact that any affine algebraic group is a linear algebraic group, there is an important step as follows (for example in Borel's book "Linear Algebraic Groups", ...
0
votes
0answers
39 views

Semicubical parabola homeomorphic to C^2 [closed]

a semicubical parabola $L$ in $\mathbb C^2$ is given by $y^2=x^3$. I showed that a bijective function $f\colon\mathbb C \to L$ defined by $t \mapsto (t^2, t^3)$ becomes a homeomorphism regarding the ...
1
vote
0answers
130 views

Towards an enhanced version of homological mirror symmetry for affine varieties

Let $X$ and $X^\vee$ be a mirror pair, homological mirror symmetry relates the symplectic geometry of $X$ to the complex geometry of $X^\vee$ via the equivalence of triangulated categories ...
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 ...