The Index Semigroup and K-Groups of Graph-Groupoid C^{*}-Algebras

In this paper, we consider the relation between index theory and $K$ -theory induced by directed graphs. In particular, we study index-morphism on finite trees, and classify the set of finite trees in terms of our index-morphism. Such a morphism generate certain semigroup, called the index semigroup. From the index semigroup, we find a ple, interesting connection between semigroup-elements and $K$ -group computations of groupoid $C^{*}$ -algebras generated by graphs. In conclusion, we show that the pure combinatorial data of graphs completely characterize and classify the elements of the index semigroup (or equivalently, graph-index on finite trees), Watatani’s Jones index on groupoid $C^{*}$ -algebras generated by finite trees, and $K$ -group computations of certain $C^{*}$ -algebras.     

Convex equipartitions: the spicy chicken theorem

We show that, for any prime power $n$ and any convex body $K$ (i.e., a compact convex set with interior) in $\mathbb{R }^d$ , there exists a partition of $K$ into $n$ convex sets with equal volumes and equal surface areas. Similar results regarding equipartitions with respect to continuous functionals and absolutely continuous measures on convex bodies are also proven. These include a generalization of the ham-sandwich theorem to arbitrary number of convex pieces confirming a conjecture of Kaneko and Kano, a similar generalization of perfect partitions of a cake and its icing, and a generalization of the Gromov–Borsuk–Ulam theorem for convex sets in the model spaces of constant curvature.     

Norm-Constrained Determinantal Representations of Multivariable Polynomials

For every multivariable polynomial $p$ , with $p(0)=1$ , we construct a determinantal representation, $ p=\det (I - K Z )$ , where $Z$ is a diagonal matrix with coordinate variables on the diagonal and $K$ is a complex square matrix. Such a representation is equivalent to the existence of $K$ whose principal minors satisfy certain linear relations. When norm constraints on $K$ are imposed, we give connections to the multivariable von Neumann inequality, Agler denominators, and stability. We show that if a multivariable polynomial $q$ , $q(0)=0,$ satisfies the von Neumann inequality, then $1-q$ admits a determinantal representation with $K$ a contraction. On the other hand, every determinantal representation with a contractive $K$ gives rise to a rational inner function in the Schur–Agler class.     

Holding Circles and Fixing Frames

A circle $C$ holds a convex body $K \subset \mathbb {R}^3$ if $K$ can’t be moved far away from its position without intersecting $C$ . One of our results says that there is a convex body $K \subset \mathbb {R}^3$ such that the set of radii of all circles holding $K$ has infinitely many components. Another result says that the circle is unique in the sense that every frame different from the circle holds a convex body $K$ (actually a tetrahedron) so that every nontrivial rigid motion of $K$ intersects the frame.     

Yangians and quantum loop algebras

Let $\mathfrak{g }$ be a complex, semisimple Lie algebra. Drinfeld showed that the quantum loop algebra $U_\hbar (L\mathfrak g )$ of $\mathfrak{g }$ degenerates to the Yangian ${Y_\hbar (\mathfrak g )}$ . We strengthen this result by constructing an explicit algebra homomorphism $\Phi $ from $U_\hbar (L\mathfrak g )$ to the completion of ${Y_\hbar (\mathfrak g )}$ with respect to its grading. We show moreover that $\Phi $ becomes an isomorphism when ${U_\hbar (L\mathfrak g )}$ is completed with respect to its evaluation ideal. We construct a similar homomorphism for $\mathfrak{g }=\mathfrak{gl }_n$ and show that it intertwines the actions of $U_\hbar (L\mathfrak gl _{n})$ and $Y_\hbar (\mathfrak gl _{n})$ on the equivariant $K$ -theory and cohomology of the variety of $n$ -step flags in ${\mathbb{C }}^d$ constructed by Ginzburg–Vasserot.     

Exact Lagrangian immersions with one double point revisited

