Related papers: One sided conformal collars and the reflection pri…
After recalling briefly the main properties of the amalgamated duplication of a ring $R$ along an ideal $I$, denoted by $R\JoinI$, we restrict our attention to the study of the properties of $R\JoinI$, when $I$ is a multiplicative canonical…
Let $X$ be a connected, smooth, and projective curve of genus $g$ over an algebraically closed field of characteristic $p >0$. This paper investigates a characteristic-$p$ analogue of a well-known fact concerning flat vector bundles in…
First geometric calculus alongside its description of equiangular spirals, reflections and rotations is introduced briefly. Then single and double reflections at such a spiral are investigated. It proves suitable to distinguish incidence…
We prove results that imply, under various hypotheses, that every elliptic curve over a number field $k$ corresponding to a point on a modular curve has bad reduction at a certain prime $p$ of $\mathcal{O}_k$. For example, every elliptic…
Suppose that $p$ is an odd prime and $\genfrac{(}{)}{}{}{\cdot}{p}$ denotes the Legendre symbol modulo $p$. If $p$ is has the form $p= n^2+1$ then one easily verifies that $\genfrac{(}{)}{}{}{a}{p} = \genfrac{(}{)}{}{}{-a}{p}$ for all $a\in…
We construct a subset $A$ of the unit disc with the following properties. (i) The set $A$ is the finite union of disjoint line segments. (ii) The shadow of $A$ is arbitrarily close to the shadow of the unit disc in "most" directions. (iii)…
A logic has uniform interpolation if its formulas can be projected down to given subsignatures, preserving all logical consequences that do not mention the removed symbols; the weaker property of (Craig) interpolation allows the projected…
Let $\Gamma$ be a rectifiable Jordan curve in the complex plane, $\Omega_i$ and $\Omega_e$ respectively the interior and exterior domains of $\Gamma$, and $p\geq 2$. Let $E$ be the vector space of functions defined on $\Gamma$ consisting of…
Let $U$ be a silting object in a derived category over a dg-algebra $A$, and let $B$ be the endomorphism dg-algebra of $U$. Under some appropriate hypotheses, we show that if $U$ is good, then there exist a dg-algebra $C$, a homological…
We study the rigid analytic geometry of cyclic coverings of the projective line. We determine the defining equation of a cyclic covering of degree $p$ of the projective line by a Mumford curve over a complete discrete valuation field of…
We consider self-affine arcs in $\mathbb R^2$ and prove that violation of "inner" weak separation property for such arcs implies that the arc is a parabolic segment. Therefore, if a self-affine Jordan arc is not a parabolic segment, then it…
A key optical parameter characterizing the existence of negative refraction in a thin layer of a composite material is the effective refractive index of an equivalent, homogenized layer with the same physical thickness as the initial…
In this paper we prove that if $\gamma$ is a Jordan curve on $\mathbb{S}^2$ then there is a smooth curve shortening flow defined on $(0,T)$ which converges to $\gamma$ in $\mathcal{C}^0$ as $t\to 0^+ $. Another perspective is that the…
Recollements of triangulated categories may be seen as exact sequences of such categories. Iterated recollements of triangulated categories are analogues of geometric or topological stratifications and of composition series of algebraic…
The Axiom of Full Reflection at a measurable cardinal has been conjectured to be equiconsitent with the existence of a coherent sequence of measures with a repeat point. However we prove that the Axiom of Full Reflection at a measurable…
We show that there is a $\beta$-model of second-order arithmetic in which the choice scheme holds, but the dependent choice scheme fails for a $\Pi^1_2$-assertion, confirming a conjecture of Stephen Simpson. We obtain as a corollary that…
We prove that the formal completion of a complex projective surface along a rigid smooth curve with trivial normal bundle determines the birational equivalence class of the surface.
We prove that an analogue of Rogers' theorem on sieving holds for an order if and only if the order is a Dedekind domain. We also prove that it holds for a finite commutative ring if and only if the ring is a direct product of local rings…
In the paper we describe the subcategory of the category of Z-graded Lie algebras which is equivalent to the category of Jordan pairs via a functorial modification of the TKK construction. For instance, we prove that a Z-graded Lie algebra…
For any positive integer $n$, $n$-derived-simple derived discrete algebras are classified up to derived equivalence. Furthermore, the Jordan-H\"older theorems for all kinds of derived categories of derived discrete algebras are obtained.