相关论文: Model theory of difference fields with an additive…

In the context of Hrushovski constructions we take a language $ \mathcal{L} $ with a ternary relation $ R $ and consider the theory of the generic models $ M^{*}_{\alpha}, $ of the class of finite $ \mathcal{L}$-structures equipped with…

This paper proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the…

We study a theory in which the electromagnetic field is disformally coupled to a scalar field, in addition to a usual non-minimal electromagnetic coupling. We show that disformal couplings modify the expression for the fine-structure…

To a homology theory one can associate an additive site and a new homological functor with values in the category of additive sheaves on that site. If this category of sheaves can be shown to be equivalent to a category of comodules of a…

We investigate existentially closed models (of a quite arbitrary theory) equipped which an action of a fixed group G. We embed these structures in a monster model D of some well-rounded theory and describe them as PAC substructures of D.…

For the associative algebra $A(\mathfrak g)$ of an infinite-dimensional Lie algebra $\mathfrak g$, we introduce twisted fiber bundles over arbitrary compact topological spaces. Fibers of such bundles are given by elements of algebraic…

We consider from a geometric point of view the conjectural fundamental lemma of Langlands and Shelstad for unitary groups over a local field of positive characteristic. We introduce projective algebraic varieties over the finite residue…

We use the approach to generate spin foam models by an auxiliary field theory defined on a group manifold (as recently developed in quantum gravity and quantization of BF-theories) in the context of topological quantum field theories with a…

This article presents a 3-local characterisation of the sporadic simple group McL and its automorphism group. The theorem is underpinned by a further identification theorem the proof of which is character theoretic. The main theorem is…

Using Serre's adelic interpretation of cohomology, we develop a `differential and integral calculus' on an algebraic curve X over an algebraically closed filed k of constants of characteristic zero, define algebraic analogs of additive…

Let $d\ge 3$, $n\ge 2$. The object of our study is the morphism $\Phi$, introduced in earlier articles by J. Alper, M. Eastwood and the author, that assigns to every homogeneous form of degree $d$ on ${\mathbb C}^n$ for which the…

It is known that reflection coefficients for bulk fields of a rational conformal field theory in the presence of an elementary boundary condition can be obtained as representation matrices of irreducible representations of the classifying…

This thesis is devoted to the study of abelian automorphism groups of surfaces and $3$-folds of general type over complex number field $\Bbb C$. We obtain a linear bound in $K^3$ for abelian automorphism groups of $3$-folds of general type…

The study of extensions realizing affine datum is specialized to central extensions in varieties with a difference term which leads to generalizations of several classical theorems on central extensions from group theory. We establish a…

It is shown that the fixed point subalgebra of an EALA under a finite order automorphism (satisfying certain properties) is a sum of EALA's, an abelian subalgebra, and a subspace which is contained in the centralizer of the core.

We apply the cobordism hypothesis with singularities to the case of affine Rozansky--Witten models, providing a construction of extended TQFTs that includes all line and surface defects. On a technical level, this amounts to proving that…

We establish axiomatic characterizations of $K$-theory and $KK$-theory for real C*-algebras. In particular, let $F$ be an abelian group-valued functor on separable real C*-algebras. We prove that if $F$ is homotopy invariant, stable, and…

We study the structure of topological defects for finite Abelian symmetries in quantum field theories, and argue on physical grounds that they satisfy the definition of a higher fusion category proposed by Johnson-Freyd. Our primary focus…

We show, in Zermelo-Fraenkel set theory without the Axiom of Choice, that the existence of a discontinuous homomorphism of the additive group of real numbers induces a selector for the Vitali equivalence relation $\mathbb{R}/\mathbb{Q}$.…

Labelling-based formal argumentation relies on labelling functions that typically assign one of 3 labels to indicate either acceptance, rejection, or else undecided-to-be-either, to each argument. While a classical labelling-based approach…