Related papers: An algorithm for computing compatibly Frobenius sp…
We survey results produced from the interaction between methods in prime characteristic and combinatorial commutative algebra. We showcase results for edge ideals, toric varieties, Stanley-Reisner rings, and initial ideals that were proven…
Recently, it has been shown that the statistical manifold, related to exponential families, has a Frobenius manifold structure and appears as the fourth class of Frobenius manifolds. It has a structure of a projective manifold over a rank…
We study the structure of Frobenius splittings (and generalizations thereof) induced on compatible subvarieties $W \subseteq X$. In particular, if the compatible splitting comes from a compatible splitting of a divisor on some birational…
We show that the fundamental class in K-homology of a Frobenius split scheme can be computed as a certain alternating sum over irreducible varieties, with the coefficients computed using M\"obius inversion on a certain poset. If G/P is a…
Let $R$ be a commutative Noetherian ring of prime characteristic $p$. The main goal of this paper is to study in some detail when \[ \overline{W^R}:=\{\mathfrak{p}\in\operatorname{Spec} (R):\ \mathcal{F}^{E_{\mathfrak{p}}}\text{ is finitely…
We derive transformation rules for test ideals and $F$-singularities under an arbitrary finite surjective morphism $\pi : Y \to X$ of normal varieties in prime characteristic $p > 0$. The main technique is to relate homomorphisms $F_{*}…
We exhibit basic algebro-geometric results on the formal model of semi-infinite flag varieties and its Schubert varieties over an algebraically closed field $\mathbb K$ of characteristic $\neq 2$ from scratch. We show that the formal model…
Delorme suggested that the set of all complete intersection numerical semigroups can be computed recursively. We have implemented this algorithm, and particularized it to several subfamilies of this class of numerical semigroups: free and…
Expanding on recent results of another an algorithm is presented that provides solution to the Frobenius Coin Problem in worst case O(n^2) in the magnitude of the largest denomination.
We study the relative Frobenius map associated with a map of derived commutative rings over a field of positive characteristic. As part of this, we examine a relative analog of perfectness and construct a relative inverse limit perfection…
In this paper we consider Artinian modules over power series rings endowed with a Frobenius map. We describe a method for finding the set of all prime annihilators of submodules which are preserved by the given Frobenius map and on which…
Let K be a field equipped with a valuation. Tropical varieties over K can be defined with a theory of Gr{\"o}bner bases taking into account the valuation of K. While generalizing the classical theory of Gr{\"o}bner bases, it is not clear…
In this paper, as a main theorem, we prove that the decision version of the Frobenius problem is Sigma_2^P-complete under Karp reductions.Given a finite set A of coprime positive integers, we call the greatest integer that cannot be…
This paper describes a method for computing all F-pure ideals for a given Cartier map of a polynomial ring over a finite field.
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 introduce a decomposition of associative algebras into a tensor product of cyclic modules. This produces a means to encode a basis with logarithmic information and thus extends the reach of calculation with large algebras. Our technique…
Let $\mathbb{F}_q[T]$ be the polynomial ring over a finite field $\mathbb{F}_q$. We study the endomorphism rings of Drinfeld $\mathbb{F}_q[T]$-modules of arbitrary rank over finite fields. We compare the endomorphism rings to their subrings…
Let R > S be finite Frobenius rings for which there exists a trace map T from R onto S as left S modules. Let C:= {x -> T(ax + bf(x)) : a,b in R}. Then C is an S-linear subring-subcode of a left linear code over R. We consider functions f…
We develop filtered-graded techniques for algebras in monoidal categories with the main goal of establishing a categorical version of Bongale's 1967 result: A filtered deformation of a Frobenius algebra over a field is Frobenius as well.…
This manuscript describes a technique for computing partial rank-revealing factorizations, such as, e.g, a partial QR factorization or a partial singular value decomposition. The method takes as input a tolerance $\varepsilon$ and an…