Functorial test modules

In this article we introduce a slight modification of the definition of test modules which is an additive functor τ on the category of coherent Cartier modules. We show that in many situations this modification agrees with the usual definition of test modules. Furthermore, we show that for a smooth morphism $f:X\to Y$ of F-finite schemes one has a natural isomorphism $f^{!}°\tau ?\tau °f^{!}$. If f is quasi-finite and of finite type we construct a natural transformation $\tau °f_{?}\to f_{?}°\tau$.     

Gaps in the number of generators of monomial Togliatti systems

Let $I_{d,n}?k[x_0,?,x_n]$ be a minimal monomial Togliatti system of forms of degree d. In [4], Mezzetti and Miró-Roig proved that the minimal number of generators $\mu (I_{d,n})$ of $I_{d,n}$ lies in the interval $[2n+1,\left(\begin{array}{c}n+d?1\\ n?1\end{array}\right)]$. In this paper, we prove that for $n\ge 4$ and $d\ge 3$, the integer values in $[2n+3,3n?1]$ cannot be realized as the number of minimal generators of a minimal monomial Togliatti system. We classify minimal monomial Togliatti systems $I_{d,n}?k[x_0,?,x_n]$ of forms of degree d with $\mu (I_{d,n})=2n+2$ or 3n (i.e. with the minimal number of generators reaching the border of the non-existence interval). Finally, we prove that for $n=4$, $d\ge 3$ and $\mu \in [9,\left(\begin{array}{c}d+3\\ 3\end{array}\right)]?\{11\}$ there exists a minimal monomial Togliatti system $I_{d,n}?k[x_0,?,x_n]$ of forms of degree d with $\mu (I_{n,d})=\mu$.     

Maximal curves and Tate-Shafarevich results for quartic and sextic twists

We study elliptic surfaces corresponding to an equation of the specific type $y^2=x^3+f(t)x$, defined over the finite field ${\mathbb{F}}_q$ for a prime power $q\equiv 3\mathrm{mod}4$. It is shown that if $s^4=f(t)$ defines a curve that is maximal over ${\mathbb{F}}_{q^2}$ then the rank of the group of sections defined over ${\mathbb{F}}_q$ on the elliptic surface is determined in terms of elementary properties of the rational function $f(t)$. Similar results are shown for elliptic surfaces given by $y^2=x^3+g(t)$ using prime powers $q\equiv 5\mathrm{mod}6$ and curves $s^6=g(t)$. Finally, for each of the forms used here, existence of curves with the property that they are maximal over ${\mathbb{F}}_{q^2}$ is discussed, as well as various examples.     

Embeddings of canonical modules and resolutions of connected sums

For an ideal $I_{m,n}$ generated by all square-free monomials of degree m in a polynomial ring R with n variables, we obtain a specific embedding of a canonical module of $R/I_{m,n}$ to $R/I_{m,n}$ itself. The construction of this explicit embedding depends on a minimal free R-resolution of an ideal generated by $I_{m,n}$. Using this embedding, we give a resolution of connected sums of several copies of certain Artin $\mathsf{k}$-algebras where $\mathsf{k}$ is a field.     

Divisibility of L-polynomials for a family of Artin–Schreier curves

In this paper we consider the curves $C_k^{(p,a)}:y^p?y=x^{p^k+1}+ax$ defined over ${\mathbb{F}}_p$ and give a positive answer to a conjecture about a divisibility condition on L-polynomials of the curves $C_k^{(p,a)}$. Our proof involves finding an exact formula for the number of ${\mathbb{F}}_{p^n}$-rational points on $C_k^{(p,a)}$ for all n, and uses a result we proved elsewhere about the number of rational points on supersingular curves.     

Sharp non-asymptotic concentration inequalities for the approximation of the invariant distribution of a diffusion

Let ${\left(Y_t\right)}_{t\ge 0}$ be an ergodic diffusion with invariant distribution $\nu$. Consider the empirical measure ${\nu }_n≔{\left({\sum }_{k=1}^n{\gamma }_k\right)}^{-1}{\sum }_{k=1}^n{\gamma }_k{\delta }_{X_{k-1}}$ where ${\left(X_k\right)}_{k\ge 0}$ is an Euler scheme with decreasing steps ${\left({\gamma }_k\right)}_{k\ge 0}$ which approximates ${\left(Y_t\right)}_{t\ge 0}$. Given a test function $f$, we obtain sharp concentration inequalities for ${\nu }_n\left(f\right)-\nu \left(f\right)$ which improve the results in Honoré et al. (2019). Our hypotheses on the test function $f$ cover many real applications: either $f$ is supposed to be a coboundary of the infinitesimal generator of the diffusion, or $f$ is supposed to be Lipschitz.     

Pluriharmonic Clark measures and analogs of model spaces

