Mathematics

The category of monotone determined spaces is an extended topological framework for dcpos in domain theory. We first show that monotone determined spaces are exactly the spaces generated by one-point convergence spaces, and then naturally…

Given a morphism $f \colon X \to Y$ of schemes over a field, we prove several finiteness results about the fibers of the induced map on arc spaces $f_\infty \colon X_\infty \to Y_\infty$. Assuming that $f$ is quasi-finite and $X$ is…

In this paper we consider non-local (in time) heat equations on time-increasing parabolic sets whose boundary is determined by a suitable curve. We provide a notion of solution for these equations and we study well-posedness under Dirichlet…

These are expanded notes of a two-semester course on Lie groups and Lie algebras given by the author at MIT.

The Cabling Conjecture of Gonz\'alez-Acu\~na and Short holds that only cable knots admit Dehn surgery to a manifold containing an essential sphere. We approach this conjecture for thin knots using Heegaard Floer homology, primarily via…

Let $K$ be a $k$-dimensional simplicial complex having $n$ faces of dimension $k$, and $M$ a closed $(k-1)$-connected PL $2k$-dimensional manifold. We prove that for $k\ge3$ odd $K$ embeds into $M$ if and only if there are $\bullet$ a…

By coloring a signed graph by signed colors, one obtains the signed chromatic polynomial of the signed graph. For each signed graph we construct graded cohomology groups whose graded Euler characteristic yields the signed chromatic…

We prove a polynomial upper bound for the localization length of the Lorentz mirror model and the Manhattan model on the even cylinder. The main input is a conditional cylinder-localization theorem in the winding regime: if short-direction…

Several identities of the cosh-weighted finite Hilbert Transform and the Bertola-Katsevich-Tovbis inversion formulas are rederived by the Sokhotski-Plemelj formula and the Poincare-Bertrand formula. The explicit formulas are derived for the…

We introduce MathOptInterface, an abstract data structure for representing mathematical optimization problems based on combining pre-defined functions and sets. MathOptInterface is significantly more general than existing data structures in…

We construct global solutions on a full measure set with respect to the Gibbs measure for the one dimensional cubic fractional nonlinear Schr\"odinger equation (FNLS) with weak dispersion $(-\partial_x^2)^{\alpha/2}$, $\alpha<2$ by quite…

Region crossing change is a local operation on link diagrams. The behavior of region crossing change on $S^2$ is well understood. In this paper, we study the behavior of (modified) region crossing change on higher genus surfaces.

We determine the submodule of finite support of the tensor product of two modules M and N over a local ring and estimate its length in terms of $M$ and $N$. Also, we compute higher local cohomology modules of tensor products in a serial of…

Let $\Gamma$ be a non-elementary Gromov-hyperbolic group, and $\partial \Gamma$ denote its Gromov boundary. We consider $\Gamma$-invariant proper $\delta$-hyperbolic, quasi-convex metric $d$ on $\Gamma$, and the associated…

In this paper we study the chord index of virtual knots, which can be thought of as an extension of the chord parity. We show how to use the chord index to define finite type invariants of virtual knots. The notions of indexed Jones…

It is constructed a normal form for a class of real-smooth surfaces M\subset\mathbb{C}^{2} defined near a degenerate CR singularity.

It is generally accepted that the incompleteness of first-order number theory (PA) is established by an application of Godel's proof. This paper shows that the arithmetization of the syntax of PA implies that the hypothesised class of PA…

Meyer defined crystalline measures as tempered distributions $\mu$ such that both $\mu$ and its Fourier transform $\widehat\mu$ are pure-point Radon measures of locally finite support. He conjectured that every crystalline measure is almost…

A zonotope is a linear image of the cube $[-1,1]^m$ for some $m \in \mathbb{N}$. We show that there is a universal constant $C$ such that, for every zonotope $Z\subset \mathbb{R}^d$ and vectors $v_1,\dots,v_n\in Z$, there are signs…

Let $\mathbb{F}$ be a field and let $M_2(\mathbb{F})$ be the algebra of $2\times 2$ matrices endowed with an involution of the first kind. We study the image of multilinear $*$-polynomials evaluated on $M_2(\mathbb{F})$. For the transpose…