Related papers: On exceptional sets of radial projections

This paper explores the dimension theory of non-Noetherian graded rings by introducing the class of Hilbert-Serre rings. We generalize Krull's dimension theorem and Smoke's dimension theorem by establishing the fundamental inequalities…

By virtue of the well-known theorem, a structure Lie group K of a principal bundle $P$ is reducible to its closed subgroup H iff there exists a global section of the quotient bundle P/K. In gauge theory, such sections are treated as Higgs…

We investigate sums of exceptional units in a quaternion ring $H(R)$ over a finite commutative ring $R$. We prove that in order to find the number of representations of an element in $H(R)$ as a sum of $k$ exceptional units for some integer…

We prove that most one-dimensional projections of a discrete subset of a plane are either dense in R (the real line), or form a discrete subset of R. More precisely, the set E of exceptional directions (for which the indicated dichotomy…

We consider the (graded) Matlis dual $\DD(M)$ of a graded $\D$-module $M$ over the polynomial ring $R = k[x_1, \ldots, x_n]$ ($k$ is a field of characteristic zero), and show that it can be given a structure of $\D$-module in such a way…

Let $k$ be a field of characteristic zero, and $R=k[x_1, \ldots, x_d]$ with $d \geq 3$ be a polynomial ring in $d$ variables. Let $\m=(x_1, \ldots, x_d)$ be the homogeneous maximal ideal of $R$. Let $\mathcal{K}$ be the kernel of the…

Borel--Serre proved that for a number ring $R$ with fraction field $K$, the symplectic group $\text{Sp}_{2n}(R)$ is a virtual duality group of degree quadratic in $n$, and that the symplectic Steinberg module $\text{St}^\omega_{2n}(K)$ is…

Let $\gamma: [-1, 1]\to \mathbb{R}^n$ be a smooth curve that is non-degenerate. Take $m\le n$ and a Borel set $E\subset [0, 1]^n$. We prove that the orthogonal projection of $E$ to the $m$-th order tangent space of $\gamma$ at $\theta\in…

For a 0-dimensional scheme $\mathbb{X}$ in $\mathbb{P}^n$ over a perfect field $K$, we first embed the homogeneous coordinate ring $R$ into its truncated integral closure $\widetilde{R}$. Then we use the corresponding map from the module of…

Labourie and the author independently showed that a convex real projective structure on an oriented surface of genus at least 2 is equivalent to a conformal structure plus a holomorphic cubic differential U. We analyze the behavior of the…

We establish a packing dimension estimate on the exceptional sets of orthogonal projections of sets satisfying an almost dimension conservation law. In particular, the main result applies to homogeneous sets and to certain graph-directed…

If $X$ is an analytic metric space satisfying a very mild doubling condition, then for any finite Borel measure $\mu$ on $X$ there is a set $N\subseteq X$ such that $\mu(N)>0$, an ultrametric space $Z$ and a Lipschitz bijection $\phi:N\to…

Let T be the unit circle in the complex plane C. This paper proves the existence of analytic structure in a compact subset K of T X C^n, where K has so-called "lineally convex" or "hypoconvex" fibers over T. It also addresses a related…

We prove that a purely unrectifiable self-similar set of finite 1-dimensional Hausdorff measure in the plane, satisfying the Open Set Condition, has radial projection of zero length from every point.

We demonstrate that the set $L^\infty(X, [-1,1])$ of all measurable functions over a Borel measure space $(X, \mathcal B, \mu )$ with values in the unit interval is typically non-polyhedric when interpreted as a subset of a dual space. Our…

We investigate tiling properties of spectra of measures, i.e., sets $\Lambda$ in $\br$ such that $\{e^{2\pi i \lambda x}: \lambda\in\Lambda\}$ forms an orthogonal basis in $L^2(\mu)$, where $\mu$ is some finite Borel measure on $\br$. Such…

Given a normal surface singularity $(X, Q)$ and a birational morphism to a non- singular surface $\pi : X \to S$, we investigate the local geometry of the exceptional divisor $L$ of $\pi$. We prove that the dimension of the tangent space to…

We prove the following variant of Marstrand's theorem about projections of cartesian products of sets: Consider the space $\Lambda_m=\set{(t,O), t\in\R, O\in SO(m)}$ with the natural measure and set…

Two measurable sets $S, \Lambda \subseteq \mathcal{R}^d$ form a Heisenberg uniqueness pair, if every bounded measure $\mu$ with support in S whose Fourier transform vanishes on {\Lambda} must be zero. We show that a quadratic hypersurface…

We study embedding a subset $K$ of the unit sphere to the Hamming cube $\{-1,+1\}^m$. We characterize the tradeoff between distortion and sample complexity $m$ in terms of the Gaussian width $\omega(K)$ of the set. For subspaces and several…