We study exact Lagrangian immersions with one double point of a closed orientable manifold $K$ into $\mathbb{C }^{n}$ . We prove that if the Maslov grading of the double point does not equal $1$ then $K$ is homotopy equivalent to the sphere, and if, in addition, the Lagrangian Gauss map of the immersion is stably homotopic to that of the Whitney immersion, then $K$ bounds a parallelizable $(n+1)$ -manifold. The hypothesis on the Gauss map always holds when $n=2k$ or when $n=8k-1$ . The argument studies a filling of $K$ obtained from solutions to perturbed Cauchy–Riemann equations with boundary on the image $f(K)$ of the immersion. This leads to a new and simplified proof of some of the main results of Ekholm and Smith (Exact Lagrangian immersions with a single double point 2011)). which treated Lagrangian immersions in the case $n=2k$ by applying similar techniques to a Lagrange surgery of the immersion, as well as to an extension of these results to the odd-dimensional case.     

The homotopy of the K(2)-local Moore spectrum at the prime 3 revisited

In this paper we use the approach introduced in (Goerss et al., Ann Math 162(2):777–822, 2005) in order to analyze the homotopy groups of $L_{K(2)}V(0)$ , the mod- $3$ Moore spectrum $V(0)$ localized with respect to Morava $K$ -theory $K(2)$ . These homotopy groups have already been calculated by Shimomura (J Math Soc Japan 52(1): 65–90, 2000). The results are very complicated so that an independent verification via an alternative approach is of interest. In fact, we end up with a result which is more precise and also differs in some of its details from that of Shimomura (J Math Soc Japan 52(1): 65–90, 2000). An additional bonus of our approach is that it breaks up the result into smaller and more digestible chunks which are related to the $K(2)$ -localization of the spectrum $TMF$ of topological modular forms and related spectra. Even more, the Adams–Novikov differentials for $L_{K(2)}V(0)$ can be read off from those for $TMF$ .     

The equidistribution of small points for strongly regular pairs of polynomial maps

In this paper, we prove the equidistribution of periodic points of a regular polynomial automorphism $f : \mathbb{A }^n \rightarrow \mathbb{A }^n$ defined over a number field $K$ : let $f$ be a regular polynomial automorphism defined over a number field $K$ and let $v\in M_K$ . Then there exists an $f$ -invariant probability measure $\mu _{f,v}$ on $\mathrm{Berk }\bigl ( \mathbb{P }^n_\mathbb{C _v} \bigr )$ such that the set of periodic points of $f$ is equidistributed with respect to $\mu _{f,v}$ .     

Inductive topological Hausdorff dimensions and fibers of generic continuous functions

In an earlier paper Buczolich, Elekes and the author introduced a new concept of dimension for metric spaces, the so called topological Hausdorff dimension. They proved that it is precisely the right notion to describe the Hausdorff dimension of the level sets of the generic real-valued continuous function (in the sense of Baire category) defined on a compact metric space $K$ . The goal of this paper is to determine the Hausdorff dimension of the fibers of the generic continuous function from $K$ to $\mathbb {R}^n$ . In order to do so, we define the $n$ th inductive topological Hausdorff dimension, $\dim _{t^nH} K$ . Let $\dim _H K,\,\dim _t K$ and $C_n(K)$ denote the Hausdorff and topological dimension of $K$ and the Banach space of the continuous functions from $K$ to $\mathbb {R}^n$ . We show that $\sup _{y\in \mathbb {R}^n} \dim _{H}f^{-1}(y) = \dim _{t^nH} K -n$ for the generic $f \in C_n(K)$ , provided that $\dim _t K\ge n$ , otherwise every fiber is finite. In order to prove the above theorem we give some equivalent definitions for the inductive topological Hausdorff dimensions, which can be interesting in their own right. Here we use techniques coming from the theory of topological dimension. We show that the supremum is actually attained on the left hand side of the above equation. We characterize those compact metric spaces $K$ for which $\dim _{H} f^{-1}(y)=\dim _{t^nH}K-n$ for the generic $f\in C_n(K)$ and the generic $y\in f(K)$ . We also generalize a result of Kirchheim by showing that if $K$ is self-similar and $\dim _t K\ge n$ then $\dim _{H} f^{-1}(y)=\dim _{t^nH}K-n$ for the generic $f\in C_n(K)$ for every $y\in {{\mathrm{int}}}f(K)$ .     

