Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 318

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

5 votes
1 answer
313 views

What would one call this generalisation of the moduli space of theta-characteristics

A theta-characteristic on a Riemann surface $\Sigma$ is a holomorphic line bundle $L$ such that $L \otimes L \cong \omega$, i.e. a square root of the cotangent bundle. There is a moduli space (stack) …
Oscar Randal-Williams's user avatar
5 votes
Accepted

A very basic question about Abel-Jacobi map

Let me write $x_i$ and $y_i$ for a symplectic basis of cohomology of $C$, and $a_i$, $b_i$ for the linear dual basis of the first homology of $C$. It is enough to find $\delta^*(dx_i)$ and $\delta^*(d …
Oscar Randal-Williams's user avatar
2 votes
0 answers
376 views

Quasi-projective orbifolds and algebraic line bundles

The notion of quasi-projective orbifold is generally accepted to contain at least the following: let $X$ be a (simply-connected) complex manifold, $G$ a group acting on $X$ by biholomorphisms, and con …
Oscar Randal-Williams's user avatar
5 votes

Hodge numbers of diffeomorphic complete intersections

In Libgober, Anatoly S., Wood, John W. ``Differentiable structures on complete intersections. II." Singularities, Part 2 (Arcata, Calif., 1981), 123–133. the authors claim that a computer search, ba …
Oscar Randal-Williams's user avatar
6 votes

Is there Harer stability for moduli of curves with level structure?

This is not an answer to your question, but is directly related to your remark so I thought I should mention it. I have recently proved, though I am afraid that it has not appeared yet, that moduli s …
Oscar Randal-Williams's user avatar
5 votes
Accepted

Twisted cohomology of the mapping class group

This can be calculated from 1) the extension $\mathbb{Z} \to M_{1,1} \to SL_2(\mathbb{Z})$ and 2) the decomposition $SL_2(\mathbb{Z}) \cong \mathbb{Z}/4 *_{\mathbb{Z}/2} \mathbb{Z}/6$. The extensi …
Oscar Randal-Williams's user avatar
9 votes
1 answer
1k views

Picard group of $\mathfrak{M}_g$

Let $\mathfrak{M}_g$ denote the moduli stack of Riemann surfaces of genus $g$, it is a smooth complex analytic stack, and is the analytic stack underlying $\mathsf{M}_g$, the moduli stack of complex a …
Oscar Randal-Williams's user avatar
15 votes
Accepted

Why is the first chern class of a line bundle $c_1(L) = 1-L$ in complex K-theory?

This comes from the choice of the $K$-theory Thom class for complex vector bundles. Firstly, recall that $K$-theory $K^0(X)$ can be described as the group of bounded chain complexes of vector bundles …
Oscar Randal-Williams's user avatar
18 votes

Betti numbers of moduli spaces of smooth Riemann surfaces

Calculations of integral homology of $\mathcal{M}_{g, n}$ occur in Abhau, Bodigheimer, Ehrenfried (p. 3) or Godin (p. 4). Of course, in the stable range (degrees $3* \leq 2g$) the rational cohomology …
Oscar Randal-Williams's user avatar
2 votes
Accepted

An integrality theorem for immersions of complex projective spaces in the euclidean space

I may have miscalculated, but writing $e(\nu)$ for the Euler class of the normal bundle to such an immersion I find that $$\int_{\mathbb{CP}^3} e(\nu) c^2 = 2,$$ which appears to contradict 1). To se …
Oscar Randal-Williams's user avatar
7 votes
Accepted

Mixed Hodge structure on configuration spaces

In fact the conclusion in Gorinov's paper seems to be false, see E. Looijenga, "Torelli group action on the configuration space of a surface", arXiv:2008.10556
Oscar Randal-Williams's user avatar
26 votes
Accepted

Mumford conjecture: Heuristic reasons? Generalizations? ... Algebraic geometry approaches?

All current proofs of Mumford's conjecture in fact prove a far stronger result, the "Strong Mumford conjecture", first formulated by Ib Madsen. This says the following (where by "moduli space" in the …
Oscar Randal-Williams's user avatar
58 votes

Examples where it's useful to know that a mathematical object belongs to some family of objects

This is similar to Dan Petersen's answer, but more elementary. A fact I always mention when talking to students about matrix groups is that the diagonalisable matrices (over $\mathbb{C}$) are dense in …