arXiv subjects

András C. Lőrincz

Publications and source records attributed to András C. Lőrincz.

16 recordsLinked to original sources

arXiv2026

Calculating Hodge and weight filtrations on localizations

We describe the Macaulay2 package MixedHodgeModules, which computes Hodge and weight filtrations on localizations S_f of a polynomial ring S at a non-constant reduced polynomial f, as well as on twisted localizations S_f f^{-α}, where α\in QQ is rational. The package includes functionality for computing Hodge ideals, weighted Hodge ideals, higher multiplier ideals, generation levels of Hodge filtrations, weight levels of elements, p-functions, and lengths of weight filtrations. It also provides routines for computing graded de Rham complexes, Du Bois complexes, and intersection Du Bois complexes of hypersurfaces.

math.AG↗

arXiv2026

Archimedean zeta functions, singularities, and Hodge theory

We use Hodge theory to relate poles of the Archimedean zeta function $Z_f$ of a holomorphic function $f$ with several invariants of singularities. First, we prove that the largest nontrivial pole of $Z_f$ is the negative of the minimal exponent of $f$, whose order is determined by the multiplicity of the corresponding root of the Bernstein--Sato polynomial $b_f(s)$, resolving in a strong sense a question of Mustaţă--Popa. On the other hand, we give an example of $f$ where a root of $b_f(s)$ is not a pole of $Z_f$, answering a question of Loeser from 1985 in the negative. As a byproduct, we give a positive answer to a question of Budur--Walther in the case of the minimal exponent. In general, we determine poles of $Z_f$ from the Hodge filtration on vanishing cycles, sharpening a result of Barlet. Finally, we obtain analytic descriptions of the $V$-filtration of Kashiwara and Malgrange, Hodge and higher multiplier ideals, addressing another question of Mustaţă--Popa. The proofs mainly rely on a positivity property of the polarization on the lowest piece of the Hodge filtration on a complex Hodge module in the sense of Sabbah--Schnell.

math.AG↗

arXiv2026

Filtrations of D-modules along semi-invariant functions

Given a smooth algebraic variety X with an action of a connected reductive linear algebraic group G, and an equivariant D-module M, we study the G-decompositions of the associated V-, Hodge, and weight filtrations. If M is the localization of a D-module S underlying a pure twistor D-module (e.g. when S is simple) along a semi-invariant function, we determine the weight level of any element in an irreducible isotypic component of M in terms of multiplicities of roots of b-functions. If S underlies a pure Hodge module, we show that the Hodge level is governed by the degrees of another class of polynomials, also expressible in terms of b-functions. As an application, if X is an affine spherical variety, we describe these filtrations representation-theoretically in terms of roots of b-functions, and compute all higher multiplier and Hodge ideals associated with semi-invariant functions. Examples include the spaces of general, skew-symmetric, and symmetric matrices, as well as the Freudenthal cubic on the fundamental representation of E_6.

math.AG↗

arXiv2025

Some unipotent Arthur packets for p-adic split F4

Let $G(k)$ be the split form of the simple exceptional p-adic group of type $F_4$, and let $\mathcal O = F_4(a_3)$ be the minimal distinguished nilpotent orbit. Our main result concerns the class of unipotent representations with cuspidal support at infinitesimal character $Λ$ determined by $\mathcal O$. These representations are parameterized by local systems, $\{(S, \mathcal L)\}$. We compute the characteristic cycles of the perverse sheaves $\text{IC}(S, \mathcal L)$ and determine all micro-packets in the sense of [Vo93]. In [CMBO24], the authors introduced a notion of weak Arthur packets in the p-adic setting. They conjectured that weak Arthur packets are unions of Arthur packets, in an appropriate sense. We verify that weak Arthur packets are unions of micro-packets.

math.RT↗

arXiv2023

Equivariant D-modules on 2x2xn hypermatrices

