BZPEERReading, trust and collaboration for research
Menu

Discover

SearchFind papers, people, topics and opportunities from one place.GraphOpen maps around papers, topics and saved views.

Workspaces

HomeOpen the ranked research feed.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Alexandre Borovik

Alexandre Borovik contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GRmath.HOmath.LOmath.FAmath.CA

Trust snapshot

Quick read

Trust 21 - Emerging
19works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

19 published item(s)

preprint2023arXiv

'Decolonisation' of the curricula and some related issues

University level mathematics in a number of countries is under pressure to `decolonise the curriculum'. This paper considers, as a test case, a possible `decolonisation' of linear algebra. This is a representative case, since linear algebra is one of the core courses of undergraduate mathematics and a mathematical discipline with a millennia long historic tradition. This paper is written for my colleagues, university mathematicians. In my opinion, it could help them to determine their position and calmly stick to it without entering into an unnecessary debate with promoters of `decolonisation of the curricula'. The paper offers a simple and honest defence against `decolonisation' pressures: tell students the real (pre)history of a particular mathematical discipline. Let us call this activity `historical enrichment'. It would be useful if all attempts at `decolonization' (and vice versa, `historical enrichment') were known to a wider circle of the mathematical community. Publicity and an open discussion are the best way to resist outside pressures to engage in virtue signalling at the expense of historical and mathematical truth. The international mathematical community should defend academic freedom and insist on our right to formulate our curricula and evaluate the history of mathematics and judge mathematicians of the past according to criteria developed within the profession, and ignore any kind of political fads and pressure

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Groups of finite Morley rank with a generically multiply transitive action on an abelian group

We investigate the configuration where a group of finite Morley rank acts definably and generically $m$-transitively on an elementary abelian $p$-group of Morley rank $n$, where $p$ is an odd prime, and $m\geqslant n$. We conclude that $m=n$, and the action is equivalent to the natural action of $\operatorname{GL}_n(F)$ on $F^n$ for some algebraically closed field $F$. This strengthens our earlier result in arXiv:1802.05222, and partially answers two problems posed in [9].

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Mathematics and Mathematics Education in the 21st Century

Mathematics enters the period of change unprecedented in its history, perhaps even a revolution: a switch to use of computers as assistants and checkers in production of proofs. This requires rethinking traditional approaches to mathematics education which is struggling through a crisis of its own, socio-economic and political by its nature. The mathematical community faces Pandora's box of problems, which, surprisingly, are not usually discussed in any connected form. The present paper attempts to address this issue in a bit more joint and cohesive way.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A mathematician's view of the unreasonable ineffectiveness of mathematics in biology

This paper discusses, from a mathematician's point of view, the thesis formulated by Israel Gelfand, one of the greatest mathematicians of the 20th century, and one of the pioneers of mathematical biology: "There is only one thing which is more unreasonable than the unreasonable effectiveness of mathematics in physics, and this is the unreasonable ineffectiveness of mathematics in biology."

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A view from lockdown: mathematics discovered, invented, and inherited

The classical platonist / formalist dilemma in philosophy of mathematics can be expressed in lay terms as a deceptively naive question: \emph{Is new mathematics discovered or invented? Using examples from my own mathematical work during the Coronavirus lockdown, I argue that there is also a third way: new mathematics can also be inherited. And entering into possession, making it your own, could be great fun.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Natural representations of black box groups encrypting $SL_2(\mathbb{F}_q)$

Given a global exponent $E$ for a black box group $\mathsf{Y}$ encrypting ${\rm SL}_2(\mathbb{F})$, where $\mathbb{F}$ is an unknown finite field of unknown odd characteristic, we construct, in probabilistic time polynomial in $\log E$, the isomorphisms \[ \mathsf{Y} \longleftrightarrow {\rm SL}_2(\mathsf{K}), \] where $\mathsf{K}$ is a black box field encrypting $\mathbb{F}$. Our algorithm makes no reference to any additional oracles. We also give similar algorithms for black box groups encrypting ${\rm PGL}_2(\mathbb{F})$, ${\rm PSL}_2(\mathbb{F})$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Black Box White Arrow

The present paper proposes a new and systematic approach to the so-called black box group methods in computational group theory. Instead of a single black box, we consider categories of black boxes and their morphisms. This makes new classes of black box problems accessible. For example, we can enrich black box groups by actions of outer automorphisms. As an example of application of this technique, we construct Frobenius maps on black box groups of untwisted Lie type in odd characteristic (Section 6) and inverse-transpose automorphisms on black box groups encrypting ${\rm (P)SL}_n(\mathbb{F}_q)$. One of the advantages of our approach is that it allows us to work in black box groups over finite fields of big characteristic. Another advantage is explanatory power of our methods; as an example, we explain Kantor's and Kassabov's construction of an involution in black box groups encrypting ${\rm SL}_2(2^n)$. Due to the nature of our work we also have to discuss a few methodological issues of the black box group theory. The paper is further development of our text "Fifty shades of black" [arXiv:1308.2487], and repeats parts of it, but under a weaker axioms for black box groups.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Fifty shades of black

The paper proposes a new and systematic approach to the so-called black box group methods in computational group theory. As the starting point of our programme, we construct Frobenius maps on black box groups of untwisted Lie type in odd characteristic and then apply them to black box groups X encrypting groups (P)SL(2,q) in small odd characteristics. We propose an algorithm constructing a black box field K isomorphic to F_q, and an isomorphism from (P)SL(2,K) to X. The algorithm runs in time quadratic in the characteristic of the underlying field and polynomial in log q. Due to the nature of our work we also have to discuss a few methodological issues of the black box group theory.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Steinberg presentations of black box classical groups in small characteristics

The main component of (constructive) recognition algorithms for black box groups of Lie type in computational group theory is the construction of unipotent elements. In the existing algorithms unipotent elements are found by random search and therefore the running time of these algorithms is polynomial in the underlying field size $q$ which makes them unfeasible for most practical applications \cite{guralnick01.169}. Meanwhile, the input size of recognition algorithms involves only $\log q$. The present paper introduces a new approach to construction of unipotent elements in which the running time of the algorithm is quadratic in characteristic $p$ of the underlying field and is polynomial in $\log q$; for small values of $p$ (which make a vast and practically important class of problems), the complexity of these algorithms is polynomial in the input size. For $\psl_2(q)$, $\qpone$, we present a Monte-Carlo algorithm which constructs a root subgroup $U$, the maximal torus $T$ normalizing $U$ and a Weyl group element $w$ which conjugates $U$ to its opposite. Moreover, we extend this result and construct Steinberg generators for the black box untwisted classical groups defined over a field of odd size $q=p^k$ where $\qpone$. Our algorithms run in time quadratic in characteristic $p$ of the underlying field and polynomial in $\log q$ and the Lie rank $n$ of the group. The case $\qmone$ requires the use of additional tools and is treated separately in our next paper \cite{suko12B}. Further, and much stronger results can be found in \cite{suko12E,suko12F}.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

An integer construction of infinitesimals: Toward a theory of Eudoxus hyperreals

A construction of the real number system based on almost homomorphisms of the integers Z was proposed by Schanuel, Arthan, and others. We combine such a construction with the ultrapower or limit ultrapower construction, to construct the hyperreals out of integers. In fact, any hyperreal field, whose universe is a set, can be obtained by such a one-step construction directly out of integers. Even the maximal (i.e., On-saturated) hyperreal number system described by Kanovei and Reeken (2004) and independently by Ehrlich (2012) can be obtained in this fashion, albeit not in NBG. In NBG, it can be obtained via a one-step construction by means of a definable ultrapower (modulo a suitable definable class ultrafilter).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Who Gave you the Cauchy-Weierstrass Tale? The Dual History of Rigorous Calculus

Cauchy's contribution to the foundations of analysis is often viewed through the lens of developments that occurred some decades later, namely the formalisation of analysis on the basis of the epsilon-delta doctrine in the context of an Archimedean continuum. What does one see if one refrains from viewing Cauchy as if he had read Weierstrass already? One sees, with Felix Klein, a parallel thread for the development of analysis, in the context of an infinitesimal-enriched continuum. One sees, with Emile Borel, the seeds of the theory of rates of growth of functions as developed by Paul du Bois-Reymond. One sees, with E. G. Bjorling, an infinitesimal definition of the criterion of uniform convergence. Cauchy's foundational stance is hereby reconsidered.

0 citations0 reviewsNo code linkedOpen access