arXiv subjects

Lance Edward Miller

Publications and source records attributed to Lance Edward Miller.

26 records · Page 2Linked to original sources

arXiv2016

Test ideals in rings with finitely generated anti-canonical algebras

Many results are known about test ideals and $F$-singularities for ${\bf Q}$-Gorenstein rings. In this paper we generalize many of these results to the case when the symbolic Rees algebra $O_X \oplus O_X(-K_X) \oplus O_X(-2K_X) \oplus ...$ is finitely generated (or more generally, in the log setting for $-K_X - Δ$). In particular, we show that the $F$-jumping numbers of $τ(X, a^t)$ are discrete and rational. We show that test ideals $τ(X)$ can be described by alterations as in Blickle-Schwede-Tucker (and hence show that splinters are strongly $F$-regular in this setting -- recovering a result of Singh). We demonstrate that multiplier ideals reduce to test ideals under reduction modulo $p$ when the symbolic Rees algebra is finitely generated. We prove that Hartshorne-Speiser-Lyubeznik-Gabber type stabilization still holds. We also show that test ideals satisfy global generation properties in this setting.

math.AG↗

arXiv2014

Witt-Burnside functor attached to $\mathbf{Z}_p^2$ and $p$-adic Lipschitz continuous functions

Dress and Siebeneicher gave a significant generalization of the construction of Witt vectors, by producing for any profinite group $G$, a ring-valued functor $\mathbf{W}_G$. This paper gives a concrete interpretation of the rings $\mathbf{W}_{\mathbf{Z}_p^2}(k)$ where $k$ is a field of characteristic $p > 0$ in terms of rings of Lipschitz continuous functions on the $p$-adic upper half plane $\mathbf{P}^1(\mathbf{Q}_p)$. As a consequence we show that the Krull dimensions of the rings $\mathbf{W}_{\mathbf{Z}_p^d}(k)$ are infinite for $d \geq 2$ and we show the Teichmüller representatives form an analogue of the van der Put basis for continuous functions on $\mathbf{Z}_p$.

math.NT↗

arXiv2013

The $F$-pure threshold of a determinantal ideal

The $F$-pure threshold is a numerical invariant of prime characteristic singularities, that constitutes an analogue of the log canonical thresholds in characteristic zero. We compute the $F$-pure thresholds of determinantal ideals, i.e., of ideals generated by the minors of a generic matrix.

math.AC↗

arXiv2013

Deformation of $F$-injectivity and local cohomology

We give sufficient conditions for F-injectivity to deform. We show these conditions are met in two common geometrically interesting setting, namely when the special fiber has isolated CM-locus or is F-split.

math.AC↗

arXiv2013

On the structure of Witt-Burnside rings attached to pro-p groups

The classical Witt vectors are a ubiquitous object in algebra and number theory. They arise as a functorial construction that takes perfect fields k of prime characteristic p > 0 to p-adically complete discrete valuation rings of characteristic 0 with residue field k and are universal in that sense. A. Dress and C. Siebeneicher generalized this construction by producing a functor W_G attached to any profinite group G. The classical Witt vectors are those attached to the p-adic integers. Here we examine the ring structure of W_G(k) for several examples of pro-p groups G and fields k of characteristic p. We will show that the structure is surprisingly more complicated than the classical case.

math.AC↗

arXiv2012

A Witt-Burnside ring attached to a pro-dihedral group

The ring of classic Witt vectors is a fundamental object in mixed characteristic commutative algebra which has many applications in number theory. There is a significant generalization due to Dress and Siebeneicher which for any profinite group G produces a ring valued functor W_G, where the classic Witt vectors are recovered as the example G = Z_p. This article explores the structure of the image of this functor where G is the pro-2 group formed by taking the inverse limit of 2-power dihedral groups, and the image of W_G is taken on a field of characteristic 2.

math.AC↗

arXiv2012

Hilbert-Kunz functions of 2 x 2 determinantal rings

Let k be an arbitrary field (of arbitrary characteristic) and let X = [x_{i,j}] be a generic m x n matrix of variables. Denote by I_2(X) the ideal in k[X] = k[x_{i,j}: i = 1, ..., m; j = 1, ..., n] generated by the 2 x 2 minors of X. We give a recursive formulation for the lengths of the k[X]-module k[X]/(I_2(X) + (x_{1,1}^q,..., x_{m,n}^q)) as q varies over all positive integers using Grobner basis. This is a generalized Hilbert-Kunz function, and our formulation proves that it is a polynomial function in q. We give closed forms for the cases when m is at most 2, %as well as the closed forms for some other special length functions. We apply our method to give closed forms for these Hilbert-Kunz functions for cases $m \le 2$.

math.AC↗

arXiv2011

Semi-log canonical vs $F$-pure singularities

If $X$ is Frobenius split, then so is its normalization and we explore conditions which imply the converse. To do this, we recall that given an $\mathcal{O}_X$-linear map $ϕ: F_* \mathcal{O}_X \to \mathcal{O}_X$, it always extends to a map $\barϕ$ on the normalization of $X$. In this paper, we study when the surjectivity of $\barϕ$ implies the surjectivity of $ϕ$. While this doesn't occur generally, we show it always happens if certain tameness conditions are satisfied for the normalization map. Our result has geometric consequences including a connection between $F$-pure singularities and semi-log canonical singularities, and a more familiar version of the ($F$-)inversion of adjunction formula.

math.AG↗