Source author record

Daniel Herden

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

6works
7topics
4close collaborators

Published work

6 publications

preprint2022arXiv

Forcing a Basis into ℵ1\aleph_1-Free Groups

In this paper, we address the question of when a non-free ℵ1\aleph_1-free group HH can be be free in a transitive cardinality-preserving model extension. Using the ΓΓ-invariant, denoted Γ(H)Γ(H), we present a necessary and sufficient condition resolving this question for ℵ1\aleph_1-free groups of cardinality ℵ1\aleph_1. Specifically, if Γ(H)=[ℵ1]Γ(H) = [\aleph_1], then HH will be free in a transitive model extension if and only if ℵ1\aleph_1 collapses, while for Γ(H)≠[ℵ1]Γ(H) \ne [\aleph_1] there exist cardinality-preserving forcings that will add a basis to HH. In particular, for Γ(H)≠[ℵ1]Γ(H) \neq [\aleph_1], we provide a poset (Ppb,≤)(\mathcal P_{\rm pb}, \leq) of partial bases for adding a basis to HH without collapsing ℵ1\aleph_1.

preprint2022arXiv

Vertex-edge marking score of certain triangular lattices

The vertex-edge marking game is played between two players on a graph, G=(V,E)G=(V,E), with one player marking vertices and the other marking edges. The players want to minimize/maximize, respectively, the number of marked edges incident to an unmarked vertex. The vertex-edge coloring number for GG is the maximum score achievable with perfect play. Brešar et al., [4], give an upper bound of 55 for the vertex-edge coloring number for finite planar graphs. It is not known whether the bound is tight. In this paper, in response to questions in [4], we show that the vertex-edge coloring number for the infinite regular triangularization of the plane is 4. We also give two general techniques that allow us to calculate the vertex-edge coloring number in many related triangularizations of the plane.

preprint2018arXiv

Hilbert series associated to symplectic quotients by SU⁡2\operatorname{SU}_2

We compute the Hilbert series of the graded algebra of real regular functions on the symplectic quotient associated to an SU⁡2\operatorname{SU}_2-module and give an explicit expression for the first nonzero coefficient of the Laurent expansion of the Hilbert series at t=1t = 1. Our expression for the Hilbert series indicates an algorithm to compute it, and we give the output of this algorithm for representations of dimension at most 1010. Along the way, we compute the Hilbert series of the module of covariants of an arbitrary Sl⁡2\operatorname{Sl}_2- or SU⁡2\operatorname{SU}_2-module as well its first three Laurent coefficients.

preprint2018arXiv

The Hilbert series of SL⁡2\operatorname{SL}_2-invariants

Let VV be a finite dimensional representations of the group SL⁡2\operatorname{SL}_2 of 2×22\times 2 matrices with complex coefficients and determinant one. Let R=C[V]SL⁡2R=\mathbb{C}[V]^{\operatorname{SL}_2} be the algebra of SL⁡2\operatorname{SL}_2-invariant polynomials on VV. We present a calculation of the Hilbert series Hilb⁡R(t)=∑n≥0dim⁡(Rn) tn\operatorname{Hilb}_R(t)=\sum_{n\ge 0}\dim (R_n)\: t^n as well as formulas for the first four coefficients of the Laurent expansion of Hilb⁡R(t)\operatorname{Hilb}_R(t) at t=1t=1.

preprint2017arXiv

The Laurent coefficients of the Hilbert series of a Gorenstein algebra

By a theorem of R. Stanley, a graded Cohen-Macaulay domain AA is Gorenstein if and only if its Hilbert series satisfies the functional equation Hilb⁡A(t−1)=(−1)dt−aHilb⁡A(t), \operatorname{Hilb}_A(t^{-1})=(-1)^d t^{-a}\operatorname{Hilb}_A(t), where dd is the Krull dimension and aa is the a-invariant of AA. We reformulate this functional equation in terms of an infinite system of linear constraints on the Laurent coefficients of Hilb⁡A(t)\operatorname{Hilb}_A(t) at t=1t=1. The main idea consists of examining the graded algebra F=⨁r∈ZFr\mathcal F=\bigoplus_{r\in \mathbb{Z}}\mathcal F_r of formal power series in the variable xx that fulfill the condition φ(x/(x−1))=(1−x)rφ(x)φ(x/(x-1))=(1-x)^rφ(x). As a byproduct, we derive quadratic and cubic relations for the Bernoulli numbers. The cubic relations have a natural interpretation in terms of coefficients of the Euler polynomials. For the special case of degree r=−(a+d)=0r=-(a+d)=0, these results have been investigated previously by the authors and involved merely even Euler polynomials. A link to the work of H. W. Gould and L. Carlitz on power sums of symmetric number triangles is established.

preprint2014arXiv

On compositions with x2/(1−x)x^2/(1-x)

In the past, empirical evidence has been presented that Hilbert series of symplectic quotients of unitary representations obey a certain universal system of infinitely many constraints. Formal series with this property have been called \emph{symplectic}. Here we show that a formal power series is symplectic if and only if it is a formal composite with the formal power series x2/(1−x)x^2/(1-x). Hence the set of symplectic power series forms a subalgebra of the algebra of formal power series. The subalgebra property is translated into an identity for the coefficients of the even Euler polynomials, which can be interpreted as a cubic identity for the Bernoulli numbers. Furthermore we show that a rational power series is symplectic if and only if it is invariant under the idempotent Möbius transformation x↦x/(x−1)x\mapsto x/(x-1). It follows that the Hilbert series of a graded Cohen-Macaulay algebra AA is symplectic if and only if AA is Gorenstein with its a-invariant and its Krull dimension adding up to zero. It is shown that this is the case for algebras of regular functions on symplectic quotients of unitary representations of tori.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.