All Questions
2,027 questions
16
votes
2
answers
3k
views
Smooth dg algebras (and perfect dg modules and compact dg modules)
Katzarkov-Kontsevich-Pantev define a smooth dg ($\mathbb{C}$-)algebra $A$ to be a dg algebra which is a perfect $A \otimes A^{op}$-module. They say that an $A$-module $M$ is perfect if the functor $...
- 21k
16
votes
1
answer
852
views
Representability of Weil Cohomology Theories in Stable Motivic Homotopy Theory
My understanding is that one purpose of stable motivic homotopy theory is to emulate classical stable homotopy theory. In particular, we would like Weil cohomology theories to be representable by ...
- 161
16
votes
6
answers
3k
views
Can any topological space be the result of a scheme?
Maybe this is trivial but lets give it a try anyways..
Obviously there is a forgetful functor from schemes to topological space.. but is it surjective on objects? i.e. I ask whether any topological ...
- 2,275
16
votes
2
answers
3k
views
If the direct image of f preserves coherent sheaves on noetherian schemes, how to show f is proper?
The other direction is well known.
I think it is true and I was told by several other guys doing algebraic geometry that it is indeed true but they did not know how to prove. I am also wondering ...
- 1,982
16
votes
3
answers
5k
views
Do we have non-abelian sheaf cohomology?
Lets $X$ be a complex manifold (algebraic variety), $N$ an integer, and consider the sheaf $F$ defined by:
$F(U)$ ={ holomorphic maps $f: U\rightarrow GL(N,\mathbb{C})$ } with multiplicative ...
16
votes
4
answers
3k
views
How many minors I need to check to conclude all minors will vanish ?
Given a $m \times n$ matrix $n>m$, I was trying to check if all its $m \times m$ minor vanish.
I remember hearing that one really does not need to check all possible minors in order to conclude ...
- 1,795
16
votes
3
answers
2k
views
Stable homotopy category and the moduli space of formal groups
The usual disclaimer applies: I'm new to all this stuff, so be gentle.
It seems like the spectrum, as defined by Balmer, of the stable homotopy category of finite complexes is something like $M_{FG}$,...
- 13.5k
16
votes
3
answers
4k
views
Contracting divisors to a point
This is quite possibly a stupid question, but it is pretty far from what I normally do, so I wouldn't even know where to look it up.
If $X$ is a projective variety over an algebraically closed field ...
- 4,450
15
votes
2
answers
3k
views
Why is a general curve automorphism-free?
Fix an algebraically closed field $k$. Why is the general curve over $k$ of genus $g \ge 3$ automorphism-free?
I am particularly interested in seeing an argument that does not go by induction and ...
- 3,284
15
votes
4
answers
2k
views
What is the relation between the Lie bracket on $TX$ as commutator and that coming from the Atiyah class?
Let X be a complex manifold and $TX$ its tangent bundle. The Atiyah class $\alpha(E)\in \text{Ext}^1(E\otimes TX, E)$ for a vector bundle $E$ is defined to be the obstruction to the global existence ...
- 9,019
15
votes
2
answers
2k
views
What is an example of a smooth variety over a finite field F_p which does not embed into a smooth scheme over Z_p?
Such an example of course could not be projective and would not itself lift to Z_p. The context is that one can compute p-adic cohomology of a variety X over a finite field F_p via the cohomology of ...
- 10.5k
15
votes
3
answers
5k
views
Zariski open sets are dense in analytic topology
How does one show that if $U \subseteq \mathbb{C}^n$ is nonempty and Zariski open then $U$ is also dense in the analytic topology on $\mathbb{C}^n$?
- 685
15
votes
1
answer
1k
views
Can the SL_2 character variety of a three-manifold be nonreduced?
Let $M^3$ be a three-manifold and consider the representation variety and the character variety of $M$:
$$Y=\operatorname{Hom}(\pi_1(M^3),\operatorname{SL}(2,\mathbb C))$$
$$X=\operatorname{Hom}(\pi_1(...
- 18.7k
15
votes
3
answers
2k
views
Can a curve intersect a given curve only at given points?
Clearly the question in the title has a positive answer for analytic (or smooth, or continuous ...) curves, but what about the algebraic category? More specifically, given an irreducible polynomial ...
- 5,359
14
votes
1
answer
1k
views
Uniform proof of dimension formula for minimal special nilpotent orbit?
Given a simple Lie algebra over an algebraically closed field of good characteristic such
as $\mathbb{C}$, its subvariety $\mathcal{N}$ of nilpotent elements has dimension $2N$ (where $N$ is the ...
- 52.9k
14
votes
1
answer
2k
views
What are p-adic period rings?
I'm reading Illusie's survey on Crystalline cohomology, and I found him talking about those $p$-adic period rings like $B_{\text{dR}}, B_{\text{cris}}$. Can anybody explain what they are and give some ...
- 5,052
14
votes
1
answer
2k
views
Some questions about the ring Z((x))
$\newcommand{\ZZ}{\mathbb{Z}}$
$\newcommand{\dim}{\text{dim }}$
Let me begin by apologizing for the length of this question, but I thought this might be interesting to some of you. This ring isn't ...
- 10.7k
14
votes
1
answer
3k
views
Is the cotangent bundle to a Kahler manifold hyperkahler?
Let me be more specific. Let $M$ be a Kahler manifold with Riemannian metric $g$ and complex structure $I$. Then $T^\ast M$ will also be Kahler with metric and complex structure induced from $M$ (I ...
- 6,829
13
votes
3
answers
2k
views
Estimates for Bezout coefficients
The answer to my question is probably well-known, but I was unable to find a reference.
The Bezout's identity states that for any positive non-zero integers $a_1, \ldots , a_n$ there exist integers $...
- 2,648
13
votes
1
answer
1k
views
How is a Stack the generalisation of a sheaf from a 2-category point of view?
A stack is usually given in terms of:
-A category $F$ fibered over another $C$ such that the functor $Hom(x,y), x,y \in F(\alpha), \alpha \in C$ is a sheaf
-The descent data are effective.
There ...
- 433
13
votes
1
answer
2k
views
Realizing algebraic curves as complete intersections
I have two related questions about smooth complete algebraic curves (over $\mathbb{C}$).
Does there exist a smooth complete algebraic curve $X$ that cannot be embedded as a complete intersection in $\...
- 141
13
votes
1
answer
1k
views
Explicit Bijection between Central Simple Algebras and twists of $\mathbb P^n$
The automorphism group of the algebra of $n$-dimensional matrices over a field $K$ is $PGL_n(K)$. The automorphism group of $n-1$-dimensional projective space over $K$ is also $PGL_n(K)$. Therefore, ...
- 149k
13
votes
2
answers
944
views
Belyi's theorem for function fields
Belyi's theorem states that every smooth projective algebraic curve $C$ defined over $\bar{\mathbb{Q}}$
admits a map $C\to\mathbb{P}^1$ ramified only over $0,1,\infty$.
Is there an analogue of this ...
- 661
13
votes
2
answers
3k
views
Is the fixed locus of a group action always a scheme?
Suppose $G$ is an algebraic group with an action $G\times X\to X$ on a scheme. Does the fixed locus (the set of points x∈X fixed by all of $G$) have a scheme structure? You can obviously define the ...
- 24.1k
13
votes
1
answer
1k
views
Sheaves on Contractible Analytic Spaces
Let $(X,\mathcal{O}_X)$ be a contractible complex analytic space. Suppose that $\mathcal{F}$ is a coherent sheaf of $\mathcal{O}_X$-modules. Can we invoke the fact that $X$ is contractible to conclude,...
- 4,920
13
votes
3
answers
694
views
Ring of invariants of $\operatorname{SL}_6$ acting on $\Lambda^3 \mathbb C^6$
Let $G=\operatorname{SL}_6$ act on $V=\Lambda^3 \mathbb C^6$. I would like to find the ring of invariants $\mathbb C[V]^G$. There is an obvious invariant
$$Sq: V \to \mathbb C, \quad \omega \mapsto \...
- 1,980
13
votes
2
answers
1k
views
When does a quasicoherent sheaf vanish?
Let $F$ be a quasi-coherent sheaf on a scheme $X$. To check that $F$ vanishes it suffices to check that all the stalks of $F$ vanish. I would like to know whether it suffices to check that all the ...
- 4,949
12
votes
0
answers
1k
views
What is $M_g$ over a finite field, really?
Let $M_{g} \to \mathbb{Z}$ be the coarse moduli scheme of non-singular genus g curves over $\mathbb{Z}$. That is, suppose that $M_{g}$ co-represents the functor $M^{\sharp}_{g} : \text{Sch} \to \text{...
- 3,284
12
votes
1
answer
879
views
Pointless groups III
This question is a sequel to Pointless groups, to which @DanielLitt produced an elegant and easy-to-understand counter-example, and Pointless groups II, where @R.vanDobbendeBruyn pointed out that my ...
- 12.9k
12
votes
1
answer
420
views
Is height preserved in a normalization?
Let $R$ be a domain and $\tilde R$ its integral closure in its fraction field: $R\subset \tilde R\subset Frac(R)$.
Is it true that a prime ideal $ \tilde {\mathfrak p} \subset \tilde R$ and its ...
- 47.5k
12
votes
1
answer
1k
views
Relation between motives and geometric Langlands
When working over a number field (or a function field over a finite field), one predicts that the Langlands program is related to the theory of motives over this field. There are several ways I have ...
12
votes
2
answers
2k
views
What is descent data (of higher categories), conceptually?
First consider a scheme $X$ with an open cover $\mathcal{U}=\{U_i\}$. An object with descent data on $\mathcal{U}$ is a collection $(\mathcal{E}_i,\phi_{ij})$ where $\mathcal{E}_i$ is a quasi-...
- 9,019
12
votes
1
answer
3k
views
Which Riemann surfaces arise from the Riemann existence theorem?
The following was already known to Riemann. Suppose that one is given a connected Riemann surface $X$, a finite set $\Delta \subset X$ and a homomorphism $\phi: \pi_1(X \backslash \Delta) \to S_d$ ...
- 8,167
12
votes
2
answers
607
views
The solutions of a system of polynomials
Given positive integers $m_1,...,m_n$, is it possible to solve the following equation system over the field of complex numbers?
$$m_1x_1+\cdots+m_nx_n=0$$
$$m_1x_1^2+\cdots+m_nx_n^2=0$$
$$\cdots$$
$$...
- 671
12
votes
3
answers
4k
views
Books on reductive groups using scheme theory
Prof. Conrad mentioned in a recent answer that most of the (introductory?) books on reductive groups do not make use of scheme theory. Do any books using scheme theory actually exist? Further, are ...
- 19.6k
12
votes
2
answers
1k
views
An integrality question about expressing an integer as a product of numbers below $n$
Let $n\ge 2$ be a natural number. Suppose that $N$ is a natural number, composed only of primes below $n$, and that can be expressed as
$$
N= \prod_{j=1}^{n} j^{x_j}
$$
where $x_1$, $\ldots$, $x_n$...
- 43.7k
12
votes
0
answers
586
views
Global version of Gabber's rigidity theorem
I had a question regarding Gabber's rigidity.
Let $A$ be a ring (let's assume Noetherian) and $I$ be an ideal, since the pair $(\hat{A},I)$ is a henselian pair ($\hat{A}$ is the completion along $I$), ...
- 5,901
12
votes
1
answer
643
views
are the congruence subgroups $\Gamma(n)$ characteristic inside $\mathrm{SL}_2(\mathbb{Z})$?
For which $n$ is the "principal congruence subgroup" $\Gamma(n)\le \mathrm{SL}_2(\mathbb{Z})$, the subgroup consisting of matrices congruent to the identity modulo $n$, characteristic? I.e., for ...
- 7,537
12
votes
1
answer
415
views
Is the image of the map $A \to \bigwedge^k A$ closed over $\mathbb{R}$?
Let $V$ a real vector space of dimension $d$. Let $1<k < d-1$. Consider the map induced by the exterior algebra functor:
$$ \psi:\text{End}(V) \to \text{End}(\bigwedge^kV) \, \, \, \, , \, \, ...
- 6,741
12
votes
1
answer
1k
views
coarse moduli space and $\pi_0$
I've been reading this really nice paper by Alper http://math.columbia.edu/~jarod/good_moduli_spaces.pdf, and there's a question that doesn't seem to be answered (perhaps it's not relevant).
Any ...
- 1,889
11
votes
1
answer
524
views
Elementary proof of a triangular grid lemma
I am looking for an elementary proof of the following lemma, which concerns what Green and Tao call "triangular grids" (see arXiv:1208.4714).
Let $a_1$, $a_2$, $a_3$, $a_4$, $b_1$, $b_2$ be six ...
- 1,174
11
votes
2
answers
780
views
Deformations of a blowup
Let $S$ be a smooth projective surface over $\mathbb{C}$. (I guess this can be more general—higher dimension, other ground fields, non-projective, maybe even singular?—and I'dd like to hear that.) Let ...
- 5,504
11
votes
1
answer
1k
views
Pointless groups
This question now has two sequels, Pointless groups II (to which @R.vanDobbendeBruyn gave a counterexample for an infinite, imperfect field) and Pointless groups III, both using revised wording ...
- 12.9k
11
votes
7
answers
6k
views
Where can you find Grothendieck's "Récoltes et Semailles"?
Where can you find Grothendieck's "Récoltes et Semailles"?
Is it available anywhere?
- 921
11
votes
2
answers
10k
views
Derivative of eigenvectors of a matrix with respect to its components
Suppose that $B$ is a real, positive-definitive symmetric ($3\times3$) matrix (more accurately, $B$ is a tensor) with distinct eigenvalues, and that we can write it as
$$
B= \sum_{i=1}^3 \lambda_{i}(...
- 221
11
votes
2
answers
1k
views
Is there a relation between Gelfand duality and the spectrum of a ring (with its Zariski topology)?
Compare the following two results:
Thm A) Let $A$ be a commutative $C^*$-algebra and let $X$ be its Gelfand spectrum. Gelfand duality says that there's a natural isometric $*$-isomorphism from $A$ to ...
- 771
11
votes
1
answer
1k
views
About the relation between the categories $\text{Sch}$, $\text{LRS}$ and $\text{RS}$
I've asked this question https://math.stackexchange.com/questions/1407451/about-the-relation-between-the-categories-textsch-textlrs-and-text on math.stackexchange , however I don't think I will ...
- 2,227
11
votes
2
answers
2k
views
Moduli of pointed Curves
Every curve of genus $g\leq 2$ has non trivial automorphisms. So the fiber of the forgetful morphism $\pi:\bar M_{g,1}\rightarrow\bar M_{g}$ over $[C]$ is not isomorphic to $C$ but to $C/Aut(C)$ (I am ...
- 8,998
11
votes
2
answers
1k
views
Is every "nice" abelian category with enough projectives an additive presheaf category?
A "nice" category $\mathcal{C}$ should be (for the purposes of this question) locally presentable at a minimum, and maybe a bit more. One might require $\mathcal{C}$ to be (in roughly order of ...
- 64k
11
votes
2
answers
2k
views
Does vanishing of cohomology of locally free sheaves imply affiness of scheme
We have Serre criterion of affiness of a scheme which states that if a quasi compact scheme has higher cohomology vanishing for all the quasi coherent sheaves,then the scheme is affine.
I wonder ...
- 1,982