http://arxiv.org/api/LfpEhQl7GIyNHfivDdpgjCJyRMs2025-04-22T00:00:00-04:001362912015http://arxiv.org/abs/2503.03632v22025-03-25T19:26:22Z2025-03-05T16:11:32ZRare 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 FaustWencai Liu28 pages, 1 figurehttp://arxiv.org/abs/2308.03155v32025-03-25T17:39:46Z2023-08-06T16:19:14ZApplications 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 BhattManuel BlickleGennady LyubeznikAnurag K. SinghWenliang ZhangUpdated with numerous improvements from the referees comments; to
appear in Crelleshttp://arxiv.org/abs/2312.02840v42025-03-25T16:29:06Z2023-12-05T15:49:19ZPreservation 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 BhaduriSouvik DeyPat LankCurrent version: Accepted to Bull. Lon. Math. Soc., pre-final, title
change. Previous version: Fixed minor typoshttp://arxiv.org/abs/2412.11759v22025-03-25T15:47:06Z2024-12-16T13:23:45ZThe 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 BergetAlex Finkv2: 76 pages. Minor changes to the introduction. Added hypothesis to
Lemma 4.9 and some consequences of this, not materially changing future
resultshttp://arxiv.org/abs/2410.18942v72025-03-25T15:08:48Z2024-10-24T17:30:57ZThe 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 SilvaIn this version, we have added minor corrections to the references
and texthttp://arxiv.org/abs/2306.09443v42025-03-25T12:00:06Z2023-06-15T18:52:07ZFree 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 GennaroGiovanna IlardiRosa Maria Mirò-RoigHal SchenckJean Vallès10.1112/blms.13063BULLETIN OF THE LONDON MATHEMATICAL SOCIETY 56(7) 2024http://arxiv.org/abs/2503.19533v12025-03-25T10:40:04Z2025-03-25T10:40:04ZOn 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 MatignonGuillaume PagotDaniele Turchetti52 pages, comments welcome. Supporting Macaulay2 code available at
https://github.com/DanieleTurchetti/equidistanthttp://arxiv.org/abs/2408.10408v22025-03-25T07:38:37Z2024-08-19T20:47:06ZFrom 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 SamKeller VandeBogert35 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 articlehttp://arxiv.org/abs/2501.16773v22025-03-25T04:05:01Z2025-01-28T07:51:46ZBCM-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-VillalobosKarl Schwede21 pages, minor changes, typos corrected, small reorganizations, and
references added. Comments welcomehttp://arxiv.org/abs/2503.19323v12025-03-25T03:36:43Z2025-03-25T03:36:43ZInvariant 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 KarnVictor Reinerhttp://arxiv.org/abs/2401.07987v42025-03-24T19:44:00Z2024-01-15T22:17:05ZGorenstein 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 Sazeedehhttp://arxiv.org/abs/2302.04339v22025-03-24T19:11:46Z2023-02-08T21:16:12ZOn 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 KhavinsonErik LundbergSean Perry15 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
Mathematicshttp://arxiv.org/abs/2503.19049v12025-03-24T18:20:58Z2025-03-24T18:20:58ZClasses 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. Abramov10 pageshttp://arxiv.org/abs/2503.18918v12025-03-24T17:32:02Z2025-03-24T17:32:02ZAn 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 SamKeller VandeBogert31 pageshttp://arxiv.org/abs/2503.18827v12025-03-24T16:06:50Z2025-03-24T16:06:50ZDepth 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 NartJosnei Novacoski