Related papers: Rodin's formula in arbitrary codimension

We establish a valuative version of Grothendieck's section conjecture for curves over p-adic local fields. The image of every section is contained in the decomposition subgroup of a valuation which prolongs the p-adic valuation to the…

We give an upper bound for the degree of rational curves in a family that covers a given birational ruled surface in projective space. The upper bound is stated in terms of the degree, sectional genus and arithmetic genus of the surface. We…

We prove that a complete family of linearly non-degenerate rational curves of degree $e > 2$ in $\mathbb{P}^n$ has at most $n-1$ moduli. For $e = 2$ we prove that such a family has at most $n$ moduli. It is unknown whether or not this is…

In an earlier paper we showed that we can improve results by Emmy Noether and Alexander Ostrowski concerning the reducibility modulo p of absolutely irreducible polynomials with integer coefficients by giving the problem a geometric turn…

The purpose of this note is to prove that there is an algebraic stack U parameterizing all curves. The curves that appear in the algebraic stack U are allowed to be arbitrarily singular, non-reduced, disconnected, and reducible. We also…

Let p>3 be a prime number and let r be an integer with 1<r<p-1. For each r, let moreover G_r denote the unique quotient of the maximal class pro-p group of size p^{r+1}. We show that the mod-p cohomology ring of G_r has depth one and that,…

We study Fuglede's $p$-module of systems of measures in condensers in Euclidean spaces and on polarizable Carnot groups. We apply and generalize a result by Rodin, which provides an explicit method for finding the extremal function and the…

This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by…

Let $F$ be a local field over $\mathbf{Q}_p$ or $\mathbf{F}_p((t))$, and let $D$ be a central simple division algebra over $F$ of degree $d$. In the $p$-adic case, we assume $p>de+1$ where $e$ is the ramification degree over $\mathbf{Q}_p$;…

We study families of n-gonal curves with maximal variation of moduli, which have a rational section. Certain numerical results on the degree of the modular map are obtained for such families of hyperelliptic and trigonal curves. In the last…

We give a closed formula for the dimension of all linear systems in $\mathbb{P}^n$ with assigned multiplicity at arbitrary collections of points lying on a rational normal curve of degree $n$. In particular we give a purely geometric…

The dimensions of sets of matrices of various types, with specified eigenvalue multiplicities, are determined. The dimensions of the sets of matrices with given Jordan form and with given singular value multiplicities are also found. Each…

For an abelian category $\mathcal{A}$, we establish the relation between its derived and extension dimensions. Then for an artin algebra $\Lambda$, we give the upper bounds of the extension dimension of $\Lambda$ in terms of the radical…

Denote by ${\mathcal P}_{g,d}^{r,k}$ the subset of the moduli space of curves of genus g consisting of those curves that have a linear series of degree d and dimension r for which the Petri map has kernel of dimension at least k. We show…

We prove a version of Poincar\'e's polyhedron theorem whose requirements are as local as possible. New techniques such as the use of discrete groupoids of isometries are introduced. The theorem may have a wide range of applications and can…

We derive a formula for the the modular class of a Lie algebroid with a regular twisted Poisson structure in terms of a canonical Lie algebroid representation of the image of the Poisson map. We use this formula to compute the modular…

Suppose $Y$ is a smooth variety equipped with a top form. We prove a simple theorem giving a sharp lower bound on the geometric genus of a family of subvarieties of $Y$, in terms of the dimension of this family. Two elementary applications…

It is shown in our earlier paper that, using only tools of elementary geometry, the classical Routh's theorem for triangles can be fully extended to tetrahedra. In this article we first give another proof of Routh's theorem for tetrahedra…

Let V^{r}_{d,g, \delta} be the Hilbert scheme of nodal curves in P^r of degree d and arithmetic genus g with \delta nodes. Under suitable numerical assumptions on d and g, for every 0 \le \delta \le g we construct an irreducible component…

We use the theory of Kolyvagin systems to prove (most of) a refined class number formula conjectured by Darmon. We show that for every odd prime $p$, each side of Darmon's conjectured formula (indexed by positive integers $n$) is "almost" a…