Date: May 27-31, 2013
Location: 287 Durham Science Center, University of Nebraska at Omaha
Organizer: Griff Elder
If you have updated versions of slides from your talk, email them to Daniel Miller at dm635@cornell.edu).
9:00am (Nigel Byott). Ramification, Galois module structure (and Hopf algebras). I will give a survey of some of the connections between ramification and Galois module structure, mainly in the context of local fields. I will also explain why it is natural to consider Hopf algebras and Hopf orders in this context.
11:00am (Alan Koch). Breuil-Kisin modules in all characteristics. Let $R$ be a discrete valuation ring. We give a definition of Breuil-Kisin modules which correspond to $R$-Hopf algebras which is independent of the characteristic of $R$. We then relate the characteristic zero and characteristic $p$ cases with examples, showing how the characteristic $p$ case arises naturally as a limit of the characteristic zero case.
1:00pm (Griff Elder). Geometric vs. arithmetic results in characteristic zero. The topics of this week's conference, Ramification, Galois module structure and Hopf orders over a finite extension $K$ of the $p$-adic numbers, exhibit radically different behavior when the absolute ramification is large rather than small relative to other invariants. Thinking of the situation when absolute ramification is large as "coming from" characteristic $p$ can be illuminating. In this talk, through the presentation of a number of examples, I will explain a "philosophy/mind-set" that I have found very helpful.
9:10am (Lindsay Childs). Purely inseparable field extensions. The subject of purely inseparable field extensions was in fashion between 1930 and 1950, highlighted by Jacobson's exponent one Galois theory, and again in the period between 1968 and 1975 with attempts to generalize Jacobson's theory to more general finite purely inseparable extensions. This talk is an overview of some of this work, centered around Sweedler's 1968 Annals paper.
11:00am (Nigel Byott). Scaffolds and Generalized Galois Module Structure. I will present recent (and on-going) joint work with Griff Elder about Galois scaffolds and their generalization to the non-Galois situation. When such a scaffold (of high enough "tolerance") exists, this in principle enables us to answer, purely from the numerical parameters of the scaffold, questions such as whether a given ideal is free over its associated order.
1:00pm (Maria Marklove) Local Galois Module Structure in Characteristic p. For a finite, totally ramified Galois extension $L/K$ (of degree $p$) of local fields of characteristic $p$, we investigate the embedding dimension and the minimal number of generators for the associated order of the maximal ideals of $L$. We also obtain necessary and sufficient conditions for the freeness of these ideals over their associated orders.
9:00am (Kevin Keating) The Field of Norms. Let $K$ be a local field. For certain infinite extensions $L/K$ Wintenberger constructs the "field of norms" $X(L/K)$, a local field of characteristic $p$. In this expository talk we outline the construction of $X(L/K)$ and describe how it is related to groups of power series with the operation of composition.
11:00am (Nigel Byott). Nilpotent (and soluble?) Hopf-Galois structures. A finite Galois extension of fields may admit various Hopf-Galois structures, to each of is associated a "type" (i.e. an isomorphism class of group of the same order as the Galois group). I will show how counting the Hopf-Galois structures of nilpotent type on a nilpotent extension can be reduced to the case of extensions of $p$-power degree. I will also sketch a proof of that Hopf-Galois structures of nilpotent type can only occur for soluble extensions.
1:00pm (Paul Truman). Integral Hopf-Galois structures for tame extensions. If $L/K$ is a finite extension of $p$-adic fields which is at most tamely ramified and $H = L[N]^{G}$ is a Hopf algebra giving a Hopf-Galois structure on the extension then we have identified a number of cases in which the associated order of $\mathfrak{O}_L$ is the order $\mathfrak{O}_L[N]^{G}$. In this talk, we shall give criteria for $\mathfrak{O}_L[N]^{G}$ to be a Hopf order in $H$ and for $\mathfrak{O}_L[N]^{G}$ to give a Hopf-Galois structure on the extension of rings $\mathfrak{O}_L / \mathfrak{O}_K$.
2:00pm (Lindsay Childs). Hopf Galois structures on Galois extensions of fields of order mp, m < p. Many Galois extensions $L/K$ of fields have Hopf Galois structures on them other than that given by the action by the Galois group $G$. The Hopf Galois structures on $L/K$ correspond by Galois descent to regular subgroups of $\mbox{Perm}(G)$ normalized by the image $\lambda(G)$ of the left regular representation of $G$ in $\mbox{Perm}(G)$. But most of the work on counting or classifying Hopf Galois structures has utilized a method of determining regular embeddings of $G $into $\mbox{Hol}(N)$ for $N$ a group of the same cardinality as $G$. This method has the disadvantage that it is difficult to describe either the Hopf algebra $H$ acting on $L/K$ or the action of $H$ on $L$. But in a forthcoming paper, Tim Kohl has shown how one can classify Hopf Galois structures on $L/K$ by directly obtaining regular subgroups of $\mbox{Perm}(G)$ normalized by $\lambda(G)$ when the order of $G$ is $mp$ where $p$ is prime and $p>m$. We describe Kohl's approach, apply it to the case when $G$ is the semidirect product of cyclic groups of orders $m$ and $p$, and make some connections with previous work that used $\mbox{Hol}(N)$.
9:10am (Daniel Miller). Perfectoid spaces. Recently Peter Scholze was able to prove a wide range of special cases of Deligne's weight-monodromy conjecture by introducing a class of rigid-analytic objects called perfectoid spaces. I will describe a motivating theorem (due to Fontaine and Wintenberger) and the basic theory of perfectoid spaces.
11:00am (Kevin Keating). Indices of Inseparability and New Ramification Breaks. Let $K$ be a finite extension of the $p$-adic field $Q_p$ and let $L/K$ be a totally ramified $(Z/pZ)^2$-extension which has a single ramification break $b$. Byott and Elder defined a "new ramification break" $b_*$ for $L/K$. In this talk we consider the relationship between this new ramification break and the indices of inseparability of $L/K$, as defined by Fried and Heiermann. In particular, we show that if $p>2$ and the index of inseparability $i_1$ of $L/K$ is not equal to $(p^2-p)b$ then $b_*=i_1-(p^2-p-1)b$.
1:00pm (Griff Elder). Truncated exponential: Refined ramification, Galois scaffolds and beyond. This talk is about a love affair with the polynomial $$(1+X)^{[Y]}=\sum_{i=0}^{p-1}\binom{Y}{i}X^i\in\mathbb{Z}_{(p)}[X,Y],$$ (actually joint work with Nigel Byott) and how sometimes you get more that you give.
2:30pm (Paul Truman). Hereditary associated orders for Hopf-Galois structures on tame extensions. Let $L/K$ be a finite Galois extension of $p$-adic fields such that $p \nmid [L:K]$, and $H = L[N]^{G}$ a Hopf algebra giving a Hopf-Galois structure on the extension. If $H$ is commutative, then $\mathfrak{O}_L$ is free over its associated order in $H$. We investigate approaches to generalizing this result to noncommutative Hopf algebras.
9:00am (Rob Underwood). Extensions of Group Schemes in Characteristic p. Let $p$ be a rational prime, let $n\ge 1$ be an integer and let ${\mathbb F}_q$ denote the field with $q=p^n$ elements. Let $t$ be an indeterminate and let $R={\mathbb F}_q[[t]]$ and $K=\hbox{Frac}(R)={\mathbb F}_q((t))$. Let $C_p$ denote the cyclic group of order $p$ generated by $g$. For each integer $i\ge 0$, $H(i)=R[{g-1\over t^i}]$ is an $R$-Hopf order in $KC_p$ corresponding to the group scheme ${\mathbb G}_i=\hbox{Spec}\ H(i)$. In this talk we investigate the extensions of ${\mathbb G}_j$ by ${\mathbb G}_i$.