Tagged Questions

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

learn more… | top users | synonyms (1)

7
votes
0answers
172 views

Chiral categories versus braided monoidal categories

Let $X$ be a curve over $\mathbf{C}$. As I understand from the 2008 Talbot notes, a chiral category on $X$ consists of a crystal of categories on the Ran space $\mathrm{Ran}(X)$ (see these notes of ...
4
votes
1answer
102 views

Counting Boolean Normal Matrices of size $2n \times 2n$

Fix $n$ a natural number. Consider the set of all $2n \times 2n$ matrices with entries from {0,1}. This is clearly a finite set. I would like to count the number of such normal matrices for fixed ...
6
votes
0answers
72 views

Reconciling the affine grassmannian and the based loop group

I'm trying to reconcile the differences between the (algebraic) based loop group and the affine grassmannian. I once believed that I understood the relationship, but I just read a paper which has ...
2
votes
0answers
149 views

Why care about Fourier-Mukai partners?

Two (smooth, projective, complex?) varieties are called Fourier-Mukai partners if they have equivalent derived categories of coherent sheaves. On the other hand, my general impression is that cool ...
2
votes
2answers
211 views

How can one determine if a singularity is simple?

Let $f(z_1,z_2,\dots ,z_n)$ be an analytic function in $\mathbb{C}[[z_1,z_2,\dots ,z_n]]$ whose leading term defines an isolated singularity at the origin. If we have the following types of ...
1
vote
0answers
86 views

Marten's proof of torelli theorem

I am trying to read the proof of torelli theorem by Henrik H.Martens "A new proof of torelli's theorem" Annals of mathematics vol78 no. 1 .The proof seems to me like using mysterious combination of 3 ...
1
vote
1answer
205 views

Kodaira dimension of co-adjoint orbit

Let $G$ be a compact Lie group and $a\in\mathfrak{g}^*$ (dual of Lie algebra of Lie group $G$). Then let $\mathcal O_a$ be a coadjoint orbit. Then every co-adjoint orbit is Kähler manifold and also ...
0
votes
0answers
29 views

Real centrally-symmetric plane algebraic curves

I am looking for a reference regarding the topology of real centrally-symmetric plane algebraic curves. By this I mean the curves defined by $$ P(x,y)=0, $$ where $P$ is a degree $m$ polynomial, ...
2
votes
0answers
59 views

Is a parametric subvariety singular?

Suppose I have a parametric subvariety $V^k$ of $A^{2n}$ (so, given by $2n$ polynomials in in $k$ variables). The question is: how does one tell whether $V^n$ intersects itself? In the $k=1$ case, ...
0
votes
1answer
135 views

Coherent sheaves on Proj

Roughly speaking , the question is : when a f.g. graded module induces a trivial coherent sheave on Proj ? More precisely, let S be a (complex) graded polynomial algebra, where the variables have ...
25
votes
1answer
683 views

Why is there no Brauer scheme?

Let $X$ be a proper scheme over a base field $k$ (one could consider more general settings, but I am primarly interested in a "geometric" situation with $k$ being algebraically closed). Then the ...
6
votes
2answers
266 views

Isotrivial fibrations over $\mathbb P^1$

First of all I want to say that algebraic geometry is not "my field of research" so I apologize if the notation is not standard. $S$ is a smooth complex projective surface with a fibration $f$ over ...
2
votes
0answers
89 views

Hodge numbers of l-adic sheaves?

Assume first that $C$ is a curve, say over $\mathbb{Q}$ and $(E, \nabla)$ is a vector bundle with a flat connection. Assume further that $(E, \nabla)$ has regular singularities at $S=\overline{C}-C$. ...
1
vote
0answers
130 views

Dropping the closed requirement from the symplectic manifold definition?

A symplectic manifold is a pair $(M,\omega)$, where $\omega$ is a non-degenerate closed two-form. When $M$ is compact, Hodge decomposition implies that such manifolds have non-zero second ...
6
votes
0answers
192 views

Global sections for a locally free sheaf over curves

Let $B$ be a complete algbraic curve of genus $g$, and $\mathcal{E}$ be a semi-stable locally free sheaf of rank $r$ over $B$. Assume that the slope of $\mathcal{E}$ is $\mu(\mathcal E):=\frac{\deg ...
9
votes
3answers
227 views

Locus of complete curves on $\mathcal M_g$

Is the union of the complete curves on $\mathcal M_g$ Zariski dense? ($g \gg 0$) I know it is hard to find higher-dimensional complete subvarieties of $\mathcal M_g$, but a quasiprojective variety ...
1
vote
1answer
115 views

Divisibility of divisors in some tori and lattices

Let $E$ and $E'$ be two general elliptic curves. We consider the $2$-dimensional torus $A:=\frac{E\times E'}{(u\times u')\left((\mathbb{Z}/2\mathbb{Z})^2\right)}$, where ...
-5
votes
0answers
131 views

Zariski Problem [on hold]

In char p>3 find a Zariski Surface with geometric genus zero and not rational another question:create a mathematical theory of Thom catastrophy prediction in particular earthquake prediction
0
votes
0answers
44 views

Is any integral log structure be a colimit of a direct system of fine log structures?

Consider log structure on a (Noetherian) scheme with \'etale topology in the sense of Fontaine-Illusie. I.e. a log structure on a scheme $X$ is an etale sheaf $M$ with a morphism of monoid ...
1
vote
0answers
170 views

Kummer Coverings

Let $L_1$, $\cdots$, $L_k$ be homogenous linear forms in three variables $z_0$, $z_1$, $z_2$ defining $k$ lines in $\mathbb{P}_{2}$. Consider the abelian extension $K ((L_2/L_1)^{1/n}, \cdots, ...
2
votes
0answers
79 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}$ ...
5
votes
1answer
256 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 ...
-2
votes
0answers
203 views

$PGL_{n}(\mathbb{C})$ as a punctured algebraic variety

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
165 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
229 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
88 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
38 views

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

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
130 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
53 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$, ...
5
votes
0answers
183 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 ...
6
votes
2answers
275 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 ...
3
votes
0answers
73 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
76 views

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

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
69 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 ...
7
votes
1answer
248 views

Finite etale atlas for Deligne-Mumford stacks

Let $X$ be a smooth finite type separated connected Deligne-Mumford stack over $\mathbb C$. Does there exist a finite etale morphism $Y\to X$ with $Y$ a scheme? What if $X$ is an algebraic space ...
25
votes
0answers
530 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
97 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
201 views

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

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
248 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
254 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
199 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 $$ ...
23
votes
1answer
604 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
165 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
130 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
1answer
122 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
124 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
151 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
80 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
100 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 ...