相关论文: Elementary equivalence versus Isomorphism

This paper is a survey on arc spaces, a recent topic in algebraic geometry and singularity theory. The geometry of the arc space of an algebraic variety yields several new geometric invariants and brings new light to some classical…

In this paper, we classify the possible group structures on the set of $R$-valued points of an abelian variety, where $R$ is any real closed field. We make use of a family of abelian varieties that, in effect, allows one to quantify over…

Gravitational theories with fixed background fields break diffeomorphism invariance. This breaking can be spontaneous or explicit. A brief summary of the main consequences of these types of breaking is presented.

Notions of k-asimulation and asimulation are introduced as asymmetric counterparts to k-bisimulation and bisimulation, respectively. It is proved that a first-order formula is equivalent to a standard translation of an intuitionistic…

Two birational subvarieties of P^n are called Cremona equivalent if there is a Cremona modification of P^n mapping one to the other. If the codimension of the varieties is at least 2 then they are always Cremona Equivalent. For divisors the…

We give optimal estimates on the variation of the differential and modular heights within an isogeny class of abelian varieties defined over the function field of a curve (in any characteristic). We also prove a parallelogram inequality for…

This is a survey primarily about determining the border rank of tensors, especially those relevant for the study of the complexity of matrix multiplication. This is a subject that on the one hand is of great significance in theoretical…

This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definitions and constructions. It is common in mathematical practice…

Machine learning tools often rely on embedding text as vectors of real numbers. In this paper, we study how the semantic structure of language is encoded in the algebraic structure of such embeddings. Specifically, we look at a notion of…

The work is devoted to the variety of $2$-dimensional algebras over an algebraically closed field. Firstly, we classify such algebras modulo isomorphism. Then we describe the degenerations and the closures of principal algebra series in the…

We study the correspondence between equivalence classes of pairs consisting of real semisimple Lie algebras and their Cartan subalgebras and involutions of the corresponding root system. This can be graphically described by introducing…

We introduce a new logic, called \emph{cluster first-order logic}, a restricted fragment of first-order logic specifically designed to study order invariance. An order-invariant formula is one on a vocabulary that contains an order;…

Let $A$ be an abelian variety over a number field $K$. If $P$ and $Q$ are $K$-rational points of $A$ such that the order of the reduction of $Q$ divides that of $P$ for all but finitely many primes of the ring of integers of $K$, then there…

A method to find the symmetries of a theory in the first order formalism of gravity is presented. This method is applied to the minimal gravity sector of the Standard Model Extension. It is argued that no inconsistencies arise when Lorentz…

Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced areas of computer science such as automata theory, functional…

The bivariate difference filed $(\mathbb{F}(\alpha, \beta), \sigma)$ provides an algebraic framework for a sequence satisfying a recurrence of order two and it could transform the summation involving a sequence satisfying a recurrence of…

Symmetries are playing a very prominent role in natural sciences. In mathematics as the language of physics, symmetries are treated within the framework of group theory, which provides the tools to classify natural laws and physical objects…

We introduce a homotopy-theoretic interpretation of intuitionistic first-order logic based on ideas from Homotopy Type Theory. We provide a categorical formulation of this interpretation using the framework of Grothendieck fibrations. We…

Fiore and Hur recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a…

Covariance is a useful property for handling supergravity theories. In this paper, we prove a covariance property of supergravity field equations: under reasonable conditions, field equations of supergravity are covariant modulo other field…