A generalization of a theorem of Imai and its applications to Iwasawa theory

It is proved that, if $K$ is a complete discrete valuation field of mixed characteristic $(0,p)$ with residue field satisfying a mild condition, then any abelian variety over $K$ with potentially good reduction has finite $K(K^{1/p^\infty })$ -rational torsion subgroup. This can be used to remove certain conditions assumed in some theorems in Iwasawa theory.     

L_p-theory of free boundary problems of magnetohydrodynamics in multi-connected domains

We present the \(L_p\) -theory of solvability of free boundary problems of magnetohydrodynamics of viscous incompressible fluids in multi-connected domains constructed in the paper Solonnikov (Interf Free Bound 14:569–603, 2012) for \(p=2\) . The case of simply connected domains is studied in Padula and Solonnikov (J Math Sci 178:313–344, 2011), Solonnikov ( \(L_p\) -theory of free boundary problems of magnetohydrodynamics in simply connected domains, submitted to AMS Translations).     

Packing dimensions of the divergence points of self-similar measures with OSC

Let $\mu $ be the self-similar measure supported on the self-similar set $K$ with open set condition. In this article, we discuss the packing dimension of the set $\{x\in K: A(\frac{\log \mu (B(x,r))}{\log r})=I\}$ for $I\subseteq \mathbb R ,$ where $A(\frac{\log \mu (B(x,r))}{\log r})$ denotes the set of accumulation points of $\frac{\log \mu (B(x,r))}{\log r}$ as $r\searrow 0.$ Our main result solves the conjecture about packing dimension posed by Olsen and Winte (J London Math Soc, 67(2), pp 103–122, 2003) and generalizes the result in (Adv Math, 214, pp 267–287, (2007)).     

Variance asymptotics for random polytopes in smooth convex bodies

Let $K \subset \mathbb R ^d$ be a smooth convex set and let $\mathcal{P }_{\lambda }$ be a Poisson point process on $\mathbb R ^d$ of intensity ${\lambda }$ . The convex hull of $\mathcal{P }_{\lambda }\cap K$ is a random convex polytope $K_{\lambda }$ . As ${\lambda }\rightarrow \infty $ , we show that the variance of the number of $k$ -dimensional faces of $K_{\lambda }$ , when properly scaled, converges to a scalar multiple of the affine surface area of $K$ . Similar asymptotics hold for the variance of the number of $k$ -dimensional faces for the convex hull of a binomial process in $K$ .     

On cyclic fixed points of spectra

For a finite $p$ -group $G$ and a bounded below $G$ -spectrum $X$ of finite type mod  $p$ , the $G$ -equivariant Segal conjecture for $X$ asserts that the canonical map $X^G \rightarrow X^{hG}$ , from $G$ -fixed points to $G$ -homotopy fixed points, is a $p$ -adic equivalence. Let $C_{p^n}$ be the cyclic group of order  $p^n$ . We show that if the $C_p$ -equivariant Segal conjecture holds for a $C_{p^n}$ -spectrum $X$ , as well as for each of its geometric fixed point spectra $\varPhi ^{C_{p^e}}(X)$ for $0 < e < n$ , then the $C_{p^n}$ -equivariant Segal conjecture holds for  $X$ . Similar results also hold for weaker forms of the Segal conjecture, asking only that the canonical map induces an equivalence in sufficiently high degrees, on homotopy groups with suitable finite coefficients.     

On Colmez’s product formula for periods of CM-abelian varieties

Colmez conjectured a product formula for periods of abelian varieties with complex multiplication by a field $K$ , analogous to the standard product formula in algebraic number theory. He proved this conjecture up to a rational power of 2 for $K/\mathbb{Q }$ abelian. In this paper, we complete the proof of Colmez for $K/\mathbb{Q }$ abelian by eliminating this power of 2. Our proof relies on analyzing the Galois action on the De Rham cohomology of Fermat curves in mixed characteristic $(0,2)$ , which in turn relies on understanding the stable reduction of $\mathbb Z /2^n$ -covers of the projective line, branched at three points.     

