相关论文: A Skolem-Mahler-Lech Theorem in Positive Character…

We consider associative algebras over a field of characteristic zero. We give a version of the proof of the Kemer's theorems concerning the Specht problem solution. It is proved that the ideal of graded identities of a finitely generated…

We give a new proof of the Mordell-Lang conjecture in positive characteristic for finitely generated subgroups. We also make some progress towards the full Mordell-Lang conjecture in positive characteristic.

We consider the problem of deciding $\omega$-regular properties on infinite traces produced by linear loops. Here we think of a given loop as producing a single infinite trace that encodes information about the signs of program variables at…

A positive linear recurrence sequence (PLRS) is a sequence defined by a homogeneous linear recurrence relation with positive coefficients and a particular set of initial conditions. A sequence of positive integers is \emph{complete} if…

Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps.…

For any set $A$ of natural numbers with positive upper Banach density and any $k\geq 1$, we show the existence of an infinite set $B\subset{\mathbb N}$ and a shift $t\geq0$ such that $A-t$ contains all sums of $m$ distinct elements from $B$…

Zeckendorf's theorem states that every positive integer can be written uniquely as the sum of non-consecutive shifted Fibonacci numbers $\{F_n\}$, where we take $F_1=1$ and $F_2=2$. This has been generalized for any Positive Linear…

A decade ago, when teaching complex analysis, the third named author posed the question on whether or not there is an analogue to the Schwarz lemma for real analytic functions. This led to the note [MT], indicating that it is possible to…

The purpose of this survey is to explain some recent results about analogies between characteristic 0 and characteristic $p>0$ geometry, and to discuss an infinitesimal variant of motivic cohomology. More specifically, we review results…

Let $(A,\mathfrak{m})$ be a Noetherian local ring, $M$ a finite $A$-module and $x_1,...,x_n\in \m$ such that $\lambda (M/\x M)$ is finite. Serre proved that all partial Euler characteristics of $M$ with respect to $\x$ is non-negative. This…

Motivated by Lang-Vojta's conjecture, we show that the set of dominant rational self-maps of an algebraic variety over a number field with only finitely many rational points in any given number field is finite by combining Amerik's theorem…

We present a non-standard proof of the fact that the existence of a local (i.e. restricted to a point) characteristic-zero, semi-parametric lifting for a variety defined by the zero locus of polynomial equations over the integers is…

In this paper, we prove Lusztig's conjecture for finite special linear groups, i.e., we show that characteristic functions of character sheaves coincide with almost characters up to scalar constants, under the condition that the…

We introduce a partial positivity notion for algebraic maps via the defect of semismallness. This positivity notion is modeled on $m$-positivity in the analytic setting and $m$-ampleness in the geometric setting. Using this positivity…

We argue that symmetry and unification can emerge as byproducts of certain physical constraints on dynamical scattering. To accomplish this we parameterize a general Lorentz invariant, four-dimensional theory of massless and massive scalar…

In the classical theory of $L$-series, the exact order (of zero) at a trivial zero is easily computed via the functional equation. In the characteristic $p$ theory, it has long been known that a functional equation of classical $s\mapsto…

Suppose l=2m+1, m>0. We introduce m "theta-series", [1],...,[m], in Z/2[[x]]. It has been conjectured that the n for which the coefficient of x^n in 1/[i] is 1 form a set of density 0. This is probably always false, but in certain cases,…

We introduce the $\Sigma_1$-definable universal finite sequence and prove that it exhibits the universal extension property amongst the countable models of set theory under end-extension. That is, (i) the sequence is $\Sigma_1$-definable…

By relying on a new approach to Lefschetz type questions based on Beilinson's singular support and Saito's characteristic cycle, we prove an instance of the wild Lefschetz theorem envisioned by Deligne. Our main tool are new finiteness…

In my PhD thesis a version of Shelah's Presentation Theorem in the setting of Metric Abstract Elementary Classes was proved, where we claimed that the new function symbols are not necessarily uniformly continuous. In this paper we provide a…