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 2481

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

3 votes
Accepted

Centralizer of Shimura datum defining a Shimura curve in $A_2$

There is a piece of data missing from the question. As explained in this question, in order to get the embedding of Shimura data, you have to choose an element $\gamma \in B^\times$ such that $\gamma^ …
David Loeffler's user avatar
7 votes
Accepted

Unramified Galois representations not from smooth and proper stacks

Here's a class of examples which isn't in your list as far as I know. Take an even unimodular lattice, e.g. the $E_8$ lattice. The corresponding orthogonal group is a reductive group over $\mathbf{Q}$ …
David Loeffler's user avatar
14 votes
Accepted

Integral points on varieties

Your belief is correct. A $\mathbb{Z}$-point has to reduce to an $\mathbb{F}_p$-point for all $p$, which kills examples with gcd > 1. If you want to make this precise, try writing down an explicit d …
David Loeffler's user avatar
5 votes
Accepted

Selmer $p$-Groups

You seem to be asking what the reason is for many papers on $p$-adic Selmer groups to assume throughout that $p > 2$: is because the case $p = 2$ is less interesting, or because it is more difficult? …
David Loeffler's user avatar
5 votes

Automorphy of mixed Tate motives over $\mathbb{Z}$

You seem to be starting with the answer and trying to deduce the question. By Langlands philosophy every motive should correspond to an automorphic form. [...] What makes $M^1_n$ automorphic? I thin …
David Loeffler's user avatar
3 votes

Minuscule cocharacter for reductive groups

This has nothing to do with Witt vectors, smoothness over $\mathbf{Z}_p$ etc: formation of the $\mathfrak{g}_n$ commutes with base-extension to $\mathbf{Q}_p$ or even $\overline{\mathbf{Q}}_p$, so we …
David Loeffler's user avatar
5 votes
2 answers
860 views

Kernels of homomorphisms of group schemes

Let $S$ be some base scheme, $H$ a finite flat group scheme over $S$, and $\alpha: \mu_p \to H$ a homomorphism of group schemes ($p$ a prime). Is the kernel of $\alpha$ necessarily flat over $S$? (I …
David Loeffler's user avatar
3 votes

Does $L$-functions of elliptic curves over $\mathbb{Q}$ being meromorphic obviously imply mo...

No, this does not work; we need analytic, not just meromorphic, continuation. If meromorphic continuation were enough, then we would know modularity of elliptic curves in a great deal more generality …
David Loeffler's user avatar
17 votes

Applications of integral p-adic Hodge theory

One major application of research in integral $p$-adic Hodge theory is in proving modularity results, e.g. for elliptic curves. Here one wants to understand liftings of global mod p Galois representat …
David Loeffler's user avatar
10 votes
0 answers
283 views

Injectivity of regulator maps

Let $X$ be a scheme which is smooth and quasi-projective over $\operatorname{Spec} \mathbf{Z}[1/N]$, and let $\ell$ be a prime dividing $N$ (hence invertible on $X$). Then then there is a regulator ma …
David Loeffler's user avatar
5 votes
1 answer
1k views

Pushforward maps for cohomology of coherent sheaves

Let $X$ be a smooth projective algebraic variety over a field $k$, of dimension $n$, and let $Z$ be a smooth closed subvariety of dimension $m$, with $i: Z \hookrightarrow X$ the inclusion map. For a …
David Loeffler's user avatar
3 votes
0 answers
208 views

Computing pushforwards and pullbacks of D-modules

Let $X$ be a smooth algebraic variety (over some field of char 0), $Z$ a smooth closed subvariety of codimension 1, $i : Z \hookrightarrow X$ the inclusion, and $j : U \hookrightarrow X$ the complemen …
David Loeffler's user avatar
13 votes
Accepted

Definition of algebraic de Rham cohomology of non-smooth affine variety

(Synthesis of answers from comments, posted as community-wiki answer for convenience.) If $k = \mathbb{C}$ then algebraic de Rham cohomology, defined a la Hartshorne using the completion of $X$ alon …
12 votes

Describing the crystalline extension of $\mathbb{Q}_p$ by $\mathbb{Q}_p$

For simplicity, let's take $K = \mathbf{Q}_p$. One of the few things about $\mathbf{B}_{\mathrm{cris}}$ that one can straightforwardly prove directly from its definition is that it contains $\widehat …
David Loeffler's user avatar
15 votes
Accepted

Can a index 2 subgroup of $\pm\Gamma(n)\le \text{SL}_2(\mathbb{Z})$ be noncongruence?

For the first question: it can happen that $\pm \Gamma$ is congruence but $\Gamma$ is not; there is a beautiful paper on this phenomenon, with lots of examples, by Kiming, Schütt and Verril here. Fo …
David Loeffler's user avatar

1
2 3 4 5
15 30 50 per page