Related papers: Vanishing of eigenspaces and cyclotomic fields
Let E: y^2 = x^3 + Ax + B be an elliptic curve defined over a finite field of characteristic p\geq 3. In this paper we prove that the coefficient at x^{p(p-1)/2} in the p-th division polynomial \psi_p(x) of E equals the coefficient at…
Let E be the extraspecial p-group of order p^3 and exponent p where p is an odd prime. We consider the mod p cohomology of summands in the stable splitting of p-completed classifying space BE. Moreover, we consider the stable splitting for…
For a prime $p\equiv 3$ $(\text{mod }4)$ and $m\ge 2$, Romik raised a question about whether the Taylor coefficients around $\sqrt{-1}$ of the classical Jacobi theta function $\theta_3$ eventually vanish modulo $p^m$. This question can be…
A conjecture of Min\'a\v{c} and T\^an predicts that for any n>2, any prime p and any field k, the Massey product of n Galois cohomology classes in H^1(k,Z/pZ) must vanish if it is defined. We establish this conjecture when k is a number…
It is shown that the number of irreducible quartic factors of the form $g(x) = x^4+ax^3+(11a+2)x^2-ax+1$ which divide the Hasse invariant of the Tate normal form $E_5$ in characteristic $l$ is a simple linear function of the class number…
It is well known that for any prime $p\equiv 3$ (mod $4$), the class numbers of the quadratic fields $\mathbb{Q}(\sqrt{p})$ and $\mathbb{Q}(\sqrt{-p})$, $h(p)$ and $h(-p)$ respectively, are odd. It is natural to ask whether there is a…
We discuss ways that the ring of coefficients for a TQFT can be reduced if one restricts somewhat the allowed cobordisms. When we apply these methods to a TQFT associated to SO(3) at an odd prime p, we obtain a functor from a somewhat…
Among other results, we prove that if $I$ is a monomial ideal of $S=K[x_1,\ldots,x_n]$, where $K$ is a field, and $a\geq b-1\geq0$ are integers such that $a+b\leq\mathrm{proj~dim}(S/I)$, then $$t_{a+b}\leq…
Let $K$ be an imaginary quadratic field where $p$ splits. We study signed Selmer groups for non-ordinary modular forms over the anticyclotomic $\mathbf{Z}_p$-extension of $K$, showing that their $\mu$-invariants vanish. This generalizes and…
In this paper, we prove some computational results about equivariant cohomology over the cyclic group $C_{p^n}$ of prime power order. We show that there is an inductive formula when the dimension of the $C_p$-fixed points of the grading is…
We construct derived fundamental group schemes for Tate motives over connected smooth schemes over fields. We show that there exists a pro affine derived group scheme over the rationals such that its category of perfect representations…
We first study some families of maximal real subfields of cyclotomic fields with even class number, and then explore the implications of large plus class numbers of cyclotomic fields. We also discuss capitulation of the minus part and the…
We prove an analogue of the celebrated Hall-Higman theorem, which gives a lower bound for the degree of the minimal polynomial of any semisimple element of prime power order $p^{a}$ of a finite classical group in any nontrivial irreducible…
We show that the cyclotomic Iwasawa--Greenberg Main Conjecture holds for a large class of modular forms with multiplicative reduction at $p$, extending previous results for the good ordinary case. In fact, the multiplicative case is deduced…
Let $G$ be a finite group, and let $N(G)$ be the set of sizes of its conjugacy classes. We show that if a finite group $G$ has trivial center and $N(G)$ equals to $N(Alt_n)$ or $N(Sym_n)$ for $n\geq 23$, then $G$ has a composition factor…
We define a reasonably well-behaved class of ultraimaginaries, i.e.\ classes modulo invariant equivalence relations, called {\em tame}, and establish some basic simplicity-theoretic facts. We also show feeble elimination of supersimple…
Let p be an odd prime and let E be an elliptic curve defined over a quadratic imaginary field where p splits completely. Suppose E has supersingular reduction at primes above p. We define and study the fine double-signed residual Selmer…
Let $q$ be a prime. We classify the odd primes $p\neq q$ such that the equation $x^2\equiv q\pmod{p}$ has a solution, concretely, we find a subgroup $\mathbb{L}_{4q}$ of the multiplicative group $\mathbb{U}_{4q}$ of integers relatively…
For $p$ a prime, $G$ a finite group and $A$ a normal subset of elements of order $p$, we prove that if $A^2 = \{ab \mid a, b \in A\}$ consists of $p$-elements then $Q = \langle A \rangle$ is soluble. Further, if $O_p(G) = 1$, we show that…
We notice that the class of nontrivial groups without proper subgroups of finite index is not elementary, because some groups in this class, such as $\mathbb Q*\mathbb Q$, have ultrapowers that map homomorphically onto $\mathbb Z/p\mathbb…