All Questions
2,543 questions
6
votes
0
answers
456
views
On periods of algebraic integers modulo rational primes
I run, somewhat indirectly, into the following problem and I have no hints where to look in the literature in search for answers or clues.
Let $K$ be a number field, which we may assume Galois if it ...
- 65.4k
2
votes
2
answers
2k
views
Reference of primitive root mod p
Can any body give me a reference of the result about primitive root mod p for a class of prime number p.
The result that I am looking for is something along this line:
$2$ is a primitive root mod $p$...
- 65.4k
6
votes
2
answers
507
views
Concerning the dimension of a complex variety modulo a prime
Let V be a complex affine variety given as the vanishing set of a set of polynomials with integral coefficients. I have 3 questions.
1)
Under what assumption will the dimension of V over C remain ...
- 65.4k
3
votes
1
answer
424
views
Principal bundle for contractible group is weak homotopy equivalence for ind schemes
This is may be obvious, but I am not comfortable with ind-schemes.
I have an ind-scheme $X$ over $\mathbb{C}$. Every point has a neighborhood which can be written as an ascending union of regular ...
- 27.5k
4
votes
2
answers
581
views
If split algebraic groups are potentially isomorphic, are they isomorphic?
Suppose $K$ is a (not necessarily algebraically closed) field, and $G_1$ and $G_2$ are split semisimple algebraic groups over $K$ which become isomorphic over $\bar{K}$, the algebraic closure of $K$. ...
- 4,280
6
votes
3
answers
745
views
Quotient of a reductive group by a non-smooth central finite subgroup
I need a construction in linear algebraic groups which uses taking quotient by a central finite group subscheme.
My question is, whether it goes through in ``bad'' characteristics, when this group ...
- 8,296
36
votes
3
answers
7k
views
What is the difference between PSL_2 and PGL_2?
Let $K$ be a field and $G:=SL_2(K)$, then $G$ is a $K-$split reductive group (to use some big words). These groups are classified by a based root datum $(X,D,X',D')$. Let $G'$ be group associated to $(...
- 7,108
7
votes
4
answers
736
views
Simply connected quasi-projective varieties in positive characteristic
I am looking for examples of non-projective (quasi-projective) varieties $X$ defined over a field of positive characteristic, which have trivial étale fundamental group.
It is well known that the ...
CommunityBot
- 1
9
votes
1
answer
763
views
Restriction theorems over finite fields
A short while ago, Dvir proved the Kakeya conjecture over finite fields. Does this have any implications for restriction theorems over finite fields? I am aware only of implications going in the ...
- 65.4k
25
votes
3
answers
2k
views
product of all F_p, p prime
Let $R$ be the ring $$R = \prod_{p\ \text{prime}} \mathbb{F}_p$$ where $\mathbb{F}_p$ is the field having $p$ elements.
Is it true that $R$ has a quotient by a maximal ideal which is a field of ...
- 65.4k
10
votes
3
answers
2k
views
Is $Sym^n (V^*) \cong Sym^n (V)^\ast$ naturally in positive characteristic?
Background/motivation
It is a classical fact that we have a natural isomorphism $Sym^n (V^*) \cong Sym^n (V) ^\ast$ for vector spaces $V$ over a field $k$ of characteristic 0. One way to see this is ...
- 65.4k
8
votes
2
answers
8k
views
What does "supersingular" mean?
Are supersingular primes and supersingular elliptic curves related?
(this was essentially a subquestion in my earlier question, but still looks sufficiently different to me to deserve a separate post)...
CommunityBot
- 1
3
votes
1
answer
376
views
Hyperspecial subgroup of a product of semisimple algebraic groups
Suppose that $F$ is a nonarchimedean local field, and that $G_1$, $G_2$ are connected, simply connected algebraic groups over $F$. Suppose moreover $G_1$ and $G_2$ are semisimple. Suppose $H$ is a ...
- 1,233
2
votes
1
answer
308
views
Image of a hyperspecial subgroup hyperspecial?
Suppose that $F$ is a nonarchimedean local field, $G_1$ and $G_2$ are connected (linear) algebraic groups over $F$, and $\phi:G_1\to G_2$ is a surjective homomorphism of algebraic groups. Suppose $H$ ...
- 41.4k
13
votes
0
answers
943
views
Beilinson-Bernstein localization in positive characteristic
This is a follow-up to this question; in particular, I'm wondering if anyone can expand upon the interesting answers given by Kevin McGerty and David Ben-Zvi there. (In particular, in this question I'...
CommunityBot
- 1
7
votes
2
answers
436
views
Taking roots in simple linear algebraic groups
Suppose $G$ is a simple (linear) algebraic group over an algebraically closed field of characteristic zero, that $n$ is a positive natural number, and that $g\in G$. Can we always find an $h\in G$ ...
- 3,131
5
votes
4
answers
447
views
Is every monomorphism of commutative Hopf algebras (over a field) injective?
Is it true that any monomorphism of commutative Hopf algebras over a field is injective? Moreover, is it true that any epimorphism of commutative Hopf algebras over a field is surjective?
- 3,929
15
votes
1
answer
4k
views
Frobenius Descent
Let $S$ be a scheme of positive characteristic $p$ and $X$ a smooth $S$-scheme. Let $F:X\rightarrow X^{(p)}$ denote the relative Frobenius. A result by Cartier (often called Cartier descent or ...
- 57.6k
12
votes
2
answers
1k
views
Weil Conjectures for nonprojective algebraic varieties
If we replace projective variety with algebraic variety in the statement of the Weil conjectures what happens? To me it seems the statement still makes sense. But is it still true?
- 65.4k
3
votes
1
answer
723
views
A strange logical implication in algebraic geometry
So there's an old theorem of Lang and Weil showing that the Riemann hypothesis for curves over finite fields implies a kind of quasi-riemann hypothesis for surfaces over finite fields.
I am wondering:...
- 65.4k
3
votes
2
answers
612
views
tamely branched cover over P^1
k is an algebraically closed field, X is a smooth, connected, projective curve over k. f: X-->P^1 is a finite morphism. Let t be a parameter of P^1, suppose f is etale outside t=0 and t=\infty, and ...
- 65.4k
16
votes
1
answer
1k
views
Coarse moduli spaces over Z and F_p
I would like to know to what extent it is possible to compare fibers over $\mathbb{F}_p$ of coarse moduli spaces over $\mathbb{Z}$, and coarse moduli spaces over $\mathbb{F}_p$. I ask a more precise ...
- 65.4k
11
votes
2
answers
1k
views
Class groups of normal domains over finite fields
Let R be a local, normal domain of dimension 2. Suppose that R contains a finite field. I am interested in knowing when the class group of R is torsion. In characteristic 0, this is known to be ...
- 65.4k
9
votes
1
answer
566
views
algorithm for calculating the Chow groups of a variety over a finite field
Is there an algorithm for calculating the Chow groups of a variety over a finite field?
It is know that $H^{2i,i}_\mathrm{mot}(X,\mathbf{Z}) = CH^i(X)$. In how many cases does this help us?
CommunityBot
- 1
4
votes
1
answer
412
views
F_q-structures on schemes
Let $k|\mathbb{F}_q$ be a field extension. An $\mathbb{F}_q$-structure on a $k$-algebra $A$ is an $\mathbb{F}_q$-subalgebra $A _0$ of $A$ such that $A _0 \otimes _{\mathbb{F}_q} k \cong A$ via the ...
- 65.4k
11
votes
1
answer
2k
views
Are automorphism groups of hypersurfaces reduced ?
In the following article : "H. Matsumura, P. Monsky, On the automorphisms of hypersurfaces, J. Math. Kyoto Univ. 3 (1964) 347-361", it is shown that in finite characteristic, automorphism groups of ...
- 23.8k
8
votes
2
answers
1k
views
number of irreducible representations over general fields
For a finite group, there are finitely many irreducible representations of complex numbers.
What if the field is changed to some other fields? Like real numbers, p-adic field, finite field?
In ...
CommunityBot
- 1
7
votes
3
answers
2k
views
Iwasawa and Cartan Decompositions.
Consider the tome of Bruhat and Tits: Groupes réductifs sur un corps local : I. Données radicielles valuées. Publications Mathématiques de l'IHÉS, 41 (1972), p. 5-251. (available on NUMDAM). I am ...
CommunityBot
- 1
4
votes
1
answer
335
views
"Eigenvalue characters"
This question is an addition to my question on simultaneous diagonalization from yesterday and it is probably also obvious but I just don't know this: Let $G$ be a commutative affine algebraic group ...
CommunityBot
- 1
15
votes
3
answers
6k
views
Simultaneous diagonalization
I'm pretty sure that the following (if true) is a standard result in linear algebra but unfortunately I could not find it anywhere and even worse I'm too dumb to prove it: Let $k$ be a field, let $V$ ...
- 5,243
8
votes
2
answers
1k
views
Is every subgroup of an algebraic group a stabilizer for some action?
Suppose G is an algebraic group (over a field, say; maybe even over ℂ) and H⊆G is a closed subgroup. Does there necessarily exist an action of G on a scheme X and a point x∈X such that ...
- 2,280
10
votes
2
answers
1k
views
Does a universal Frobenius map exist?
For any prime p, one has the Frobenius homomorphism Fp defined on rings of characteristic p.
Is there any kind of object, say U, with a "universal Frobenius map" F such that for any prime p and any ...
CommunityBot
- 1
1
vote
1
answer
820
views
Comparing Iwahori Decompositions
Let G be a p-adic group, U a (n appropriate) unipotent subgroup and I an Iwahori subgroup. Then there are Iwahori decompositions I\G/I=U\G/I=W where W is the affine Weyl group. I suspect that
$$...
- 44.7k
7
votes
1
answer
718
views
Ways to characterize supersingular primes?
I've read the definition, and it basically says p is a supersingular prime iff
the fundamental domain of a group generated by \Gamma(p) and a matrix ((0, 1), (-p, 0)) is rational.
And there's a ...
CommunityBot
- 1
15
votes
5
answers
3k
views
Can we count isogeny classes of abelian varieties?
Let's fix a finite field F and consider abelian varieties of dimension g over F. Can we say how many isogeny classes there are? Is it even clear that there's more than one isogeny class? For g=1, ...
CommunityBot
- 1
10
votes
2
answers
393
views
Counting points on varieties of low codimension
The graduate students here at MIT have been thinking about questions like the following: Over $\mathbb{F}\_q$, how many symmetric matrices are there with nonzero determinant and $0$'s on the diagonal? ...
- 65.4k
8
votes
1
answer
637
views
Cohomology map induced by the group actions on homogeneous vector bundles
Here is a topological question which seems quite elementary. The answer to this question may be useful e.g. in estimating the orders of the automorphism groups of some algebraic varieties and in ...
- 52.7k
1
vote
2
answers
325
views
How to make commutative algebraic groups strongly dualizable?
Let's use the notation of [A=>B] for Hom(A, B). Take a 1-dimensional algebraic torus G<...
- 8,681
13
votes
3
answers
816
views
Constructing a degeneration (as a group scheme) of G_m to G_a
SGA 3, expose 12, remark 1.6 says that one can easily construct a group scheme over a discrete valuation ring with generic fiber Gm and special fiber Ga.
What is such an example?
- 24.1k
2
votes
1
answer
276
views
Do subgroups respect the orbit-closure relation?
Suppose G is a Lie group (or algebraic group) acting on a manifold (or scheme) X, and H⊆G is a subgroup. Let x,y∈X be points such that x is in the closure of the orbit H⋅y (but not in H&...
- 156k
14
votes
2
answers
989
views
Do orbits and stable loci of group actions have natural scheme structures?
Suppose G is an algebraic group with an action G×X→X on a scheme. Then many of the usual constructions you make when you talk about group actions on sets can be made scheme-theoretically. ...
CommunityBot
- 1
8
votes
2
answers
481
views
Division Algebras as Algebraic Groups
If I'm given a division algebra D with Z(D)=F, then how can I view Dx as an algebraic group defined over F? I'd like to see first how Dx can be given the structure of a variety defined over F, and ...
- 666
15
votes
3
answers
4k
views
Iwasawa Decomposition
Does anyone know where I can find a proof of the Iwasawa decomposition for reductive groups? I know that there are a couple of related results that are called the Iwasawa decomposition, but I am ...
- 815