Related papers: A Bertini-type theorem for free arithmetic linear …

We present a new and direct proof of Grothendieck's generic freeness lemma in its general form. Unlike the previously published proofs, it does not proceed in a series of reduction steps and is fully constructive, not using the axiom of…

In this note we consider a question related to the high-dimensional generalization of the classical Severi's finiteness theorem for curves. We will introduce some background and then state the main result. The proof of the main result is…

We simplify the usual statement of the Torelli theorem for complex Enriques surfaces, by means of a lattice-theoretic trick. This allows easy proofs of several known results, which previously required intricate arithmetic arguments. The…

I give a proof of the uniform boundedness theorem that is elementary (i.e. does not use any version of the Baire category theorem) and also extremely simple.

This paper presents a simplified geometric proof of the Molino-Alexandrino-Radeschi (MAR) Theorem, which states that the closure of a singular Riemannian foliation on a complete Riemannian manifold is itself a smooth singular Riemannian…

Let $K$ be a finitely generated field. We construct an $n$-dimensional linear system $\mathcal{L}$ of hypersurfaces of degree $d$ in $\mathbb{P}^n$ defined over $K$ such that each member of $\mathcal{L}$ defined over $K$ is smooth, under…

We prove a new Bertini-type Theorem with explicit control of the genus, degree, height, and the field of definition of the constructed curve. As a consequence we provide a general strategy to reduce certain height and rank estimates on…

In \cite{BAMU}, an ergodic theorem \`a la Birkhoff-von Neumann for the action of the fundamental group of a compact negatively curved manifold on the boundary of its universal cover is proved. A quick corollary is the irreducibility of the…

An analogue of the convergence part of the Khintchine-Groshev theorem, as well as its multiplicative version, is proved for nondegenerate smooth submanifolds in $\mathbb{R}^n$. The proof combines methods from metric number theory with a new…

We study the variation of linear sections of hypersurfaces in $\mathbb{P}^n$. We completely classify all plane curves, necessarily singular, whose line sections do not vary maximally in moduli. In higher dimensions, we prove that the family…

The Stable Reduction Theorem guarantees that any smooth, projective, geometrically irreducible curve of genus $g \geq 2$ over a discretely valued field admits a unique stable model after a finite field extension. Computing this model is a…

In this paper we prove the following Liouville-type theorem: any anisotropic minimal graph with free boundary in the half-space must be flat, provided that the graph function has at most one-sided linear growth. This extends the classical…

The Steinberg tensor product theorem is a fundamental result in the modular representation theory of reductive algebraic groups. It describes any finite-dimensional simple module of highest weight $\lambda$ over such a group as the tensor…

In this paper, we explain a simple and uniform construction of a smooth integral model associated to a quadratic, (anti)-hermitian, and (anti)-quaternionic hermitian lattice defined over an arbitrary local field. As one major application,…

Let $\mathcal{X}$ be a smooth Artin stack with properly stable good moduli space $\pi\colon\mathcal{X} \to X$. The purpose of this paper is to prove that a simple geometric criterion can often characterize when the moduli space $X$ is…

We explicitly calculate an arithmetic adelic quotient group for a locally free sheaf on an arithmetic surface when the fiber over the infinite point of the base is taken into account. The calculations are presented via a short exact…

A quantifier-free description of the set of solutions of the generalized interval-quantifier system of linear equations is obtain.

We propose and study a generalized version of the Lipman-Zariski conjecture: let $(x \in X)$ be an $n$-dimensional singularity such that for some integer $1 \le p \le n - 1$, the sheaf $\Omega_X^{[p]}$ of reflexive differential $p$-forms is…

We show that the set of all formulas in n variables valid in a finite class A of finite algebras is always a regular tree language, and compute a finite axiom set for A. We give a rational reconstruction of Barzdins' liquid flow algorithm…

The HRT conjecture states that any finite collection of time-frequency shifts of a non-zero square-integrable function on the real line is linearly independent. In this paper, we establish the linear independence of finite systems of…