Search

We give a general formula for generators of the NL-cone, the cone of effective linear combinations of irreducible components of Noether-Lefschetz divisors, on an orthogonal modular variety. We then fully describe the NL-cone and its extremal rays in the cases of moduli spaces of polarized K3 surfaces and hyperk\"ahler manifolds of known deformation type for low degree polarizations. Moreover, we exhibit explicit divisors in the boundary of NL-cones for polarizations of arbitrarily large degrees. Additionally, we study the NL-positivity of the canonical class for these modular varieties. As a consequence, we obtain uniruledness results for moduli spaces of primitively polarized hyperk\"ahler manifolds of ${\rm{OG6}}$ and ${\rm{Kum}}_n$-type. Finally, we show that any family of polarized hyperk\"ahler fourfolds of ${\rm{Kum}}_2$-type with polarization of degree $2$ and divisibility $2$ over a projective base is isotrivial., Comment: 43 pages, 5 tables, with accompanying sage file. Comments are welcome!

The topological symmetry group $\mathrm{TSG}(\Gamma)$ of an embedding $\Gamma$ of a graph in $S^3$ is the subgroup of the automorphism group of the graph which is induced by homeomorphisms of $(S^3,\Gamma)$. If we restrict to orientation preserving homeomorphisms then we obtain the orientation preserving topological symmetry group $\mathrm{TSG}_+(\Gamma)$. In this paper we determine all groups that can be $\mathrm{TSG}(\Gamma)$ or $\mathrm{TSG}_+(\Gamma)$ for some embedding $\Gamma$ of a generalized Petersen graph other than the exceptional graphs $P(12,5)$ and $P(24, 5)$ (which will be addressed in a separate paper., Comment: 23 pages, 10 figures

We continue our study of fixed loci of antisymplectic involutions on projective hyper-K\"ahler manifolds of $\mathrm{K3}^{[n]}$-type induced by an ample class of square 2 in the Beauville-Bogomolov-Fujiki lattice. We prove that if the divisibility of the ample class is 2, then one connected component of the fixed locus is a Fano manifold of index 3, thus generalizing to higher dimensions the case of the LLSvS 8-fold associated to a cubic fourfold. We also show that, in the case of the LLSvS 8-fold associated to a cubic fourfold, the second component of the fixed locus is of general type, thus answering a question by Manfred Lehn., Comment: 35 pages

Menasco proved the surprising result that if $G$ is a reduced, alternating, connected projection of a link $L$ and $G$ is prime then $L$ is prime. This result has been generalized to other classes of links, tangles, and spatial graphs. We draw attention to some issues with previous splitting results about tangles and spatial graphs, and obtain new more general results for tangles and spatial graphs., Comment: 18 pages, 11 figures

We study the Kodaira dimension of moduli spaces of polarized hyperk\"ahler varieties deformation equivalent to the Hilbert scheme of points on a K3 surface or to O'Grady's ten dimensional variety. This question was studied by Gritsenko-Hulek-Sankaran in the cases of $K3^{[2]}$ and OG10 type when the divisibility of the polarization is one. We generalize their results to higher dimension and divisibility. As a main result, for almost all dimensions $2n$ we provide a lower bound on the degree such that for all higher degrees, every component of the moduli space of polarized hyperk\"ahler varieties of $K3^{[n]}$ type is of general type., Comment: Final version. 50 pages

We study fixed loci of antisymplectic involutions on projective hyperk\"ahler manifolds of $\mathrm{K3}^{[n]}$-type. When the involution is induced by an ample class of square 2 in the Beauville-Bogomolov-Fujiki lattice, we show that the number of connected components of the fixed locus is equal to the divisibility of the class, which is either 1 or 2., Comment: 46 pages. v2: Minor corrections, references updated

Let $G$ and $H$ be disjoint embeddings of complete graphs $K_m$ and $K_n$ in $\mathbb{R}^3$ such that some cycle in $G$ links a cycle in $H$ with non-zero linking number. We say that $G$ and $H$ are *weakly linked* if the absolute value of the linking number of any cycle in $G$ with a cycle in $H$ is $0$ or $1$. Our main result is an algebraic characterisation of when a pair of disjointly embedded complete graphs is weakly linked. As a step towards this result, we show that if $G$ and $H$ are weakly linked, then each contains either a vertex common to all triangles linking the other or a triangle which shares an edge with all triangles linking the other. All families of weakly linked pairs of complete graphs are then characterised by which of these two cases holds in each complete graph., Comment: 33 pages, 7 figures

For a moduli space $M$ of stable sheaves over a $K3$ surface $X$, we propose a series of conjectural identities in the Chow rings $CH_\star (M \times X^\ell),\, \ell \geq 1,$ generalizing the classic Beauville-Voisin identity for a $K3$ surface. We emphasize consequences of the conjecture for the structure of the tautological subring $R_\star (M) \subset CH_\star (M).$ The conjecture places all tautological classes in the lowest piece of a natural filtration emerging on $CH_\star (M)$, which we also discuss. We prove the proposed identities when $M$ is the Hilbert scheme of points on a $K3$ surface.

We classify all groups which can occur as the topological symmetry group of some embedding of the Heawood graph in $S^3$., Comment: 10 pages, 6 figures

We define a map $\mathcal{P}_M$ attached to any polarized Hodge module $M$ such that the restriction of $\mathcal{P}_M$ to a locus on which $M$ is a variation of Hodge structures induces the usual period integral pairing for this variation of Hodge structures. In the case that $M$ is the minimal extension of a simple polarized variation of Hodge structures $V$, we show that the homotopy image of $\mathcal{P}_M$ is the minimal extension of the graph morphism of the usual period integral map for $V$., Comment: 16 pages

We show that the minimum number of sticks required to construct a non-paneled knotless embedding of $K_4$ is 9 and of $K_5$ is 12 or 13. We use our results about $K_4$ to show that the probability that a random linear embedding of $K_{3,3}$ in a cube is in the form of a M\"{o}bius ladder is $0.97380\pm 0.00003$, and offer this as a possible explanation for why $K_{3,3}$ subgraphs of metalloproteins occur primarily in this form., Comment: 16 pages, 19 figures Corrected minimum number of sticks for $K_4$ in abstract to 9, reflecting the stated result in Theorem 2.6

We consider when automorphisms of a graph can be induced by homeomorphisms of embeddings of the graph in a $3$-manifold. In particular, we prove that every automorphism of a graph is induced by a homeomorphism of some embedding of the graph in a connected sum of one or more copies of $S^2\times S^1$, yet there exist automorphisms which are not induced by a homeomorphism of any embedding of the graph in any orientable, closed, connected, irreducible $3$-manifold. We also prove that for any $3$-connected graph $G$, if an automorphism $\sigma$ is induced by a homeomorphism of an embedding of $G$ in an irreducible $3$-manifold $M$, then $G$ can be embedded in an orientable, closed, connected $3$-manifold $M'$ such that $\sigma$ is induced by a finite order homeomorphism of $M'$, though this is not true for graphs which are not $3$-connected. Finally, we show that many symmetry properties of graphs in $S^3$ hold for graphs in homology spheres, yet we give an example of an automorphism of a graph $G$ that is induced by a homeomorphism of some embedding of $G$ in the Poincar\'e homology sphere, but is not induced by a homeomorphism of any embedding of $G$ in $S^3$., Comment: 15 pages, 10 figures

Given a fixed product of non-isogenous abelian varieties at least one of which is general, we show how to construct complete families of indecomposable abelian varieties whose very general fiber is isogenous to the given product and whose connected monodromy group is a product of symplectic groups or is a unitary group. As a consequence, we show how to realize any product of symplectic groups of total rank $g$ as the connected monodromy group of a complete family of $g'$-dimensional abelian varieties for any $g'\ge g$. These methods also yield a construction of a new Kodaira fibration with fiber genus $4$., Comment: 22 pages

We study the geometry of a class of $n$-dimensional smooth projective varieties constructed by Schreieder for their noteworthy Hodge-theoretic properties. In particular, we realize Schreieder's surfaces as elliptic modular surfaces and Schreieder's threefolds as one-dimensional families of Picard rank $19$ $K3$ surfaces., Comment: 28 pages. Contains arXiv:1603.05613

We characterize all groups which can occur as the topological symmetry group or the orientation preserving topological symmetry group of some embedding of the Petersen graph in S^3., Comment: 10 pages, 5 figures

A Kodaira fibration is a non-isotrivial fibration $f\colon S\rightarrow B$ from a smooth algebraic surface $S$ to a smooth algebraic curve $B$ such that all fibers are smooth algebraic curves of genus $g$. Such fibrations arise as complete curves inside the moduli space $\mathcal{M}_g$ of genus $g$ algebraic curves. We investigate here the possible connected monodromy groups of a Kodaira fibration in the case $g=3$ and classify which such groups can arise from a Kodaira fibration obtained as a general complete intersection curve inside a subvariety of $\mathcal{M}_3$ parametrizing curves whose Jacobians have extra endomorphisms., Comment: 19 pages

A set X of partial words over a finite alphabet A is called unavoidable if every two-sided infinite word over A has a factor compatible with an element of X. Unlike the case of a set of words without holes, the problem of deciding whether or not a given finite set of n partial words over a k-letter alphabet is avoidable is NP-hard, even when we restrict to a set of partial words of uniform length. So classifying such sets, with parameters k and n, as avoidable or unavoidable becomes an interesting problem. In this paper, we work towards this classification problem by investigating the maximum number of holes we can fill in unavoidable sets of partial words of uniform length over an alphabet of any fixed size, while maintaining the unavoidability property., Comment: In Proceedings AFL 2017, arXiv:1708.06226

Shimura and Taniyama proved that if $A$ is a potentially CM abelian variety over a number field $F$ with CM by a field $K$ linearly disjoint from F, then there is an algebraic Hecke character $\lambda_A$ of $K$ such that $L(A/F,s)=L(\lambda_A,s)$. We consider a certain converse to their result. Namely, let $A$ be a potentially CM abelian variety appearing as a factor of the Jacobian of a curve of the form $y^e=\gamma x^f+\delta$. Fix positive integers $a$ and $n$ such that $n/2 < a \leq n$. Under mild conditions on $e, f, \gamma, \delta$, we construct a Chow motive $M$, defined over $F=\mathbb{Q}(\gamma,\delta)$, such that $L(M/F,s)$ and $L(\lambda_A^a\bar{\lambda}_A^{n-a},s)$ have the same Euler factors outside finitely many primes., Comment: 20 pages

We consider algebraic surfaces, recently constructed by Schreieder, that are smooth models of the quotient of the self-product of a complex hyperelliptic curve by a $(\mathbb{Z}/3^c\mathbb{Z})$-action. We show that these surfaces are elliptic modular surfaces in the sense of Shioda, meaning in particular that they are universal families of explicit moduli of elliptic curves., Comment: 18 pages

This article presents a survey of some recent results in the theory of spatial graphs. In particular, we highlight results related to intrinsic knotting and linking and results about symmetries of spatial graphs. In both cases we consider spatial graphs in $S^3$ as well as in other $3$-manifolds.

A ravel is a spatial graph which is non-planar but contains no non-trivial knots or links. We characterize when a Montesinos tangle can become a ravel as the result of vertex closure with and without replacing some number of crossings by vertices.

This paper studies the possible Hodge groups of simple polarizable $\mathbb{Q}$-Hodge structures with Hodge numbers $(n,0,\ldots,0,n)$. In particular, it generalizes earlier work of Ribet and Moonen-Zarhin to completely determine the possible Hodge groups of such Hodge structures when $n$ is equal to $1$, $4$, or a prime $p$. In addition, the paper determines possible Hodge groups, under certain conditions on the endomorphism algebra, when $n=2p$, for $p$ an odd prime. A consequence of these results is that both the Hodge and General Hodge Conjectures hold for all powers of a simple $2p$-dimensional abelian variety satisfying the aforementioned conditions., Comment: 35 pages

The Stern diatomic sequence is closely linked to continued fractions via the Gauss map on the unit interval, which in turn can be understood via systematic subdivisions of the unit interval. Higher dimensional analogues of continued fractions, called multidimensional continued fractions, can be produced through various subdivisions of a triangle. We define triangle partition-Stern sequences (TRIP-Stern sequences for short), higher-dimensional generalizations of the Stern diatomic sequence, from the method of subdividing a triangle via various triangle partition algorithms. We then explore several combinatorial results about TRIP-Stern sequences, which may be used to give rise to certain well-known sequences. We finish by generalizing TRIP-Stern sequences and presenting analogous results for these generalizations., Comment: Expanded exposition

In order to model entanglements of polymers in a confined region, we consider the linking numbers and writhes of cycles in random linear embeddings of complete graphs in a cube. Our main results are that for a random linear embedding of $K_n$ in a cube, the mean sum of squared linking numbers and the mean sum of squared writhes are of the order of $\theta(n(n!))$. We obtain a similar result for the mean sum of squared linking numbers in linear embeddings of graphs on $n$ vertices, such that for any pair of vertices, the probability that they are connected by an edge is $p$. We also obtain experimental results about the distribution of linking numbers for random linear embeddings of these graphs. Finally, we estimate the probability of specific linking configurations occurring in random linear embeddings of the graphs $K_6$ and $K_{3,3,1}$., Comment: Revised version accepted by Journal of Mathematical Chemistry 19 pages, 9 figures

The main result of this paper is that for every closed, connected, orientable, irreducible 3-manifold $M$, there is an integer $ n_M$ such that any abstract graph with no automorphism of order 2 which has a 3-connected minor whose genus is more than $n_M$ has no achiral embedding in $M$. By contrast, the paper also proves that for every graph $\gamma$, there are infinitely many closed, connected, orientable, irreducible 3-manifolds $M$ such that some embedding of $\gamma$ in $M$ is pointwise fixed by an orientation reversing involution of $M$., Comment: 27 pages

We develop a topological model of site-specific recombination that applies to substrates which are the connected sum of two torus links of the form $T(2,n)\#T(2,m)$. Then we use our model to prove that all knots and links that can be produced by site-specific recombination on such substrates are contained in one of two families, which we illustrate., Comment: 19 pages, 25 figures

We introduce invariants of spatial graphs related to the Wu invariant and the Simon invariant, and apply them to prove that certain graphs are intrinsically chiral, and to obtain lower bounds for the minimal crossing number of embedded graphs., Comment: 26 pages, 19 figures

We classify all groups which can occur as the orientation preserving topological symmetry group of some embedding of a M\"{o}bius ladder graph in $S^3$., Comment: 11 pages, 12 figures

We classify which complete multipartite graphs are intrinsically chiral.

For each $n\leq 6$, we characterize all the groups which can occur as either the orientation preserving topological symmetry group or the topological symmetry group of some embedding of $K_n$ in $S^3$.

We construct a countable family of multi-dimensional continued fraction algorithms, built out of five specific multidimensional continued fractions, and find a wide class of cubic irrational real numbers a so that either (a, a^2) or (a, a-a^2) is purely periodic with respect to an element in the family. These cubic irrationals seem to be quite natural, as we show that, for every cubic number field, there exists a pair (u,u') with u a unit in the cubic number field (or possibly the quadratic extension of the cubic number field by the square root of the discriminant) such that (u,u') has a periodic multidimensional continued fraction expansion under one of the maps in the family generated by the initial five maps. Thus these results are built on a careful technical analysis of certain units in cubic number fields and our family of multi-dimensional continued fractions. We then recast the linking of cubic irrationals with periodicity to the linking of cubic irrationals with the construction of a matrix with nonnegative integer entries for which at least one row is eventually periodic., Comment: 14 pages; New section on earlier work added; to appear in Monatshefte f\"ur Mathematik

Most well-known multidimensional continued fractions, including the M\"{o}nkemeyer map and the triangle map, are generated by repeatedly subdividing triangles. This paper constructs a family of multidimensional continued fractions by permuting the vertices of these triangles before and after each subdivision. We obtain an even larger class of multidimensional continued fractions by composing the maps in the family. These include the algorithms of Brun, Parry-Daniels and G\"{u}ting. We give criteria for when multidimensional continued fractions associate sequences to unique points, which allows us to determine when periodicity of the corresponding multidimensional continued fraction corresponds to pairs of real numbers being cubic irrationals in the same number field., Comment: 36 pages, 4 figures

We show that the edges of every 3-connected planar graph except $K_4$ can be colored with two colors in such a way that the graph has no color preserving automorphisms. Also, we characterize all graphs which have the property that their edges can be $2$-colored so that no matter how the graph is embedded in any orientable surface, there is no homeomorphism of the surface which induces a non-trivial color preserving automorphism of the graph.

We answer the question "Does the Y-triangle move preserve intrinsic knottedness?" in the negative by giving an example of a graph that is obtained from the intrinsically knotted graph K_7 by triangle-Y and Y-triangle moves but is not intrinsically knotted., Comment: 5 pages, 2 figures

We characterize which automorphisms of an arbitrary complete bipartite graph $K_{n,m}$ can be induced by a homeomorphism of some embedding of the graph in $S^3$., Comment: 17 pages, final version for publication

In this paper we complete the classification of topological symmetry groups for complete graphs $K_n$ by characterizing which $K_n$ can have a cyclic group, a dihedral group, or a subgroup of $D_m \times D_m$ where $m$ is odd, as its topological symmetry group., Comment: 19 pages; v2 lists authors correctly on arXiv; v3 substantially revises the introduction

We prove that for every closed, connected, orientable, irreducible 3-manifold, there exists an alternating group A_n which is not the topological symmetry group of any graph embedded in the manifold. We also show that for every finite group G, there is an embedding {\Gamma} of some graph in a hyperbolic rational homology 3-sphere such that the topological symmetry group of {\Gamma} is isomorphic to G.

It is shown that for any locally knotted edge of a 3-connected graph in $S^3$, there is a ball that contains all of the local knots of that edge and is unique up to an isotopy setwise fixing the graph. This result is applied to the study of topological symmetry groups of graphs embedded in $S^3$., Comment: 20 pages, 3 figures; in v. 2 the proof of Theorem 1 has been clarified, and other minor revisions have been made

We determine for which $m$, the complete graph $K_m$ has an embedding in $S^3$ whose topological symmetry group is isomorphic to one of the polyhedral groups: $A_4$, $A_5$, or $S_4$., Comment: 27 pages, 12 figures; v.2 and v.3 include minor revisions