Related papers: On the behavior of test ideals under finite morphi…
We develop the theory of trace modules up to isomorphism and explore the relationship between preenveloping classes of modules and the property of being a trace module, guided by the question of whether a given module is trace in a given…
We study properties of a group, abelian group, ring, or monoid $B$ which (a) guarantee that every homomorphism from an infinite direct product $\prod_I A_i$ of objects of the same sort onto $B$ factors through the direct product of finitely…
A Noetherian reduced ring $A$ is called a birational derived splinter if for all proper birational maps $X\to\operatorname{Spec}(A)$, the canonical map $A\to Rf_*\mathcal{O}_X$ splits. In equal characteristic zero this property…
Let X\subset PP^n be a projective scheme over a field, and let phi:X --> Y be a finite morphism. Our main result is a formula in terms of global data for the maximum of the Castelnuovo-Mumford regularity of the fibers of \phi, considered as…
Let $(R, \mathfrak{m})$ be a regular local ring of characteristic $p > 0$. Among all proper ideals $\mathfrak{a}\subseteq R$ with a fixed order of vanishing $\text{ord}_{\mathfrak{m}}(\mathfrak{a})$, we classify the ideals for which the…
If $S$ is a scheme of characteristic $p$, we define an $F$-zip over $S$ to be a vector bundle with two filtrations plus a collection of semi-linear isomorphisms between the graded pieces of the filtrations. For every smooth proper morphism…
For a finite group G of Lie type and a prime p, we compare the automorphism groups of the fusion and linking systems of G at p with the automorphism group of G itself. When p is the defining characteristic of G, they are all isomorphic,…
In this note, we embed the set of all Fricke characters of a free group F -- the set of all characters of representations of F into SL(2,C) -- as an irreducible affine variety V in complex affine space of dimension 2^n-1. Using the Horowitz…
Finding necessary and sufficient conditions for isomorphism between two semigroups of order-preserving transformations over an infinite domain with restricted range was an open problem in \cite{FHQS}. In this paper, we show a proof strategy…
Given an ideal J on a smooth variety in characteristic zero, we estimate the F-jumping numbers of the reductions of J to positive characteristic in terms of the jumping numbers of J and the characteristic. We apply one of our estimates to…
The famous Jacobian conjecture asks if a morphism $f:K[x,y]\to K[x,y]$ having an invertible Jacobian is invertible ($K$ is a characteristic zero field). We show that if one of the following three equivalent conditions is satisfied, then $f$…
Let $A$ be a square-free abelian variety defined over a number field $K$. Let $S$ be a density one set of prime ideals $\mathfrak{p}$ of $\mathcal{O}_K$. A famous theorem of Faltings says that the Frobenius polynomials…
In this paper, using ultra-Frobenii, we introduce a variant of Schoutens' non-standard tight closure, ultra-tight closure, on ideals of a local domain $R$ essentially of finite type over $\mathbb{C}$. We prove that the ultra-test ideal…
Let $(\mathcal{O}_n, \mathfrak{m})$ denote the ring of germs of holomorphic functions $\mathbb{C}^n\to \mathbb{C}$, and let $I\subseteq \mathcal{O}_n$ be an $\mathfrak{m}$-primary ideal. Demailly and Pham showed that $\mathrm{lct}(I) \geq…
We present a probabilistic algorithm to test if a homogeneous polynomial ideal $I$ defining a scheme $X$ in $\mathbb{P}^n$ is radical using Segre classes and other geometric notions from intersection theory. Its worst case complexity…
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…
We study $F$-signature under proper birational morphisms $\pi : Y \to X$, showing that $F$-signature strictly increases for small morphisms or if $ K_Y \geq \pi ^*K_X$. In certain cases, we can even show that the $F$-signature of $Y$ is at…
Let $k$ be a field, $X$ a connected scheme proper over $k$, $D\subsetneq X$ an ample effective connected divisor, $x\in D(k)$. For Tannakian categories $\mathcal{C}_X$ and $\mathcal{C}_D$ whose objects consist of vector bundles on $X$ and…
The two main approaches to the study of irreducible representations of orders (via traces and Poisson orders) have so far been applied in a completely independent fashion. We define and study a natural compatibility relation between the two…
Let S and R be the rings of regular functions on affine algebraic varieties over a field of characteristic 0, R be embedded as a subring in S, and F : S --> S be an endomorphism such that F(R) subset R. Suppose that every ideal of height 1…