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 5263

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

2 votes
Accepted

Interpolation of scheme-theoretic endomorphisms of closed fibers

Choose a smooth projective $X/R$ of positive dimension, and pick a set-theoretic splitting $\varphi:X(\kappa(s))\to X(R)$ of the reduction map $\pi:X(R)\to X(\kappa(s))$. Take $a=\varphi\circ \pi$, an …
Julian Rosen's user avatar
  • 9,061
8 votes

Weil cohomologies with given field of definition and coefficient field

If $k$ is a number field, each embedding $\sigma:k\hookrightarrow\mathbb{C}$ determines a Weil cohomology theory $H^*_{B,\sigma}$ on smooth projective $k$-varieties given by taking the topological coh …
Julian Rosen's user avatar
  • 9,061
8 votes
Accepted

Lie Algebra of Automorphism Group of $\mathbb{P}_k^1$

Elements of $\operatorname{Lie}(\operatorname{Aut}(X))$ are not $k$-algebra maps, but rather maps over the ring $k[\epsilon]/(\epsilon^2)$ that reduce to the identity $k$-algebra map under $\epsilon\m …
Julian Rosen's user avatar
  • 9,061
2 votes
0 answers
202 views

Is there literature on a de Rham analogue of the Mumford-Tate group or ell-adic monodromy gr...

Let $X$ be a smooth projective variety over $\mathbb{Q}$. The theory of motives predicts that for each cohomology theory, there should be a distinguished Zariski closed subgroup of $GL(H^k_{\bullet}(X …
Julian Rosen's user avatar
  • 9,061
4 votes

How to cook up an Artin motive from a positive-dimensional variety

Tate twists do indeed shift the Hodge filtration. Since the de Rham realization of the Tate motive $\mathbb{Q}(1)$ is concentrated in the degree $-1$ part of the Hodge filtration, we have $F^n M(m)_{d …
Julian Rosen's user avatar
  • 9,061
2 votes
Accepted

$p$-adic realisation of Kummer motive and Frobenius matrix

The matrix entry $*$ is $\log(u^{1-p})/p$ (where $\log$ is the $p$-adic logarithm). This can be obtained from the description of the inverse of Frobenius given in sections 2.9-2.10 of [1]. You can fin …
Julian Rosen's user avatar
  • 9,061
17 votes

The underlying space of a scheme remembers its affineness?

Here is a counterexample. Fix a field $k$, and let $Y$ be built from two copies of the affine nodal curve $y^2=x^3+x^2$, glued together on the complement of the singular point. In other words $Y$ is a …
Julian Rosen's user avatar
  • 9,061
6 votes
Accepted

Lie algebra preserving ideal of functions

A counterexample is $X=\mathbb{A}^2\backslash\{y=0\}$, $A=\mathbb{C}[x,y,y^{-1}]$, and $\mathfrak{g}$ the span of the derivation $D(x)=1$, $D(y)=y$. Now $\mathfrak{g}$ is $1$-dimensional and $X$ is $2 …
Julian Rosen's user avatar
  • 9,061
1 vote
Accepted

On a special type of subring of $\mathbb C[x_0,...,x_{q-1}]$

Since $K$ is generated by $p$ elements, $\mathbb{C}(x_0,\ldots,x_{q-1})$ cannot be an algebraic extension of $K$ if $q>p$. I claim that $\mathbb{C}(x_0,\ldots,x_{q-1})$ is a finite Galois extension of …
Julian Rosen's user avatar
  • 9,061
10 votes
Accepted

“Algebraization" of $p$-adic fields

The answer to part 1 is yes. Given $K/\mathbb{Q}_p$, let $\alpha\in K$ be a primitive element, with minimal monic polynomial $f(x)=x^n+\sum_{i=1}^n a_i x^{n-i}$, $a_i\in\mathbb{Q}_p$. So we have $K\co …
Julian Rosen's user avatar
  • 9,061
5 votes
Accepted

Effective cycles of codimension 1 and field extensions

The answer to the both questions is no. Consider $X=\mathbb{A}^1$, $k=\mathbb{Q}$, and $K=\mathbb{C}$ (any transcendental extension will do here). Let $\eta=\{\pi\}$. The cycles on $X_K$ of the form $ …
Julian Rosen's user avatar
  • 9,061
12 votes
2 answers
1k views

To what extent does a torsor determine a group

Let $k$ be a field, and suppose $G$ is a group-scheme over $k$ (I am happy to assume that $k=\mathbb{Q}$ and that $G$ is affine). A $G$-torsor over $k$ is a non-empty $k$-scheme $T$ equipped with an a …
Julian Rosen's user avatar
  • 9,061
6 votes
1 answer
400 views

Frobenius automorphisms of cohomology of a variety

Suppose $X$ is a smooth variety defined over $\mathbb{Q}$. There are (at least) two automorphisms of cohomology groups of $X$ that are called "Frobenius", and I would like to understand how they are r …
Julian Rosen's user avatar
  • 9,061
13 votes
Accepted

Motives associated to a Number Field

Write $X=\mathrm{Spec}\, k$, which is a $0$-dimensional variety. Motives of $0$-dimensional varieties are called Artin motives, and they are pure. The Betti realization is the Betti cohomology of $X$, …
Julian Rosen's user avatar
  • 9,061
5 votes

$p$-adic periods

There is a notion of $p$-adic period coming from the Frobenius action on $p$-adic cohomology. Suppose $X$ is a smooth variety over $\mathbb{Q}$, and let $p$ be a prime. If there is a smooth model $\ti …
Julian Rosen's user avatar
  • 9,061

15 30 50 per page