Researcher profile

David Mond

David Mond contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.AG math.RT

Trust snapshot

Quick read

Trust 19 - Baseline

5works

0followers

2topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

preprint2016arXiv

Logarithmic vector fields and the Severi strata in the discriminant

The discriminant, $D$, in the base of a miniversal deformation of an irreducible plane curve singularity, is partitioned according to the genus of the (singular) fibre, or, equivalently, by the sum of the delta invariants of the singular points of the fibre. The members of the partition are known as the {\it Severi strata}. The smallest is the $δ$-constant stratum, $D(δ)$, where the genus of the fibre is $0$. It is well known, by work of Givental' and Varchenko, to be Lagrangian with respect to the symplectic form $Ω$ obtained by pulling back the intersection form on the cohomology of the fibre via the period mapping. We show that the remaining Severi strata are also co-isotropic with respect to $Ω$, and moreover that the coefficients of the expression of $Ω^{\wedge k}$ with respect to a basis of $Ω^{2k}(\log D)$ are equations for $D(δ-k+1)$, for $k=1,\ldots,δ$. These equations allow us to show that for $E_6$ and $E_8$, $D(δ)$ is Cohen-Macaulay (this was already shown by Givental' for $A_{2k}$), and that, as far as we can calculate, for $A_{2k}$ all of the Severi strata are Cohen-Macaulay. Our construction also produces a canonical rank 2 maximal Cohen Macaulay module on the discriminant.

preprint2014arXiv

Partial normalizations of Coxeter arrangements and discriminants

We study natural partial normalization spaces of Coxeter arrangements and discriminants and relate their geometry to representation theory. The underlying ring structures arise from Dubrovin's Frobenius manifold structure which is lifted (without unit) to the space of the arrangement. We also describe an independent approach to these structures via duality of maximal Cohen--Macaulay fractional ideals. In the process, we find 3rd order differential relations for the basic invariants of the Coxeter group. Finally, we show that our partial normalizations give rise to new free divisors.

preprint2013arXiv

Adjoint divisors and free divisors

We describe two situations where adding the adjoint divisor to a divisor D with smooth normalization yields a free divisor. Both also involve stability or versality. In the first, D is the image of a corank one stable germ of a map from complex n-space to complex (n+1)-space, and is not free. In the second, D is the discriminant of a versal deformation of a weighted homogeneous function with isolated critical point (subject to certain numerical conditions on the weights). Here D itself is already free. We also prove an elementary result, inspired by these first two, from which we obtain a plethora of new examples of free divisors. The presented results seem to scratch the surface of a more general phenomenon that is still to be revealed.

preprint2011arXiv

Free resolutions for multiple point spaces

Let f be a map-germ of corank 1 from complex n-space to complex (n+1)-space, and, for k less than or equal to the multiplicity of f, let $D^k(f)$ be its k'th multiple-point scheme -- the closure of the set of ordered k-tuples of pairwise distinct points sharing the same image. There are natural projections from $D^{k+1}(f)$ to $D^k(f)$, determined by forgetting one member of the (k+1)-tuple. We prove that the matrix of a presentation of $\OO_{D^{k+1}(f)}$ over $\OO_{D^k(f)}$ appears as a certain submatrix of the matrix of a suitable presentation of $\OO_{\CC^n}$ over $\OO_{\CC^{n+1}}$. This does not happen for germs of corank greater than 1.

preprint2010arXiv

Free divisors in prehomogeneous vector spaces

We study linear free divisors, that is, free divisors arising as discriminants in prehomogeneous vector spaces, and in particular in quiver representation spaces. We give a characterization of the prehomogeneous vector spaces containing such linear free divisors. For reductive linear free divisors, we prove that the numbers of geometric and representation theoretic irreducible components coincide. As a consequence, we find that a quiver can only give rise to a linear free divisor if it has no (oriented or unoriented) cycles. We also deduce that the linear free divisors which appear in Sato and Kimura's list of irreducible prehomogeneous vector spaces are the only irreducible reductive linear free divisors. Furthermore, we show that all quiver linear free divisors are strongly Euler homogeneous, that they are locally weakly quasihomogeneous at points whose corresponding representation is not regular, and that all tame quiver linear free divisors are locally weakly quasihomogeneous. In particular, the latter satisfy the logarithmic comparison theorem.