All Questions
22,548 questions
8
votes
1
answer
525
views
How to go about finding polynomial from specified monodromy?
I want to find the polynomial $p(x,y)=0$ that corresponds to a four-sheeted Riemann surface with monodromy $(123),(132),(124),(142)$ at four branch points. Such a surface is genus 1, but I'm ...
- 81
3
votes
1
answer
180
views
How to find equations of $\mathbb{C}^*$-curves
Fix positive integers $t_1,t_2,t_3$.
Suppose we have a $\mathbb{C}^*$ action on $\mathbb{C}^3\setminus\{0\}$ defined by
$$\mathbb{C}^* \times \mathbb{C}^3 \setminus \{0\} \to \mathbb{C}^3 \setminus \{...
- 1,981
5
votes
1
answer
151
views
Dimension from Hilbert series with variable-weighted grading?
Suppose $R = F[x_1,...,x_n]/I$ is a finitely generated ring over the field $F$, and suppose there is a function $d:[n] \to \mathbb{Z}$ such that defining the degree of a monomial $x_1^{e_1} ... x_n^{...
- 3,230
4
votes
0
answers
150
views
Kodaira vanishing + simple connectedness implies Fano
To avoid monkey business, let $X$ be a smooth complex projective variety of dimension $m$. As usual, $K_X$ is its canonical line bundle. Let us further assume that $X$ is simply-connected and the ...
- 12.4k
4
votes
1
answer
470
views
To what extent do value sets determine polynomials mod p?
Let $f$ denote a polynomial mod $p$ and associate to it its value set $S_{f} := \{f(x):x \in F_p\}$.
If $|S_{f}|=p$ then $f$ is called a permutation polynomial (because it permutes the elements of $...
- 13k
2
votes
0
answers
245
views
Does automorphism of classifying stack come from automorphism of group?
Let $k$ be a field and $G$ be a group. For simplicity, let us assume $\operatorname{char}k=0$ and $G$ is a finite abelian group. We do not assume $k$ is algebraically closed. If there is an ...
- 253
4
votes
0
answers
227
views
Smoothness of complex analytic subspaces
Say I have a complex analytic subspace $X$ of a complex manifold. Additionally:
$X$ is a topological manifold, and
For each $x \in X$, the set of derivatives at $x$ of smooth paths holomorphic discs ...
- 121
2
votes
1
answer
193
views
Global sections of tangent sheaf of singular varieties
Let $X\subset \mathbf{P}^{n+1}$ be a $n$-dimensional normal hypersurface of degree $3$, and we denote its tangent sheaf by $T_X$. We further assume that $n\geq 4$.
When $X$ is smooth, it is known that ...
- 389
4
votes
1
answer
291
views
Counter example to every closed subscheme $\operatorname{Proj} A$ is of the form $\operatorname{Proj}A/I$
I was under the impression that for a positively graded ring $A$ (not necessarily generated in degree $1$) that every closed subscheme of $\operatorname{Proj}A$ was of the $\operatorname{Proj}A/I$. ...
- 391
3
votes
1
answer
272
views
degeneration of a Veronese surface
Let $V$ be the Veronese surface, obtained as the image of $\mathbb{P}^2$ in $\mathbb{P}^5$ by the complete linear system of conics. I understand that $V$ can degenerate to the union of a cubic scroll $...
- 3,779
6
votes
0
answers
338
views
Deeper meaning behind the occurrence of the factor $\frac{\log q}{i}$ in Deninger's results
In two papers Deninger proved the following:
If $q=p^{n}$ and $p$ is a finite prime of $\mathbb{Z}$, $B=\mathbb{C}[\mathbb{C}]$ is generated by symbols of the form $e^{\alpha}$, $\alpha\in\mathbb{C}$,...
- 1,805
5
votes
1
answer
327
views
Comparison between pushforward-pullback and quasi-coherent pushforward-pullback
In the following, an algebraic stack means a stack over the big fppf site of a scheme, admitting a smooth, representable, surjective morphism from a scheme (no separation hypotheses), and let $\mathsf{...
- 1,349
0
votes
1
answer
114
views
$\mathbb P^1$-bundle on a partial flag variety
Let $X$ be the partial flag variety of flags $0 \subset V_k \subset V_{k+2} \subset V$ where $V$ is a fixed vector space of dimension $n$ and ${\rm dim} V_k = k$ and ${\rm dim} V_{k+2} = k+2$. Is it ...
- 2,974
2
votes
0
answers
168
views
When do we have $\bigoplus_{i + j = n} R^i f_* \mathbb{Q}_\ell \otimes_{\mathbb{Q}_\ell} R^j g_* \mathbb{Q}_\ell \cong R^{i + j} h_* \mathbb{Q}_\ell$?
Milne, Étale Cohomology, theorem 8.5 states the following version of the Künneth formula (in slightly greater generality). Let $\Lambda$ be a finite commutative ring. Let $X, Y, S$ be schemes with $S$ ...
- 531
5
votes
1
answer
214
views
Examples of flat projective morphisms with non-divisorial branch locus
What are some interesting examples of flat projective maps $f : X \to Y$ between smooth varieties such that the discriminant locus $$ \Delta = \{ y \in Y \mid X_y \text{ is singular} \} \subset Y $$
...
- 3,730
3
votes
0
answers
179
views
Étale morphisms of derived schemes and stacks
Conventions: In the below,
unless otherwise stated, terms regarding derived algebraic geometry will follow the conventions of Yaylali.
an algebraic stack will be a stack $\mathscr{S}$ over a base ...
- 1,349
1
vote
1
answer
127
views
Vanishing of higher morphisms for pair moduli
Consider a moduli scheme $P$ of sheaves $F$ on a Calabi-Yau n-fold $X$ with a section $s\in H^0(F)$. Alternatively, such objects can be described as maps $\mathcal{O}_X \xrightarrow{s} F$ called pairs....
- 988
11
votes
1
answer
463
views
Do finite field point counts remember the singularities of an algebraic variety?
Sorry if this question is terribly naive!
The Weil conjectures famously tell us that if we have a smooth projective variety $X$ defined over the integers with good reduction modulo $p,$ then the Betti ...
- 813
2
votes
0
answers
154
views
A schematic representability of an algebraic space with group action
In the book "Néron Models" (BLR), there is a statement as follows (on page 164):
Let $S$ be a locally noetherian scheme and let $G$ be a smooth algebraic group space over $S$ with connected ...
- 291
8
votes
0
answers
287
views
What is the current research situation of the Cheeger–Goresky–MacPherson conjecture?
In [CGM-1983], J. Cheeger, M. Goresky and R. MacPherson conjectured that the intersection cohomology of a singular complex projective algebraic variety $X$ is naturally isomorphic to its $L^2$-
...
1
vote
1
answer
141
views
Why is $2A_0(X)=0$ for a cubic threefold $X$ containing a line, over an arbitrary field $k$
I can't quite follow Proposition $2.1$ of "UNIVERSAL UNRAMIFIED COHOMOLOGY OF CUBIC FOURFOLDS CONTAINING A PLANE". I posted this on Math stackexchange but got no answer.
Let $X$ be a smooth ...
- 679
87
votes
12
answers
12k
views
Why do we make such big deal about the 'unsolvability' of the quintic?
The unsolvability of a general quintic equation in terms of the basic arithmetic operations and $n$th roots (i.e. the Abel–Ruffini theorem) is considered a major result in the mathematical canon. I ...
- 1,389
5
votes
0
answers
175
views
Is $\overline{\mathcal{M}}_{g,n}$ a Koszul space?
In https://arxiv.org/abs/1902.06318 Dotsenko proved that $\overline{\mathcal{M}}_{0,n+1}$ is a Koszul space, i.e. it is both formal and coformal. Equivalently, a space is Koszul if it is formal and ...
- 641
6
votes
1
answer
487
views
Variety without a compactification whose complement is smooth
Let $X$ be a smooth, separated complex algebraic variety. By Hironaka, there exists a compactification $j : X \to \bar{X}$ of $X$ so that $\bar{X} \setminus X$ is a simple normal crossings divisor.
Is ...
- 813
62
votes
9
answers
9k
views
There is a nice theory of quadratic forms. How about cubic forms, quartic forms, quintic forms, ...?
Quadratic forms play a huge role in math. This leads one to wonder: Is there a theory of cubic forms, quartic forms, quintic forms and so on? I have failed to discover any. Is there any such theory? ...
- 705
1
vote
1
answer
210
views
The Étale Cohomology from the Variety to its Generic Point
Let $n\in \mathbb{Z}_{>0}$ and $X$ be a smooth projective variety over $k$, where $k$ contains all $n$-th roots of unity and $\operatorname{char}(k)=p$. Here $p$ and $n$ are coprime. I wonder ...
- 13
2
votes
0
answers
103
views
Representability of stack of finite maps between curves
I am interested in the following moduli problem: The moduli functor $\mathcal{F}$ has $T$-points:
a nodal $n$-pointed curve $C/T$ of genus $g$.
a nodal $b$-pointed curve $D/T$ of genus $h$.
a finite ...
- 223
1
vote
0
answers
104
views
Reference about the semiabelian variety associated to a stable curve
If a stable curve $C$ of genus $g$ is such that its dual graph has Betti number $1$, then the Jacobian of $C$ is a semiabelian variety of torus rank $1$. It is described by Mumford that the data of a ...
4
votes
0
answers
149
views
'Naive cotangent complex' as 1-truncation of cotangent complex
In the stacks project, there is a 'naive version' of cotangent complex $NL_{S/R}$ for a ring morphism $R\rightarrow S$, given by the chan complex $(I/I^{2}\rightarrow \Omega_{R[S]/R}\otimes_{R[S]}S)$ ...
- 618
2
votes
1
answer
154
views
Extending line bundle to regular model
Let $S$ be the spectrum of an excellent discrete valuation ring with field of fractions $K$ and $C$ be a proper integral regular curve over $K$. Assume, $C$ admits a proper regular flat model $\...
- 5,966
2
votes
1
answer
262
views
Randomly fixing elements and transcendence degree
Given $f_1,\ldots,f_n \in \mathbb{F}_q[x_1,\ldots,x_m]$ such that $\deg(f_i) \leq d < q$. Suppose we have for some $1 \leq j \leq m$
$$ \operatorname{trdeg}_{\mathbb{F}(x_1,\ldots,x_j)}\{f_1,\ldots,...
- 343
2
votes
1
answer
265
views
On intersection theory on toric varieties
Let $\Delta$ be a polytope and consider the projective toric variety $P_{\Delta}.$
Given a curve $C \subset \mathbb{P}_{\Delta},$ which is not toric, is it true that in the Chow group we have
$$ C = \...
- 55
7
votes
0
answers
124
views
Projections of closed geodesics under the modular function
In the answers to this question it was shown that for closed geodesics on $\mathbb{H}^2/\Gamma(2)$, the projection under the modular function $\lambda$ is an immersed topological component of a real ...
- 68.9k
5
votes
0
answers
145
views
Symmetric groups acting on rational surfaces
Let $X$ be a complex projective rational surface. Is there an upper bound on $n\in\mathbb{N}$ such that $S_n\subset \text{Aut}(X)$? Here $S_n$ is the symmetric group on $n$ elements.
- 193
9
votes
1
answer
330
views
Nonzero module with vanishing derived fibers
What's an example of a nonzero $R$-module with vanishing derived fibers at all points of $\mathrm{Spec}(R)$?
This was asked in When does a quasicoherent sheaf vanish?
but the answer there only says ...
- 2,356
2
votes
1
answer
211
views
Splitting of composition of trace and counit in derived setting
Let $X,Y$ be varieties (separated of finite type schemes) over base field $k$, $\mathcal{F}$ be constructible sheaf on $Y_{\mathrm{et}}$ and assume that we have a finite morphism $f: X \to Y$, which ...
- 5,966
0
votes
0
answers
95
views
Conditions for regularity in a covering
Let $V$ be a DVR of mixed characteristic, whose residue field is a finite field of characteristic $2$. Let $R$ be a flat, finitely generated algebra over $V$, which is regular. Let $a\in R^*$ be an ...
- 1
44
votes
2
answers
6k
views
Clausen's modified Hodge Conjecture
In a recent talk at the University of Geneve, Dustin Clausen presented a "modified Hodge Conjecture". I found the abstract intriguing but couldn't find videos or notes available online.
If I'...
user497064
2
votes
1
answer
150
views
Flexes and projective equivalence of smooth cubics
I am trying to study Kock and Vainsencher's book "An invitation to Quantum Cohomology", working my way through the exercises. One of them ($0$th chapter) asks two prove that two elliptic ...
1
vote
0
answers
87
views
Birational geometry of special divisor varieties and double covers of curves [closed]
Let $\pi: \tilde{C} \to C$ be an étale double cover of a smooth non-hyperelliptic curve $C$. Associated to this cover is a principally polarized abelian variety $(P, \Xi)$, called the Prym variety, ...
user538396
1
vote
0
answers
116
views
When is a fiberwise-very-ample line bundle on a fibered surface also $k$-very ample?
Let $g : Y\rightarrow\text{Spec }k$ be a smooth proper curve, and let $f : X\rightarrow Y$ be a family of stable curves. Consider the line bundle $\mathcal{L} := \omega^{\otimes 3}_{X/Y}$. It's known ...
- 7,537
4
votes
1
answer
230
views
Criterion for a rational variety being the projective space
Let $M$ be a smooth projective complex variety. Assume there is an open subscheme $U\subset M$ and an open immersion $U\hookrightarrow \mathbf{P}^n$ such that the codimension of the complements of $U$ ...
- 565
2
votes
3
answers
1k
views
Concrete works by Alexandre Grothendieck, other than Dessin d'Enfants?
For me "Dessin d'Enfants" by Alexandre Grothendieck is the more concrete research work he has done. I would like to know if there are others.
When he was teaching at Montpellier University (...
- 85
2
votes
2
answers
87
views
Computation of ideal of functions, given by explicit quadratic equations, vanishing on $G/P$ for the exceptional Lie group $G_2.$
In Section 10.6.6 of Procesi's "Lie Groups" he writes that a theorem due to Kostant tells us that for an algebraic group $G$ and a parabolic subgroup group $P,$ the ideal of functions ...
- 201
3
votes
0
answers
122
views
A Zariski's Main Theorem for affine morphisms
Let $f: X\to Y$ be a birational affine surjective morphism with geometrically connected fibers between smooth $\mathbf{C}$-varieties.
Question: Is $f$ an isomorphism?
If $f$ is proper, then $f$ is ...
- 389
3
votes
1
answer
187
views
Reference Request: Preservation of étale maps under rigid analytic GAGA
Let $K$ be a finite extension of $\mathbb{Q}_p$. As the title says, I am looking for a reference in which it is shown that given an étale map $f:X\rightarrow Y$ between smooth algebraic $K$-varieties, ...
- 541
1
vote
1
answer
160
views
Is every log resolution a sequence of blowups?
Suppose we have a variety $X$ over a field of characteristic zero. Choose any ideal sheaf $\mathcal{I}$ on $X$. Is every log resolution of the pair $(X,\mathcal{I})$ a sequence of blow ups? I cannot ...
- 11
8
votes
0
answers
827
views
Can you glue the Betti $X_\text B$ and de Rham stacks $X_\text{dR}$ together?
Let $X$ be a complex algebraic variety. Is there a (derived prestack) over a base
$$\pi\ :\ X_\text{dR,B}\ \to\ S$$
where $S=\mathbf{R},\mathbf{R}/\mathbf{R}^\times,\mathbf{A}^1_\mathbf{C}/\mathbf{G}...
- 5,711
1
vote
0
answers
92
views
Counting conjugacy classes of completely reducible subgroups in general linear groups [closed]
Let $G = GL(n, q)$ be the general linear group over the finite field $\mathbb{F}_q$ with $q$ elements, where $q$ is a power of a prime $p$. Let $m$ be a positive integer dividing $q-1$. Suppose $\...
3
votes
1
answer
366
views
Descent for étale covers of proper regular models of elliptic curves
Let $K$ be a complete (but think Henselian suffice for purposes of this question) local field of characteristic $0$ with residue field $k$ of characteristic $p>0$ and ring of integers $R=\mathcal{O}...
- 5,966