We study D-modules and related invariants on the space of 2 x 2 x n hypermatrices for n >= 3, which has finitely many orbits under the action of G = GL_2 x GL_2 x GL_n. We describe the category of coherent G-equivariant D-modules as the category of representations of a quiver with relations. We classify the simple equivariant D-modules, determine their characteristic cycles and find special representations that appear in their G-structures. We determine the explicit D-module structure of the local cohomology groups with supports given by orbit closures. As a consequence, we calculate the Lyubeznik numbers and intersection cohomology groups of the orbit closures. All but one of the orbit closures have rational singularities: we use local cohomology to prove that the one exception is neither normal nor Cohen--Macaulay. While our results display special behavior in the cases n=3 and n=4, they are completely uniform for n >= 5.

math.AG↗

arXiv2021

Borel-Moore homology of determinantal varieties

We compute the rational Borel-Moore homology groups for affine determinantal varieties in the spaces of general, symmetric, and skew-symmetric matrices, solving a problem suggested by the work of Pragacz and Ratajski. The main ingredient is the relation with Hartshorne's algebraic de Rham homology theory, and the calculation of the singular cohomology of matrix orbits, using the methods of Cartan and Borel. We also establish the degeneration of the Čech-de Rham spectral sequence for determinantal varieties, and compute explicitly the dimensions of de Rham cohomology groups of local cohomology with determinantal support, which are analogues of Lyubeznik numbers first introduced by Switala. Additionally, in the case of general matrices we further determine the Hodge numbers of the singular cohomology of matrix orbits and of the Borel-Moore homology of their closures, based on Saito's theory of mixed Hodge modules.

math.AG↗

arXiv2021

Local Euler obstructions for determinantal varieties

The goal of this note is to explain a derivation of the formulas for the local Euler obstructions of determinantal varieties of general, symmetric and skew-symmetric matrices, by studying the invariant de Rham complex and using character formulas for simple equivariant $D$-modules. These calculations are then combined with standard arguments involving Kashiwara's local index formula and the description of characteristic cycles of simple equivariant $D$-modules. The formulas are implicit in the work of Boe and Fu, and in the case of general matrices they have also been obtained recently by Gaffney--Grulha--Ruas, for skew-symmetric matrices by Promtapan and Rimányi, and for all cases by Zhang.

math.AG↗

arXiv2021

Local cohomology on a subexceptional series of representations

