Related papers: The FrobeniusThresholds package for Macaulay2
In this note, we consider a corollary of the ACC conjecture for F-pure thresholds. Specifically, we show that the F-pure threshold (and more generally, the test ideals) associated to a polynomial with an isolated singularity are locally…
Local rings are ubiquitous in algebraic geometry. Not only are they naturally meaningful in a geometric sense, but also they are extremely useful as many problems can be attacked by first reducing to the local case and taking advantage of…
In this paper we introduce the concept of $\mathit{integral}$ $\mathit{Frobenius}$ to formulate an integral analogue of the classical compatibility condition linking the collection of rational Tate modules $V_\lambda(A)$ arising from…
Let $q$ be an odd prime power, $a \in \mathbb{F}_q[T]$ and $u \in \mathbb{F}_q^*$. Provided $q \geq 17$, we compute the average number of primes $p$ for which the characteristic polynomial of the Frobenius at $p$ is $X^2 - aX + up$ over a…
We study atomic measures on $[0,1]$ which are invariant both under multiplication by $2\mod 1$ and by $3\mod 1$, since such measures play an important role in deciding Furstenberg's $\times 2, \times 3$ conjecture. Our specific focus was…
A Frobenius difference field is an algebraically closed field of characteristic $p>0$, enriched with a symbol for $x \mapsto x^{p^m}$. We study a sentence or formula in the language of fields with a distinguished automorphism, interpreted…
We use Weierstrass Point Theory and Frobenius orders to prove the uniqueness (up to isomorphism) of some optimal curves.
We give a new definition of a Frobenius structure on an algebra object in a monoidal category, generalising Frobenius algebras in the category of vector spaces. Our definition allows Frobenius forms valued in objects other than the unit…
We provide two families of algorithms to compute characteristic polynomials of endomorphisms and norms of isogenies of Drinfeld modules. Our algorithms work for Drinfeld modules of any rank, defined over any base curve. When the base curve…
We first relate an approximate $n^{th}$-order left derivative of $s(R, f^t)$ at the F-pure threshold $c$ to the F-splitting ratio $r_F(R, f^c)$. Next, we apply the methods developed by Monsky and Teixeira in their investigation of syzygy…
The a-invariant, the F-pure threshold, and the diagonal F-threshold are three important invariants of a graded K-algebra. Hirose, Watanabe, and Yoshida have conjectured relations among these invariants for strongly F-regular rings. In this…
Symbolic powers are a classical commutative algebra topic that relates to primary decomposition, consisting, in some circumstances, of the functions that vanish up to a certain order on a given variety. However, these are notoriously…
In this paper we present a condition on a local Cohen-Macaulay F-injective ring of positive characteristic $p > 2$ which implies that its top local cohomology module with support in the maximal ideal has finitely many Frobenius compatible…
We calculate the threshold singularities in one-dimensional models using the universal low-energy formfactors obtained in the framework of the non-linear Luttinger liquid model. We find the reason why the simplified picture of the impurity…
In these notes we will survey recent results on various finitary approximation properties of infinite groups. We will discuss various restrictions on groups that are approximated for example by finite solvable groups or finite-dimensional…
We compute averages of products and ratios of characteristic polynomials associated with Orthogonal, Unitary, and Symplectic Ensembles of Random Matrix Theory. The pfaffian/determinantal formulas for these averages are obtained, and the…
The problem of finding the number of ordered commuting tuples of elements in a finite group is equivalent to finding the size of the solution set of the system of equations determined by the commutator relations that impose commutativity…
For multi-variable finite measure spaces, we present in this paper a new framework for non-orthogonal $L^2$ Fourier expansions. Our results hold for probability measures $\mu$ with finite support in $\mathbb{R}^d$ that satisfy a certain…
We prove optimal sparsity oracle inequalities for the estimation of covariance matrix under the Frobenius norm. In particular we explore various sparsity structures on the underlying matrix.
In this paper, we present HyperPrecision, a Mathematica package for high-precision numerical evaluation of general Horn-type multivariate hypergeometric functions and their Laurent expansions in a small parameter $\epsilon$. Such functions…