University of Arkansas

(with Alberto Chiecchio )

Submitted.

Schwede introduced a canonical linear system defined by the action of Frobenius on global sections. We consider a derived variation in hopes of providing more tools to study these canonical linear systems. We classify when such systems are complete for curves and reprove of global generation in positive characteristic based on vanishing of this derived functor.

(with William D. Taylor )

submitted.

We explore lower bounds for s-multiplicity, formulate an s-analogue of the Watanabe-Yoshida conjecture and prove it in dimensions at most three and for complete intersections.

(with Karl Schwede )

Journal of Algebra, 349, (2012), 150-164.

If X is Frobenius split, then so is its normalization and we explore conditions which imply the converse. While this does not occur generally, we show it happens if certain tameness conditions are satisfied on the induced map on the normalization of a scheme from a Cartier linear 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.

(with Bhargav Bhatt, Daniel Hernandez, Mircea Mustata )

Algebra and Number Theory, 6-7, (2012), 1459-1482.

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.

(with Irena Swanson )

Illinois Journal of Mathematics, 57, 1, (2013), 251-277.

We compute the Hilbert-Kunz functions of of ideals of 2 minors of generic matrices via recursion and Groebner basis techniques.

(with Anurag K. Singh , Matteo Varbaro )

Proceedings of the 12th ALGA symposium, Bulletin of the Brazilian Mathematical Society, 45, (2014), 767-775.

We show that the F-pure and log canonical thresholds of determinantal varieties agree.

(with Jun Horiuchi, Kazuma Shimomoto )

Indiana University Mathematics Journal, 63, 4, (2014) 1139-1157.

We give a sufficient condition for F-injectivity to deform in terms of local cohomology. This includes an appendix written by Karl Schwede and Anurag Singh.

(with William D. Taylor )

Proceedings of the American Mathematical Society, 146, 7, (2018), 2797-2810.

We compute the s-multiplicity of ideals of 2 minors of generic matrices via recursion and Groebner basis techniques.

(with Alberto Chiecchio, Florian Enescu , Karl Schwede )

Journal of the Institute of Mathematics of Jussieu, 17, 1, (2018), 171-206.

We generalize many theorems about test ideals holding for Q-Gorenstein pairs to the setting of finitely generated anti-canonical algebras. This includes showing the test ideal can be described via alterations, splinters are strongly F-regular, and extend the Hara-Yoshida correspondence relating multiplier and test ideals under reduction.

(with Veronika Ertl )

Submitted.

We prove descent statements for the de Rham-Witt complex in the h-topology. These mirror results by Huber-Joerder and Huber-Kebekus-Kelly for Kaehler differentials.

(with Benjamin Steinhurst )

to appear Journal of Commutative Algebra

We give a concrete interpretation of a quotient of a Witt-Burnside ring in terms of p-adic Lipschitz contnuous functions. We then use this to show that in addition to being non-noetherian rings, a particular class of Witt-Burnside rings are also infinite dimensional.

International Journal of Number Theory, 9, 3, (2013), 747-757.

This paper explores the Witt-Burnside functor attached to D_{2^\infty} on a field of characteristic 2.

Documenta Mathematica, 19, (2014), 1291-1316.

The classical Witt vectors are a ubiquitous object in algebra and number theory. They arise as a functorial construction which takes perfect fields k of characteristic p to p-adically complete discrete valuation rings of characteristic 0 with residue field k and are universal in that sense. Dress and Siebeneicher generalized this construction by producing a functor W_G attached to any profinite group G. The classical case corresponds to choosing G to be the additive group of p-adic numbers. In this work we examine the ring structure of some examples of W_G(k) where G is a pro-p group and k is a field of characteristic p. We will show that the structure is surprisingly more complicated than the classical case.

(with Adam Gamzon )

International Journal of Number Theory, 14, 5, (2018), 1505-1524.

We establish new cases of non-existence of irreducible two dimensional continuous Galois representations modulo a prime p. This builds on previous work of Moon-Taguchi and Sengun and slightly improves estimates of Poitou.

The need for accuracy in computation has never been a more important problem than it is now as high performance computing is employed in more and more domains. Computataional geometry handles the traditional question of how to computationally model objects which agree with our understanding of their geometry. Current applications have demanded more topological considerations of current computational algorithms, asking how can we give a piecewise linear approximation to a manifold that is not only "close" but also topologically the same.

(with E.L.F. Moore, Thomas J. Peters, Alexander Russell )

Lecture Notes in Computer Science, 5045,(2008) 149-161.

The unresolved subtleties of floating point computations in geometric modeling become considerably more difficult in animations and scientific visualizations. Some emerging solutions based upon topological considerations for curves will be presented. A novel geometric seeding algorithm for Newtonâ€™s method was used in experiments to determine feasible support for these visualization applications.

(with Kirk Jordan, E.L.F. Moore, Thomas J. Peters, Alexander Russell )

Theoretical Computer Science, 405, (2008) 41-49.

The art of animation relies upon modeling objects that change over time. Formal topological guarantees are often lacking and can lead to significant flaws. Here, we introduce a modified approach that integrates topological rigor with a continuous model of time.

(with Kirk Jordan, Thomas J. Peters, Alexander Russell )

Topology-based Methods in Visualization, Springer, (2011), 1-13.

Ambient isotopic approximations are fundamental for correct representation of the embedding of geometric objects in real 3-space, with a detailed geometric construction given here. Using that geometry, an algorithm is presented for efficient update of these isotopic approximations for dynamic visualization with molecular simulations.

(with Tim Hannan, Alex Pogel )

Conceptual Structures at Work: Contributions to the 12th ICCS, (2004), 1-15.

Concept lattice layout techniques usually refer exclusively to order structure. In some applications (e.g. epidemiology) the concept lattice must express both the order structure and the support structure. We propose a method that can use this additional information to help draw the lattice by introducing a weight function.

(with James Abello, Alex Pogel )

Journal of Universal Computer Science, 10, 8, (2004) 934-954.

We apply rooted level aware breadth first search to partition graph-connected formal contexts and examine some of the consequences for the corresponding concept lattices. We discuss potential uses of the results in data mining applications that employ concept lattices, specifically those involving association rules.

(with Eugene Spiegel )

Communications in Algebra, 38, 3, (2010), 953-963.

If X is a bounded countable locally finite partially ordered set, R an integral domain and G a group having the property that no non-identity element has order a unit of R, then it is shown that any G-grading of the incidence algebra I(X,R) is equivalent to a good grading. Further, an example is given showing that not all group gradings of incidence algebras are equivalent to good gradings.