Alex Youcis

Berkeley, CA

ayoucis.wordpress.com

Age: 23

I am a first year graduate student at the University of California, Berkeley.

Sep
30
awarded Explainer
Sep
22
awarded Yearling
Sep
22
awarded Yearling
Sep
19
comment Geometric interpretation of $H^1_{Zar}(X,\mathcal O_X)$
Are you assuming that $X$ is smooth? Is it a curve?
Sep
16
awarded Enlightened
Sep
16
awarded Nice Answer
Sep
15
comment trivialising cover for etale morphisms
$\text{Spec}(\mathbb{C})$ is connected, as a scheme over $\text{Spec}(\mathbb{R})$, but when you base change to the alg. closure of $\mathbb{R}$ it becomes two points. In fact, $\text{Spec}(L)$ will have $[L:K]$ many discrete points in base change to the alg. closure of $K$. Am I misunderstanding you?
Sep
15
comment trivialising cover for etale morphisms
What about when $X$ is the spectrum of a field $k$? The only etale covers are of the form $\text{Spec}(L)$ for $L/K$ finite separable. But the only such geometrically connected such scheme is $\text{Spec}(K)$ itself.
Sep
11
comment Interpretation of $\Omega_{A/k} \simeq A \otimes_k I/I^2$ for affine group schemes
I mean it comes down to both sides being the invariant differentials. Have you seen this definition?
Sep
10
answered $\dim (D-P)=\dim (D)-1$
Sep
8
comment Is a twist of a connected torsor connected?
I apologize, what is your definition of torsor here? Do you mean principal homogenous space?
Sep
7
answered Exercise 3.20 in Hartshorne on dimension of integral schemes of finite type over a field.
Sep
4
comment Shtukas?$\mbox{}$
There is a currently a course being taught at Berkeley by Scholze, accompanied by supplementary lectures by Jared Weinstein. The course is essentially how he is generalizing the notion of shtukas, and how it relates to the Langlands program. They are both being recorded, I believe (certainly Scholze's is). You should try and see if you can get a hold of the lectures.
Sep
2
comment Tensor product of injective ring homomorphisms
First, it seems all you've shown that $R\to A\otimes_R B$ has kernel in the nilradical of $R$, since this is what is equivalence do dominance.
Aug
24
comment Compute principal divisor for a rational function on a curve
@GeorgesElencwajg How is that the correct homogenization? Am I missing something?
Aug
24
comment Cardinality of variety
Oops! I missed that conversation. Apologies. :)
Aug
24
comment Cardinality of variety
+1 You could also use Noether normalization :)
Aug
24
comment Embedding an affine curve in a proper curve.
For a) what about taking the normalization of the projective closure?
Aug
24
comment Does every group have a 'cyclization'?
@KCd Oops, stupid initial object in $\mathbf{Ring}$. :)
Aug
24
comment Does every group have a 'cyclization'?
@KCd Ah, I see. That's a fair point. It is nice to note that hidden in your argument, and as in mine, there are no non-zero maps to $\mathbb{Z}$ from $\mathbb{Z}_p$. Regardless, nice answer. +1
1 2 3 4 5