http://arxiv.org/api/LfpEhQl7GIyNHfivDdpgjCJyRMs 2025-04-22T00:00:00-04:00 13629 120 15 http://arxiv.org/abs/2503.03632v2 2025-03-25T19:26:22Z 2025-03-05T16:11:32Z Rare Flat Bands for Periodic Graph Operators As a corollary of our main results, we prove that for any connected $\mathbb{Z}^d$-periodic graph, when edge weights and potentials are treated as variables, the corresponding periodic graph operators generically (i.e., outside a proper algebraic subset of the variable space) do not have flat bands. Matthew Faust Wencai Liu 28 pages, 1 figure http://arxiv.org/abs/2308.03155v3 2025-03-25T17:39:46Z 2023-08-06T16:19:14Z Applications of perverse sheaves in commutative algebra The goal of this paper is to explain how basic properties of perverse sheaves sometimes translate via Riemann-Hilbert correspondences (in both characteristic $0$ and characteristic $p$) to highly non-trivial properties of singularities, especially their local cohomology. Along the way, we develop a theory of perverse $\mathbf{F}_p$-sheaves on varieties in characteristic $p$, expanding on previous work by various authors, and including a strong version of the Artin vanishing theorem. Bhargav Bhatt Manuel Blickle Gennady Lyubeznik Anurag K. Singh Wenliang Zhang Updated with numerous improvements from the referees comments; to appear in Crelles http://arxiv.org/abs/2312.02840v4 2025-03-25T16:29:06Z 2023-12-05T15:49:19Z Preservation for generation along the structure morphism of coherent algebras over a scheme This work demonstrates classical generation is preserved by the derived pushforward along the structure morphism of a noncommutative coherent algebra to its underlying scheme. Additionally, we establish that the Krull dimension of a variety over a field is a lower bound for the Rouquier dimension of the bounded derived category associated with a noncommutative coherent algebra on it. This is an extension of a classical result of Rouquier to the noncommutative context. Anirban Bhaduri Souvik Dey Pat Lank Current version: Accepted to Bull. Lon. Math. Soc., pre-final, title change. Previous version: Fixed minor typos http://arxiv.org/abs/2412.11759v2 2025-03-25T15:47:06Z 2024-12-16T13:23:45Z The external activity complex of a pair of matroids We introduce the Schubert variety of a pair of linear subspaces in $\mathbf{C}^n$ and the external activity complex of a pair of not necessarily realizable matroids. Both of these generalize constructions of Ardila et al., which occur when one of the linear spaces is one-dimensional. We prove that our external activity complex is Cohen-Macaulay and deduce a formula for its $K$-polynomial in terms of exterior powers of the dual tautological quotient classes of matroids. As a consequence, we deduce a non-negative formula for the matroid invariant $\omega(M)$ of Fink, Shaw, and Speyer in terms of certain homology groups of links within an external activity complex, proving the 2005 tropical $f$-vector conjecture of Speyer. Andrew Berget Alex Fink v2: 76 pages. Minor changes to the introduction. Added hypothesis to Lemma 4.9 and some consequences of this, not materially changing future results http://arxiv.org/abs/2410.18942v7 2025-03-25T15:08:48Z 2024-10-24T17:30:57Z The contraction property on the relative weak normalization and Lipschitz saturation of algebras Inspired by the results obtained in \cite{SR}, in this work, we develop techniques to handle the contraction property for weak normalization and Lipschitz saturation of algebras for the following types of algebras: universally injective, integral, radicial, and unramified. Thiago da Silva In this version, we have added minor corrections to the references and text http://arxiv.org/abs/2306.09443v4 2025-03-25T12:00:06Z 2023-06-15T18:52:07Z Free curves, Eigenschemes and Pencils of curves Let $R=K[x,y,z]$. A reduced plane curve $C=V(f)\subset \mathbf P^2$ is $free \ $ if its associated module of tangent derivations $\mathrm{Der}(f)$ is a free $R$-module, or equivalently if the corresponding sheaf $T_ {\mathbf P^2 }(-\log C)$ of vector fields tangent to $C$ splits as a direct sum of line bundles on $\mathbf P^2$. In general, free curves are difficult to find, and in this note, we describe a new method for constructing free curves in $\mathbf P^2$. The key tools in our approach are eigenschemes and pencils of curves, combined with an interpretation of Saito's criterion in this context. Previous constructions typically applied only to curves with quasihomogeneous singularities, which is not necessary in our approach. We illustrate our method by constructing large families of free curves. Roberta Di Gennaro Giovanna Ilardi Rosa Maria Mirò-Roig Hal Schenck Jean Vallès 10.1112/blms.13063 BULLETIN OF THE LONDON MATHEMATICAL SOCIETY 56(7) 2024 http://arxiv.org/abs/2503.19533v1 2025-03-25T10:40:04Z 2025-03-25T10:40:04Z On the arithmetic and geometry of spaces $L_{m+1,n}$ In this paper, we prove several new results on certain $\mathbb{F}_p$-vector spaces of logarithmic differential forms in characteristic $p$ called \emph{spaces $L_{m+1,n}$}. Expanding the previous work by the first two authors, we prove positive and negative results for the existence of spaces $L_{m+1,n}$ in many situations, as well as a classification of all spaces $L_{12,2}$ and $L_{15,2}$ for $p=3$. The novel tools used are Moore determinants and computational algebra. Michel Matignon Guillaume Pagot Daniele Turchetti 52 pages, comments welcome. Supporting Macaulay2 code available at https://github.com/DanieleTurchetti/equidistant http://arxiv.org/abs/2408.10408v2 2025-03-25T07:38:37Z 2024-08-19T20:47:06Z From total positivity to pure free resolutions Using the Jacobi-Trudi identity as a base, we establish parallels between the theory of totally positive integer sequences and Koszul algebras. We then focus on the case of quadric hypersurface rings and use this parallel to construct new analogues of Schur modules. We investigate some of their Lie-theoretic properties (and in more detail in a followup article) and use them to construct pure free resolutions for quadric hypersurface rings which are completely analogous to the construction given by Eisenbud, Fl{\o}ystad, and Weyman in the case of polynomial rings. Steven V Sam Keller VandeBogert 35 pages; v2: The main example, Theorem 5.3, only works for odd rank quadrics. The proof has been corrected and split off into a separate article http://arxiv.org/abs/2501.16773v2 2025-03-25T04:05:01Z 2025-01-28T07:51:46Z BCM-thresholds of non-principal ideals Generalizing previous work of the first author, we introduce and study a characteristic free analog of the $F$-threshold for non-principal ideals. We show that this coincides with the classical $F$-threshold for weakly $F$-regular rings and that the set of $F$-thresholds coincides with the set of $F$-jumping numbers in a regular ring. We obtain results on $F$-thresholds of parameter ideals analogous to results of Huneke-Musta{\c{t}}{\u{a}}-Takagi-Watanabe. Instead of taking ordinary powers of ideal, our definition uses fractional integral closure in an absolute integral closure of our ambient ring. Sandra Rodríguez-Villalobos Karl Schwede 21 pages, minor changes, typos corrected, small reorganizations, and references added. Comments welcome http://arxiv.org/abs/2503.19323v1 2025-03-25T03:36:43Z 2025-03-25T03:36:43Z Invariant theory for wreath products acting on superpolynomials This paper considers a finite group $G$ acting linearly on the variables $V$ of a polynomial algebra, or an exterior algebra, or superpolynomial algebra with both commuting and anticommuting variables. In this setting, the Hilbert series for the $G$-invariant subalgebra turns out to determine the analogous Hilbert series for the wreath product $P[G]$ acting on $V^n$ for any permutation group $P$ inside the symmetric group $S_n$ on $n$ letters. This leads to a structural result: one can collate the direct sum for all $n$ of the $S_n[G]$-invariant subalgebras to form a graded ring via an external shuffle product, whose structure turns out to be a superpolynomial algebra generated by the $G$-invariants. A parallel statement holds for the direct sum of all $S_n[G]$-antiinvariants, which forms a graded ring via an external signed shuffle product, isomorphic to the superexterior algebra generated by the $G$-invariants. Trevor Karn Victor Reiner http://arxiv.org/abs/2401.07987v4 2025-03-24T19:44:00Z 2024-01-15T22:17:05Z Gorenstein injective filtrations over rings with dualizing complexes Let $R$ be a commutative noetherian ring. Enochs and Huang [EH] proved that over a Gorenstein ring of Krull dimension $d$, every Gorenstein injective module admits a finite filtration of Gorenstein injective submodules. In this paper, we extend this result to rings admitting a dualizing complex and we provide such filtrations using Auslander categories and section functors. Reza Sazeedeh http://arxiv.org/abs/2302.04339v2 2025-03-24T19:11:46Z 2023-02-08T21:16:12Z On the valence of logharmonic polynomials Investigating a problem posed by W. Hengartner (2000), we study the maximal valence (number of preimages of a prescribed point in the complex plane) of logharmonic polynomials, i.e., complex functions that take the form $f(z) = p(z) \overline{q(z)}$ of a product of an analytic polynomial $p(z)$ of degree $n$ and the complex conjugate of another analytic polynomial $q(z)$ of degree $m$. In the case $m=1$, we adapt an indirect technique utilizing anti-holomorphic dynamics to show that the valence is at most $3n-1$. This confirms a conjecture of Bshouty and Hengartner (2000). Using a purely algebraic method based on Sylvester resultants, we also prove a general upper bound for the valence showing that for each $n,m \geq 1$ the valence is at most $n^2+m^2$. This improves, for every choice of $n,m \geq 1$, the previously established upper bound $(n+m)^2$ based on Bezout's theorem. We also consider the more general setting of polyanalytic polynomials where we show that this latter result can be extended under a nondegeneracy assumption. Dmitry Khavinson Erik Lundberg Sean Perry 15 pages, 2 figures. Updated version with minor revisions. This version also includes visualization of Julia sets (Figure 1) kindly provided by Walter Bergweiler. The paper appeared in the volume "Recent Progress in Function Theory and Operator Theory" of the book collection in Contemporary Mathematics http://arxiv.org/abs/2503.19049v1 2025-03-24T18:20:58Z 2025-03-24T18:20:58Z Classes of functions in the set of circulant matrices and their characterization In this paper, we introduce new classes of functions that extend the known classes of functions of complex variable, such as entire functions, meromorphic functions, rational functions and polynomial functions and take values in the set of circulant matrices with complex entries. For these new classes of functions, we extend the recently obtained characterization theorems in [Li, B. Q. Two elementary properties of entire functions and their applications. Amer. Math. Monthly 122(2) (2015), 169--172] and [Li, B. Q. A characterization of rational functions. Amer. Math. Monthly. 132(3) (2025), 269--271] to an algebraic structure of circulant matrices that includes several complex variables. Our characterization theorems lead to the generalization of the variant of the fundamental theorem of algebra established recently in [Abramov, V. M. Extension of the fundamental theorem of algebra for polynomial matrix equation with circulant matrices. Amer. Math. Monthly. DOI: 10.1080/00029890.2024.2440298]. Vyacheslav M. Abramov 10 pages http://arxiv.org/abs/2503.18918v1 2025-03-24T17:32:02Z 2025-03-24T17:32:02Z An infinite-dimensional character coincidence between Lie algebras of type B and BC We utilize an isomorphism between the character rings of the odd orthogonal group and the orthosymplectic supergroup to understand equivariant positivity properties of the type B quadric hypersurface ring. Our main result establishes a well-behaved functorial construction of Schur modules ``with respect to'' the quadric hypersurface ring, an essential fact used by the authors in previous work to construct pure free resolutions. Our techniques combine ideas from commutative algebra, Lie theory, and algebraic geometry to understand representations of orthosymplectic supergroups and their corresponding type B counterparts. Steven V Sam Keller VandeBogert 31 pages http://arxiv.org/abs/2503.18827v1 2025-03-24T16:06:50Z 2025-03-24T16:06:50Z Depth of Artin-Schreier defect towers The depth of a simple algebraic extension $(L/K,v)$ of valued fields is the minimal length of the Mac Lane-Vaqui\'e chains of the valuations on $K[x]$ determined by the choice of different generators of the extension. In a previous paper, we characterized the defectless unibranched extensions of depth one. In this paper, we analyze this problem for towers of Artin-Schreier defect extensions. Under certain conditions on $(K,v)$, we prove that the towers obtained as the compositum of linearly disjoint defect Artin-Schreier extensions of $K$ have depth one. We conjecture that these are the only depth one Artin-Schreier defect towers and we present some examples supporting this conjecture. Enric Nart Josnei Novacoski