A Question from a Famous Paper of Erdős

Given a convex body $K$ K , consider the smallest number $N$ N so that there is a point $P\in \partial K$ P ∈ ? K such that every circle centred at $P$ P intersects $\partial K$ ? K in at most $N$ N points. In 1946 Erd?s conjectured that $N=2$ N = 2 for all $K$ K , but there are convex bodies for which this is not the case. As far as we know there is no known global upper bound. We show that no convex body has $N=\infty $ N = ∞ and that there are convex bodies for which $N = 6$ N = 6 .     

On torsors under elliptic curves and Serre’s pro-algebraic structures

Let ${\mathcal {O}}_K$ be a complete discrete valuation ring with algebraically closed residue field of positive characteristic and field of fractions $K$ . Let $X_K$ be a torsor under an elliptic curve $A_K$ over $K$ , $X$ the proper minimal regular model of $X_K$ over $S:=\hbox {Spec}({\mathcal {O}}_K)$ , and $J$ the identity component of the Néron model of $\mathrm{Pic}_{X_K/K}^{0}$ . We study the canonical morphism $q:\mathrm{Pic}^{0}_{X/S}\rightarrow J$ which extends the natural isomorphism on generic fibres. We show that $q$ is pro-algebraic in nature with a construction that recalls Serre’s work on local class field theory. Furthermore, we interpret our results in relation to Shafarevich’s duality theory for torsors under abelian varieties.     

The pure virtual braid group is quadratic

If an augmented algebra $K$ over $\mathbb Q $ is filtered by powers of its augmentation ideal $I$ , the associated graded algebra $gr_I K$ need not in general be quadratic: although it is generated in degree 1, its relations may not be generated by homogeneous relations of degree 2. In this paper, we give a sufficient criterion (called the PVH Criterion) for $gr_I K$ to be quadratic. When $K$ is the group algebra of a group $G$ , quadraticity is known to be equivalent to the existence of a (not necessarily homomorphic) universal finite type invariant for $G$ . Thus, the PVH Criterion also implies the existence of such a universal finite type invariant for the group $G$ . We apply the PVH Criterion to the group algebra of the pure virtual braid group (also known as the quasi-triangular group), and show that the corresponding associated graded algebra is quadratic, and hence that these groups have a universal finite type invariant.     

The Set of Packing and Covering Densities of Convex Disks

For every convex disk $K$ (a convex compact subset of the plane, with non-void interior), the packing density $\delta (K)$ and covering density ${\vartheta (K)}$ form an ordered pair of real numbers, i.e., a point in $\mathbb{R }^2$ . The set $\varOmega $ consisting of points assigned this way to all convex disks is the subject of this article. A few known inequalities on $\delta (K)$ and ${\vartheta (K)}$ jointly outline a relatively small convex polygon $P$ that contains $\varOmega $ , while the exact shape of $\varOmega $ remains a mystery. Here we describe explicitly a leaf-shaped convex region $\Lambda $ contained in $\varOmega $ and occupying a good portion of $P$ . The sets $\varOmega _T$ and $\varOmega _L$ of translational packing and covering densities and lattice packing and covering densities are defined similarly, restricting the allowed arrangements of $K$ to translated copies or lattice arrangements, respectively. Due to affine invariance of the translative and lattice density functions, the sets $\varOmega _T$ and $\varOmega _L$ are compact. Furthermore, the sets $\varOmega , \,\varOmega _T$ and $\varOmega _L$ contain the subsets $\varOmega ^\star , \,\varOmega _T^\star $ and $\varOmega _L^\star $ respectively, corresponding to the centrally symmetric convex disks $K$ , and our leaf $\Lambda $ is contained in each of $\varOmega ^\star , \,\varOmega _T^\star $ and $\varOmega _L^\star $ .