We consider a series of four subexceptional representations coming from the third line of the Freudenthal-Tits magic square; using Bourbaki notation, these are fundamental representations $(G',X)$ corresponding to $(C_3, ω_3),\, (A_5, ω_3), \, (D_6, ω_5)$ and $(E_7, ω_6)$. In each of these four cases, the group $G=G'\times \mathbb{C}^*$ acts on $X$ with five orbits, and many invariants display a uniform behavior, e.g. dimension of orbits, their defining ideals and the character of their coordinate rings as $G$-modules. In this paper, we determine some more subtle invariants and analyze their uniformity within the series. We describe the category of $G$-equivariant coherent $\mathcal{D}_X$-modules as the category of representations of a quiver with relations. We construct explicitly the simple $G$-equivariant $\mathcal{D}_X$-modules and compute the characters of their underlying $G$-structures. We determine the local cohomology groups with supports given by orbit closures, determining their precise $\mathcal{D}_X$-module structure. As a consequence, we calculate the intersection cohomology groups and Lyubeznik numbers of the orbit closures. While our results for the cases $(A_5, ω_3), \, (D_6, ω_5)$ and $(E_7, ω_6)$ are still completely uniform, the case $(C_3, ω_3)$ displays a surprisingly different behavior. We give two explanations for this phenomenon: one topological, as the middle orbit of $(C_3, ω_3)$ is not simply-connected; one geometric, as the closure of the orbit is not Gorenstein.

math.AG↗

arXiv2021

Representation varieties of algebras with nodes

We study the behavior of representation varieties of quivers with relations under the operation of node splitting. We show how splitting a node gives a correspondence between certain closed subvarieties of representation varieties for different algebras, which preserves properties like normality or having rational singularities. Furthermore, we describe how the defining equations of such closed subvarieties change under the correspondence. By working in the "relative setting" (splitting one node at a time), we demonstrate that there are many non-hereditary algebras whose irreducible components of representation varieties are all normal with rational singularities. We also obtain explicit generators of the prime defining ideals of these irreducible components. This class contains all radical square zero algebras, but also many others, as illustrated by examples throughout the paper. We also show the above is true when replacing irreducible components by orbit closures, for a more restrictive class of algebras. Lastly, we provide applications to decompositions of moduli spaces of semistable representations of certain algebras.

math.RT↗

arXiv2019

Algebraic Analysis of Rotation Data

We develop algebraic tools for statistical inference from samples of rotation matrices. This rests on the theory of D-modules in algebraic analysis. Noncommutative Gröbner bases are used to design numerical algorithms for maximum likelihood estimation, building on the holonomic gradient method of Sei, Shibata, Takemura, Ohara, and Takayama. We study the Fisher model for sampling from rotation matrices, and we apply our algorithms for data from the applied sciences. On the theoretical side, we generalize the underlying equivariant D-modules from SO(3) to arbitrary Lie groups. For compact groups, our D-ideals encode the normalizing constant of the Fisher model.

math.ST↗

arXiv2019

Equivariant D-modules on alternating senary 3-tensors

Let X be the third exterior power of a six-dimensional complex vector space, equipped with the natural action of the group GL_6(C) of invertible linear transformations of C^6. We describe explicitly the category of GL_6(C)-equivariant coherent D_X-modules as the category of representations of a quiver with relations, which has finite representation type. We give a construction of the six simple equivariant D_X-modules and give formulas for the characters of their underlying GL_6(C)-structures. We describe the (iterated) local cohomology groups with supports given by orbit closures, determining, in particular, the Lyubeznik numbers associated to the orbit closures.

math.AC↗

arXiv2019

On categories of equivariant D-modules

Let $X$ be a variety with an action by an algebraic group $G$. In this paper we discuss various properties of $G$-equivariant $D$-modules on $X$, such as the decompositions of their global sections as representations of $G$ (when $G$ is reductive), and descriptions of the categories that they form. When $G$ acts on $X$ with finitely many orbits, the category of equivariant $D$-modules is isomorphic to the category of finite-dimensional representations of a finite quiver with relations. We describe explicitly these categories for irreducible $G$-modules $X$ that are spherical varieties, and show that in such cases the quivers are almost always representation-finite (i.e. with finitely many indecomposable representations).

math.AG↗

arXiv2018

Iterated local cohomology groups and Lyubeznik numbers for determinantal rings

We give an explicit recipe for determining iterated local cohomology groups with support in ideals of minors of a generic matrix in characteristic zero, expressing them as direct sums of indecomposable D-modules. For non-square matrices these indecomposables are simple, but this is no longer true for square matrices where the relevant indecomposables arise from the pole order filtration associated with the determinant hypersurface. Specializing our results to a single iteration, we determine the Lyubeznik numbers for all generic determinantal rings, thus answering a question of Hochster.

math.AC↗

arXiv2017

Free resolutions of orbit closures of Dynkin quivers

We use the Kempf-Lascoux-Weyman geometric technique in order to determine the minimal free resolutions of some orbit closures of quivers. As a consequence, we obtain that for Dynkin quivers orbit closures of 1-step representations are normal with rational singularities. For Dynkin quivers of type $A$, we describe explicit minimal generators of the defining ideals of orbit closures of 1-step representations. Using this, we provide an algorithm for type $A$ quivers for describing an efficient set of generators of the defining ideal of the orbit closure of any representation.

math.AG↗

arXiv2017

Equivariant D-modules on binary cubic forms

We consider the space X = Sym^3(C^2) of binary cubic forms, equipped with the natural action of the group GL_2 of invertible linear transformations of C^2. We describe explicitly the category of GL_2-equivariant coherent D_X-modules as the category of representations of a quiver with relations. We show moreover that this quiver is of tame representation type and we classify its indecomposable representations. We also give a construction of the simple equivariant D_X-modules (of which there are 14), and give formulas for the characters of their underlying GL_2-representations. We conclude the article with an explicit calculation of (iterated) local cohomology groups with supports given by orbit closures.

math.AC↗

arXiv2016

Bernstein-Sato polynomials for maximal minors and sub-maximal Pfaffians

We determine the Bernstein-Sato polynomials for the ideal of maximal minors of a generic m x n matrix, as well as for that of sub-maximal Pfaffians of a generic skew-symmetric matrix of odd size. As a corollary, we obtain that the Strong Monodromy Conjecture holds in these two cases.

math.AG↗