-
Rees algebras and generalized depth-like conditions in prime characteristic
Authors:
Alessandra Costantini,
Kyle Maddox,
Lance Edward Miller
Abstract:
In this article we address a question concerning nilpotent Frobenius actions on Rees algebras and associated graded rings. We prove a nilpotent analog of a theorem of Huneke for Cohen-Macaulay singularities. This is achieved by introducing a depth-like invariant which captures as special cases Lyubeznik's F-depth and the generalized F-depth from Maddox-Miller and is related to the generalized dept…
▽ More
In this article we address a question concerning nilpotent Frobenius actions on Rees algebras and associated graded rings. We prove a nilpotent analog of a theorem of Huneke for Cohen-Macaulay singularities. This is achieved by introducing a depth-like invariant which captures as special cases Lyubeznik's F-depth and the generalized F-depth from Maddox-Miller and is related to the generalized depth with respect to an ideal. We also describe several properties of this new invariant and identify a class of regular elements for which weak F-nilpotence deforms.
△ Less
Submitted 19 August, 2023; v1 submitted 21 December, 2022;
originally announced December 2022.
-
Arithmetic differential geometry in the arithmetic PDE setting II: curvature and cohomology
Authors:
Alexandru Buium,
Lance Edward Miller
Abstract:
This is the second paper in a series devoted to develo** an arithmetic PDE analogue of Riemannian geometry. In Part 1 arithmetic PDE analogues of Levi-Civita and Chern connections were introduced and studied. In this paper arithmetic analogues of curvature and characteristic classes are developed.
This is the second paper in a series devoted to develo** an arithmetic PDE analogue of Riemannian geometry. In Part 1 arithmetic PDE analogues of Levi-Civita and Chern connections were introduced and studied. In this paper arithmetic analogues of curvature and characteristic classes are developed.
△ Less
Submitted 7 December, 2022; v1 submitted 5 December, 2022;
originally announced December 2022.
-
Differentially fixed ideals in toric varieties
Authors:
Lance Edward Miller,
William D. Taylor,
Janet Vassilev
Abstract:
This article concerns monomial ideals fixed by differential operators of affine semi-group rings over $\mathbb{C}$. We give a complete characterization of when this happens. Perhaps surprisingly, every monomial ideal is fixed by an infinite set of homogeneous differential operators and is in fact determined by them. This opens up a new tool for studying monomial ideals. We explore applications of…
▽ More
This article concerns monomial ideals fixed by differential operators of affine semi-group rings over $\mathbb{C}$. We give a complete characterization of when this happens. Perhaps surprisingly, every monomial ideal is fixed by an infinite set of homogeneous differential operators and is in fact determined by them. This opens up a new tool for studying monomial ideals. We explore applications of this to (mixed) multiplier ideals and other variants as well as give examples of detecting ideal membership in integrally closed powers and symbolic powers of squarefree monomial ideals.
△ Less
Submitted 8 December, 2022; v1 submitted 5 December, 2022;
originally announced December 2022.
-
Capturing cross-session neural population variability through self-supervised identification of consistent neuron ensembles
Authors:
Justin Jude,
Matthew G. Perich,
Lee E. Miller,
Matthias H. Hennig
Abstract:
Decoding stimuli or behaviour from recorded neural activity is a common approach to interrogate brain function in research, and an essential part of brain-computer and brain-machine interfaces. Reliable decoding even from small neural populations is possible because high dimensional neural population activity typically occupies low dimensional manifolds that are discoverable with suitable latent v…
▽ More
Decoding stimuli or behaviour from recorded neural activity is a common approach to interrogate brain function in research, and an essential part of brain-computer and brain-machine interfaces. Reliable decoding even from small neural populations is possible because high dimensional neural population activity typically occupies low dimensional manifolds that are discoverable with suitable latent variable models. Over time however, drifts in activity of individual neurons and instabilities in neural recording devices can be substantial, making stable decoding over days and weeks impractical. While this drift cannot be predicted on an individual neuron level, population level variations over consecutive recording sessions such as differing sets of neurons and varying permutations of consistent neurons in recorded data may be learnable when the underlying manifold is stable over time. Classification of consistent versus unfamiliar neurons across sessions and accounting for deviations in the order of consistent recording neurons in recording datasets over sessions of recordings may then maintain decoding performance. In this work we show that self-supervised training of a deep neural network can be used to compensate for this inter-session variability. As a result, a sequential autoencoding model can maintain state-of-the-art behaviour decoding performance for completely unseen recording sessions several days into the future. Our approach only requires a single recording session for training the model, and is a step towards reliable, recalibration-free brain computer interfaces.
△ Less
Submitted 5 January, 2023; v1 submitted 19 May, 2022;
originally announced May 2022.
-
Robust alignment of cross-session recordings of neural population activity by behaviour via unsupervised domain adaptation
Authors:
Justin Jude,
Matthew G Perich,
Lee E Miller,
Matthias H Hennig
Abstract:
Neural population activity relating to behaviour is assumed to be inherently low-dimensional despite the observed high dimensionality of data recorded using multi-electrode arrays. Therefore, predicting behaviour from neural population recordings has been shown to be most effective when using latent variable models. Over time however, the activity of single neurons can drift, and different neurons…
▽ More
Neural population activity relating to behaviour is assumed to be inherently low-dimensional despite the observed high dimensionality of data recorded using multi-electrode arrays. Therefore, predicting behaviour from neural population recordings has been shown to be most effective when using latent variable models. Over time however, the activity of single neurons can drift, and different neurons will be recorded due to movement of implanted neural probes. This means that a decoder trained to predict behaviour on one day performs worse when tested on a different day. On the other hand, evidence suggests that the latent dynamics underlying behaviour may be stable even over months and years. Based on this idea, we introduce a model capable of inferring behaviourally relevant latent dynamics from previously unseen data recorded from the same animal, without any need for decoder recalibration. We show that unsupervised domain adaptation combined with a sequential variational autoencoder, trained on several sessions, can achieve good generalisation to unseen data and correctly predict behaviour where conventional methods fail. Our results further support the hypothesis that behaviour-related neural dynamics are low-dimensional and stable over time, and will enable more effective and flexible use of brain computer interface technologies.
△ Less
Submitted 16 February, 2022; v1 submitted 12 February, 2022;
originally announced February 2022.
-
Arithmetic differential geometry in the arithmetic PDE setting, I: connections
Authors:
Lance Edward Miller,
Alexandru Buium
Abstract:
This is the first in a series on papers develo** an arithmetic PDE analogue of Riemannian geometry. The role of partial derivatives is played by Fermat quotient operations with respect to several Frobenius elements in the absolute Galois group of a $p$-adic field. Existence and uniqueness of geodesics and of Levi-Civita and Chern connections are proved in this context. In a sequel to this paper…
▽ More
This is the first in a series on papers develo** an arithmetic PDE analogue of Riemannian geometry. The role of partial derivatives is played by Fermat quotient operations with respect to several Frobenius elements in the absolute Galois group of a $p$-adic field. Existence and uniqueness of geodesics and of Levi-Civita and Chern connections are proved in this context. In a sequel to this paper a theory of arithmetic Riemannian curvature and characteristic classes will be developed.
△ Less
Submitted 4 February, 2022;
originally announced February 2022.
-
Targeted Neural Dynamical Modeling
Authors:
Cole Hurwitz,
Akash Srivastava,
Kai Xu,
Justin Jude,
Matthew G. Perich,
Lee E. Miller,
Matthias H. Hennig
Abstract:
Latent dynamics models have emerged as powerful tools for modeling and interpreting neural population activity. Recently, there has been a focus on incorporating simultaneously measured behaviour into these models to further disentangle sources of neural variability in their latent space. These approaches, however, are limited in their ability to capture the underlying neural dynamics (e.g. linear…
▽ More
Latent dynamics models have emerged as powerful tools for modeling and interpreting neural population activity. Recently, there has been a focus on incorporating simultaneously measured behaviour into these models to further disentangle sources of neural variability in their latent space. These approaches, however, are limited in their ability to capture the underlying neural dynamics (e.g. linear) and in their ability to relate the learned dynamics back to the observed behaviour (e.g. no time lag). To this end, we introduce Targeted Neural Dynamical Modeling (TNDM), a nonlinear state-space model that jointly models the neural activity and external behavioural variables. TNDM decomposes neural dynamics into behaviourally relevant and behaviourally irrelevant dynamics; the relevant dynamics are used to reconstruct the behaviour through a flexible linear decoder and both sets of dynamics are used to reconstruct the neural activity through a linear decoder with no time lag. We implement TNDM as a sequential variational autoencoder and validate it on simulated recordings and recordings taken from the premotor and motor cortex of a monkey performing a center-out reaching task. We show that TNDM is able to learn low-dimensional latent dynamics that are highly predictive of behaviour without sacrificing its fit to the neural data.
△ Less
Submitted 27 October, 2021;
originally announced October 2021.
-
Neural Latents Benchmark '21: Evaluating latent variable models of neural population activity
Authors:
Felix Pei,
Joel Ye,
David Zoltowski,
Anqi Wu,
Raeed H. Chowdhury,
Hansem Sohn,
Joseph E. O'Doherty,
Krishna V. Shenoy,
Matthew T. Kaufman,
Mark Churchland,
Mehrdad Jazayeri,
Lee E. Miller,
Jonathan Pillow,
Il Memming Park,
Eva L. Dyer,
Chethan Pandarinath
Abstract:
Advances in neural recording present increasing opportunities to study neural activity in unprecedented detail. Latent variable models (LVMs) are promising tools for analyzing this rich activity across diverse neural systems and behaviors, as LVMs do not depend on known relationships between the activity and external experimental variables. However, progress with LVMs for neuronal population activ…
▽ More
Advances in neural recording present increasing opportunities to study neural activity in unprecedented detail. Latent variable models (LVMs) are promising tools for analyzing this rich activity across diverse neural systems and behaviors, as LVMs do not depend on known relationships between the activity and external experimental variables. However, progress with LVMs for neuronal population activity is currently impeded by a lack of standardization, resulting in methods being developed and compared in an ad hoc manner. To coordinate these modeling efforts, we introduce a benchmark suite for latent variable modeling of neural population activity. We curate four datasets of neural spiking activity from cognitive, sensory, and motor areas to promote models that apply to the wide variety of activity seen across these areas. We identify unsupervised evaluation as a common framework for evaluating models across datasets, and apply several baselines that demonstrate benchmark diversity. We release this benchmark through EvalAI. http://neurallatents.github.io
△ Less
Submitted 17 January, 2022; v1 submitted 9 September, 2021;
originally announced September 2021.
-
Purely arithmetic PDE's over a p-adic field I: delta-characters and delta-modular forms
Authors:
Alexandru Buium,
Lance Edward Miller
Abstract:
A formalism of arithmetic partial differential equations (PDEs) is being developed in which one considers several arithmetic differentiations at one fixed prime. In this theory solutions can be defined in algebraically closed p-adic fields. As an application we show that for at least two arithmetic directions every elliptic curve possesses a non-zero arithmetic PDE Manin map of order 1; such maps…
▽ More
A formalism of arithmetic partial differential equations (PDEs) is being developed in which one considers several arithmetic differentiations at one fixed prime. In this theory solutions can be defined in algebraically closed p-adic fields. As an application we show that for at least two arithmetic directions every elliptic curve possesses a non-zero arithmetic PDE Manin map of order 1; such maps do not exist in the arithmetic ODE case. Similarly we construct and study "genuinely PDE" differential modular forms. As further applications we derive a Theorem of the Kernel and a Reciprocity Theorem for arithmetic PDE Manin maps and also a finiteness Diophantine result for modular parameterizations. We also prove structure results for the spaces of "PDE differential modular forms defined on the ordinary locus." We also produce a system of differential equations satisfied by our PDE modular forms based on Serre and Euler operators.
△ Less
Submitted 30 March, 2021;
originally announced March 2021.
-
Generalized $F$-depth and graded nilpotent singularities
Authors:
Kyle Maddox,
Lance Edward Miller
Abstract:
We address explicit constructions of new variants of $F$-nilpotent singularities. In particular, we explore how (generalized) weakly $F$-nilpotent singularities behave under gluing, Segre products, Veronese subrings, and the formation of diagonal hypersurface algebras. From these results, explicit examples are produced and we provide bounds on their Frobenius test exponents. To accomplish these ta…
▽ More
We address explicit constructions of new variants of $F$-nilpotent singularities. In particular, we explore how (generalized) weakly $F$-nilpotent singularities behave under gluing, Segre products, Veronese subrings, and the formation of diagonal hypersurface algebras. From these results, explicit examples are produced and we provide bounds on their Frobenius test exponents. To accomplish these tasks, we introduce the {\it generalized $F$-depth} in analogy to Lyubeznik's $F$-depth. These depth-like invariants track (generalized) weakly $F$-nilpotent singularities in a similar fashion as (generalized) depth tracks (generalized) Cohen-Macaulay singularities.
△ Less
Submitted 6 September, 2022; v1 submitted 1 January, 2021;
originally announced January 2021.
-
Perfectoid spaces arising from arithmetic jet spaces
Authors:
Alexandru Buium,
Lance Edward Miller
Abstract:
Using arithmetic jet spaces, we attach perfectoid spaces to smooth schemes and to $δ$-morphisms of smooth schemes. We also study perfectoid spaces attached to arithmetic differential equations defined by some of the remarkable $δ$-morphisms appearing in the theory such as the $δ$-characters of elliptic curves and the $δ$-period map on modular curves.
Using arithmetic jet spaces, we attach perfectoid spaces to smooth schemes and to $δ$-morphisms of smooth schemes. We also study perfectoid spaces attached to arithmetic differential equations defined by some of the remarkable $δ$-morphisms appearing in the theory such as the $δ$-characters of elliptic curves and the $δ$-period map on modular curves.
△ Less
Submitted 31 October, 2019;
originally announced November 2019.
-
Solutions to arithmetic differential equations in algebraically closed fields
Authors:
Alexandru Buium,
Lance Edward Miller
Abstract:
We prove that the main examples in the theory of algebraic differential equations possess a remarkable total differential overconvergence property. This allows one to consider solutions to these equations with coordinates in algebraically closed fields.
We prove that the main examples in the theory of algebraic differential equations possess a remarkable total differential overconvergence property. This allows one to consider solutions to these equations with coordinates in algebraically closed fields.
△ Less
Submitted 31 October, 2019;
originally announced November 2019.
-
Log canonical thresholds of generic links of determinantal varieties
Authors:
Youngsu Kim,
Lance Edward Miller,
Wenbo Niu
Abstract:
We show that the log canonical threshold of a generic determinantal variety and its generic link are the same.
We show that the log canonical threshold of a generic determinantal variety and its generic link are the same.
△ Less
Submitted 7 November, 2020; v1 submitted 11 August, 2019;
originally announced August 2019.
-
Singularities of Rees-like Algebras
Authors:
Paolo Mantero,
Jason McCullough,
Lance Edward Miller
Abstract:
Recently, Peeva and the second author constructed irreducible projective varieties with regularity much larger than their degree, yielding counterexamples to the Eisenbud-Goto Conjecture. Their construction involved two new ideas: Rees-like algebras and step-by-step homogenization. Yet, all of these varieties are singular and the nature of the geometry of these projective varieties was left open.…
▽ More
Recently, Peeva and the second author constructed irreducible projective varieties with regularity much larger than their degree, yielding counterexamples to the Eisenbud-Goto Conjecture. Their construction involved two new ideas: Rees-like algebras and step-by-step homogenization. Yet, all of these varieties are singular and the nature of the geometry of these projective varieties was left open. The purpose of this paper is to study the singularities inherent in this process. We compute the codimension of the singular locus of an arbitrary Rees-like algebra over a polynomial ring. We then show that the relative size of the singular locus can increase under step-by-step homogenization. To address this defect, we construct a new process, we call prime standardization, which plays a similar role as step-by-step homogenization but also preserves the codimension of the singular locus. This is derived from ideas of Ananyan and Hochster and we use this to study the regularity of certain smooth hyperplane sections of Rees-like algebras, showing that they all satisfy the Eisenbud-Goto Conjecture, as expected. On a more qualitative note, while Rees-like algebras are almost never Cohen-Macaulay and never normal, we characterize when they are seminormal, weakly normal, and, in positive characteristic, F-split. Finally, we construct a finite free resolution of the canonical module of a Rees-like Algebra over the presenting polynomial ring showing that it is always Cohen-Macaulay and has a surprising self-dual structure.
△ Less
Submitted 3 March, 2019;
originally announced March 2019.
-
Adversarial Domain Adaptation for Stable Brain-Machine Interfaces
Authors:
Ali Farshchian,
Juan A. Gallego,
Joseph P. Cohen,
Yoshua Bengio,
Lee E. Miller,
Sara A. Solla
Abstract:
Brain-Machine Interfaces (BMIs) have recently emerged as a clinically viable option to restore voluntary movements after paralysis. These devices are based on the ability to extract information about movement intent from neural signals recorded using multi-electrode arrays chronically implanted in the motor cortices of the brain. However, the inherent loss and turnover of recorded neurons requires…
▽ More
Brain-Machine Interfaces (BMIs) have recently emerged as a clinically viable option to restore voluntary movements after paralysis. These devices are based on the ability to extract information about movement intent from neural signals recorded using multi-electrode arrays chronically implanted in the motor cortices of the brain. However, the inherent loss and turnover of recorded neurons requires repeated recalibrations of the interface, which can potentially alter the day-to-day user experience. The resulting need for continued user adaptation interferes with the natural, subconscious use of the BMI. Here, we introduce a new computational approach that decodes movement intent from a low-dimensional latent representation of the neural data. We implement various domain adaptation methods to stabilize the interface over significantly long times. This includes Canonical Correlation Analysis used to align the latent variables across days; this method requires prior point-to-point correspondence of the time series across domains. Alternatively, we match the empirical probability distributions of the latent variables across days through the minimization of their Kullback-Leibler divergence. These two methods provide a significant and comparable improvement in the performance of the interface. However, implementation of an Adversarial Domain Adaptation Network trained to match the empirical probability distribution of the residuals of the reconstructed neural signals outperforms the two methods based on latent variables, while requiring remarkably few data points to solve the domain adaptation problem.
△ Less
Submitted 15 January, 2019; v1 submitted 28 September, 2018;
originally announced October 2018.
-
The s-multiplicity function of 2x2-determinantal rings
Authors:
Lance Edward Miller,
William D. Taylor
Abstract:
This article generalizes joint work of the first author and I. Swanson to the $s$-multiplicity recently introduced by the second author. For $k$ a field and $X = [ x_{i,j}]$ a $m \times n$-matrix of variables, we utilize Gröbner bases to give a closed form the length $λ( k[X] / (I_2(X) + \mathfrak{m}^{ \lceil sq \rceil} + \mathfrak{m}^{[q]} ))$ where $s \in \mathbf{Z}[p^{-1}]$, $q$ is a sufficient…
▽ More
This article generalizes joint work of the first author and I. Swanson to the $s$-multiplicity recently introduced by the second author. For $k$ a field and $X = [ x_{i,j}]$ a $m \times n$-matrix of variables, we utilize Gröbner bases to give a closed form the length $λ( k[X] / (I_2(X) + \mathfrak{m}^{ \lceil sq \rceil} + \mathfrak{m}^{[q]} ))$ where $s \in \mathbf{Z}[p^{-1}]$, $q$ is a sufficiently large power of $p$, and $\mathfrak{m}$ is the homogeneous maximal ideal of $k[X]$. This shows this length is always eventually a {\it polynomial} function of $q$ for all $s$.
△ Less
Submitted 13 October, 2017; v1 submitted 21 August, 2017;
originally announced August 2017.
-
On Lower Bounds for $s$-multiplicities
Authors:
Lance Edward Miller,
William D. Taylor
Abstract:
A recent continuous family of multiplicity functions on local rings was introduced by Taylor interpolating between Hilbert-Samuel and Hilbert-Kunz multiplicities. The obvious goal is to use this as a tool for deforming results from one to the other. The values in this family which do not match these classic variants however are not known yet to be well-behaved. This article explores lower bounds f…
▽ More
A recent continuous family of multiplicity functions on local rings was introduced by Taylor interpolating between Hilbert-Samuel and Hilbert-Kunz multiplicities. The obvious goal is to use this as a tool for deforming results from one to the other. The values in this family which do not match these classic variants however are not known yet to be well-behaved. This article explores lower bounds for these intermediate multiplicities as well as gives evidence for analogies of the Watanabe-Yoshida minimality conjectures for unmixed singular rings.
△ Less
Submitted 21 August, 2017;
originally announced August 2017.
-
Machine learning for neural decoding
Authors:
Joshua I. Glaser,
Ari S. Benjamin,
Raeed H. Chowdhury,
Matthew G. Perich,
Lee E. Miller,
Konrad P. Kording
Abstract:
Despite rapid advances in machine learning tools, the majority of neural decoding approaches still use traditional methods. Modern machine learning tools, which are versatile and easy to use, have the potential to significantly improve decoding performance. This tutorial describes how to effectively apply these algorithms for typical decoding problems. We provide descriptions, best practices, and…
▽ More
Despite rapid advances in machine learning tools, the majority of neural decoding approaches still use traditional methods. Modern machine learning tools, which are versatile and easy to use, have the potential to significantly improve decoding performance. This tutorial describes how to effectively apply these algorithms for typical decoding problems. We provide descriptions, best practices, and code for applying common machine learning methods, including neural networks and gradient boosting. We also provide detailed comparisons of the performance of various methods at the task of decoding spiking activity in motor cortex, somatosensory cortex, and hippocampus. Modern methods, particularly neural networks and ensembles, significantly outperform traditional approaches, such as Wiener and Kalman filters. Improving the performance of neural decoding algorithms allows neuroscientists to better understand the information contained in a neural population and can help advance engineering applications such as brain machine interfaces.
△ Less
Submitted 3 July, 2020; v1 submitted 2 August, 2017;
originally announced August 2017.
-
Witt differentials in the h-topology
Authors:
Veronika Ertl,
Lance Edward Miller
Abstract:
Recent important and powerful frameworks for the study of differential forms by Huber-Joerder and Huber-Kebekus-Kelly based on Voevodsky's h-topology have greatly simplified and unified many approaches. This article builds towards the goal of putting Illusie's de Rham-Witt complex in the same framework by exploring the h-sheafification of the rational de Rham-Witt differentials. Assuming resolutio…
▽ More
Recent important and powerful frameworks for the study of differential forms by Huber-Joerder and Huber-Kebekus-Kelly based on Voevodsky's h-topology have greatly simplified and unified many approaches. This article builds towards the goal of putting Illusie's de Rham-Witt complex in the same framework by exploring the h-sheafification of the rational de Rham-Witt differentials. Assuming resolution of singularities in positive characteristic one recovers a complete cohomological h-descent for all terms of the complex. We also provide unconditional h-descent for the global sections and draw the expected conclusions. The approach is to realize that a certain right Kan extension introduced by Huber-Kebekus-Kelly takes the sheaf of rational de Rham-Witt forms to a qfh-sheaf. As such, we state and prove many results about qfh-sheaves which are of independent interest.
△ Less
Submitted 17 October, 2018; v1 submitted 26 March, 2017;
originally announced March 2017.
-
Test ideals in rings with finitely generated anti-canonical algebras
Authors:
Alberto Chiecchio,
Florian Enescu,
Lance Edward Miller,
Karl Schwede
Abstract:
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$-jum** numbers of $τ(X, a^t)$ are discrete an…
▽ More
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$-jum** 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.
△ Less
Submitted 31 March, 2016; v1 submitted 19 December, 2014;
originally announced December 2014.
-
Witt-Burnside functor attached to $\mathbf{Z}_p^2$ and $p$-adic Lipschitz continuous functions
Authors:
Lance Edward Miller,
Benjamin Steinhurst
Abstract:
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…
▽ More
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$.
△ Less
Submitted 8 June, 2014;
originally announced June 2014.
-
The $F$-pure threshold of a determinantal ideal
Authors:
Lance Edward Miller,
Anurag K. Singh,
Matteo Varbaro
Abstract:
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.
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.
△ Less
Submitted 18 December, 2013; v1 submitted 24 October, 2012;
originally announced October 2012.
-
Deformation of $F$-injectivity and local cohomology
Authors:
Jun Horiuchi,
Lance Edward Miller,
Kazuma Shimomoto
Abstract:
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.
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.
△ Less
Submitted 22 August, 2013; v1 submitted 12 October, 2012;
originally announced October 2012.
-
Hilbert-Kunz functions of 2 x 2 determinantal rings
Authors:
Lance Edward Miller,
Irena Swanson
Abstract:
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 bas…
▽ More
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$.
△ Less
Submitted 11 October, 2012; v1 submitted 5 June, 2012;
originally announced June 2012.
-
Molecular Structures in T=1 states of 10B
Authors:
A. N. Kuchera,
G. V. Rogachev,
V. Z. Goldberg,
E. D. Johnson,
S. Cherubini,
M. Gulino,
M. La Cognata,
L. Lamia,
S. Romano,
L. E. Miller,
R. G. Pizzone,
G. G. Rapisarda,
M. L. Sergi,
C. Spitaleri,
R. E. Tribble,
W. H. Trzaska,
A. Tumino
Abstract:
Multi-center (molecular) structures can play an important role in light nuclei. The highly deformed rotational band in 10Be with band head at 6.179 MeV has been observed recently and suggested to have an exotic alpha:2n:alpha configuration. A search for states with alpha:pn:alpha two-center molecular configurations in 10B that are analogous to the states with alpha:2n:alpha structure in 10Be has b…
▽ More
Multi-center (molecular) structures can play an important role in light nuclei. The highly deformed rotational band in 10Be with band head at 6.179 MeV has been observed recently and suggested to have an exotic alpha:2n:alpha configuration. A search for states with alpha:pn:alpha two-center molecular configurations in 10B that are analogous to the states with alpha:2n:alpha structure in 10Be has been performed. The T=1 isobaric analog states in 10B were studied in the excitation energy range of E=8.7-12.1 MeV using the reaction 1H(9Be,alpha)6Li*(T=1, 0+, 3.56 MeV). An R-matrix analysis was used to extract parameters for the states observed in the (p,alpha) excitation function. Five T=1 states in 10B have been identified. The known 2+ and 3- states at 8.9 MeV have been observed and their partial widths have been measured. The spin-parities and partial widths for three higher lying states were determined. Our data support theoretical predictions that the 2+ state at 8.9 MeV (isobaric analog of the 7.54 MeV state in 10Be) is a highly clustered state and can be identified as a member of the alpha:np:alpha rotational band. The next member of this band, the 4+ state, has not been found. A very broad 0+ state at 11 MeV that corresponds to pure alpha+6Li(0+,T=1) configuration is suggested and it might be related to similar structures found in 12C, 18O and 20Ne.
△ Less
Submitted 14 November, 2011;
originally announced November 2011.
-
A Witt-Burnside ring attached to a pro-dihedral group
Authors:
Lance Edward Miller
Abstract:
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…
▽ More
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.
△ Less
Submitted 11 October, 2012; v1 submitted 10 November, 2011;
originally announced November 2011.
-
Log canonical thresholds, F-pure thresholds, and non-standard extensions
Authors:
Bhargav Bhatt,
Daniel J. Hernandez,
Lance E. Miller,
Mircea Mustata
Abstract:
We present a new relation between an invariant of singularities in characteristic zero (the log canonical threshold) and an invariant of singularities defined via the Frobenius morphism in positive characteristic (the F-pure threshold). We show that the set of limit points of sequences of the form (c_p), where c_p is the F-pure threshold of an ideal on an n-dimensional smooth variety in characteri…
▽ More
We present a new relation between an invariant of singularities in characteristic zero (the log canonical threshold) and an invariant of singularities defined via the Frobenius morphism in positive characteristic (the F-pure threshold). We show that the set of limit points of sequences of the form (c_p), where c_p is the F-pure threshold of an ideal on an n-dimensional smooth variety in characteristic p, coincides with the set of log canonical thresholds of ideals on n-dimensional smooth varieties in characteristic zero. We prove this by combining results of Hara and Yoshida with non-standard constructions.
△ Less
Submitted 1 June, 2011;
originally announced June 2011.
-
On the structure of Witt-Burnside rings attached to pro-p groups
Authors:
Lance Edward Miller
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 7 August, 2013; v1 submitted 23 March, 2011;
originally announced March 2011.
-
Semi-log canonical vs $F$-pure singularities
Authors:
Lance Edward Miller,
Karl Schwede
Abstract:
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 generall…
▽ More
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.
△ Less
Submitted 5 October, 2011; v1 submitted 5 January, 2011;
originally announced January 2011.