Let $B_d$ denote the unit ball of ${\mathbb{C}}^d$, $d\ge 1$. Given an inner function $I:B_d\to B_1$, we study the corresponding family ${\sigma }_{\alpha }[I]$, $\alpha \in ?B_1$, of pluriharmonic Clark measures on the complex sphere. We introduce and investigate related unitary operators $U_{\alpha }$ mapping analogs of model spaces onto $L^2({\sigma }_{\alpha })$, $\alpha \in ?B_1$. In particular, we explicitly characterize the set of $U_{\alpha }^{?}f$ such that $f{\sigma }_{\alpha }$ is a pluriharmonic measure.     

On the proportion of locally soluble superelliptic curves

We investigate the proportion of superelliptic curves that have a ${\mathbb{Q}}_p$ point for every place p of $\mathbb{Q}$. We show that this proportion is positive and given by the product of local densities, we provide lower bounds for this proportion in general, and for superelliptic curves of the form $y^3=f(x,z)$ for an integral binary form f of degree 6, we determine this proportion to be 96.94%. More precisely, we give explicit rational functions in p for the proportion of such curves over ${\mathbb{Z}}_p$ having a ${\mathbb{Q}}_p$-point.     

Fractional chromatic numbers of tensor products of three graphs

The tensor product $(G_1,G_2,G_3)$ of graphs $G_1$, $G_2$ and $G_3$ is defined by $V(G_1,G_2,G_3)=V\left(G_1\right)\times V\left(G_2\right)\times V\left(G_3\right)$and $E(G_1,G_2,G_3)=\left\{\left((u_1,u_2,u_3),(v_1,v_2,v_3)\right):\left|\{i:(u_i,v_i)\in E\left(G_i\right)\}\right|\ge 2\right\}.$Let ${\chi }_f\left(G\right)$ be the fractional chromatic number of a graph $G$. In this paper, we prove that if one of the three graphs $G_1$, $G_2$ and $G_3$ is a circular clique, ${\chi }_f(G_1,G_2,G_3)=min\{{\chi }_f\left(G_1\right){\chi }_f\left(G_2\right),{\chi }_f\left(G_1\right){\chi }_f\left(G_3\right),{\chi }_f\left(G_2\right){\chi }_f\left(G_3\right)\}.$     

Maximality of Ciani curves over finite fields

In this paper, we will study Ciani curves in characteristic $p\ge 3$, in particular their standard forms $C:x^4+y^4+z^4+r{x}^2{y}^2+s{y}^2{z}^2+t{z}^2{x}^2=0$. It is well-known that any Ciani curve is a non-hyperelliptic curve of genus 3, and its Jacobian variety is isogenous to the product of three elliptic curves. As a main result, we will show that if C is superspecial, then $r,s,t$ belong to ${\mathbb{F}}_{p^2}$ and C is maximal or minimal over ${\mathbb{F}}_{p^2}$. Moreover, in this case we will provide a simple criterion in terms of $r,s,t,p$ that tells whether C is maximal (resp. minimal) over ${\mathbb{F}}_{p^2}$.     

The symbolic defect of an ideal

Let I be a homogeneous ideal of $\mathbb{k}[x_0,\dots ,x_n]$. To compare $I^{(m)}$, the m-th symbolic power of I, with $I^m$, the regular m-th power, we introduce the m-th symbolic defect of I, denoted $\mathrm{sdefect}(I,m)$. Precisely, $\mathrm{sdefect}(I,m)$ is the minimal number of generators of the R-module $I^{(m)}/I^m$, or equivalently, the minimal number of generators one must add to $I^m$ to make $I^{(m)}$. In this paper, we take the first step towards understanding the symbolic defect by considering the case that I is either the defining ideal of a star configuration or the ideal associated to a finite set of points in ${\mathbb{P}}^2$. We are specifically interested in identifying ideals I with $\mathrm{sdefect}(I,2)=1$.     

Invariant polynomials on truncated multicurrent algebras

We construct invariant polynomials on truncated multicurrent algebras, which are Lie algebras of the form $\mathfrak{g}{?}_{\mathbb{F}}\mathbb{F}[t_1,\dots ,t_{?}]/I$, where $\mathfrak{g}$ is a finite-dimensional Lie algebra over a field $\mathbb{F}$ of characteristic zero, and I is a finite-codimensional ideal of $\mathbb{F}[t_1,\dots ,t_{?}]$ generated by monomials. In particular, when $\mathfrak{g}$ is semisimple and $\mathbb{F}$ is algebraically closed, we construct a set of algebraically independent generators for the algebra of invariant polynomials. In addition, we describe a transversal slice to the space of regular orbits in $\mathfrak{g}{?}_{\mathbb{F}}\mathbb{F}[t_1,\dots ,t_{?}]/I$. As an application of our main result, we show that the center of the universal enveloping algebra of $\mathfrak{g}{?}_{\mathbb{F}}\mathbb{F}[t_1,\dots ,t_{?}]/I$ acts trivially on all irreducible finite-dimensional representations provided I has codimension at least two.